scientific article; zbMATH DE number 1149426

zbMATH Open0900.68383MaRDI QIDQ4386948FDOQ4386948

Authors:

Publication date: 11 May 1998

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

Recommendations

• A divergence critic
• Extensions to a generalization critic for inductive proof
• scientific article; zbMATH DE number 1927422
• Automated Mathematical Induction
• Automated theorem proving by test set induction

Mathematics Subject Classification ID

Cited In (10)

• A divergence critic
• Sound generalizations in mathematical induction
• Attacking group protocols by refuting incorrect inductive conjectures
• Verifying procedural programs via constrained rewriting induction
• Extensions to a generalization critic for inductive proof
• Lemma discovery in automating induction
• Title not available (Why is that?)
• Correctness of Context-Moving Transformations for Term Rewriting Systems
• Perfect discrimination graphs: indexing terms with integer exponents
• Appropriate lemmae discovery

Uses Software

• SPIKE

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 Q4386948)