A Proof-Theoretic Approach to Hierarchical Math Library Organization.

Kamal Aboul-Hosn Terese Andersen

Published in: MKM (2005)

Keyphrases

information systems
hierarchical structure
tutoring system
theorem prover
real world
machine learning
artificial intelligence
website
clustering algorithm
search algorithm
information processing
coarse to fine
organizational learning
mathematical problem solving