scientific article; zbMATH DE number 907678

MaRDI QIDQ4886736zbMATH OpenFDO

Authors

Publication date 21 July 1996

zbMATH Keywords

Automated mathematical inductionBoyer-Moore proverMathematical 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

(6)

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

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)