Learning and discovery: one system's search for mathematical knowledge.

Susan L. Epstein

Published in: Comput. Intell. (1988)

Keyphrases

search algorithm
learning algorithm
search space
supervised learning
online learning
artificial intelligence
probabilistic model
learning activities
theorem proving
mathematical knowledge