Toolboxes for parameter continuation and bifurcation analysis.
AlgoSim : création, analyse et exécution des algorithmes
Software for calculating geometric properties of cross sections
Least-Squares Adjustment Software for Geodetic Sciences
combinational logic functions minimization
The DjVu complete solution,with OCR Technology(Arabic ,English).
A real time inference engine for temporal logical specifications
This project have been merged within Paradiseo.
a free cross platform calculator for calculating BIG numbers
Sokoban solver written in Ada