Tool support for the Z formal notation
Precision Trigonometry: Advanced Calculator for Complex Math
Multiprecision calculator
Application for calculating the real roots of a polynomial
Open Source and data mining software
Calculates Volume, Surface Area & Centroid of a Closed Triangular Mesh
Windows binaries for the GNU Linear Programming Kit (GLPK)
Generates Latin squares and counts their transversals
A spectral method for inferring selection from time series data
Modular Java framework for meta-heuristic optimization
A collection of tools used in the enumeration of solution spaces
Timeseries databases management system
[frozen] A library for computing cycles in graphs or in Java code.
Calculator that takes care of measurement units.
proof verifier for mathematical proofs and documentation generator
neural network implementation in java
Utility classes from maps to search engine to random samplers