Mixed Integer Linear Programming (MILP) solver.
Interval Calculator for Engineer
SL2 (= SLSL) - A Simple Linear Systems Library
JBernstein: Exploration techniques for non-linear constraint checking
A finite element solver using state-of-the-art programming techniques.
Zero Sum Game Solver Java Library