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
Open-source computational library written in pure JAVA
A simple programmable spreadsheet for learning statistics.