fast C++ library for linear algebra & scientific computing
An implementation of interval arithmetic
Software for electromagnetic simulation
Computer Assisted Proofs in Dynamics
Interactive geometry software for Euclidean and non-Euclidean spaces
3-D diffusion solver for biological problems
Functy is a 3D graph drawing package that generates immediate results.
A system for computer algebra and symbolic mathematics
A portfolio-optimizer using Markowitz(1952) mean-variance model
Tinger Calc is a powerful scientific calculator environment.
A command line toolki to solve a problem your favorite program defines
FVM2 - F Virtual Machine v2
Programa para visualizar metricas en el plano