Neural network program. Creates and trains neural networks, shows data
opbdp (non-linear) pseudo-Boolean optimization
PeCalc is a polyvalent engineering calculator for S&T students
NETGEN is an automatic 3d tetrahedral mesh generator
A Gem Stone weight estimator/calculator for mounted gemstones in items
Interactive scientific graphing and data analysis software.
Open Source and data mining software
Agent-based simulation toolkit
This is a Java APP for Probability and Statistics Tables
Numerical mathematics platform, Matlab alternative
Proof Logic : A logical framework for theorem proving
Mixed Integer Linear Programming (MILP) solver.
A collection of machine-checkend mathematical proofs
Command-line tools for simple statistics
Java language binding for the GNU Linear Programming Kit (GLPK)