{"id":"https://openalex.org/W2108902595","doi":"https://doi.org/10.1145/1719970.1719988","title":"Intelligent understanding of handwritten geometry theorem proving","display_name":"Intelligent understanding of handwritten geometry theorem proving","publication_year":2010,"publication_date":"2010-02-07","ids":{"openalex":"https://openalex.org/W2108902595","doi":"https://doi.org/10.1145/1719970.1719988","mag":"2108902595"},"language":"en","primary_location":{"id":"doi:10.1145/1719970.1719988","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1719970.1719988","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 15th international conference on Intelligent user interfaces","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5034656781","display_name":"Yingying Jiang","orcid":"https://orcid.org/0009-0006-4589-8207"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yingying Jiang","raw_affiliation_strings":["Institute of Software, Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Institute of Software, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034654931","display_name":"Feng Tian","orcid":"https://orcid.org/0000-0002-6598-419X"},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Feng Tian","raw_affiliation_strings":["Institute of Software, Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Institute of Software, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013118329","display_name":"Hongan Wang","orcid":"https://orcid.org/0000-0002-9320-4920"},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hongan Wang","raw_affiliation_strings":["Institute of Software, Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Institute of Software, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080765061","display_name":"Xiaolong Zhang","orcid":"https://orcid.org/0000-0002-6828-4930"},"institutions":[{"id":"https://openalex.org/I130769515","display_name":"Pennsylvania State University","ror":"https://ror.org/04p491231","country_code":"US","type":"education","lineage":["https://openalex.org/I130769515"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xiaolong Zhang","raw_affiliation_strings":["The Pennsylvania State University, University Park, PA, USA","The Pennsylvania State University , University Park, PA, USA"],"affiliations":[{"raw_affiliation_string":"The Pennsylvania State University, University Park, PA, USA","institution_ids":["https://openalex.org/I130769515"]},{"raw_affiliation_string":"The Pennsylvania State University , University Park, PA, USA","institution_ids":["https://openalex.org/I130769515"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087685691","display_name":"Xugang Wang","orcid":"https://orcid.org/0000-0002-1860-7439"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xugang Wang","raw_affiliation_strings":["Institute of Software, Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Institute of Software, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5087942346","display_name":"Guozhong Dai","orcid":"https://orcid.org/0000-0002-7849-6697"},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Guozhong Dai","raw_affiliation_strings":["Institute of Software, Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Institute of Software, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5034656781"],"corresponding_institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210128818"],"apc_list":null,"apc_paid":null,"fwci":1.2948,"has_fulltext":false,"cited_by_count":21,"citation_normalized_percentile":{"value":0.8003875,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"119","last_page":"128"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10914","display_name":"Tactile and Sensory Interactions","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/2805","display_name":"Cognitive Neuroscience"},"field":{"id":"https://openalex.org/fields/28","display_name":"Neuroscience"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T10914","display_name":"Tactile and Sensory Interactions","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/2805","display_name":"Cognitive Neuroscience"},"field":{"id":"https://openalex.org/fields/28","display_name":"Neuroscience"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10789","display_name":"Interactive and Immersive Displays","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1709","display_name":"Human-Computer Interaction"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10601","display_name":"Handwritten Text Recognition Techniques","score":0.9932000041007996,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/scripting-language","display_name":"Scripting language","score":0.8199723362922668},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.7623741626739502},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7190340757369995},{"id":"https://openalex.org/keywords/sketch","display_name":"Sketch","score":0.6508463621139526},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5245866179466248},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5154538750648499},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.49254950881004333},{"id":"https://openalex.org/keywords/sketch-recognition","display_name":"Sketch recognition","score":0.490085244178772},{"id":"https://openalex.org/keywords/automated-theorem-proving","display_name":"Automated theorem proving","score":0.4585040211677551},{"id":"https://openalex.org/keywords/hand-geometry","display_name":"Hand geometry","score":0.41324174404144287},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3777872323989868},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.2634021043777466},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2563457190990448},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.19618520140647888},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.15533408522605896},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1198066771030426},{"id":"https://openalex.org/keywords/feature-extraction","display_name":"Feature extraction","score":0.07622399926185608}],"concepts":[{"id":"https://openalex.org/C61423126","wikidata":"https://www.wikidata.org/wiki/Q187432","display_name":"Scripting language","level":2,"score":0.8199723362922668},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.7623741626739502},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7190340757369995},{"id":"https://openalex.org/C2779231336","wikidata":"https://www.wikidata.org/wiki/Q7534724","display_name":"Sketch","level":2,"score":0.6508463621139526},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5245866179466248},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5154538750648499},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.49254950881004333},{"id":"https://openalex.org/C132900626","wikidata":"https://www.wikidata.org/wiki/Q7534733","display_name":"Sketch recognition","level":4,"score":0.490085244178772},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.4585040211677551},{"id":"https://openalex.org/C146318809","wikidata":"https://www.wikidata.org/wiki/Q3398332","display_name":"Hand geometry","level":3,"score":0.41324174404144287},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3777872323989868},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.2634021043777466},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2563457190990448},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.19618520140647888},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.15533408522605896},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1198066771030426},{"id":"https://openalex.org/C52622490","wikidata":"https://www.wikidata.org/wiki/Q1026626","display_name":"Feature extraction","level":2,"score":0.07622399926185608},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.0},{"id":"https://openalex.org/C159437735","wikidata":"https://www.wikidata.org/wiki/Q1519524","display_name":"Gesture recognition","level":3,"score":0.0},{"id":"https://openalex.org/C207347870","wikidata":"https://www.wikidata.org/wiki/Q371174","display_name":"Gesture","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1719970.1719988","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1719970.1719988","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 15th international conference on Intelligent user interfaces","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","score":0.7699999809265137,"display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W39090303","https://openalex.org/W60544966","https://openalex.org/W73629738","https://openalex.org/W1488133941","https://openalex.org/W1494613915","https://openalex.org/W1506805297","https://openalex.org/W1544458978","https://openalex.org/W1548163180","https://openalex.org/W1974691860","https://openalex.org/W2022751246","https://openalex.org/W2025030633","https://openalex.org/W2055344426","https://openalex.org/W2059175078","https://openalex.org/W2065430068","https://openalex.org/W2075066765","https://openalex.org/W2080009145","https://openalex.org/W2088823840","https://openalex.org/W2099522111","https://openalex.org/W2120727441","https://openalex.org/W2136404418","https://openalex.org/W2138905855","https://openalex.org/W2146007070","https://openalex.org/W2153635508","https://openalex.org/W2752885492","https://openalex.org/W2762770850","https://openalex.org/W2787873802","https://openalex.org/W3120421331","https://openalex.org/W4285719527","https://openalex.org/W6603010030","https://openalex.org/W6629063327","https://openalex.org/W6675030384"],"related_works":["https://openalex.org/W2294900353","https://openalex.org/W2411243951","https://openalex.org/W2151314278","https://openalex.org/W13629514","https://openalex.org/W1971224820","https://openalex.org/W2963977451","https://openalex.org/W2098836165","https://openalex.org/W1976890290","https://openalex.org/W1573697454","https://openalex.org/W2966897482"],"abstract_inverted_index":{"Computer-based":[0],"geometry":[1,48,61],"systems":[2,18],"have":[3,132],"been":[4],"widely":[5],"used":[6],"for":[7],"teaching":[8],"and":[9,34,36,54,71,75,83,90,102,109,130,146],"learning,":[10],"but":[11],"largely":[12],"based":[13,112],"on":[14,113],"mouse-and-keyboard":[15],"interaction,":[16],"these":[17],"usually":[19],"require":[20],"users":[21,96,104,131],"to":[22,46,94,105],"draw":[23],"figures":[24,53,70],"by":[25,31],"following":[26],"strict":[27],"task":[28],"structures":[29,114],"defined":[30],"menus,":[32],"buttons,":[33],"mouse":[35],"keyboard":[37],"actions.":[38],"Pen-based":[39],"designs":[40],"offer":[41],"a":[42,59],"more":[43],"natural":[44],"way":[45],"develop":[47],"theorem":[49,62],"proofs":[50],"with":[51,135],"hand-drawn":[52,69],"scripts.":[55],"This":[56],"paper":[57],"describes":[58],"pen-based":[60],"proving":[63,101],"system":[64,87,126],"that":[65,124],"can":[66],"effectively":[67],"recognize":[68],"hand-written":[72],"proof":[73,84,110],"scripts,":[74],"accurately":[76],"establish":[77],"the":[78,98,136,141,147],"correspondence":[79],"between":[80],"geometric":[81,107],"components":[82,108],"steps.":[85],"Our":[86],"provides":[88],"dynamic":[89],"intelligent":[91],"visual":[92,144],"assistance":[93],"help":[95],"understand":[97],"process":[99],"of":[100,138,143,149],"allows":[103],"manipulate":[106],"scripts":[111],"rather":[115],"than":[116],"strokes.":[117],"The":[118],"results":[119],"from":[120],"evaluation":[121],"study":[122],"show":[123],"our":[125],"is":[127],"well":[128],"perceived":[129],"high":[133],"satisfaction":[134],"accuracy":[137],"sketch":[139],"recognition,":[140],"effectiveness":[142],"hints,":[145],"efficiency":[148],"structure-based":[150],"manipulation.":[151]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":1},{"year":2012,"cited_by_count":3}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}