Computer Algebra System written in Common Lisp
Tool support for the Z formal notation
Arbitrary-precision CRC calculator and algorithm finder
Automated integer factorization
Mixed Integer Linear Programming (MILP) solver.
Java library of statistical distribution
Cross platform GUI for Maxima
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
Hand Written Equation Creator
Real-time interactive fractal zoomer
C++ library adds mathematical fractions. Example: 1/3, 4/7, 49/357...