Tool support for the Z formal notation
External plugins for modnlp/teccli
An algebra editor
Simple Java computer algebra calculator
Open Source and data mining software
This is a maths solving app and study guide for various levels..
Java language binding for the GNU Linear Programming Kit (GLPK)
A computer algebra system for research in combinatorial game theory.
Java library of statistical distribution
Windows binaries for the GNU Linear Programming Kit (GLPK)
Parallel Optimization Library for Java
Verification via biSimulations of Max-Plus-Linear models