{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,29]],"date-time":"2026-07-29T03:54:43Z","timestamp":1785297283160,"version":"3.55.0"},"reference-count":69,"publisher":"American Mathematical Society (AMS)","issue":"360","license":[{"start":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T00:00:00Z","timestamp":1780444800000},"content-version":"am","delay-in-days":365,"URL":"https:\/\/www.ams.org\/publications\/copyright-and-permissions"}],"funder":[{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["2022YFA1005102"],"award-info":[{"award-number":["2022YFA1005102"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Comp."],"abstract":"<p>Cylindrical algebraic decomposition is a classical construction in real algebraic geometry. Although there are many algorithms to compute a cylindrical algebraic decomposition, their practical performance is still very limited. In this paper, we revisit this problem from a more geometric perspective, where the construction of cylindrical algebraic decomposition is related to the study of morphisms between real varieties. It is showed that the geometric fiber cardinality (geometric property) decides the existence of semi-algebraic continuous sections (semi-algebraic property). As a result, all equations can be systematically exploited in the projection phase, leading to a new simple algorithm whose efficiency is demonstrated by experimental results.<\/p>","DOI":"10.1090\/mcom\/4099","type":"journal-article","created":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T15:23:24Z","timestamp":1748964204000},"page":"2025-2059","source":"Crossref","is-referenced-by-count":1,"title":["A geometric approach to cylindrical algebraic decomposition"],"prefix":"10.1090","volume":"95","author":[{"given":"Rizeng","family":"Chen","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"14","published-online":{"date-parts":[[2025,6,3]]},"reference":[{"issue":"4","key":"1","doi-asserted-by":"publisher","first-page":"865","DOI":"10.1137\/0213054","article-title":"Cylindrical algebraic decomposition. I. The basic algorithm","volume":"13","author":"Arnon, Dennis S.","year":"1984","journal-title":"SIAM J. Comput.","ISSN":"https:\/\/id.crossref.org\/issn\/0097-5397","issn-type":"print"},{"key":"2","series-title":"Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)]","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03718-8","volume-title":"Real algebraic geometry","volume":"36","author":"Bochnak, Jacek","year":"1998","ISBN":"https:\/\/id.crossref.org\/isbn\/3540646639"},{"key":"3","isbn-type":"print","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1145\/1277548.1277557","article-title":"The complexity of quantifier elimination and cylindrical algebraic decomposition","author":"Brown, Christopher W.","year":"2007","ISBN":"https:\/\/id.crossref.org\/isbn\/9781595937438"},{"key":"4","first-page":"41","article-title":"Sums of squares and quadratic forms in real algebraic geometry","author":"Becker, Eberhard","year":"1991"},{"issue":"3","key":"5","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1016\/S0747-7171(08)80153-8","article-title":"A faster way to count the solutions of inhomogeneous systems of algebraic equations, with applications to cyclic \ud835\udc5b-roots","volume":"12","author":"Bj\u00f6rck, G\u00f6ran","year":"1991","journal-title":"J. Symbolic Comput.","ISSN":"https:\/\/id.crossref.org\/issn\/0747-7171","issn-type":"print"},{"key":"6","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/j.jsc.2014.09.025","article-title":"On the complexity of the \ud835\udc39\u2085 Gr\u00f6bner basis algorithm","volume":"70","author":"Bardet, Magali","year":"2015","journal-title":"J. Symbolic Comput.","ISSN":"https:\/\/id.crossref.org\/issn\/0747-7171","issn-type":"print"},{"key":"7","unstructured":"[BH91] B. Buchberger and H. Hong, Speeding-Up Quantifier Elimination by Gr\u00f6bner Bases. Citeseer, 1991."},{"key":"8","isbn-type":"print","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1145\/1073884.1073897","article-title":"On using bi-equational constraints in CAD construction","author":"Brown, Christopher W.","year":"2005","ISBN":"https:\/\/id.crossref.org\/isbn\/1595930957"},{"issue":"2","key":"9","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1016\/0022-0000(86)90029-2","article-title":"The complexity of elementary algebra and geometry","volume":"32","author":"Ben-Or, Michael","year":"1986","journal-title":"J. Comput. System Sci.","ISSN":"https:\/\/id.crossref.org\/issn\/0022-0000","issn-type":"print"},{"key":"10","series-title":"Algorithms and Computation in Mathematics","isbn-type":"print","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-33099-2","volume-title":"Algorithms in real algebraic geometry","volume":"10","author":"Basu, Saugata","year":"2006","ISBN":"https:\/\/id.crossref.org\/isbn\/9783540330981","edition":"2"},{"issue":"5","key":"11","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1006\/jsco.2001.0463","article-title":"Improved projection for cylindrical algebraic decomposition","volume":"32","author":"Brown, Christopher W.","year":"2001","journal-title":"J. Symbolic Comput.","ISSN":"https:\/\/id.crossref.org\/issn\/0747-7171","issn-type":"print"},{"key":"12","doi-asserted-by":"crossref","unstructured":"[Bro03] C. W. Brown, QEPCAD B: a program for computing with semi-algebraic sets using CADs, ACM Sigsam Bulletin 37 (2003), no. 4, 97\u2013108.","DOI":"10.1145\/968708.968710"},{"key":"13","unstructured":"[Buc65] B. Buchberger, Ein algorithmus zum auffinden der basiselemente des restklassenringes nach einem nulldimensionalen polynomideal, Ph. D. Thesis, Math. Inst., University of Innsbruck, 1965."},{"key":"14","isbn-type":"print","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1090\/conm\/155\/01385","article-title":"On the trace formula for quadratic forms","author":"Becker, Eberhard","year":"1994","ISBN":"https:\/\/id.crossref.org\/isbn\/0821851543"},{"key":"15","series-title":"Undergraduate Texts in Mathematics","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-16721-3","volume-title":"Ideals, varieties, and algorithms","author":"Cox, David A.","year":"2015","ISBN":"https:\/\/id.crossref.org\/isbn\/9783319167206","edition":"4"},{"key":"16","isbn-type":"print","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/978-3-662-44199-2_65","article-title":"Cylindrical algebraic decomposition in the RegularChains library","author":"Chen, Changbo","year":"2014","ISBN":"https:\/\/id.crossref.org\/isbn\/9783662441992"},{"key":"17","doi-asserted-by":"crossref","unstructured":"[CMM14b] C. Chen and M. Moreno Maza, An incremental algorithm for computing cylindrical algebraic decompositions, In Computer Mathematics: 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, Contributed Papers and Invited Talks, Springer, 2014, pp. 199\u2013221.","DOI":"10.1007\/978-3-662-43799-5_17"},{"key":"18","isbn-type":"print","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/1576702.1576718","article-title":"Computing cylindrical algebraic decomposition via triangular decomposition","author":"Chen, Changbo","year":"2009","ISBN":"https:\/\/id.crossref.org\/isbn\/9781605586090"},{"key":"19","first-page":"134","article-title":"Quantifier elimination for real closed fields by cylindrical algebraic decomposition","author":"Collins, George E.","year":"1975"},{"key":"20","isbn-type":"print","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/978-3-7091-9459-1_2","article-title":"Quantifier elimination by cylindrical algebraic decomposition\u2014twenty years of progress","author":"Collins, George E.","year":"1998","ISBN":"https:\/\/id.crossref.org\/isbn\/3211827943"},{"key":"21","isbn-type":"print","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/978-3-030-89694-2_8","article-title":"Stickelberger and the eigenvalue theorem","author":"Cox, David A.","year":"[2021] \\copyright2021","ISBN":"https:\/\/id.crossref.org\/isbn\/9783030896935"},{"issue":"1-2","key":"22","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/S0747-7171(88)80004-X","article-title":"Real quantifier elimination is doubly exponential","volume":"5","author":"Davenport, James H.","year":"1988","journal-title":"J. Symbolic Comput.","ISSN":"https:\/\/id.crossref.org\/issn\/0747-7171","issn-type":"print"},{"key":"23","isbn-type":"print","first-page":"165","article-title":"Improving the use of equational constraints in cylindrical algebraic decomposition","author":"England, Matthew","year":"2015","ISBN":"https:\/\/id.crossref.org\/isbn\/9781450334358"},{"key":"24","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1016\/j.jsc.2019.07.019","article-title":"Cylindrical algebraic decomposition with equational constraints","volume":"100","author":"England, Matthew","year":"2020","journal-title":"J. Symbolic Comput.","ISSN":"https:\/\/id.crossref.org\/issn\/0747-7171","issn-type":"print"},{"key":"25","series-title":"Graduate Texts in Mathematics","isbn-type":"print","volume-title":"The geometry of schemes","volume":"197","author":"Eisenbud, David","year":"2000","ISBN":"https:\/\/id.crossref.org\/isbn\/0387986383"},{"key":"26","series-title":"Graduate Texts in Mathematics","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-5350-1","volume-title":"Commutative algebra","volume":"150","author":"Eisenbud, David","year":"1995","ISBN":"https:\/\/id.crossref.org\/isbn\/0387942688"},{"key":"27","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1145\/780506.780516","article-title":"A new efficient algorithm for computing Gr\u00f6bner bases without reduction to zero (\ud835\udc39\u2085)","author":"Faug\u00e8re, Jean-Charles","year":"2002"},{"key":"28","doi-asserted-by":"crossref","unstructured":"[Fau10] J.-C. Faug\u00e8re, Fgb: a library for computing Gr\u00f6bner bases, In International Congress on Mathematical Software, Springer, 2010, pp. 84\u201387.","DOI":"10.1007\/978-3-642-15582-6_17"},{"key":"29","isbn-type":"print","first-page":"173","article-title":"Real quantifier elimination by computation of comprehensive Gr\u00f6bner systems","author":"Fukasaku, Ryoya","year":"2015","ISBN":"https:\/\/id.crossref.org\/isbn\/9781450334358"},{"key":"30","isbn-type":"print","volume-title":"A {\\bf Singular} introduction to commutative algebra","author":"Greuel, Gert-Martin","year":"2008","ISBN":"https:\/\/id.crossref.org\/isbn\/9783540735410","edition":"2"},{"issue":"24","key":"31","first-page":"231","article-title":"\u00c9l\u00e9ments de g\u00e9om\u00e9trie alg\u00e9brique. IV. \u00c9tude locale des sch\u00e9mas et des morphismes de sch\u00e9mas. II","author":"Grothendieck, A.","year":"1965","journal-title":"Inst. Hautes \\'{E}tudes Sci. Publ. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0073-8301","issn-type":"print"},{"issue":"28","key":"32","first-page":"255","article-title":"\u00c9l\u00e9ments de g\u00e9om\u00e9trie alg\u00e9brique. IV. \u00c9tude locale des sch\u00e9mas et des morphismes de sch\u00e9mas. III","author":"Grothendieck, A.","year":"1966","journal-title":"Inst. Hautes \\'{E}tudes Sci. Publ. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0073-8301","issn-type":"print"},{"key":"33","series-title":"Graduate Texts in Mathematics, No. 52","isbn-type":"print","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3849-0","volume-title":"Algebraic geometry","author":"Hartshorne, Robin","year":"1977","ISBN":"https:\/\/id.crossref.org\/isbn\/0387902449"},{"key":"34","doi-asserted-by":"crossref","unstructured":"[HEDP16] Z. Huang, M. England, J. H. Davenport, and L. C. Paulson, Using machine learning to decide when to precondition cylindrical algebraic decomposition with Groebner bases, In 2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), IEEE, 2016, pp. 45\u201352.","DOI":"10.1109\/SYNASC.2016.020"},{"key":"35","doi-asserted-by":"crossref","unstructured":"[Hon90] H. Hong, An improvement of the projection operator in cylindrical algebraic decomposition, In Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1990, pp. 261\u2013264.","DOI":"10.1145\/96877.96943"},{"key":"36","unstructured":"[Hon91] H. Hong, Comparison of Several Decision Algorithms for the Existential Theory of the Reals, Citeseer, 1991."},{"key":"37","unstructured":"[Inc23] Wolfram Research, Inc. Mathematica, Version 13.3, Champaign, IL, 2023."},{"issue":"1","key":"38","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1006\/jsco.1997.0113","article-title":"On the stability of Gr\u00f6bner bases under specializations","volume":"24","author":"Kalkbrener, Michael","year":"1997","journal-title":"J. Symbolic Comput.","ISSN":"https:\/\/id.crossref.org\/issn\/0747-7171","issn-type":"print"},{"key":"39","series-title":"Graduate Texts in Mathematics","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03545-6","volume-title":"A course in commutative algebra","volume":"256","author":"Kemper, Gregor","year":"2011","ISBN":"https:\/\/id.crossref.org\/isbn\/9783642035449"},{"key":"40","isbn-type":"print","first-page":"227","article-title":"A single exponential bound on the complexity of computing Gr\u00f6bner bases of zero-dimensional ideals","author":"Lakshman, Y. N.","year":"1991","ISBN":"https:\/\/id.crossref.org\/isbn\/0817635467"},{"key":"41","isbn-type":"print","first-page":"467","article-title":"An improved projection for cylindrical algebraic decomposition","author":"Lazard, D.","year":"1994","ISBN":"https:\/\/id.crossref.org\/isbn\/0387941762"},{"key":"42","series-title":"Oxford Graduate Texts in Mathematics","isbn-type":"print","volume-title":"Algebraic geometry and arithmetic curves","volume":"6","author":"Liu, Qing","year":"2002","ISBN":"https:\/\/id.crossref.org\/isbn\/0198502842"},{"key":"43","isbn-type":"print","first-page":"217","article-title":"On the complexity of zero-dimensional algebraic systems","author":"Lakshman, Y. N.","year":"1991","ISBN":"https:\/\/id.crossref.org\/isbn\/0817635467"},{"key":"44","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/j.jsc.2021.12.002","article-title":"Solving parametric systems of polynomial equations over the reals through Hermite matrices","volume":"112","author":"Le, Huu Phuoc","year":"2022","journal-title":"J. Symbolic Comput.","ISSN":"https:\/\/id.crossref.org\/issn\/0747-7171","issn-type":"print"},{"issue":"1","key":"45","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1007\/s11424-019-8357-z","article-title":"A survey on algorithms for computing comprehensive Gr\u00f6bner systems and comprehensive Gr\u00f6bner bases","volume":"32","author":"Lu, Dong","year":"2019","journal-title":"J. Syst. Sci. Complex.","ISSN":"https:\/\/id.crossref.org\/issn\/1009-6124","issn-type":"print"},{"key":"46","series-title":"Springer Monographs in Mathematics","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-43104-4","volume-title":"Real algebraic varieties","author":"Mangolte, Fr\u00e9d\u00e9ric","year":"[2020] \\copyright2020","ISBN":"https:\/\/id.crossref.org\/isbn\/9783030431044"},{"key":"47","isbn-type":"print","doi-asserted-by":"publisher","first-page":"400","DOI":"10.1007\/BFb0029002","article-title":"Membership in polynomial ideals over \ud835\udcac is exponential space complete","author":"Mayr, Ernst","year":"1989","ISBN":"https:\/\/id.crossref.org\/isbn\/3540508406"},{"key":"48","isbn-type":"print","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1145\/1576702.1576715","article-title":"On delineability of varieties in CAD-based quantifier elimination with two equational constraints","author":"McCallum, Scott","year":"2009","ISBN":"https:\/\/id.crossref.org\/isbn\/9781605586090"},{"issue":"1-2","key":"49","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/S0747-7171(88)80010-5","article-title":"An improved projection operation for cylindrical algebraic decomposition of three-dimensional space","volume":"5","author":"McCallum, Scott","year":"1988","journal-title":"J. Symbolic Comput.","ISSN":"https:\/\/id.crossref.org\/issn\/0747-7171","issn-type":"print"},{"key":"50","isbn-type":"print","first-page":"242","article-title":"An improved projection operation for cylindrical algebraic decomposition","author":"McCallum, Scott","year":"1998","ISBN":"https:\/\/id.crossref.org\/isbn\/3211827943"},{"key":"51","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1145\/309831.309892","article-title":"On projection in CAD-based quantifier elimination with equational constraint","author":"McCallum, Scott","year":"1999"},{"key":"52","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1145\/384101.384132","article-title":"On propagation of equational constraints in CAD-based quantifier elimination","author":"McCallum, Scott","year":"2001"},{"issue":"3","key":"53","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1016\/0001-8708(82)90048-2","article-title":"The complexity of the word problems for commutative semigroups and polynomial ideals","volume":"46","author":"Mayr, Ernst W.","year":"1982","journal-title":"Adv. in Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0001-8708","issn-type":"print"},{"key":"54","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.jsc.2017.12.002","article-title":"Validity proof of Lazard\u2019s method for CAD construction","volume":"92","author":"McCallum, Scott","year":"2019","journal-title":"J. Symbolic Comput.","ISSN":"https:\/\/id.crossref.org\/issn\/0747-7171","issn-type":"print"},{"key":"55","isbn-type":"print","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1145\/1837934.1837945","article-title":"Degree bounds for Gr\u00f6bner bases of low-dimensional polynomial ideals","author":"Mayr, Ernst W.","year":"2010","ISBN":"https:\/\/id.crossref.org\/isbn\/9781450301503"},{"key":"56","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1016\/j.jsc.2011.12.018","article-title":"Dimension-dependent bounds for Gr\u00f6bner bases of polynomial ideals","volume":"49","author":"Mayr, Ernst W.","year":"2013","journal-title":"J. Symbolic Comput.","ISSN":"https:\/\/id.crossref.org\/issn\/0747-7171","issn-type":"print"},{"key":"57","volume-title":"Counting real zeros","author":"Pedersen, Paul Christian","year":"1991"},{"issue":"8","key":"58","doi-asserted-by":"publisher","first-page":"1588","DOI":"10.1016\/j.apal.2017.03.001","article-title":"Elementary recursive quantifier elimination based on Thom encoding and sign determination","volume":"168","author":"Perrucci, Daniel","year":"2017","journal-title":"Ann. Pure Appl. Logic","ISSN":"https:\/\/id.crossref.org\/issn\/0168-0072","issn-type":"print"},{"key":"59","isbn-type":"print","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/978-1-4612-2752-6_15","article-title":"Counting real zeros in the multivariate case","author":"Pedersen, P.","year":"1993","ISBN":"https:\/\/id.crossref.org\/isbn\/0817636781"},{"key":"60","series-title":"Graduate Texts in Mathematics","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-69213-0","volume-title":"A course in real algebraic geometry---positivity and sums of squares","volume":"303","author":"Scheiderer, Claus","year":"[2024] \\copyright2024","ISBN":"https:\/\/id.crossref.org\/isbn\/9783031692123"},{"key":"61","series-title":"Mathematische Leitf\\\"{a}den. [Mathematical Textbooks]","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-322-80092-3","volume-title":"Lehrbuch der Algebra. Teil 2","author":"Scheja, G\u00fcnter","year":"1988","ISBN":"https:\/\/id.crossref.org\/isbn\/3519022125"},{"key":"62","isbn-type":"print","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1145\/1145768.1145821","article-title":"A simple algorithm to compute comprehensive Gr\u00f6bner bases using Gr\u00f6bner bases","author":"Suzuki, Akira","year":"2006","ISBN":"https:\/\/id.crossref.org\/isbn\/1595932763"},{"key":"63","doi-asserted-by":"crossref","DOI":"10.1525\/9780520348097","volume-title":"A decision method for elementary algebra and geometry","author":"Tarski, Alfred","year":"1951"},{"issue":"3","key":"64","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1016\/S0022-4049(97)00062-5","article-title":"Flatness testing and torsionfree morphisms","volume":"122","author":"Vasconcelos, Wolmer V.","year":"1997","journal-title":"J. Pure Appl. Algebra","ISSN":"https:\/\/id.crossref.org\/issn\/0022-4049","issn-type":"print"},{"key":"65","doi-asserted-by":"crossref","unstructured":"[WBD12] D. Wilson, R. Bradford, and J. H. Davenport, Speeding up cylindrical algebraic decomposition by Gr\u00f6bner bases, In International Conference on Intelligent Computer Mathematics, Springer, 2012, 280\u2013294.","DOI":"10.1007\/978-3-642-31374-5_19"},{"issue":"324","key":"66","doi-asserted-by":"publisher","first-page":"1993","DOI":"10.1090\/mcom\/3504","article-title":"Decomposition of polynomial sets into characteristic pairs","volume":"89","author":"Wang, Dongming","year":"2020","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"issue":"1-2","key":"67","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0747-7171(88)80003-8","article-title":"The complexity of linear problems in fields","volume":"5","author":"Weispfenning, Volker","year":"1988","journal-title":"J. Symbolic Comput.","ISSN":"https:\/\/id.crossref.org\/issn\/0747-7171","issn-type":"print"},{"issue":"1","key":"68","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0747-7171(92)90023-W","article-title":"Comprehensive Gr\u00f6bner bases","volume":"14","author":"Weispfenning, Volker","year":"1992","journal-title":"J. Symbolic Comput.","ISSN":"https:\/\/id.crossref.org\/issn\/0747-7171","issn-type":"print"},{"key":"69","isbn-type":"print","first-page":"376","article-title":"A new approach to quantifier elimination for real algebra","author":"Weispfenning, V.","year":"1998","ISBN":"https:\/\/id.crossref.org\/isbn\/3211827943"}],"container-title":["Mathematics of Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.ams.org\/mcom\/2026-95-360\/S0025-5718-2025-04099-7\/mcom4099_AM.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"https:\/\/www.ams.org\/mcom\/2026-95-360\/S0025-5718-2025-04099-7\/S0025-5718-2025-04099-7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T06:05:26Z","timestamp":1776837926000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ams.org\/mcom\/2026-95-360\/S0025-5718-2025-04099-7\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,3]]},"references-count":69,"journal-issue":{"issue":"360","published-print":{"date-parts":[[2026,7]]}},"alternative-id":["S0025-5718-2025-04099-7"],"URL":"https:\/\/doi.org\/10.1090\/mcom\/4099","archive":["CLOCKSS","Portico"],"relation":{},"ISSN":["1088-6842","0025-5718"],"issn-type":[{"value":"1088-6842","type":"electronic"},{"value":"0025-5718","type":"print"}],"subject":[],"published":{"date-parts":[[2025,6,3]]}}}