scientific article; zbMATH DE number 907678

zbMATH Open0844.00009MaRDI QIDQ4886736FDOQ4886736

Authors:

Publication date: 21 July 1996

Title of this publication is not available (Why is that?)

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

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)

Cited In (5)

• Automated mathematical induction
• Mechanizing Mathematical Reasoning
• Automated Mathematical Induction
• Strategic issues, problems and challenges in inductive theorem proving
• Title not available (Why is that?)

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)