Simulate chemical processes using advanced thermodynamic models
General Mission Analysis Tool
statistical tests & psuedo- random number generators (RNGs, PRNGs)
Tool support for the Z formal notation
Agena is an interpreted procedural programming language.
Arbitrary-precision CRC calculator and algorithm finder
Numerical Bifurcation Analysis Toolbox in Matlab
Data Visualization and Analysis
Vectorized libm
Math library for Free Pascal and Lazarus.
Toolboxes for parameter continuation and bifurcation analysis.
fast C++ library for GPU linear algebra & scientific computing
Bifurcation analysis for delay-differential equations
SigPack - A signal processing library using Armadillo
An Ada implementation of the Hungarian Algorithm to minimize cost
Portable software and data related to Mersenne numbers
An implementation of interval arithmetic
MathMod is a mathematical modeling software
The package for statistical data analysis and applied mathematics
Discrete-event simulation modeling software for science and education
NARS2000: An Experimental APL Interpreter
Numerical and Symbolic Math Tool