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.
Dynamical systems research tool
Open-source C/C++ math engine for advanced scientific computing
The Great Periodic Path Hunt at gwtokarsky.github.io
Evaluador de expresiones matemáticas para Java en español
Plotter for math functions y=f(x)
This zip jar contains the current coverings of periodic paths.
Use simulation to perform statistical analyses.
Frontend para a calculadora JavaAntonioVandreEval.
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.
App that allows you to track progress of your sourceforge project.