We present a survey of the literature on indexing and retrieval of mathematical knowledge, with pointers to 77 papers and tentative taxonomies of both retrieval problems and recurring techniques.
A Survey on Retrieval of Mathematical Knowledge / Guidi, Ferruccio; Sacerdoti Coen, Claudio. - In: MATHEMATICS IN COMPUTER SCIENCE. - ISSN 1661-8270. - STAMPA. - 10:4(2016), pp. 409-427. [10.1007/s11786-016-0274-0]
A Survey on Retrieval of Mathematical Knowledge
GUIDI, FERRUCCIO;SACERDOTI COEN, CLAUDIO
2016
Abstract
We present a survey of the literature on indexing and retrieval of mathematical knowledge, with pointers to 77 papers and tentative taxonomies of both retrieval problems and recurring techniques.File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.