Full-Stack AI Solver · Symbolic MathIn Development
MathCook
Full-stack mathematical solver and interactive learning lab designed for Khmer and English mathematical expressions and Grade 12 BacII national exam preparation, powered by SymPy, FastAPI, TanStack Start, and KaTeX.
https://mathcook.dev
Feature
Deterministic Symbolic Solver Engine
- SymPy-powered computational backend ensuring 100% mathematical accuracy without neural hallucinations
- Comprehensive step-by-step reasoning proofs breaking down complex calculus, derivatives, and primitives
- Bilingual Khmer and English parsing recognizing regional mathematical vernacular and Khmer digits
BacII National Exam Curriculum Modules
- Specialized modules for Grade 12 BacII mathematics including polynomials, rational equations, and inequalities
- Real sequence solvers (ស្វ៊ីតចំនួនពិត) computing arithmetic, geometric, general terms, sums, and limits
- Natural logarithms, exponentials, and definite integrals with exact closed-form solutions
Interactive MathLive & Vision Workspace
- Interactive virtual mathematical keyboard powered by MathLive for effortless formula construction
- Camera and image math scanner utilizing Pix2Tex OCR with image deskewing and perspective normalization
- Dedicated study lab allowing students to bookmark difficult problems and review derivations
Step Inspector & KaTeX Formula Typesetting
- Interactive step-by-step derivation inspector detailing proofs, factoring, and calculus steps
- High-fidelity mathematical typesetting rendered via KaTeX with dynamic formula highlighting
- Full derivation export supporting clean LaTeX formatting and clipboard sharing
Technical
Symbolic computation backend powered by SymPy with latex2sympy2 parsing for step-by-step calculus steps
Multi-provider mathematical OCR pipeline with Pix2Tex and intelligent image preprocessing (deskew, binarization)
Full-stack modern interface built with TanStack Start, MathLive WYSIWYG editing, and KaTeX formula typesetting
Technologies Utilized
FastAPI
Python
SymPy
Pix2Tex
React
TanStack Start
KaTeX
MathLive
Tailwind CSS
SQLAlchemy