proof verifier for mathematical proofs and documentation generator
Java Api to manipulate simple on data of Matrix Type
An R Package for Environmental Statistics
A mathematical skill testing game specially for the kids.
A C++ and Python library for finance, statistics and linear algebra.
Calculates NPA PPA of a human gait based on input of data
Python2.7.3 for android
Lapack/quadprog QP for VBA/.Net/Java
Do you need a decimal, a binary, a octal and a hexadecimal converter?
An arithmetic calculator for the most popular numerical systems.
An object oriented C++ library for computer algebra
The software for solving special problems of mathematics and physics
Platform-level utilities on .NET Framework 4.0 (C#)
Basic numerical algorithms in c++