Mathematical proofs as graph search problems in theory courses.

Jose L. Cordova

Published in: SIGCSE (1999)

Keyphrases

search problems
graph search
mathematical proofs
search algorithm
orders of magnitude
heuristic search
search strategies
search space
planning problems
heuristic search algorithms
information retrieval
learning objects
iterative deepening
learning algorithm
e learning
constraint satisfaction problems