Automation of Mathematical Induction as part of the History of Logic

This is an incremental review for researchers in logic and automated theorem proving.

The paper reviews the historical development of automating mathematical induction, focusing on the evolution of techniques and tools in logic and computer science.