A Knowledge Base of Mathematical Results - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Master Thesis Year : 2020

A Knowledge Base of Mathematical Results

Theo Delemazure
  • Function : Author
  • PersonId : 1077319


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.
Fichier principal
Vignette du fichier
rapport_de_stage_delemazure.pdf (3.59 Mo) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-02940819 , version 1 (16-09-2020)


  • HAL Id : hal-02940819 , version 1


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


Gmail Mastodon Facebook X LinkedIn More