Open main menu
Home
Random
Log in
Settings
Donate
About Wikiversity
Disclaimers
Wikiversity
Search
The Art of Computer Programming/Mathematical Induction
Language
Watch
Edit
<
The Art of Computer Programming
This section defines mathematical induction, and proves the correctness of Euclid's algorithm.