OPEN SOURCE / MATHEMATICS
Open source tools for mathematics.
Tertius is a 2026 academic collaboration by Benjamin Antieau and Deven Manam.
Projects
Source code
Reasoning
Tools for mathematical reasoning with language models.
Noether
Deterministic mathematical computation in Rust and Python.
CAS Corpus
Curated, executable computer-algebra problems for Noether.
aiTeX
A fast TeX engine and AI-assisted repair system.
Notetaker
Automatic notes for mathematical lectures.