Software for exact computing based on interval arithmetic.
Command line scientific calculator
A portable C++ library for Compressed Sensing
Highly efficient implementation of BLAS for sparse block matrices.
DSOL: A Distributed Simulation Object Library implemented in Java
an interactive 3D viewing program
A Turing Machine Simulator
proof verifier for mathematical proofs and documentation generator
A science API for Java
Incan Abacus Emulator
Module Computation for Metabolic Networks
LaTeX, AscciMath and MathML editor developed in Javascript and HTML
A C++ template library extending syntax towards mathematical notation