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.
A survey on retrieval of mathematical knowledge / Guidi, Ferruccio; Sacerdoti Coen, Claudio. - STAMPA. - 9150:(2015), pp. 296-315. (Intervento presentato al convegno International Conference on Intelligent Computer Mathematics, CICM 2015 tenutosi a Washington DC, USA nel July 13-17, 2015) [10.1007/978-3-319-20615-8_20].
A survey on retrieval of mathematical knowledge
GUIDI, FERRUCCIO;SACERDOTI COEN, CLAUDIO
2015
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.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.