Knowledge bases of theorems

For more info about our services contact : help@bestpfe.com

Table of contents

1 Introduction 
2 Related work 
2.1 Information extraction from scientific publications
2.2 Scientific digital libraries and open archives
2.3 References extraction and analysis
2.4 Knowledge bases of theorems
3 The CS-CC database 
4 Theorem Matching 
4.1 The theorem dataset
4.2 TF-IDF Vectorizer
4.3 Autoencoder
5 The graph extraction algorithm 
5.1 From PDF to XML
5.2 Extracting results
5.3 Associate tags and papers
5.4 Results on the CS-CC dataset
6 The arXiv Database 
6.1 The dataset
6.2 Quantitative Analysis
6.3 Qualitative Analysis
7 Future work 
7.1 Improve the extraction algorithm
7.2 Crowdsourcing