Tom Verhoeff





Here is a collection of documents from Tom Verhoeff.

Writings
Calculational patterns for the design of loops
(Bounded) Linear Search by Tail Recursion
Delay-insensitive codes - an overview
Settling a question about Pythagorean triples
A Beautiful Characterization of Equivalence Relations
The Laws of Large Numbers Compared
Oskar's coin game
The Lost Group Chart and Related Problems
The Puzzle Processor Project: Towards an Implementation
Settling Multiple Debts Efficiently: An invitation to computing science
Reward Variance in Markov Chains: A Calculational Approach
A calculational solution to a problem from the International Mathematics Olympiad of July 2007
A calculational solution to a geometry problem from the International Mathematics Olympiad