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.
2015
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
296
315
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].
Guidi, Ferruccio; Sacerdoti Coen, Claudio
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/552433
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 12
  • ???jsp.display-item.citation.isi??? 5
social impact