Simulation of a two-channel Bell test, with closed-form proofs
Sampling exactly from the normal and exponential distributions
Generate and solve Travelling Salesman Problem tasks
Java library of statistical distribution
Generator of the Mandelbrot family fractals
MathTools is an aid in preparing printed math tests.
proof verifier for mathematical proofs and documentation generator
ATMSP - A Tiny Mathematical Speed Parser