fast C++ library for linear algebra & scientific computing
Computer Algebra System written in Common Lisp
A collection of mathematical packages in pure Ada
Tool support for the Z formal notation
Framework & GUI for Bayes Nets and other probabilistic models.
System dynamics program with additional features for economics
MathMod is a mathematical modeling software
Python Calculator on Number Theory, three-birds-one learning material
Pequeño IDE para el lenguaje JMEScript.
Structure parameter inference approach for endocrine feedback control
Portable software and data related to Mersenne numbers
A C++ library for multiprecision complex-number matrix calculations.
Evaluador de expresiones matemáticas para Java en español
fast C++ library for GPU linear algebra & scientific computing
Symja - Java computer algebra language & symbolic math library
Simulation of a two-channel Bell test, with closed-form proofs
Mixed Integer Linear Programming (MILP) solver.
Sampling exactly from the normal and exponential distributions
12÷16×3=9÷4
Numerical models for chemical and process engineering
Generator of the Mandelbrot family fractals