Animation engine for explanatory math videos
AI-driven neuro-symbolic solver for high-school geometry problems
System dynamics program with additional features for economics
Open-source C/C++ math engine for advanced scientific computing
Computer Assisted Proofs in Dynamics
Software for data analysis, image processing, simulations, solver.
A compliation of Physics derived claculators
PMML-compliant scoring engine and analytic toolkit