fast C++ library for linear algebra & scientific computing
Tool support for the Z formal notation
Portable software and data related to Mersenne numbers
Simulation of a two-channel Bell test, with closed-form proofs
Manual counter with the keyboard or the mouse on images
Mixed Integer Linear Programming (MILP) solver.
Sampling exactly from the normal and exponential distributions
Mathematics, linear algebra and optimisation
Generate and solve Travelling Salesman Problem tasks
Java library of statistical distribution
Generator of the Mandelbrot family fractals
3-D diffusion solver for biological problems
Java math expression parser and script interpreter
Heterogeneous Software Development Accelerated
Easy mathematics in wxWidgets
A portfolio-optimizer using Markowitz(1952) mean-variance model
MathTools is an aid in preparing printed math tests.
python2/3: compute polyfit (1D, 2D, N-D) without thirdparty libraries
Bit level lambda continuations and nothing else - Queue automata