Tool support for the Z formal notation
Framework & GUI for Bayes Nets and other probabilistic models.
Use simulation to perform statistical analyses.
Pequeño IDE para el lenguaje JMEScript.
Evaluador de expresiones matemáticas para Java en español
Multiprecision calculator
Symja - Java computer algebra language & symbolic math library
Application for calculating the real roots of a polynomial
A computer algebra system for research in combinatorial game theory.
A (Strict)FastMath class with 1e-15ish accuracy.
Numerical models for chemical and process engineering
A spectral method for inferring selection from time series data
The fantail machine learning toolkit (Moved)
Predictive Microbial Modeling plug-in for KNIME
Fast and more random implementations of java.util.Random.
Computer calculations made easy
Petri net framework for security related modeling and reasoning.
Java graph library
Log-linear analysis (data modelling) for high-dimensional data
Java toolkit for discrete Image and Signal processing.
Android API for discrete Image and Signal processing.
A geometry library for Java
Software tool for Research in Computational Population Genetics