A Survey on Retrieval of Mathematical Knowledge.

Ferruccio Guidi Claudio Sacerdoti Coen

Published in: CICM (2015)

Keyphrases

mathematical knowledge
information retrieval
information retrieval systems
image retrieval
computer software
theorem prover
image database
query expansion
retrieval systems
search space
relevance feedback
general purpose
document retrieval