A Survey on Retrieval of Mathematical Knowledge
2015-06-28Unverified0· sign in to hype
Guidi F., Coen C. Sacerdoti
Unverified — Be the first to reproduce this paper.
ReproduceAbstract
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.