F. Guidi, C. Sacerdoti Coen·2015-05-25·via cs.IR updates on arXiv.org
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.