Lemma discovery in automating induction

DOI10.1007/3-540-61511-3_112zbMath1412.68239OpenAlexW2031766132MaRDI QIDQ4647546

Mahadevan Subramaniam, Deepak Kapur

Publication date: 15 January 2019

Published in: Automated Deduction — Cade-13 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61511-3_112

Mathematics Subject Classification ID

Related Items

Sound generalizations in mathematical induction ⋮ Proving theorems by reuse ⋮ Appropriate lemmae discovery

Uses Software

• RRL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Rippling: A heuristic for guiding inductive proofs
• New uses of linear arithmetic in automated theorem proving by induction
• Productive use of failure in inductive proof