C++ library for half precision floating point arithmetics.
Tool support for the Z formal notation
A cross-platform statistical package for econometric analysis
fast C++ library for GPU linear algebra & scientific computing
Computer Algebra System written in Common Lisp
General Mission Analysis Tool
MathMod is a mathematical modeling software
Agena is an interpreted procedural programming language.
Arbitrary-precision CRC calculator and algorithm finder
Numerical and Symbolic Math Tool
Program that can solve any equation for real root/s
Bifurcation analysis for delay-differential equations
The package for statistical data analysis and applied mathematics
Mass spectrometry imaging data analysis software tool
Toolboxes for parameter continuation and bifurcation analysis.
Math library for Free Pascal and Lazarus.
Python code able to convert / compress image to PI (3.14, π) Indexes
Vectorized libm
Programmable Calculator (IP functions, create user functions)