A printed document recognition system that can deal with formula
Realtime bigdata tool for bit strings up to 2^63 based on AVL forest
Log-linear analysis (data modelling) for high-dimensional data
A simple Belief Merging Prototype
Calculator that takes care of measurement units.
Simple physics simulation of Curvilinear and Rectilinear Motions
Software tool for Research in Computational Population Genetics
Cross platform Mathematical expression solver
[frozen] A library for computing cycles in graphs or in Java code.
DSOL: A Distributed Simulation Object Library implemented in Java
Komplexe Funktionen Plotter
proof verifier for mathematical proofs and documentation generator