First Steps in Building a Knowledge Base of Mathematical Results
Abstract
This paper explores first steps towards extracting information about theorems and proofs from scholarly documents to build a knowledge base of interlinked results. Specifically, we consider two main tasks: extractions of results and their proofs from the PDF of scientific articles; and establishing which results is used in the proof of which, across the scientific literature. We discuss the problem statement, methodologies, as well as preliminary findings employed in both phases of our approach, highlighting the challenges faced.
Domains
Computer Science [cs]| Origin | Files produced by the author(s) |
|---|
