{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T03:49:09Z","timestamp":1777434549380,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,8,3]],"date-time":"2009-08-03T00:00:00Z","timestamp":1249257600000},"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":[],"published-print":{"date-parts":[[2009,8,3]]},"DOI":"10.1145\/1577190.1577203","type":"proceedings-article","created":{"date-parts":[[2009,9,25]],"date-time":"2009-09-25T19:37:20Z","timestamp":1253907440000},"page":"55-64","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination"],"prefix":"10.1145","author":[{"given":"Hidenao","family":"Iwane","sequence":"first","affiliation":[{"name":"Fujitsu Laboratories Ltd, Kanagawa, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hitoshi","family":"Yanami","sequence":"additional","affiliation":[{"name":"Fujitsu Laboratories Ltd, Kanagawa, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hirokazu","family":"Anai","sequence":"additional","affiliation":[{"name":"Fujitsu Laboratories Ltd, Kanagawa, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kazuhiro","family":"Yokoyama","sequence":"additional","affiliation":[{"name":"Rikkyo University, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,8,3]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2000.876713"},{"key":"e_1_3_2_1_2_1","first-page":"3","volume-title":"Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing 2003","author":"Anai H.","year":"2003","unstructured":"H. Anai and P. A. Parrilo . Convex quantifier elimination for semidefinite programming . In Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing 2003 . pp. 3 -- 11 , 2003 . H. Anai and P. A. Parrilo. Convex quantifier elimination for semidefinite programming. In Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing 2003. pp. 3--11, 2003."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/CCA.2004.1387594"},{"key":"e_1_3_2_1_4_1","first-page":"31","volume-title":"Proceedings of 11th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics","author":"Anai H.","year":"2004","unstructured":"H. Anai and K. Yokoyama . Numerical cylindrical algebraic decomposition with certificated reconstruction . In Proceedings of 11th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics ( Fukuoka, Japan) , pp. 31 , 2004 . H. Anai and K. Yokoyama. Numerical cylindrical algebraic decomposition with certificated reconstruction. In Proceedings of 11th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (Fukuoka, Japan), pp. 31, 2004."},{"key":"e_1_3_2_1_5_1","first-page":"25","volume-title":"Proceedings of the A3L 2005","author":"Anai H.","year":"2005","unstructured":"H. Anai and K. Yokoyama . Cylindrical algebraic decomposition via numerical computation with validated symbolic reconstruction . In Proceedings of the A3L 2005 , pp. 25 -- 30 , 2005 . H. Anai and K. Yokoyama. Cylindrical algebraic decomposition via numerical computation with validated symbolic reconstruction. In Proceedings of the A3L 2005, pp. 25--30, 2005."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2001.0463"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/968708.968710"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-9459-1","volume-title":"Quantifier elimination and cylindrical algebraic decomposition. Texts and monographs in symbolic computation","author":"Caviness B.","year":"1998","unstructured":"B. Caviness and J. Johnson , editors . Quantifier elimination and cylindrical algebraic decomposition. Texts and monographs in symbolic computation . Springer-Verlag , 1998 . B. Caviness and J. Johnson, editors. Quantifier elimination and cylindrical algebraic decomposition. Texts and monographs in symbolic computation. Springer-Verlag, 1998."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086837.1086852"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(08)80152-6"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2002.0547"},{"key":"e_1_3_2_1_13_1","first-page":"221","volume-title":"B. H. Matzat, G.-M","author":"Dolzmann A.","year":"1998","unstructured":"A. Dolzmann , T. Sturm , and V. Weispfenning . Real quantifier elimination in practice . In B. H. Matzat, G.-M . Greuel, and G. Hiss, editors, Algorithmic Algebra and Number Theory, pp. 221 -- 247 . Springer , Berlin, 1998 . A. Dolzmann, T. Sturm, and V. Weispfenning. Real quantifier elimination in practice. In B. H. Matzat, G.-M. Greuel, and G. Hiss, editors, Algorithmic Algebra and Number Theory, pp. 221--247. Springer, Berlin, 1998."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1005285.1005303"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/646660.701146"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1994.1057"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390768.1390782"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1996.0042"},{"key":"e_1_3_2_1_19_1","first-page":"365","volume-title":"Quantifier Elimination and Cylindrical Algebraic Decomposition, Texts and Monographs in Symbolic Computation","author":"Gonz L.","year":"1998","unstructured":"L. Gonz ález-Vega. A combinatorial algorithm solving some quantifier elimination problems . In B. F. Caviness and J. R. Johnson, editors, Quantifier Elimination and Cylindrical Algebraic Decomposition, Texts and Monographs in Symbolic Computation , pp. 365 -- 375 . Springer, Wien , New York , 1998 . L. González-Vega. A combinatorial algorithm solving some quantifier elimination problems. In B. F. Caviness and J. R. Johnson, editors, Quantifier Elimination and Cylindrical Algebraic Decomposition, Texts and Monographs in Symbolic Computation, pp. 365--375. Springer, Wien, New York, 1998."},{"key":"e_1_3_2_1_20_1","first-page":"264","volume-title":"the International Symposium on Symbolic and Algebraic Computation (ISSAC 93)","author":"Hong H.","year":"1993","unstructured":"H. Hong . Efficient method for analyzing topology of plane real algebraic curves . In the International Symposium on Symbolic and Algebraic Computation (ISSAC 93) , pp. 264 -- 274 , 1993 . H. Hong. Efficient method for analyzing topology of plane real algebraic curves. In the International Symposium on Symbolic and Algebraic Computation (ISSAC 93), pp. 264--274, 1993."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/164081.164140"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02234767"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1137\/S1052623400366802"},{"key":"e_1_3_2_1_24_1","volume-title":"Special issue on computational quantifier elimination, 36(5):450--462","author":"Loos R.","year":"1993","unstructured":"R. Loos and V. Weispfenning . Applying linear quantifier elimination. The Computer Journal , Special issue on computational quantifier elimination, 36(5):450--462 , 1993 . R. Loos and V. Weispfenning. Applying linear quantifier elimination. The Computer Journal, Special issue on computational quantifier elimination, 36(5):450--462, 1993."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1137\/0714040"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1137\/0714072"},{"key":"e_1_3_2_1_27_1","volume-title":"MTNS","author":"Parrilo P.","year":"2006","unstructured":"P. Parrilo , and S. Lall . Semidefinite Programming Relaxation and Algebraic Optimization in Control. Mini-course on Polynomial Equations and Inequalities I and II , MTNS , 2006 . P. Parrilo, and S. Lall. Semidefinite Programming Relaxation and Algebraic Optimization in Control. Mini-course on Polynomial Equations and Inequalities I and II, MTNS, 2006."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1014785518570"},{"key":"e_1_3_2_1_29_1","series-title":"Lecture Notes in Computer Science, 296: 177--197","volume-title":"Trends in Computer Algebra","author":"Rump S. M.","year":"1988","unstructured":"S. M. Rump . Algebraic computation , numerical computation and verified inclusions . In R. Janssen, editor, Trends in Computer Algebra , Lecture Notes in Computer Science, 296: 177--197 . Springer-Verlag , New York , 1988 . S. M. Rump. Algebraic computation, numerical computation and verified inclusions. In R. Janssen, editor, Trends in Computer Algebra, Lecture Notes in Computer Science, 296:177--197. Springer-Verlag, New York, 1988."},{"key":"e_1_3_2_1_30_1","series-title":"Software","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1137\/1.9780898718157.ch10","volume-title":"Accuracy and Reliability in Scientific Computing","author":"Rump S. M.","year":"2005","unstructured":"S. M. Rump . Computer-assisted proofs and self-validating methods . In B. Einarsson, editor, Accuracy and Reliability in Scientific Computing , Vol. 18 of Software , Environments, Tools, Chap . 10, pp. 195 -- 240 . Society for Industrial and Applied Mathematics, Philadelphia, PA , 2005 . S. M. Rump. Computer-assisted proofs and self-validating methods. In B. Einarsson, editor, Accuracy and Reliability in Scientific Computing, Vol. 18 of Software, Environments, Tools, Chap. 10, pp. 195--240. Society for Industrial and Applied Mathematics, Philadelphia, PA, 2005."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009924521389"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2006.06.004"},{"key":"e_1_3_2_1_33_1","volume-title":"Proceedings of the 15th IMACS World Congress on Scientific Computation, Modelling, and Applied Mathematics (IMACS 97)","author":"Sturm T.","year":"1997","unstructured":"T. Sturm and V. Weispfenning . Rounding and blending of solids by a real elimination method . Proceedings of the 15th IMACS World Congress on Scientific Computation, Modelling, and Applied Mathematics (IMACS 97) , 2:727--732, Aug. 1997 . T. Sturm and V. Weispfenning. Rounding and blending of solids by a real elimination method. Proceedings of the 15th IMACS World Congress on Scientific Computation, Modelling, and Applied Mathematics (IMACS 97), 2:727--732, Aug. 1997."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(88)80003-8"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1997.0122"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/s002000050055"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-25944-2_37"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2006.10.009"}],"event":{"name":"SNC '09: Symbolic Numeric Computation","location":"Kyoto Japan","acronym":"SNC '09","sponsor":["ACM Association for Computing Machinery","SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"]},"container-title":["Proceedings of the 2009 conference on Symbolic numeric computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1577190.1577203","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1577190.1577203","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:22:43Z","timestamp":1750278163000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1577190.1577203"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,8,3]]},"references-count":37,"alternative-id":["10.1145\/1577190.1577203","10.1145\/1577190"],"URL":"https:\/\/doi.org\/10.1145\/1577190.1577203","relation":{},"subject":[],"published":{"date-parts":[[2009,8,3]]},"assertion":[{"value":"2009-08-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}