scientific article; zbMATH DE number 1149426

zbMATH Open0900.68383MaRDI QIDQ4386948FDOQ4386948

Authors

Publication date 11 May 1998

Mathematics Subject Classification ID

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

Cited in

(10)

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

Describes a project that uses

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)