This is a Java APP for Probability and Statistics Tables
Proof Logic : A logical framework for theorem proving
Mixed Integer Linear Programming (MILP) solver.
Command-line tools for simple statistics
Sampling exactly from the normal and exponential distributions
Java language binding for the GNU Linear Programming Kit (GLPK)
MatrixC++ is a lightweight matrix library developed in C++
A computer algebra system for research in combinatorial game theory.
Fast rainflow counting written in C (C99)
PubMed ID: 29562348 / DOI: 10.1093/nar/gky175
A (Strict)FastMath class with 1e-15ish accuracy.
12÷16×3=9÷4
Radial-velocity & transits analysis tool for exoplanets
Program for exploring the Hénon attractor
integer implementation for float in c++.
Calculates Volume, Surface Area & Centroid of a Closed Triangular Mesh
Linear constraint feasibility check and get program.
An in-place external sort