Proof-Pattern Recognition and Lemma Discovery in ACL2
- 1 January 2013
- book chapter
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableOther Versions
This publication has 14 references indexed in Scilit:
- Automating Inductive Proofs Using Theory ExplorationLecture Notes in Computer Science, 2013
- Towards Algorithmic Cut-IntroductionLecture Notes in Computer Science, 2012
- Overview and Evaluation of Premise Selection Techniques for Large Theory MathematicsLecture Notes in Computer Science, 2012
- Conjecture Synthesis for Inductive TheoriesJournal of Automated Reasoning, 2010
- QuickSpec: Guessing Formal Specifications Using TestingLecture Notes in Computer Science, 2010
- Theorema: Towards computer-aided mathematical theory explorationJournal of Applied Logic, 2006
- Rippling: Meta-Level Guidance for Mathematical ReasoningPublished by Cambridge University Press (CUP) ,2005
- The HR Program for Theorem GenerationLecture Notes in Computer Science, 2002
- Automatic Acquisition of Search Control Knowledge from Multiple Proof AttemptsInformation and Computation, 2000
- Computer-Aided ReasoningPublished by Springer Science and Business Media LLC ,2000