fast C++ library for linear algebra & scientific computing
System dynamics program with additional features for economics
Software for electromagnetic simulation
Computer Assisted Proofs in Dynamics
A portfolio-optimizer using Markowitz(1952) mean-variance model
A system for computer algebra and symbolic mathematics