Wing-Kwong Wong, Bo-Yu Chan, Sheng-Kai Yin. A Dynamic Geometry Environment for Learning Theorem Proving. In Proceedings of the 5th IEEE International Conference on Advanced Learning Technologies, ICALT 2005, 05-08 July 2005, Kaohsiung, Taiwan. pages 15-17, IEEE Computer Society, 2005. [doi]
Abstract is missing.