{"id":"https://openalex.org/W4407385497","doi":"https://doi.org/10.1145/3717582.3717586","title":"The Geometry of Cylindrical Algebraic Decomposition","display_name":"The Geometry of Cylindrical Algebraic Decomposition","publication_year":2024,"publication_date":"2024-09-01","ids":{"openalex":"https://openalex.org/W4407385497","doi":"https://doi.org/10.1145/3717582.3717586"},"language":"en","primary_location":{"id":"doi:10.1145/3717582.3717586","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3717582.3717586","pdf_url":null,"source":{"id":"https://openalex.org/S176185422","display_name":"ACM communications in computer algebra","issn_l":"1932-2232","issn":["1932-2232","1932-2240"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320725","host_organization_name":"SIGSAM","host_organization_lineage":["https://openalex.org/P4310320725"],"host_organization_lineage_names":["SIGSAM"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Communications in Computer Algebra","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/A5003473978","display_name":"Rizeng Chen","orcid":"https://orcid.org/0009-0001-5985-5359"},"institutions":[{"id":"https://openalex.org/I111483173","display_name":"King University","ror":"https://ror.org/01evb6z23","country_code":"US","type":"education","lineage":["https://openalex.org/I111483173"]},{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN","US"],"is_corresponding":true,"raw_author_name":"Rizeng Chen","raw_affiliation_strings":["School of Mathematical Sciences, Peking University"],"affiliations":[{"raw_affiliation_string":"School of Mathematical Sciences, Peking University","institution_ids":["https://openalex.org/I111483173","https://openalex.org/I20231570"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5003473978"],"corresponding_institution_ids":["https://openalex.org/I111483173","https://openalex.org/I20231570"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.31412562,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"58","issue":"3","first_page":"67","last_page":"71"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9991999864578247,"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"}},"topics":[{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9991999864578247,"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/T11245","display_name":"Advanced Numerical Analysis Techniques","score":0.9962999820709229,"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/T12504","display_name":"Mathematics and Applications","score":0.9656000137329102,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/decomposition","display_name":"Decomposition","score":0.7305433750152588},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.5473697781562805},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.531846284866333},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.528847336769104},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.44031649827957153},{"id":"https://openalex.org/keywords/algebraic-geometry","display_name":"Algebraic geometry","score":0.4190024137496948},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.35407203435897827},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.21675845980644226},{"id":"https://openalex.org/keywords/chemistry","display_name":"Chemistry","score":0.10461193323135376}],"concepts":[{"id":"https://openalex.org/C124681953","wikidata":"https://www.wikidata.org/wiki/Q339062","display_name":"Decomposition","level":2,"score":0.7305433750152588},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.5473697781562805},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.531846284866333},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.528847336769104},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.44031649827957153},{"id":"https://openalex.org/C68363185","wikidata":"https://www.wikidata.org/wiki/Q180969","display_name":"Algebraic geometry","level":2,"score":0.4190024137496948},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.35407203435897827},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.21675845980644226},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.10461193323135376},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3717582.3717586","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3717582.3717586","pdf_url":null,"source":{"id":"https://openalex.org/S176185422","display_name":"ACM communications in computer algebra","issn_l":"1932-2232","issn":["1932-2232","1932-2240"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320725","host_organization_name":"SIGSAM","host_organization_lineage":["https://openalex.org/P4310320725"],"host_organization_lineage_names":["SIGSAM"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Communications in Computer Algebra","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W1491532135","https://openalex.org/W1565449944","https://openalex.org/W2011495999","https://openalex.org/W2021431116","https://openalex.org/W2026612342","https://openalex.org/W2028158012","https://openalex.org/W2031948211","https://openalex.org/W4229917934","https://openalex.org/W4248194104","https://openalex.org/W4255213956","https://openalex.org/W4298290503"],"related_works":["https://openalex.org/W2380059383","https://openalex.org/W4224278052","https://openalex.org/W2063679720","https://openalex.org/W2031856784","https://openalex.org/W2018218513","https://openalex.org/W2185495545","https://openalex.org/W2075046161","https://openalex.org/W2385335131","https://openalex.org/W2032618524","https://openalex.org/W4236564872"],"abstract_inverted_index":{"The":[0],"decision":[1,35,52,74,104,123],"problem":[2,14,36,105,124],"of":[3,25,71,112],"the":[4,9,38,51,56,72,99,102,122,126,132],"first":[5],"order":[6],"theory":[7,61],"over":[8,37,125],"reals":[10,127],"is":[11,67,106,128],"a":[12,34,68],"fundamental":[13],"in":[15,46,62,86],"symbolic":[16],"computation.":[17,120],"Because":[18],"many":[19,109],"problems":[20],"emerging":[21],"from":[22,137],"other":[23,138],"areas":[24],"science":[26,139],"and":[27,43,89,92,119,135],"engineering":[28],"can":[29],"be":[30],"directly":[31],"expressed":[32],"by":[33],"reals,":[39],"there":[40,83],"are":[41,79,84,96],"more":[42,44,93],"interests":[45],"developing":[47],"efficient":[48],"algorithms":[49],"for":[50],"problem.":[53],"For":[54],"example,":[55],"non-linear":[57],"real":[58,73,103],"arithmetic":[59],"(NRA)":[60],"satisfiability":[63],"modulo":[64],"theories":[65],"(SMT)":[66],"special":[69],"case":[70],"problem,":[75],"where":[76],"all":[77,98],"variables":[78],"existentially":[80],"quantified.":[81],"And":[82],"applications":[85,95],"Robotics,":[87],"Biology":[88],"Economics.":[90],"More":[91],"new":[94],"discovered":[97],"time.":[100],"Besides,":[101],"related":[107],"to":[108,130],"different":[110],"branches":[111],"mathematics,":[113],"such":[114],"as":[115],"logic,":[116],"geometry,":[117],"algebra":[118],"Therefore,":[121],"interesting":[129],"both":[131],"mathematics":[133],"community":[134],"researchers":[136],"areas.":[140]},"counts_by_year":[],"updated_date":"2025-12-23T23:11:35.936235","created_date":"2025-10-10T00:00:00"}