A Survey on Retrieval of Mathematical Knowledge

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.Comment: CICM 2015, 20 page

Efficient Retrieval of Mathematical Statements

Abstract. The paper describes an innovative technique for efficient retrieval of mathematical statements from large repositories, developing and substantially improving the metadata-based approach introduced in [13].

Efficient Retrieval of Mathematical Statements

none2nononeA.Asperti; M.SelmiA.Asperti; M.Selm