Tool support for the Z formal notation
Android, UIQ 3.0, Series 60 Edition 5 open-source software
Framework & GUI for Bayes Nets and other probabilistic models.
Multiprecision calculator
Use simulation to perform statistical analyses.
Supports PEDMAS order of computation and Reverse Polish Notation Gener
Symja - Java computer algebra language & symbolic math library
Modular Polynom manipulation in Java
Generating kicker playing schedules
A functional maths program calculating with functions
The Fourth Edition of STEMCalc and the biggest one yet!
Numerical models for chemical and process engineering
a space-time interpolation geostatistical tool
Java library of statistical distribution
Parallel Optimization Library for Java
Generates Latin squares and counts their transversals
The program is designed to search for clusters global minimum structur
Welcome to the Volunteer-Based System for Research on the Internet!
Predictive Microbial Modeling plug-in for KNIME
Scheduling lockages at ship locks with several parallel lock chambers