EDMFit is an adjustment tool to estimate EDM calibration parameters.
A Calculator to perform logical operations
sparse and dense matrix, linear algebra, visualization, big data
Editor for Petri nets
A printed document recognition system that can deal with formula
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
DSOL: A Distributed Simulation Object Library implemented in Java
proof verifier for mathematical proofs and documentation generator
Hand Written Equation Creator