Search Results for author:
Found 3 papers, 1 papers with code
Lemmas: Generation, Selection, Application
Noting that lemmas are a key feature of mathematics, we engage in an investigation of the role of lemmas in automated theorem proving.
Investigations into Proof Structures
We introduce and elaborate a novel formalism for the manipulation and analysis of proofs as objects in a global manner.
Learning from Łukasiewicz and Meredith: Investigations into Proof Structures (Extended Version)
The material presented in this paper contributes to establishing a basis deemed essential for substantial progress in Automated Deduction.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
