VeryMath

Popular repositories Loading

1. verymath.github.io verymath.github.io Public

   The website page for introducing VeryMath

   Python 24

2. VeryMath-textbook-copilot VeryMath-textbook-copilot Public

   个人部署的课程学习工作台：左侧读教材，右侧与 Coding Agent 对话，生成讲解、习题、思维导图、知识图谱与 LaTeX 课件

   TypeScript 13 1

3. AI4Math-Sagemath-skill AI4Math-Sagemath-skill Public

   Teach LLM-agents to use SageMath.

   Python 11 1

4. AI4Math-Optimization AI4Math-Optimization Public

   AI4Math skills for optimization modeling, solver routing, convex quadratic programming with OSQP, and manifold-constrained optimization with CDOpt.

   Python 10 1

5. co-mathematician co-mathematician Public

   Co-mathematician project for collaborative AI-assisted mathematical research.

   Python 9 2

6. AI4Math-Lean-Agents AI4Math-Lean-Agents Public

   AI4Math skills and workflows for Lean 4 formalization, proof repair, and machine-checked mathematics.

   Python 8