{"id":"https://openalex.org/W4388829070","doi":"https://doi.org/10.1007/s10817-023-09688-w","title":"Self-evident Automated Geometric Theorem Proving Based on Complex Number Identity","display_name":"Self-evident Automated Geometric Theorem Proving Based on Complex Number Identity","publication_year":2023,"publication_date":"2023-11-20","ids":{"openalex":"https://openalex.org/W4388829070","doi":"https://doi.org/10.1007/s10817-023-09688-w"},"language":"en","primary_location":{"id":"doi:10.1007/s10817-023-09688-w","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10817-023-09688-w","pdf_url":null,"source":{"id":"https://openalex.org/S99781599","display_name":"Journal of Automated Reasoning","issn_l":"0168-7433","issn":["0168-7433","1573-0670"],"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":"Journal of Automated Reasoning","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/A5075724771","display_name":"Xicheng Peng","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":"Xicheng Peng","raw_affiliation_strings":["National Engineering Laboratory for Educational Big Data, Central China Normal University, Wuhan, 430079, China","National Engineering Laboratory for Educational Big Data, Central China Normal University, Wuhan, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Engineering Laboratory for Educational Big Data, Central China Normal University, Wuhan, 430079, China","institution_ids":["https://openalex.org/I40963666"]},{"raw_affiliation_string":"National Engineering Laboratory for Educational Big Data, Central China Normal University, Wuhan, China","institution_ids":["https://openalex.org/I40963666"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069484650","display_name":"Jingzhong Zhang","orcid":"https://orcid.org/0000-0003-2604-6624"},"institutions":[{"id":"https://openalex.org/I37987034","display_name":"Guangzhou University","ror":"https://ror.org/05ar8rn06","country_code":"CN","type":"education","lineage":["https://openalex.org/I37987034"]},{"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":"Jingzhong Zhang","raw_affiliation_strings":["Institute of Computational Science and Technology, Guangzhou University, Guangzhou, 510006, China","National Engineering Laboratory for Educational Big Data, Central China Normal University, Wuhan, 430079, China","National Engineering Laboratory for Educational Big Data, Central China Normal University, Wuhan, China","Institute of Computational Science and Technology, Guangzhou University, Guangzhou, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computational Science and Technology, Guangzhou University, Guangzhou, 510006, China","institution_ids":["https://openalex.org/I37987034"]},{"raw_affiliation_string":"National Engineering Laboratory for Educational Big Data, Central China Normal University, Wuhan, 430079, China","institution_ids":["https://openalex.org/I40963666"]},{"raw_affiliation_string":"National Engineering Laboratory for Educational Big Data, Central China Normal University, Wuhan, China","institution_ids":["https://openalex.org/I40963666"]},{"raw_affiliation_string":"Institute of Computational Science and Technology, Guangzhou University, Guangzhou, China","institution_ids":["https://openalex.org/I37987034"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029067443","display_name":"Mao Chen","orcid":"https://orcid.org/0000-0003-2853-2423"},"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":true,"raw_author_name":"Mao Chen","raw_affiliation_strings":["National Engineering Laboratory for Educational Big Data, Central China Normal University, Wuhan, 430079, China","National Engineering Laboratory for Educational Big Data, Central China Normal University, Wuhan, China"],"raw_orcid":"https://orcid.org/0000-0003-2853-2423","affiliations":[{"raw_affiliation_string":"National Engineering Laboratory for Educational Big Data, Central China Normal University, Wuhan, 430079, China","institution_ids":["https://openalex.org/I40963666"]},{"raw_affiliation_string":"National Engineering Laboratory for Educational Big Data, Central China Normal University, Wuhan, China","institution_ids":["https://openalex.org/I40963666"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065669497","display_name":"Sannyuya Liu","orcid":"https://orcid.org/0000-0002-4926-3720"},"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":true,"raw_author_name":"Sannyuya Liu","raw_affiliation_strings":["National Engineering Laboratory for Educational Big Data, Central China Normal University, Wuhan, 430079, China","National Engineering Laboratory for Educational Big Data, Central China Normal University, Wuhan, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Engineering Laboratory for Educational Big Data, Central China Normal University, Wuhan, 430079, China","institution_ids":["https://openalex.org/I40963666"]},{"raw_affiliation_string":"National Engineering Laboratory for Educational Big Data, Central China Normal University, Wuhan, China","institution_ids":["https://openalex.org/I40963666"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5029067443","https://openalex.org/A5065669497"],"corresponding_institution_ids":["https://openalex.org/I40963666"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":4.9647,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.93807107,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"67","issue":"4","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12170","display_name":"History and Theory of Mathematics","score":0.9887999892234802,"subfield":{"id":"https://openalex.org/subfields/2614","display_name":"Theoretical Computer Science"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12170","display_name":"History and Theory of Mathematics","score":0.9887999892234802,"subfield":{"id":"https://openalex.org/subfields/2614","display_name":"Theoretical Computer Science"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11245","display_name":"Advanced Numerical Analysis Techniques","score":0.9886000156402588,"subfield":{"id":"https://openalex.org/subfields/2206","display_name":"Computational Mechanics"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9876000285148621,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.7342455387115479},{"id":"https://openalex.org/keywords/closure","display_name":"Closure (psychology)","score":0.5984595417976379},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5964400172233582},{"id":"https://openalex.org/keywords/proposition","display_name":"Proposition","score":0.5502524375915527},{"id":"https://openalex.org/keywords/identity","display_name":"Identity (music)","score":0.5469624400138855},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4550860524177551},{"id":"https://openalex.org/keywords/expression","display_name":"Expression (computer science)","score":0.4434540271759033},{"id":"https://openalex.org/keywords/automated-theorem-proving","display_name":"Automated theorem proving","score":0.44254475831985474},{"id":"https://openalex.org/keywords/geometric-algebra","display_name":"Geometric algebra","score":0.4407680332660675},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.33578717708587646},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.32468777894973755},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.2561476230621338},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.25270503759384155},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.19676965475082397},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.09445509314537048},{"id":"https://openalex.org/keywords/algebra-representation","display_name":"Algebra representation","score":0.07596534490585327}],"concepts":[{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.7342455387115479},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.5984595417976379},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5964400172233582},{"id":"https://openalex.org/C2777152325","wikidata":"https://www.wikidata.org/wiki/Q108163","display_name":"Proposition","level":2,"score":0.5502524375915527},{"id":"https://openalex.org/C2778355321","wikidata":"https://www.wikidata.org/wiki/Q17079427","display_name":"Identity (music)","level":2,"score":0.5469624400138855},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4550860524177551},{"id":"https://openalex.org/C90559484","wikidata":"https://www.wikidata.org/wiki/Q778379","display_name":"Expression (computer science)","level":2,"score":0.4434540271759033},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.44254475831985474},{"id":"https://openalex.org/C180671464","wikidata":"https://www.wikidata.org/wiki/Q1186649","display_name":"Geometric algebra","level":4,"score":0.4407680332660675},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.33578717708587646},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.32468777894973755},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2561476230621338},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.25270503759384155},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.19676965475082397},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09445509314537048},{"id":"https://openalex.org/C14394260","wikidata":"https://www.wikidata.org/wiki/Q4723980","display_name":"Algebra representation","level":3,"score":0.07596534490585327},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"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":1,"locations":[{"id":"doi:10.1007/s10817-023-09688-w","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10817-023-09688-w","pdf_url":null,"source":{"id":"https://openalex.org/S99781599","display_name":"Journal of Automated Reasoning","issn_l":"0168-7433","issn":["0168-7433","1573-0670"],"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":"Journal of Automated Reasoning","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5799999833106995,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[{"id":"https://openalex.org/G5596569765","display_name":null,"funder_award_id":"62077019","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":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W145236249","https://openalex.org/W1490903020","https://openalex.org/W1515021858","https://openalex.org/W1983598602","https://openalex.org/W2022751246","https://openalex.org/W2026253506","https://openalex.org/W2066365568","https://openalex.org/W2079751248","https://openalex.org/W2120243289","https://openalex.org/W2294006238","https://openalex.org/W2762770850","https://openalex.org/W2912518036","https://openalex.org/W3109649097","https://openalex.org/W3143504415","https://openalex.org/W3157072245","https://openalex.org/W4205227699","https://openalex.org/W4238858352"],"related_works":["https://openalex.org/W19473193","https://openalex.org/W2349990005","https://openalex.org/W2808944898","https://openalex.org/W2369153420","https://openalex.org/W2388815250","https://openalex.org/W2964290513","https://openalex.org/W3196207352","https://openalex.org/W2951724202","https://openalex.org/W2352606227","https://openalex.org/W3100311625"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-06-13T06:13:01.061226","created_date":"2025-10-10T00:00:00"}