{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T13:41:12Z","timestamp":1760708472616,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,2,7]],"date-time":"2010-02-07T00:00:00Z","timestamp":1265500800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,2,7]]},"DOI":"10.1145\/1719970.1719988","type":"proceedings-article","created":{"date-parts":[[2012,10,4]],"date-time":"2012-10-04T20:18:52Z","timestamp":1349381932000},"page":"119-128","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["Intelligent understanding of handwritten geometry theorem proving"],"prefix":"10.1145","author":[{"given":"Yingying","family":"Jiang","sequence":"first","affiliation":[{"name":"Institute of Software, Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Feng","family":"Tian","sequence":"additional","affiliation":[{"name":"Institute of Software, Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hongan","family":"Wang","sequence":"additional","affiliation":[{"name":"Institute of Software, Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaolong","family":"Zhang","sequence":"additional","affiliation":[{"name":"The Pennsylvania State University, University Park, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xugang","family":"Wang","sequence":"additional","affiliation":[{"name":"Institute of Software, Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guozhong","family":"Dai","sequence":"additional","affiliation":[{"name":"Institute of Software, Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,2,7]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"Proc. IJCAI","author":"Alvarado C.","year":"2001","unstructured":"Alvarado , C. and Davis , R . ( 2001 ). Resolving ambiguities to create a natural sketch based interface . In Proc. IJCAI 2001, AAAI Press, 1365--1371. Alvarado, C. and Davis, R. (2001). Resolving ambiguities to create a natural sketch based interface. In Proc. IJCAI 2001, AAAI Press, 1365--1371."},{"key":"e_1_3_2_2_2_1","volume-title":"Proc. IJCAI","author":"Anderson J.R.","year":"1985","unstructured":"Anderson , J.R. , Boyle , C.F. , Yost , G. ( 1985 ). The geometry tutor . In Proc. IJCAI 1985, 1--7. Anderson, J.R., Boyle, C.F., Yost, G. (1985). The geometry tutor. In Proc. IJCAI 1985, 1--7."},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111449.1111484"},{"key":"e_1_3_2_2_4_1","unstructured":"Cabri Geometry. http:\/\/www.cabri.com\/  Cabri Geometry. http:\/\/www.cabri.com\/"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01273371"},{"key":"e_1_3_2_2_6_1","volume-title":"LIBSVM: a library for support vector machines","author":"Chang C.C.","year":"2001","unstructured":"Chang , C.C. and Lin , C.J . ( 2001 ). LIBSVM: a library for support vector machines , 2001. http:\/\/www.csie.ntu.edu.tw\/_cjlin\/libsvm. Chang, C.C. and Lin, C.J. (2001). LIBSVM: a library for support vector machines, 2001. http:\/\/www.csie.ntu.edu.tw\/_cjlin\/libsvm."},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00283134"},{"key":"e_1_3_2_2_8_1","volume-title":"Introduction to Algorithms","author":"Cormen T.H.","year":"2001","unstructured":"Cormen , T.H. , Leiserson , C.E. , Rivest , R.L. and Stein , C . ( 2001 ). Introduction to Algorithms , 2 nd ed. MIT Press , Cambridge, USA , 2001. Cormen, T.H., Leiserson, C.E., Rivest, R.L. and Stein, C. (2001). Introduction to Algorithms, 2nd ed. MIT Press, Cambridge, USA, 2001.","edition":"2"},{"key":"e_1_3_2_2_9_1","volume-title":"Proceedings of ADG","author":"Gao X.S.","year":"2002","unstructured":"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. 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."},{"key":"e_1_3_2_2_10_1","unstructured":"GeoAssistor: A Pen-based Geometry Learning Tool for Students. http:\/\/research.microsoft.com\/en-us\/um\/beijing\/projects\/research\/education\/penbased.aspx  GeoAssistor: A Pen-based Geometry Learning Tool for Students. http:\/\/research.microsoft.com\/en-us\/um\/beijing\/projects\/research\/education\/penbased.aspx"},{"key":"e_1_3_2_2_11_1","unstructured":"Geometer's Sketchpad. http:\/\/www.dynamicgeometry.com\/  Geometer's Sketchpad. http:\/\/www.dynamicgeometry.com\/"},{"key":"e_1_3_2_2_12_1","unstructured":"Geometry Explorer. http:\/\/homepages.gac.edu\/~hvidsten\/explorer\/  Geometry Explorer. http:\/\/homepages.gac.edu\/~hvidsten\/explorer\/"},{"issue":"2","key":"e_1_3_2_2_13_1","first-page":"4","article-title":"Proof as understanding in geometry","volume":"20","author":"Hanna G.","year":"1998","unstructured":"Hanna , G. ( 1998 ). Proof as understanding in geometry . Focus on Learning Problems in Mathematics. 20 ( 2&3 ), 4 -- 13 . Hanna, G. (1998). Proof as understanding in geometry. Focus on Learning Problems in Mathematics. 20(2&3), 4--13.","journal-title":"Focus on Learning Problems in Mathematics."},{"key":"e_1_3_2_2_14_1","volume-title":"Proceedings of the 23rd conference of the international group for the psychology of mathematics education","author":"Hoyles C.","year":"1999","unstructured":"Hoyles , C. and Healy , L . ( 1999 ). Linking informal argumentation with formal proof through computer-integrated teaching experiences . In Proceedings of the 23rd conference of the international group for the psychology of mathematics education , 1999, 105--112. Hoyles, C. and Healy, L. (1999). Linking informal argumentation with formal proof through computer-integrated teaching experiences. In Proceedings of the 23rd conference of the international group for the psychology of mathematics education, 1999, 105--112."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1502650.1502718"},{"key":"e_1_3_2_2_16_1","volume-title":"Department of Mechanical Engineering","author":"Kara L.B.","year":"2004","unstructured":"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. 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."},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/1304596.1304911"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1013838713648"},{"key":"e_1_3_2_2_19_1","volume-title":"Proceedings of the Mathematical User Interfaces Workshop 2004","author":"Kortenkamp U.","year":"2004","unstructured":"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. 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."},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1015706.1015741"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040830.1040866"},{"key":"e_1_3_2_2_22_1","volume-title":"Proc. Edutainment","author":"Liu Y.Y.","year":"2007","unstructured":"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. 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."},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-007-9071-4"},{"key":"e_1_3_2_2_24_1","volume-title":"Proc. AAAI","author":"Ouyang T.Y.","year":"2007","unstructured":"Ouyang , T.Y. and Davis , R . ( 2007 ). Recognition of Hand Drawn Chemical Diagrams . In Proc. AAAI 2007, AAAI Press , 846--851. Ouyang, T.Y. and Davis, R. (2007). Recognition of Hand Drawn Chemical Diagrams. In Proc. AAAI 2007, AAAI Press, 846--851."},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1378773.1378775"},{"key":"e_1_3_2_2_26_1","volume-title":"How well do students write geometry proofs? The mathematics teacher. 78(6), 448--456","author":"Senk S.L.","year":"1985","unstructured":"Senk , S.L. ( 1985 ). How well do students write geometry proofs? The mathematics teacher. 78(6), 448--456 . Senk, S.L. (1985). How well do students write geometry proofs? The mathematics teacher. 78(6), 448--456."},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/839279.840376"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDAR.2009.70"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICALT.2005.5"},{"key":"e_1_3_2_2_30_1","volume-title":"International Workshop on Human-Computer Interaction and Learning Technologies","author":"Yang H.H.","year":"2006","unstructured":"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. 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."}],"event":{"name":"IUI '10: 15th International Conference on Intelligent User Interfaces","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGCHI ACM Special Interest Group on Computer-Human Interaction"],"location":"Hong Kong China","acronym":"IUI '10"},"container-title":["Proceedings of the 15th international conference on Intelligent user interfaces"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1719970.1719988","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1719970.1719988","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:41:19Z","timestamp":1750250479000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1719970.1719988"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,2,7]]},"references-count":30,"alternative-id":["10.1145\/1719970.1719988","10.1145\/1719970"],"URL":"https:\/\/doi.org\/10.1145\/1719970.1719988","relation":{},"subject":[],"published":{"date-parts":[[2010,2,7]]},"assertion":[{"value":"2010-02-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}