Modeling Hinting Strategies for Geometry Theorem Proving.

Noboru Matsuda Kurt VanLehn

Published in: User Modeling (2003)

Keyphrases

geometry theorem proving
data sets
image segmentation
multiscale
theorem proving
real world
social networks
feature selection
reinforcement learning
relational databases
control system
modeling method