Intelligent understanding of handwritten geometry theorem proving

International Conference on Intelligent User Interfaces, Proceedings IUI

Volumn , Issue , 2010, Pages 119-128

  Jiang, Yingying ^a   Tian, Feng ^a   Wang, Hongan ^a,b   Zhang, Xiaolong ^c   Wang, Xugang ^a   Dai, Guozhong ^a,b  

^a INSTITUTE OF SOFTWARE   (China)

^b INSTITUTE OF GEOLOGY AND GEOPHYSICS   (China)

^c PENNSYLVANIA STATE UNIVERSITY   (United States)

Author keywords

Geometry theorem proving; Recognition; Sand drawn figures; Structure based manipulation; Tand written proof scripts

Indexed keywords

EVALUATION STUDY; GEOMETRIC COMPONENT; GEOMETRY THEOREM; GEOMETRY THEOREM PROVING; PEN-BASED; PROOF STEPS; SKETCH RECOGNITION; STRUCTURE-BASED; TASK STRUCTURE; TEACHING AND LEARNING;

COMPUTATIONAL GEOMETRY; GRAPHICAL USER INTERFACES; PROBLEM SOLVING;

THEOREM PROVING;

EID: 77951116096     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1719970.1719988     Document Type: Conference Paper

References (30)

1. Alvarado, C. and Davis, R. (2001). Resolving ambiguities to create a natural sketch based interface. In Proc. IJCAI 2001, AAAI Press, 1365-1371.
2. Anderson, J.R., Boyle, C.F., Yost, G. (1985). The geometry tutor. In Proc. IJCAI 1985, 1-7.
3. Ao, X., Li, J.F., Wang, X.G. and Dai, G.Z. (2006). Structuralizing digital ink for efficient selection. In Proc. IUI 2006, ACM Press, 148-154.
4. Cabri Geometry. http://www.cabri.com/
5. Chazan, D. (1993). High school geometry students' justification for their views of empirical evidence and mathematical proof. Educational Studies in Mathematics, 24(4), 359-387.
6. Chang, C.C. and Lin, C.J. (2001). LIBSVM: a library for support vector machines, 2001. http://www.csie.ntu.edu.tw/-cjlin/libsvm.
7. Chou, S.C., Gao, X.S. and Zhang, J.Z. (1996). Automated Generation of Readable Proofs with Geometric Invariants. J. Autom. Reasoning. 17(3), 349-370.
8. Cormen, T.H., Leiserson, C.E., Rivest, R.L. and Stein, C. (2001). Introduction to Algorithms, 2nd ed. MIT Press, Cambridge, USA, 2001.
9. Gao, X.S. and Lin, Q. (2002). MMP/Geometer - a software package for automated geometry reasoning. In Proceedings of ADG 2002, Springer-Verlag, 44-46.
10. GeoAssistor: A Pen-based Geometry Learning Tool for Students. http://research.microsoft.com/enus/ um/beijing/projects/research/education/ penbased.asp x
11. Geometer's Sketchpad. http://www.dynamicgeometry.com/
12. Geometry Explorer. http://homepages.gac.edu/~hvidsten/explorer/
13. Hanna, G. (1998). Proof as understanding in geometry. Focus on Learning Problems in Mathematics. 20(2&3), 4-13.
14. Hoyles, C. and Healy, L. (1999). Linking informal argumentation with formal proof through computerintegrated teaching experiences. In Proceedings of the 23rd conference of the international group for the psychology of mathematics education, 1999, 105-112.
15. Jiang, Y.Y., Tian, F., Wang, X.G., Zhang, X.L., Dai, G.Z. and Wang, H.A. (2009). Structuring and manipulating hand-drawn concept maps. In Proc. IUI 2009, ACM Press, 457-462.
16. Kara L.B. (2004). Automatic parsing and recognition of hand-drawn sketches for pen-based computer interfaces. Doctor's dissertation, Department of Mechanical Engineering, Carnegie Mellon University, Pittsburgh, PA, USA, 2004.
17. Keshari, B. and Watt, S.M. (2007). Hybrid mathematical symbol recognition using support vector machines. In Proc. ICDAR 2007, IEEE Computer Society Press, 859-863.
18. Knuth, E.J. (2002). Teachers' conception of proof in the context of secondary school mathematics. Journal of Mathematics Teacher Education, 5(1), 61-88.
19. Kortenkamp, U. and Richter-Gebert, J. (2004). Using automatic theorem proving to improve the usability of geometry software. In Proceedings of the Mathematical User Interfaces Workshop 2004, 2004.
20. LaViola, J. and Zeleznik, R. (2004). MathPad2: A System for the Creation and Exploration of Mathematical Sketches. ACM Transactions on Graphics. 23(3), 432-440.
21. Li, J.F., Zhang, X.W., Ao, X. and Dai, G.Z. (2005). Sketch recognition with continuous feedback based on incremental intention extraction. In Proc. IUI 2005, ACM Press, 145-150.
22. Liu, Y.Y., Lin, Q. and Dai, G.Z. (2007). PIGP: A Pen- Based Intelligent Dynamic Lecture System for Geometry Teaching. In Proc. Edutainment 2007. Springer Berlin / Heidelberg, 381-390.
23. Narboux, J. (2007). A graphical user interface for formal proofs in geometry. Journal of Automated Reasoning. 39(2), 161-180.
24. Ouyang, T.Y. and Davis, R. (2007). Recognition of Hand Drawn Chemical Diagrams. In Proc. AAAI 2007, AAAI Press, 846-851.
25. Paulson, B. and Hammond, T. (2008). PaleoSketch: accurate primitive sketch recognition and beautification. In Proc. IUI 2008, ACM Press, 1-10.
26. Senk, S.L. (1985). How well do students write geometry proofs? The mathematics teacher. 78(6), 448-456.
27. Tanaka, H., Nakajima, K., Ishigaki, K., Akiyama, K. and Nakagawa, M. (1999). Hybrid pen-input character recognition system based on integration of onlineoffline recognition. In Proc. ICDAR 1999, ACM Press, 209-212.
28. Wang, X., Shi, G.S. and Yang, J.F. (2009). The understanding and structure analyzing for online handwritten chemical formulas, In Proc. ICDAR 2009, IEEE Computer Society Press, 1056-1060.
29. Wong, W.K., Chan, B.Y. and Yin, S.K. (2005). A Dynamic Geometry Environment for Learning Theorem Proving. In Proceedings of the 5th IEEE International Conference on Advanced Learning Technologies (ICALT) 2005, IEEE Computer Society Press, 15-17.
30. Yang, H.H., Wong, W.K. and Chan, B.Y. (2006) Using computer-assisted instruction for the visualization of proof tree to improve the reading comprehension of geometry proofs. In International Workshop on Human- Computer Interaction and Learning Technologies 2006, 1431-1436.