Framework & GUI for Bayes Nets and other probabilistic models.
Symja - Java computer algebra language & symbolic math library
Step by step math solutions for everyone
Open Source and data mining software
Numerical models for chemical and process engineering
Statistical data analysis
MathTools is an aid in preparing printed math tests.
Bit level lambda continuations and nothing else - Queue automata
A geometry library for Java
DSOL: A Distributed Simulation Object Library implemented in Java
Hand Written Equation Creator