An Instructional Model for Learning Theorem Proving with Dynamic Geometry Environment.

Wing-Kwong Wong Bo-Yu Chen Sheng-Kai Yin

Published in: ICCE (2005)

Keyphrases

theorem proving
learning process
reinforcement learning
probabilistic model
learning environment
probability distribution
online learning
random variables
combinatorial search
automated deduction