A Dynamic Geometry Environment for Learning Theorem Proving.

Wing-Kwong Wong Bo-Yu Chan Sheng-Kai Yin A Dynamic Geometry Environment for Learning Theorem Proving. 15-17 2005 conf/icalt/2005 ICALT http://doi.ieeecomputersociety.org/10.1109/ICALT.2005.5 db/conf/icalt/icalt2005.html#WongCY05