Computes Gauss-Legendre quadrature nodes and weights
DSOL: A Distributed Simulation Object Library implemented in Java
proof verifier for mathematical proofs and documentation generator
Software for data analysis, image processing, simulations, solver.
Komplexe Funktionen Plotter
Incan Abacus Emulator
Java Api to manipulate simple on data of Matrix Type
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
User Friendly Data Analysis Tool for Interaction Data
LaTeX, AscciMath and MathML editor developed in Javascript and HTML
Stochastic Analysis
A C++ template library extending syntax towards mathematical notation