C++ Statistical ToolKit
An algebra editor
Manual counter with the keyboard or the mouse on images
Interactive geometry software for Euclidean and non-Euclidean spaces
Simple Java computer algebra calculator
opbdp (non-linear) pseudo-Boolean optimization
NETGEN is an automatic 3d tetrahedral mesh generator
Interactive scientific graphing and data analysis software.
Open Source and data mining software
A powerful arbitrary-precision calculator.
Mixed Integer Linear Programming (MILP) solver
A collection of machine-checkend mathematical proofs
Java language binding for the GNU Linear Programming Kit (GLPK)