Tool support for the Z formal notation
This zip jar contains the current coverings of periodic paths.
Python code able to convert / compress image to PI (3.14, π) Indexes
Mathematics, linear algebra and optimisation
Scheduling lockages at ship locks with several parallel lock chambers
MathTools is an aid in preparing printed math tests.
A Free and Open Source Java Framework for Multiobjective Optimization
Bit level lambda continuations and nothing else - Queue automata
Java toolkit for discrete Image and Signal processing.
[frozen] A library for computing cycles in graphs or in Java code.
Octave Eclipse GUI
Lapack/quadprog QP for VBA/.Net/Java