{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T03:11:38Z","timestamp":1783653098211,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,7,29]],"date-time":"2007-07-29T00:00:00Z","timestamp":1185667200000},"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":[[2007,7,29]]},"DOI":"10.1145\/1277548.1277570","type":"proceedings-article","created":{"date-parts":[[2007,12,7]],"date-time":"2007-12-07T19:19:41Z","timestamp":1197055181000},"page":"151-158","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":46,"title":["Fast and exact geometric analysis of real algebraic plane curves"],"prefix":"10.1145","author":[{"given":"Arno","family":"Eigenwillig","sequence":"first","affiliation":[{"name":"Max-Planck-Institut f\u00fcr Informatik"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael","family":"Kerber","sequence":"additional","affiliation":[{"name":"Max-Planck-Institut f\u00fcr Informatik"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nicola","family":"Wolpert","sequence":"additional","affiliation":[{"name":"Hochschule f\u00fcr Technik"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2007,7,29]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Symp. on Symb. and Alg. Comp. (ISSAC","author":"Abbott J.","year":"2006","unstructured":"J. Abbott : \" Quadratic Interval Refinement for Real Roots\". URL http:\/\/www.dima.unige.it\/~abbott\/. Poster presented at the 2006 Int . Symp. on Symb. and Alg. Comp. (ISSAC 2006 ). J. Abbott: \"Quadratic Interval Refinement for Real Roots\". URL http:\/\/www.dima.unige.it\/~abbott\/. Poster presented at the 2006 Int. Symp. on Symb. and Alg. Comp. (ISSAC 2006)."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1137\/0213054"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1137\/0213055"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-33099-2","volume-title":"Roy: Algorithms in Real Algebraic Geometry","author":"Basu S.","year":"2006","unstructured":"S. Basu , R. Pollack , M.- F. Roy: Algorithms in Real Algebraic Geometry . Springer , 2 nd edn., 2006 . S. Basu, R. Pollack, M.-F. Roy: Algorithms in Real Algebraic Geometry. Springer, 2nd edn., 2006.","edition":"2"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/11561071_16"},{"key":"e_1_3_2_1_6_1","volume-title":"Constructing Cylindrical Algebraic Decompositions of the Plane Quickly","author":"Brown C. W.","year":"2002","unstructured":"C. W. Brown : \" Constructing Cylindrical Algebraic Decompositions of the Plane Quickly \", 2002 . URL http:\/\/www.cs.usna.edu\/~wcbrown\/. Unpublished . C. W. Brown: \"Constructing Cylindrical Algebraic Decompositions of the Plane Quickly\", 2002. URL http:\/\/www.cs.usna.edu\/~wcbrown\/. Unpublished."},{"key":"e_1_3_2_1_7_1","volume-title":"Proc. 2nd GI Conf. on Automata Theory and Formal Languages, LNCS","volume":"33","author":"Collins G.","year":"1975","unstructured":"G. Collins : \" Quantifier Elimination For Real Closed Fields By Cylindrical Algebraic Decomposition \". In: Proc. 2nd GI Conf. on Automata Theory and Formal Languages, LNCS , vol. 33 . Springer , 1975 134--183. Reprinted with corrections in: B. F. Caviness, J. R. Johnson (eds.), Quantifier Elimination and Cylindrical Algebraic Decomposition, pp. 85--121, Springer, 1998. G. Collins: \"Quantifier Elimination For Real Closed Fields By Cylindrical Algebraic Decomposition\". In: Proc. 2nd GI Conf. on Automata Theory and Formal Languages, LNCS, vol. 33. Springer, 1975 134--183. Reprinted with corrections in: B. F. Caviness, J. R. Johnson (eds.), Quantifier Elimination and Cylindrical Algebraic Decomposition, pp. 85--121, Springer, 1998."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/800205.806346"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2002.0547"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(98)00081-4"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cam.2005.12.016"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/11555964_12"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1145768.1145786"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcom.1996.0032"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-8396(02)00167-X"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-9459-1_14"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0378-4754(96)00034-1"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-9459-1_13"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1145768.1145797"},{"key":"e_1_3_2_1_20_1","volume-title":"Universit\u00e4t des Saarlandes","author":"Kerber M.","year":"2006","unstructured":"M. Kerber : Analysis of Real Algebraic Plane Curves. Master's thesis , Universit\u00e4t des Saarlandes , Saarbr\u00fccken, Germany , 2006 . M. Kerber: Analysis of Real Algebraic Plane Curves. Master's thesis, Universit\u00e4t des Saarlandes, Saarbr\u00fccken, Germany, 2006."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2005.02.004"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1998.0257"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cam.2003.08.015"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1064092.1064111"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2006.06.004"}],"event":{"name":"ISSAC07: International Symposium on Symbolic and Algebraic Computation","location":"Waterloo Ontario Canada","acronym":"ISSAC07","sponsor":["ACM Association for Computing Machinery","SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"]},"container-title":["Proceedings of the 2007 international symposium on Symbolic and algebraic computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1277548.1277570","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1277548.1277570","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:58:13Z","timestamp":1750258693000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1277548.1277570"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7,29]]},"references-count":25,"alternative-id":["10.1145\/1277548.1277570","10.1145\/1277548"],"URL":"https:\/\/doi.org\/10.1145\/1277548.1277570","relation":{},"subject":[],"published":{"date-parts":[[2007,7,29]]},"assertion":[{"value":"2007-07-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}