TAoCP:Mathematical Induction

From Wikiversity
Jump to: navigation, search

This section defines mathematical induction, and proves the correctness of Euclid's algorithm.