Tool support for the Z formal notation
Open-source C/C++ math engine for advanced scientific computing
An algebra editor
The Great Periodic Path Hunt at gwtokarsky.github.io
Framework & GUI for Bayes Nets and other probabilistic models.
Use simulation to perform statistical analyses.
Pequeño IDE para el lenguaje JMEScript.
This zip jar contains the current coverings of periodic paths.
Evaluador de expresiones matemáticas para Java en español
Symja - Java computer algebra language & symbolic math library
Unicode XML TEI text analysis platform
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
Java language binding for the GNU Linear Programming Kit (GLPK)
A computer algebra system for research in combinatorial game theory.
An in-place external sort