An implementation of interval arithmetic
A Portable General-Purpose Computer Algebra System
opbdp (non-linear) pseudo-Boolean optimization
Simple Long Integer Math for C++
Automated integer factorization
Mixed Integer Linear Programming (MILP) solver.
Efficiently locate minumum of function of non-negative integer
integer implementation for float in c++.
Interval Calculator for Engineer
Puzzle game demonstrating whats so hard about binary integer factoring
OCaml bindings for GLPK
A simple sieve/prefactor program for Eisenstein-Mersenne Primes
Fixed-length Arithmetic-types library