{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:04:29Z","timestamp":1750309469891,"version":"3.41.0"},"reference-count":12,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2024,9,1]],"date-time":"2024-09-01T00:00:00Z","timestamp":1725148800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Commun. Comput. Algebra"],"published-print":{"date-parts":[[2024,9]]},"abstract":"<jats:p>The decision problem of the first order theory over the reals is a fundamental problem in symbolic computation. Because many problems emerging from other areas of science and engineering can be directly expressed by a decision problem over the reals, there are more and more interests in developing efficient algorithms for the decision problem. For example, the non-linear real arithmetic (NRA) theory in satisfiability modulo theories (SMT) is a special case of the real decision problem, where all variables are existentially quantified. And there are applications in Robotics, Biology and Economics. More and more new applications are discovered all the time. Besides, the real decision problem is related to many different branches of mathematics, such as logic, geometry, algebra and computation. Therefore, the decision problem over the reals is interesting to both the mathematics community and researchers from other science areas.<\/jats:p>","DOI":"10.1145\/3717582.3717586","type":"journal-article","created":{"date-parts":[[2025,2,11]],"date-time":"2025-02-11T20:41:51Z","timestamp":1739306511000},"page":"67-71","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["The Geometry of Cylindrical Algebraic Decomposition"],"prefix":"10.1145","volume":"58","author":[{"given":"Rizeng","family":"Chen","sequence":"first","affiliation":[{"name":"School of Mathematical Sciences, Peking University"}]}],"member":"320","published-online":{"date-parts":[[2025,2,11]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-33099-2"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2001.0463"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/968708.968710"},{"key":"e_1_2_1_4_1","volume-title":"Geometric fiber classification of morphisms and a geometric approach to cylindrical algebraic decomposition. preprint arXiv:2311.10515","author":"Chen Rizeng","year":"2023","unstructured":"[Che23] Rizeng Chen. Geometric fiber classification of morphisms and a geometric approach to cylindrical algebraic decomposition. preprint arXiv:2311.10515, 2023."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-07407-4_17"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2755996.2756646"},{"key":"e_1_2_1_7_1","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/BF02684322","article-title":"\u00c9l\u00e9ments de g\u00e9om\u00e9trie alg\u00e9brique: Iv. \u00e9tude locale des sch\u00e9mas et des morphismes de sch\u00e9mas, seconde partie","volume":"24","author":"Grothendieck Alexander","year":"1965","unstructured":"[Gro65] Alexander Grothendieck. \u00c9l\u00e9ments de g\u00e9om\u00e9trie alg\u00e9brique: Iv. \u00e9tude locale des sch\u00e9mas et des morphismes de sch\u00e9mas, seconde partie. Publications Math\u00e9matiques de l'IH\u00c9S, 24:5--231, 1965.","journal-title":"Publications Math\u00e9matiques de l'IH\u00c9S"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/96877.96943"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429135.2429155"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-2628-4_29"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-9459-1_12"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1525\/9780520348097"}],"container-title":["ACM Communications in Computer Algebra"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3717582.3717586","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3717582.3717586","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:17:15Z","timestamp":1750295835000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3717582.3717586"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9]]},"references-count":12,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2024,9]]}},"alternative-id":["10.1145\/3717582.3717586"],"URL":"https:\/\/doi.org\/10.1145\/3717582.3717586","relation":{},"ISSN":["1932-2232","1932-2240"],"issn-type":[{"type":"print","value":"1932-2232"},{"type":"electronic","value":"1932-2240"}],"subject":[],"published":{"date-parts":[[2024,9]]},"assertion":[{"value":"2025-02-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}