Wing-Kwong Wong, Bo-Yu Chen, Sheng-Kai Yin. An Instructional Model for Learning Theorem Proving with Dynamic Geometry Environment. In Chee-Kit Looi, David Jonassen, Mitsuru Ikeda, editors, Towards Sustainable and Scalable Educational Innovations Informed by the Learning Sciences - Sharing Good Practices of Research, Experimentation and Innovation, Proceedings of the 13th International Conference on Computers in Education, ICCE 2005, 28 Nove. Volume 133 of Frontiers in Artificial Intelligence and Applications, pages 934-937, IOS Press, 2005.
Abstract is missing.