DMate — Discrete Mathematics Intelligent Tutoring System

DMate is an AI-powered learning application designed to help university students study discrete mathematics through interactive tutoring, mathematical question recognition, personalized practice, and structured knowledge exploration.

Rather than simply providing answers, DMate supports a continuous learning process: understanding questions, exploring solutions, identifying mistakes, practicing related concepts, and reviewing progress.

Key Features

• AI Tutoring: Receive step-by-step mathematical guidance, hints, explanations, and solutions.
• AI-Generated Exercises: Generate discrete mathematics questions with different difficulty levels and relevant knowledge points.
• OCR and Visual Recognition: Extract mathematical text, formulas, and graph structures from uploaded images, with an opportunity to review recognition results.
• Mistake Notebook: Save incorrect questions, review solutions, and generate follow-up exercises based on the original question's difficulty and knowledge points.
• Interactive Knowledge Graph: Explore connections between discrete mathematics concepts and their prerequisites.
• Learning Review: Summarize recent learning activities and identify topics worth revisiting.
• Cross-Device Synchronization: Synchronize conversations, mistakes, and learning information across devices after signing in.
• Multi-Platform Access: Use DMate through the web or supported desktop and mobile applications.

Topics Covered

DMate supports areas of discrete mathematics including mathematical logic, set theory, relations, functions, graph theory, elementary number theory, algebraic structures, and related topics.

Technology

DMate combines large language models, PaddleOCR, visual understanding, structured knowledge classification, and PostgreSQL-based account synchronization.

AI-generated explanations and image recognition results may contain errors. Users should verify important mathematical results and ambiguous graph structures.

Access DMate

Web Application: https://dmate.zeabur.app/

Source Code and Releases: https://github.com/zm14744/DMate

DMate is an independently developed educational software project, with AI assistance used during development.

The application is currently free to use. An internet connection is required for online AI functions and cloud synchronization.