Tool support for the Z formal notation
A java infix evaluator based on "Shunting Yard" algorithm.
Scheduling lockages at ship locks with several parallel lock chambers
[frozen] A library for computing cycles in graphs or in Java code.
Octave Eclipse GUI
Mathematical Parser for Java
Lapack/quadprog QP for VBA/.Net/Java
Sphere surface layers of visual cortex approach maximum info density