The Famous Recursive Algorithm In Old-Fashioned BASIC
Computational algebraic number theory
proof verifier for mathematical proofs and documentation generator
A calculator to work with historical dates and calendars.
This program solves the house building problem.
A versatile MCMC and downhill optimization engine
An Ada implementation of the Hungarian Algorithm to minimize cost