Advanced Geometry Tutor: an Intelligent Tutor that Teaches Proof-Writing with Construction
Noboru Matsuda, Kurt A. VanLehn · 2005
Abstract: Two problem solving strategies, forward chaining and backward chaining, were compared to see how they affect students ' learning of geometry theorem proving with construction. In order to determine which strategy accelerates learning the most, an intelligent