-Retrieval and Sharing of Mathematical Knowledge.

Immanuel Normann Michael Kohlhase

Published in: Calculemus/MKM (2007)

Keyphrases

mathematical knowledge
computer software
information retrieval
image database
information retrieval systems
retrieval systems
query expansion
information sharing
knowledge sharing
theorem prover
image retrieval
relevance feedback
test collection