Tool support for the Z formal notation
Precision Trigonometry: Advanced Calculator for Complex Math
Use simulation to perform statistical analyses.
Multiprecision calculator
This zip jar contains the current coverings of periodic paths.
Application for calculating the real roots of a polynomial
Open Source and data mining software
This is a Java APP for Probability and Statistics Tables
Calculates Volume, Surface Area & Centroid of a Closed Triangular Mesh
Mathematics, linear algebra and optimisation
Windows binaries for the GNU Linear Programming Kit (GLPK)
A spectral method for inferring selection from time series data
Java math expression parser and script interpreter
Modular Java framework for meta-heuristic optimization
A Free and Open Source Java Framework for Multiobjective Optimization
Bit level lambda continuations and nothing else - Queue automata
Java toolkit for discrete Image and Signal processing.
HVAC Minimum Pipe Size Calculator
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