DSOL: A Distributed Simulation Object Library implemented in Java
Komplexe Funktionen Plotter
Incan Abacus Emulator
proof verifier for mathematical proofs and documentation generator
Software for data analysis, image processing, simulations, solver.
Mathematica package to handle Keplerian and perturbed orbits
A class library to use conformal geometric algebra in C#
Capacity exhaustion prediction from RRD files
Module Computation for Metabolic Networks
LaTeX, AscciMath and MathML editor developed in Javascript and HTML
Stochastic Analysis
A C++ template library extending syntax towards mathematical notation
A science API for Java
Genetic Algorithm Optimization for Python
Fixed-length Arithmetic-types library