Automated integer factorization
Proof Logic : A logical framework for theorem proving
Command-line tools for simple statistics
Sampling exactly from the normal and exponential distributions
PubMed ID: 29562348 / DOI: 10.1093/nar/gky175
Radial-velocity & transits analysis tool for exoplanets
Biomolecular electrostatics software
Linear constraint feasibility check and get program.
Calculates Volume, Surface Area & Centroid of a Closed Triangular Mesh
SparthMP is an ANSI-C math library for Multi-Precision calculations
Generating kicker playing schedules
OpenM++: open source microsimulation platform
A program that uses CUDA to accelerate the Lucas Lehmer test.
C++ BigInt class enables to work with arbitrary precision integers
A Library is for Finite Transforms
CUDA library for continuous optimization and light field analysis
The new site is at http://psychometricon.net/libirt/
Create, display and process 2D vectors in a 3D window.
Infinite-precision integer arithmetic for Octave, written in Octave