Dynamical systems research tool
Open Source and data mining software
This is a Java APP for Probability and Statistics Tables
Predictive Microbial Modeling plug-in for KNIME
API for all possible cellular automata that work same at all angles
Editor for Petri nets
Timeseries databases management system
A geometry library for Java
proof verifier for mathematical proofs and documentation generator
Java Api to manipulate simple on data of Matrix Type
A simple programmable spreadsheet for learning statistics.
Interactive spherical geometry software.