fast C++ library for linear algebra & scientific computing
Software for electromagnetic simulation
Computer Assisted Proofs in Dynamics
3-D diffusion solver for biological problems
Functy is a 3D graph drawing package that generates immediate results.
A portfolio-optimizer using Markowitz(1952) mean-variance model
A system for computer algebra and symbolic mathematics
FVM2 - F Virtual Machine v2