Agena is an interpreted procedural programming language.
A cross-platform statistical package for econometric analysis
Calc: arbitrary precision C-like arithmetic & calculator
Computer Algebra System written in Common Lisp
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
A system for computer algebra and symbolic mathematics
Software for exact computing based on interval arithmetic.
Highly efficient implementation of BLAS for sparse block matrices.
An implementation of Dantzig-Wolfe decomposition built upon GLPK
Nonlinear Krylov acceleration of fixed-point and Newton-like methods
Heterogeneous cluster for acceleration of linear algebra computations
Fast C library for relation algebra using binary decision diagrams.