A cross-platform statistical package for econometric analysis
Computer Algebra System written in Common Lisp
Open source finite element software for multiphysical problems
rw calculates rank-width and rank-decompositions.
Agena is an interpreted procedural programming language.
Open-source C/C++ math engine for advanced scientific computing
Framework for numerical computations, data analysis and visualisation
A shared memory parallel sparse matrix library including Sparse BLAS.
a Small (Matlab/Octave) Toolbox for Kriging
Calc: arbitrary precision C-like arithmetic & calculator
Drop In the Bucket Neural Networks
Program to generate permutations and combinations
Uranie is CEA's uncertainty analysis platform, based on ROOT
Interactive Program For Calculating Properties Of Symmetric Functions
Unicode XML TEI text analysis platform
Numerical mathematics platform, Matlab alternative
Proof Logic : A logical framework for theorem proving
Mixed Integer Linear Programming (MILP) solver.
lnlc calculates linear nlc-width and corresponding expressions