Title: Automated mathematical induction
Subjects: Induction (Mathematics), Automatic theorem proving, Induction (mathematics)