A Survey on Retrieval of Mathematical Knowledge

2015/05/25 by Ferruccio Guidi, Guidi, F., Claudio Sacerdoti Coen +1 · 1 citation
Computer Science · #A.1 #Advanced Database Systems and Queries #Algorithms and Data Compression #Digital Libraries (cs.DL) #FOS: Computer and information sciences #H.3.3 #Information Retrieval (cs.IR) #Mathematics, Computing, and Information Processing

paper · pdf · doi:10.48550/arxiv.1505.06646

openalex publication_date 2015/05/25 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

We present a short survey of the literature on indexing and retrieval of mathematical knowledge, with pointers to 72 papers and tentative taxonomies of both retrieval problems and recurring techniques.

Citations

• A math-aware search engine for math question answering system
• Escaping the Trap of too Precise Topic Queries

Cited by

• A semantic-based deep learning approach for mathematical expression retrieval

Related

• Mathematical Information Retrieval: Search and Question Answering
• MIRB: Mathematical Information Retrieval Benchmark
• Database-Driven Mathematical Inquiry
• A Survey in Mathematical Language Processing
• Mathematical Knowledge Representation: Semantic Models and Formalisms