Discrete-event simulation modeling software for science and education
Mixed Integer Linear Programming (MILP) solver
Test 64-bit integers for pribality. Miller-Rabin, Lucas. BPSW
Arithmetic Multlple Precision Computation Library
Runge is an Interactive Solver for Systems of Differential Equations
A fast prime number generator based on the Sieve of Eratosthenes
The Advanced Algebraic Language.