The Art of Computer Programming/Mathematical Induction
(Redirected from TAoCP:Mathematical Induction)
This section defines mathematical induction, and proves the correctness of Euclid's algorithm.
This section defines mathematical induction, and proves the correctness of Euclid's algorithm.