proof verifier for mathematical proofs and documentation generator
Program to generate permutations and combinations
An implementation of Dantzig-Wolfe decomposition built upon GLPK
Command line tool for reporting details on a given matrix
command line interface calculator
approximate Bayesian computation for stochastic differential equations
Gplot provides a convenient front-end for gnuplot
A lightweight Implementation of Conway's Game of Life
A Python calculator program