Tool support for the Z formal notation
Android, UIQ 3.0, Series 60 Edition 5 open-source software
A Fractal Zoomer with various functions.
Open-source C/C++ math engine for advanced scientific computing
The Great Periodic Path Hunt at gwtokarsky.github.io
Use simulation to perform statistical analyses.
An algebra editor
Framework & GUI for Bayes Nets and other probabilistic models.
Statistiken zu COVID-19 in Deutschland
This zip jar contains the current coverings of periodic paths.
Multiprecision calculator
Pequeño IDE para el lenguaje JMEScript.
Python code able to convert / compress image to PI (3.14, π) Indexes
Evaluador de expresiones matemáticas para Java en español
Symja - Java computer algebra language & symbolic math library
Unicode XML TEI text analysis platform
Application for calculating the real roots of a polynomial
External plugins for modnlp/teccli