{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T06:32:08Z","timestamp":1775802728453,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642313738","type":"print"},{"value":"9783642313745","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31374-5_19","type":"book-chapter","created":{"date-parts":[[2012,6,25]],"date-time":"2012-06-25T13:00:57Z","timestamp":1340629257000},"page":"280-294","source":"Crossref","is-referenced-by-count":12,"title":["Speeding Up Cylindrical Algebraic Decomposition by Gr\u00f6bner Bases"],"prefix":"10.1007","author":[{"given":"David J.","family":"Wilson","sequence":"first","affiliation":[]},{"given":"Russell J.","family":"Bradford","sequence":"additional","affiliation":[]},{"given":"James H.","family":"Davenport","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1006\/jsco.1999.0269","volume":"28","author":"P. Aubry","year":"1999","unstructured":"Aubry, P., Lazard, D., Moreno Maza, M.: On the Theories of Triangular Sets. J. Symbolic Comp.\u00a028, 105\u2013124 (1999)","journal-title":"J. Symbolic Comp."},{"key":"19_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1007\/3-540-15984-3_275","volume-title":"EUROCAL \u201985. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings","author":"W. B\u00f6ge","year":"1985","unstructured":"B\u00f6ge, W., Gebauer, R., Kredel, H.: Gr\u00f6bner Bases Using SAC2. In: Caviness, B.F. (ed.) ISSAC 1985 and EUROCAL 1985. LNCS, vol.\u00a0204, pp. 272\u2013274. Springer, Heidelberg (1985)"},{"key":"19_CR3","unstructured":"Buchberger, B., Hong, H.: Speeding-up Quantifier Elimination by Gr\u00f6bner Bases. Technical Report 91-06 (1991)"},{"issue":"4","key":"19_CR4","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/968708.968710","volume":"37","author":"C.W. Brown","year":"2003","unstructured":"Brown, C.W.: QEPCAD B: a program for computing with semi-algebraic sets using CADs. ACM SIGSAM Bulletin\u00a037(4), 97\u2013108 (2003)","journal-title":"ACM SIGSAM Bulletin"},{"key":"19_CR5","unstructured":"Brown, C.W.: Tutorial handout (2004), http:\/\/www.cs.usna.edu\/~wcbrown\/research\/ISSAC04\/handout.pdf"},{"key":"19_CR6","unstructured":"Brown, C.W.: SLFQ \u2014 simplifying large formulas with QEPCAD B (2005), http:\/\/www.cs.usna.edu\/~qepcad\/SLFQ\/Home.html"},{"key":"19_CR7","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1007\/BF01844169","volume":"4","author":"B. Buchberger","year":"1970","unstructured":"Buchberger, B.: Ein algorithmisches Kriterium f\u00fcr die L\u00f6sbarkeit eines algebraischen Gleichungssystem (English translation in [Buc98]). Aequationes Mathematicae\u00a04, 374\u2013383 (1970)","journal-title":"Aequationes Mathematicae"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Buchberger, B.: An Algorithmic Criterion for the Solvability of a System of Algebraic Equations. In: Gr\u00f6bner Bases and Applications, pp. 535\u2013545 (1998)","DOI":"10.1017\/CBO9780511565847.034"},{"key":"19_CR9","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/S0747-7171(08)80152-6","volume":"12","author":"G.E. Collins","year":"1991","unstructured":"Collins, G.E., Hong, H.: Partial Cylindrical Algebraic Decomposition for Quantifier Elimination. J. Symbolic Comp.\u00a012, 299\u2013328 (1991)","journal-title":"J. Symbolic Comp."},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Chen, C., Moreno Maza, M., Xia, B., Yang, L.: Computing Cylindrical Algebraic Decomposition via Triangular Decomposition. In: May, J. (ed.) Proceedings ISSAC 2009, pp. 95\u2013102 (2009)","DOI":"10.1145\/1576702.1576718"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"Collins, G.E.: Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition. In: Proceedings 2nd GI Conference Automata Theory & Formal Languages, pp. 134\u2013183 (1975)","DOI":"10.1007\/3-540-07407-4_17"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Dolzmann, A., Seidl, A., Sturm, T.: Efficient Projection Orders for CAD. In: Gutierrez, J. (ed.) Proceedings ISSAC 2004, pp. 111\u2013118 (2004)","DOI":"10.1145\/1005285.1005303"},{"key":"19_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/3-540-51517-8_128","volume-title":"EUROCAL \u201987","author":"P. Gianni","year":"1989","unstructured":"Gianni, P.: Properties of Gr\u00f6bner Bases Under Specializations. In: Davenport, J.H. (ed.) ISSAC 1987 and EUROCAL 1987. LNCS, vol.\u00a0378, pp. 293\u2013297. Springer, Heidelberg (1989)"},{"key":"19_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1007\/3-540-51517-8_127","volume-title":"EUROCAL \u201987","author":"M. Kalkbrener","year":"1989","unstructured":"Kalkbrener, M.: Solving Systems of Algebraic Equations by Using Gr\u00f6bner Bases. In: Davenport, J.H. (ed.) ISSAC 1987 and EUROCAL 1987. LNCS, vol.\u00a0378, pp. 282\u2013292. Springer, Heidelberg (1989)"},{"key":"19_CR15","unstructured":"Moreno Maza, M.: On Triangular Decompositions of Algebraic Varieties (2005), http:\/\/www.csd.uwo.ca\/~moreno\/Publications\/M3-MEGA-2005.pdf"},{"key":"19_CR16","unstructured":"Phisanbut, N.: Practical Simplification of Elementary Functions using Cylindrical Algebraic Decomposition. PhD thesis, University of Bath (2011)"},{"key":"19_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1007\/978-3-642-02959-2_35","volume-title":"Automated Deduction \u2013 CADE-22","author":"A. Platzer","year":"2009","unstructured":"Platzer, A., Quesel, J.-D., R\u00fcmmer, P.: Real World Verification. In: Schmidt, R.A. (ed.) CADE-22. LNCS, vol.\u00a05663, pp. 485\u2013501. Springer, Heidelberg (2009)"},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"Tarski, A.: A Decision Method for Elementary Algebra and Geometry, 2nd edn. Univ. Cal. Press (1951)","DOI":"10.1525\/9780520348097"},{"key":"19_CR19","unstructured":"Wilson, D.J.: Real Geometry and Connectness via Triangular Description: CAD Example Bank (2012), http:\/\/opus.bath.ac.uk\/29503"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31374-5_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,19]],"date-time":"2022-01-19T12:42:09Z","timestamp":1642596129000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31374-5_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642313738","9783642313745"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31374-5_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}