Agena is an interpreted procedural programming language.
Calc: arbitrary precision C-like arithmetic & calculator
fast C++ library for linear algebra & scientific computing
A Portable General-Purpose Computer Algebra System
Mixed Integer Linear Programming (MILP) solver.
Computer calculations made easy
A portfolio-optimizer using Markowitz(1952) mean-variance model
Software for exact computing based on interval arithmetic.
Highly efficient implementation of BLAS for sparse block matrices.
Nonlinear Krylov acceleration of fixed-point and Newton-like methods
The Advanced Algebraic Language.
A finite element solver using state-of-the-art programming techniques.