This is a Java APP for Probability and Statistics Tables
Numerical mathematics platform, Matlab alternative
Mixed Integer Linear Programming (MILP) solver.
Proof Logic : A logical framework for theorem proving
A collection of machine-checkend mathematical proofs
Java language binding for the GNU Linear Programming Kit (GLPK)
Sampling exactly from the normal and exponential distributions
A C++ Matrix Library
Biomolecular electrostatics software
Javascript Geometric Algebra Generator for Javascript, c++
Linear constraint feasibility check and get program.
C++ Templates and Ada Package for Automatic Differentiation
Synthetic data generation using R
Create multi-degree polynominals charts. Designed in FbEdit & WinAPI.
A java infix evaluator based on "Shunting Yard" algorithm.