Tool support for the Z formal notation
Open-source C/C++ math engine for advanced scientific computing
Dynamical systems research tool
The Great Periodic Path Hunt at gwtokarsky.github.io
Android app interface for antoniovandre_eval software.
An algebra editor
This zip jar contains the current coverings of periodic paths.
Framework & GUI for Bayes Nets and other probabilistic models.
Pequeño IDE para el lenguaje JMEScript.
Use simulation to perform statistical analyses.
Evaluador de expresiones matemáticas para Java en español
An open source Java geometry library with a focus on 2D/3D space.
Symja - Java computer algebra language & symbolic math library
Unicode XML TEI text analysis platform
Application for calculating the real roots of a polynomial
A flexible mathematical expressions parser for JAVA, Android, C# .NET
The birth of modern video feedback art.
Open Source and data mining software