Automated mathematical inductionby H. ZhangInduction (Mathematics)Automatic theorem provingInduction (mathematics)Writing a summary for young readers…For young readersBook data: Open Library