{"id":"https://openalex.org/W2965735863","doi":"https://doi.org/10.1142/s0218213019400037","title":"Automatic Understanding and Formalization of Plane Geometry Proving Problems in Natural Language: A Supervised Approach","display_name":"Automatic Understanding and Formalization of Plane Geometry Proving Problems in Natural Language: A Supervised Approach","publication_year":2019,"publication_date":"2019-06-01","ids":{"openalex":"https://openalex.org/W2965735863","doi":"https://doi.org/10.1142/s0218213019400037","mag":"2965735863"},"language":"en","primary_location":{"id":"doi:10.1142/s0218213019400037","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218213019400037","pdf_url":null,"source":{"id":"https://openalex.org/S178780388","display_name":"International Journal of Artificial Intelligence Tools","issn_l":"0218-2130","issn":["0218-2130","1793-6349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Artificial Intelligence Tools","raw_type":"journal-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/A5080230529","display_name":"Wenbin Gan","orcid":"https://orcid.org/0000-0003-3342-5534"},"institutions":[{"id":"https://openalex.org/I40963666","display_name":"Central China Normal University","ror":"https://ror.org/03x1jna21","country_code":"CN","type":"education","lineage":["https://openalex.org/I40963666"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wenbin Gan","raw_affiliation_strings":["National Engineering Research Center for E-Learning, Central China Normal University, Wuhan, China","National Engineering Research Center for E-Learning, Central China Normal University,Wuhan,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Engineering Research Center for E-Learning, Central China Normal University, Wuhan, China","institution_ids":["https://openalex.org/I40963666"]},{"raw_affiliation_string":"National Engineering Research Center for E-Learning, Central China Normal University,Wuhan,China","institution_ids":["https://openalex.org/I40963666"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110150777","display_name":"Xinguo Yu","orcid":null},"institutions":[{"id":"https://openalex.org/I40963666","display_name":"Central China Normal University","ror":"https://ror.org/03x1jna21","country_code":"CN","type":"education","lineage":["https://openalex.org/I40963666"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xinguo Yu","raw_affiliation_strings":["National Engineering Research Center for E-Learning, Central China Normal University, Wuhan, China","National Engineering Research Center for E-Learning, Central China Normal University,Wuhan,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Engineering Research Center for E-Learning, Central China Normal University, Wuhan, China","institution_ids":["https://openalex.org/I40963666"]},{"raw_affiliation_string":"National Engineering Research Center for E-Learning, Central China Normal University,Wuhan,China","institution_ids":["https://openalex.org/I40963666"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102002023","display_name":"Mingshu Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I40963666","display_name":"Central China Normal University","ror":"https://ror.org/03x1jna21","country_code":"CN","type":"education","lineage":["https://openalex.org/I40963666"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Mingshu Wang","raw_affiliation_strings":["National Engineering Research Center for E-Learning, Central China Normal University, Wuhan, China","National Engineering Research Center for E-Learning, Central China Normal University,Wuhan,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Engineering Research Center for E-Learning, Central China Normal University, Wuhan, China","institution_ids":["https://openalex.org/I40963666"]},{"raw_affiliation_string":"National Engineering Research Center for E-Learning, Central China Normal University,Wuhan,China","institution_ids":["https://openalex.org/I40963666"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I40963666"],"apc_list":null,"apc_paid":null,"fwci":1.191,"has_fulltext":false,"cited_by_count":22,"citation_normalized_percentile":{"value":0.83155054,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"28","issue":"04","first_page":"1940003","last_page":"1940003"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10601","display_name":"Handwritten Text Recognition Techniques","score":0.9839000105857849,"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"}},"topics":[{"id":"https://openalex.org/T10601","display_name":"Handwritten Text Recognition Techniques","score":0.9839000105857849,"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"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9769999980926514,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T11902","display_name":"Intelligent Tutoring Systems and Adaptive Learning","score":0.9538999795913696,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/computer-science","display_name":"Computer science","score":0.7966359853744507},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5658852458000183},{"id":"https://openalex.org/keywords/classifier","display_name":"Classifier (UML)","score":0.5652106404304504},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.5622471570968628},{"id":"https://openalex.org/keywords/relationship-extraction","display_name":"Relationship extraction","score":0.5481638312339783},{"id":"https://openalex.org/keywords/natural-language-understanding","display_name":"Natural language understanding","score":0.4999821186065674},{"id":"https://openalex.org/keywords/natural-language","display_name":"Natural language","score":0.4940653145313263},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.3363076448440552},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.330855131149292},{"id":"https://openalex.org/keywords/information-extraction","display_name":"Information extraction","score":0.20829546451568604},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.14371219277381897}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7966359853744507},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5658852458000183},{"id":"https://openalex.org/C95623464","wikidata":"https://www.wikidata.org/wiki/Q1096149","display_name":"Classifier (UML)","level":2,"score":0.5652106404304504},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.5622471570968628},{"id":"https://openalex.org/C153604712","wikidata":"https://www.wikidata.org/wiki/Q7310755","display_name":"Relationship extraction","level":3,"score":0.5481638312339783},{"id":"https://openalex.org/C2779439875","wikidata":"https://www.wikidata.org/wiki/Q1078276","display_name":"Natural language understanding","level":3,"score":0.4999821186065674},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.4940653145313263},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.3363076448440552},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.330855131149292},{"id":"https://openalex.org/C195807954","wikidata":"https://www.wikidata.org/wiki/Q1662562","display_name":"Information extraction","level":2,"score":0.20829546451568604},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.14371219277381897}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s0218213019400037","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218213019400037","pdf_url":null,"source":{"id":"https://openalex.org/S178780388","display_name":"International Journal of Artificial Intelligence Tools","issn_l":"0218-2130","issn":["0218-2130","1793-6349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Artificial Intelligence Tools","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.800000011920929,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"awards":[{"id":"https://openalex.org/G3955649278","display_name":"\u57fa\u4e8e\u591a\u5c42\u6f5c\u5f0f\u6761\u4ef6\u968f\u673a\u573a\u7684\u89c6\u9891\u60c5\u611f\u4e8b\u4ef6\u68c0\u6d4b\u7814\u7a76","funder_award_id":"61272206","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W1514872066","https://openalex.org/W2013938288","https://openalex.org/W2021422278","https://openalex.org/W2062771085","https://openalex.org/W2064030682","https://openalex.org/W2088823840","https://openalex.org/W2110271642","https://openalex.org/W2118978333","https://openalex.org/W2136058053","https://openalex.org/W2237600160","https://openalex.org/W2361488420","https://openalex.org/W2413604966","https://openalex.org/W2609786849","https://openalex.org/W2739437798","https://openalex.org/W2898429904","https://openalex.org/W2962927633","https://openalex.org/W2987089711","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2976808399","https://openalex.org/W2609844752","https://openalex.org/W2981341912","https://openalex.org/W4285246823","https://openalex.org/W4226278302","https://openalex.org/W4385734297","https://openalex.org/W2547211086","https://openalex.org/W4221160509","https://openalex.org/W3114142812","https://openalex.org/W4380551175"],"abstract_inverted_index":{"Automatically":[0],"understanding":[1,18,35,142],"natural":[2,37],"language":[3],"problems":[4,21],"is":[5],"a":[6,23,43,55,77],"long-standing":[7],"challenging":[8],"research":[9],"problem":[10,24,32,107],"in":[11,99,155],"automatic":[12,141],"solving.":[13],"This":[14,65],"paper":[15],"models":[16],"the":[17,31,61,68,73,81,93,105,111,128,136,140,151],"of":[19,25,29,33,36,57],"geometry":[20,63,146,156],"as":[22,30],"relation":[26,74],"extraction,":[27],"instead":[28],"semantic":[34],"language.":[38],"Then":[39],"it":[40],"further":[41],"proposes":[42],"supervised":[44],"machine":[45],"learning":[46],"method":[47,66,113,130,143],"to":[48,53,59],"extract":[49,115],"geometric":[50,70,86,116],"relations,":[51],"targeting":[52],"produce":[54],"group":[56],"relations":[58,71,87,117],"represent":[60],"given":[62],"problem.":[64],"identifies":[67],"actual":[69],"from":[72,80],"candidates":[75],"using":[76],"classifier":[78],"trained":[79],"labelled":[82],"examples.":[83],"The":[84,123],"formalized":[85],"can":[88,114,131],"then":[89],"be":[90],"transformed":[91],"into":[92],"target":[94],"system-native":[95],"representations":[96],"for":[97],"manipulation":[98],"various":[100],"tasks.":[101],"Experiments":[102],"conducted":[103],"on":[104],"test":[106],"dataset":[108],"show":[109],"that":[110,127],"proposed":[112,129],"at":[118],"high":[119],"F":[120],"1":[121],"scores.":[122],"comparisons":[124],"also":[125],"demonstrate":[126],"achieve":[132],"good":[133],"performance":[134],"against":[135],"baseline":[137],"methods.":[138],"Integrating":[139],"with":[144],"different":[145],"systems":[147],"will":[148],"greatly":[149],"enhance":[150],"efficiency":[152],"and":[153],"intelligence":[154],"tutoring.":[157]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":6},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}