Agent-based simulation toolkit
This is a Java APP for Probability and Statistics Tables
Numerical mathematics platform, Matlab alternative
Automated integer factorization
Mixed Integer Linear Programming (MILP) solver.
Proof Logic : A logical framework for theorem proving
Sampling exactly from the normal and exponential distributions
Accumulation of mathematical knowledge, matrix numerical optimization
A C++ Matrix Library
Efficiently locate minumum of function of non-negative integer
lnlc calculates linear nlc-width and corresponding expressions
PubMed ID: 29562348 / DOI: 10.1093/nar/gky175
Fast rainflow counting written in C (C99)
Javascript Geometric Algebra Generator for Javascript, c++
Biomolecular electrostatics software
integer implementation for float in c++.
Linear constraint feasibility check and get program.