System dynamics program with additional features for economics
A collection of machine-checkend mathematical proofs
Program to solve differential equations using long Taylor series
A system for computer algebra and symbolic mathematics
LightCAS is very lightweigth Computer Algebra System
A mathematical skill testing game specially for the kids.