This dataset code generates mathematical question and answer pairs
AI-driven neuro-symbolic solver for high-school geometry problems
Animation engine for explanatory math videos
phase-field simulation and other examples with Python/FEniCS
Lenia - Mathematical Life Forms
A Python implementation of the MathSpeak Core Specification
Python class for automatic differentiation
Toolbox visualizing computations of Realizable Sign Conditions.