Tool support for the Z formal notation
Android, UIQ 3.0, Series 60 Edition 5 open-source software
A Fractal Zoomer with various functions.
Framework & GUI for Bayes Nets and other probabilistic models.
Open-source C/C++ math engine for advanced scientific computing
Dynamical systems research tool
The Great Periodic Path Hunt at gwtokarsky.github.io
Use simulation to perform statistical analyses.
This zip jar contains the current coverings of periodic paths.
Evaluador de expresiones matemáticas para Java en español
Python code able to convert / compress image to PI (3.14, π) Indexes
An algebra editor
mathematical function plotting and real-time analysis
Multiprecision calculator
Pequeño IDE para el lenguaje JMEScript.
An open source Java geometry library with a focus on 2D/3D space.
Supports PEDMAS order of computation and Reverse Polish Notation Gener
Symja - Java computer algebra language & symbolic math library