mathmeth.com

Contributors

Affiliates

Resources

Share
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
Delayinsensitive 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
mathmeth.com

Contributors

Affiliates

Resources

Share