Title: Automated Mathematical Induction
Subjects: Automatic theorem proving, Induction (mathematics)