{"id":"https://openalex.org/W2006962766","doi":"https://doi.org/10.1007/s10472-014-9433-7","title":"Automated generation of geometric theorems from images of diagrams","display_name":"Automated generation of geometric theorems from images of diagrams","publication_year":2014,"publication_date":"2014-10-07","ids":{"openalex":"https://openalex.org/W2006962766","doi":"https://doi.org/10.1007/s10472-014-9433-7","mag":"2006962766"},"language":"en","primary_location":{"id":"doi:10.1007/s10472-014-9433-7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10472-014-9433-7","pdf_url":null,"source":{"id":"https://openalex.org/S90199469","display_name":"Annals of Mathematics and Artificial Intelligence","issn_l":"1012-2443","issn":["1012-2443","1573-7470"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Mathematics and Artificial Intelligence","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/A5100386504","display_name":"Xiaoyu Chen","orcid":"https://orcid.org/0000-0003-3061-4276"},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Xiaoyu Chen","raw_affiliation_strings":["State Key Laboratory of Software Development Environment, School of Computer Science and Engineering, Beihang University, Beijing, China","State Key Laboratory of Software Development Environment, School of Computer Science and Engineering, Beihang University, Beijing, 100191, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Software Development Environment, School of Computer Science and Engineering, Beihang University, Beijing, China","institution_ids":["https://openalex.org/I82880672"]},{"raw_affiliation_string":"State Key Laboratory of Software Development Environment, School of Computer Science and Engineering, Beihang University, Beijing, 100191, China","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100634205","display_name":"Dan Song","orcid":"https://orcid.org/0000-0002-2749-5280"},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Dan Song","raw_affiliation_strings":["Key Laboratory of Mathematics, Informatics and Behavioral Semantics, School of Mathematics and Systems Science, Beihang University, Beijing, China","Key Laboratory of Mathematics, Informatics and Behavioral Semantics, School of Mathematics and Systems Science, Beihang University, Beijing, 100191, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Key Laboratory of Mathematics, Informatics and Behavioral Semantics, School of Mathematics and Systems Science, Beihang University, Beijing, China","institution_ids":["https://openalex.org/I82880672"]},{"raw_affiliation_string":"Key Laboratory of Mathematics, Informatics and Behavioral Semantics, School of Mathematics and Systems Science, Beihang University, Beijing, 100191, China","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100737019","display_name":"Dongming Wang","orcid":"https://orcid.org/0000-0003-2762-6567"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN","FR"],"is_corresponding":true,"raw_author_name":"Dongming Wang","raw_affiliation_strings":["Centre National de la Recherche Scientifique, Paris, France","LMIB - SKLSDE - School of Mathematics and Systems Science, Beihang University, Beijing, China","LMIB - SKLSDE - School of Mathematics and Systems Science, Beihang University, Beijing, 100191, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centre National de la Recherche Scientifique, Paris, France","institution_ids":["https://openalex.org/I1294671590"]},{"raw_affiliation_string":"LMIB - SKLSDE - School of Mathematics and Systems Science, Beihang University, Beijing, China","institution_ids":["https://openalex.org/I82880672"]},{"raw_affiliation_string":"LMIB - SKLSDE - School of Mathematics and Systems Science, Beihang University, Beijing, 100191, China","institution_ids":["https://openalex.org/I82880672"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5100386504","https://openalex.org/A5100634205","https://openalex.org/A5100737019"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I82880672"],"apc_list":{"value":2990,"currency":"USD","value_usd":2990},"apc_paid":null,"fwci":1.8712,"has_fulltext":false,"cited_by_count":27,"citation_normalized_percentile":{"value":0.87075101,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"74","issue":"3-4","first_page":"333","last_page":"358"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12549","display_name":"Image and Object Detection Techniques","score":0.9997000098228455,"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/T12549","display_name":"Image and Object Detection Techniques","score":0.9997000098228455,"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/T13523","display_name":"Mathematics, Computing, and Information Processing","score":0.9782999753952026,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T14339","display_name":"Image Processing and 3D Reconstruction","score":0.9775000214576721,"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/simple","display_name":"Simple (philosophy)","score":0.6888663172721863},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.6227999329566956},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.583091139793396},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.5426883697509766},{"id":"https://openalex.org/keywords/geometric-modeling","display_name":"Geometric modeling","score":0.5400832891464233},{"id":"https://openalex.org/keywords/geometric-data-analysis","display_name":"Geometric data analysis","score":0.5170331597328186},{"id":"https://openalex.org/keywords/hough-transform","display_name":"Hough transform","score":0.48763981461524963},{"id":"https://openalex.org/keywords/geometric-shape","display_name":"Geometric shape","score":0.47866591811180115},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.451546847820282},{"id":"https://openalex.org/keywords/image","display_name":"Image (mathematics)","score":0.44603753089904785},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4310164749622345},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.36625874042510986},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3363719582557678},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.29496708512306213},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.1345754861831665},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.115833580493927}],"concepts":[{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.6888663172721863},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.6227999329566956},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.583091139793396},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.5426883697509766},{"id":"https://openalex.org/C104065381","wikidata":"https://www.wikidata.org/wiki/Q1002535","display_name":"Geometric modeling","level":2,"score":0.5400832891464233},{"id":"https://openalex.org/C136520226","wikidata":"https://www.wikidata.org/wiki/Q302814","display_name":"Geometric data analysis","level":2,"score":0.5170331597328186},{"id":"https://openalex.org/C200518788","wikidata":"https://www.wikidata.org/wiki/Q195076","display_name":"Hough transform","level":3,"score":0.48763981461524963},{"id":"https://openalex.org/C7305733","wikidata":"https://www.wikidata.org/wiki/Q207961","display_name":"Geometric shape","level":2,"score":0.47866591811180115},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.451546847820282},{"id":"https://openalex.org/C115961682","wikidata":"https://www.wikidata.org/wiki/Q860623","display_name":"Image (mathematics)","level":2,"score":0.44603753089904785},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4310164749622345},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.36625874042510986},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3363719582557678},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.29496708512306213},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.1345754861831665},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.115833580493927},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s10472-014-9433-7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10472-014-9433-7","pdf_url":null,"source":{"id":"https://openalex.org/S90199469","display_name":"Annals of Mathematics and Artificial Intelligence","issn_l":"1012-2443","issn":["1012-2443","1573-7470"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Mathematics and Artificial Intelligence","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.746.2831","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.746.2831","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://arxiv.org/pdf/1406.1638.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W88376672","https://openalex.org/W145236249","https://openalex.org/W158485348","https://openalex.org/W1409110429","https://openalex.org/W1515021858","https://openalex.org/W1572941424","https://openalex.org/W1578866112","https://openalex.org/W1835066222","https://openalex.org/W1983376640","https://openalex.org/W1990493960","https://openalex.org/W2003371111","https://openalex.org/W2008665443","https://openalex.org/W2025797931","https://openalex.org/W2029256996","https://openalex.org/W2039367092","https://openalex.org/W2047714360","https://openalex.org/W2088184006","https://openalex.org/W2095905764","https://openalex.org/W2104693850","https://openalex.org/W2107391856","https://openalex.org/W2120243289","https://openalex.org/W2155912251","https://openalex.org/W2157101175","https://openalex.org/W2164944168","https://openalex.org/W2494146432","https://openalex.org/W2621442514","https://openalex.org/W2953250075","https://openalex.org/W3158633990","https://openalex.org/W4205227699"],"related_works":["https://openalex.org/W1983132709","https://openalex.org/W2379647085","https://openalex.org/W2012679165","https://openalex.org/W3102234579","https://openalex.org/W2089788961","https://openalex.org/W1552277041","https://openalex.org/W1922166996","https://openalex.org/W1629863428","https://openalex.org/W2125543379","https://openalex.org/W2949072389"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":5},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":2}],"updated_date":"2026-07-29T09:40:50.615796","created_date":"2025-10-10T00:00:00"}