NewEvery arXiv paper, its researchers & institutions — mapped.
paper

A Survey on Retrieval of Mathematical Knowledge

arXiv:1505.06646

Abstract

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.

CICM 2015, 20 pages