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#
Module Computation for Metabolic Networks
Capacity exhaustion prediction from RRD files
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
Distributed QP Solver in Python
Just a basic 4 band resistor color calculator with chart.
This small library implements a data structure for Koch curves.
An R Package for Environmental Statistics
Real-time interactive fractal zoomer