scientific article; zbMATH DE number 907678

MaRDI QIDQ4886736zbMATH OpenFDO

Authors

Publication date 21 July 1996

zbMATH Keywords

Mathematical inductionBoyer-Moore proverAutomated mathematical induction

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Recommendations

• Automated Mathematical Induction
• Automated mathematical induction
• scientific article; zbMATH DE number 708485
• scientific article; zbMATH DE number 194631
• Automated theorem proving in mathematics.
• The automation of proof by mathematical induction
• scientific article; zbMATH DE number 4043814
• Automated theorem proving methods

Cited in

(5)

• Automated mathematical induction
• Mechanizing Mathematical Reasoning
• Automated Mathematical Induction
• Strategic issues, problems and challenges in inductive theorem proving
• scientific article; zbMATH DE number 4164172 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4886736)