The Art of Computer Programming/Mathematical Induction

From Wikiversity
Jump to navigation Jump to search

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