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

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

Browse the full ICCE paper archive.