A Survey on Retrieval of Mathematical Knowledge
Ferruccio Guidi, Claudio Sacerdoti Coen · arXiv (Cornell University) · 2015
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.