Tool support for the Z formal notation
Arbitrary-precision CRC calculator and algorithm finder
Mixed Integer Linear Programming (MILP) solver.
Java library of statistical distribution
TI graphing calculators <-> computer communication software
Computer calculations made easy
A package for Isogeometric Analysis in Octave and Matlab
Editor for Petri nets
An image processing and analysis library for Matlab
A geometry library for Java
Software for exact computing based on interval arithmetic.
Math Parser for Java
C++ wavelet library
Basic numerical algorithms in c++