A Dynamic Geometry Environment for Learning Theorem Proving. - Wing-Kwong Wong; Bo-Yu Chan; Sheng-Kai Yin (ICALT, 2005)