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