Skip to Main content Skip to Navigation
Master thesis

A Knowledge Base of Mathematical Results

Theo Delemazure 1
1 VALDA - Value from Data
DI-ENS - Département d'informatique de l'École normale supérieure, Inria de Paris
Abstract : The basic unit of information of use by researchers in theoretical fields are the mathematical results. We aim to build a knowledge base of these results, using information extraction techniques on scholarly documents. We present an algorithm which extracts mathematical results and references to mathematical results from scientific papers, using their PDF or LATEX sources. We analyse the results of our algorithm on the whole arXiv database of scientific papers and explore the resulting graph of mathematical results, which contains more than 6 million results and 4.5 million edges. We present attempts to link theorems of different papers using a TFIDF vectorizer or an autoencoder.
Complete list of metadata

Cited literature [21 references]  Display  Hide  Download

https://hal.inria.fr/hal-02940819
Contributor : Théo Delemazure <>
Submitted on : Wednesday, September 16, 2020 - 3:34:28 PM
Last modification on : Tuesday, May 4, 2021 - 2:06:03 PM
Long-term archiving on: : Thursday, December 3, 2020 - 8:30:09 AM

File

rapport_de_stage_delemazure.pd...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02940819, version 1

Collections

Citation

Theo Delemazure. A Knowledge Base of Mathematical Results. Artificial Intelligence [cs.AI]. 2020. ⟨hal-02940819⟩

Share

Metrics

Record views

82

Files downloads

148