Computer Algebra System (CAS) Internals
ExaktAI's design, from the way it structures AI output to the validation layer itself, requires knowing when and how computer algebra systems succeed and fail.
ExaktAI Inc.
ExaktAI is built on dual expertise: deep mathematical domain knowledge and direct experience building the computer algebra systems ExaktAI makes use of.
Founder
Edgardo Cheb-Terrab, PhD in Theoretical Physics.
Edgardo spent 28 years at Maplesoft, until the end of 2024, developing core components of the Maple computer algebra system, including its ODE and PDE solvers, Physics package, the Mathematical Functions Advisor, and the MathematicaTranslator, a translator from Mathematica to Maple.
Why This Background Matters
Mathematical Depth
ExaktAI currently covers undergraduate mathematics, mathematical physics, and advanced differential equations: areas where CAS are exceptionally strong.
The Company
ExaktAI Inc.
Incorporated in Canada.
Our vision →
Patent Status
U.S. provisional patent application filed in 2025.