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
C++ BigInt class enables to work with arbitrary precision integers
A system for computer algebra and symbolic mathematics
Tinger Calc is a powerful scientific calculator environment.
A command line toolki to solve a problem your favorite program defines
Programa para visualizar metricas en el plano