a defluctuator for avisynth
A simple sieve/prefactor program for Eisenstein-Mersenne Primes
This program solves the house building problem.
A Turing Machine Simulator
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