16.2IRMay 25, 2015
A Survey on Retrieval of Mathematical KnowledgeF. Guidi, C. Sacerdoti Coen
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.