Automating the Proofs of Strengthening Lemmas in the Abella Proof Assistant.
Dawn MichaelsonPublished in: CoRR (2017)
Keyphrases
- theorem prover
- proof search
- theorem proving
- automated theorem proving
- inference rules
- mathematical proofs
- linear logic
- natural deduction
- proof planning
- formal proof
- first order logic
- search procedure
- sequent calculus
- test bed
- cut elimination
- mathematical knowledge
- proof procedure
- automated theorem provers
- interactive theorem proving
- computer algebra
- decision procedures
- geometry theorem proving
- search space
- data sets
- database
- image segmentation
- information systems
- equational theories
- information retrieval