Lemma Management Techniques
for Automated Theorem Proving

Introduction

• Use of Lemmas in ATP
• Our Lemma Management Techniques

Lemma Management Techniques

• Iterative Lemma Usage
• Reursive Lemma Selection
• Reursive Lemma Minimization

Illustrative Experiments

• Testing Environment
• Results