Tool support for the Z formal notation
This is a maths solving app and study guide for various levels..
A computer algebra system for research in combinatorial game theory.
A (Strict)FastMath class with 1e-15ish accuracy.
Math Expression Parser 4 Java
Java library of statistical distribution
Fast and more random implementations of java.util.Random.
Computer calculations made easy
Editor for Petri nets
Java graph library
Petri net framework for security related modeling and reasoning.
A geometry library for Java
Math Parser for Java
Hand Written Equation Creator
Java graph/network library