A Survey on Retrieval of Mathematical Knowledge
arXiv:1505.06646v316.259 citations
Originality Synthesis-oriented
AI Analysis
This is an incremental work that organizes and reviews prior research for researchers in mathematical information retrieval.
The paper surveys existing literature on indexing and retrieval of mathematical knowledge, compiling insights from 72 papers and proposing taxonomies for retrieval problems and techniques.
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.