Multiprecision calculator
Tool support for the Z formal notation
Use simulation to perform statistical analyses.
Precision Trigonometry: Advanced Calculator for Complex Math
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)
A spectral method for inferring selection from time series data
Monty Hall Problem (command line)
Modular Java framework for meta-heuristic optimization
HVAC Minimum Pipe Size Calculator
Calculator that takes care of measurement units.
Timeseries databases management system
[frozen] A library for computing cycles in graphs or in Java code.
proof verifier for mathematical proofs and documentation generator
neural network implementation in java
Utility classes from maps to search engine to random samplers