An Exploration in the Space of Mathematical Knowledge.

Andrea Kohlhase Michael Kohlhase

Published in: MKM (2005)

Keyphrases

mathematical knowledge
search space
low dimensional
artificial intelligence
collaborative learning
inference rules
computer software