{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T01:58:41Z","timestamp":1760061521770,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,6,8]],"date-time":"2011-06-08T00:00:00Z","timestamp":1307491200000},"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":[[2011,6,8]]},"DOI":"10.1145\/1993886.1993934","type":"proceedings-article","created":{"date-parts":[[2011,6,14]],"date-time":"2011-06-14T14:45:32Z","timestamp":1308062732000},"page":"321-328","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Univariate real root isolation in an extension field"],"prefix":"10.1145","author":[{"given":"Adam","family":"Strzebonski","sequence":"first","affiliation":[{"name":"Wolfram Research Inc, Champaign, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elias","family":"Tsigaridas","sequence":"additional","affiliation":[{"name":"Aarhus University, Aarhus, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,6,8]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.15388\/NA.2005.10.4.15110"},{"key":"e_1_3_2_1_2_1","series-title":"Algorithms and Computation in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-33099-2","volume-title":"Algorithms in Real Algebraic Geometry","author":"Basu S.","year":"2006","unstructured":"S. Basu , R. Pollack , and M- F. Roy . Algorithms in Real Algebraic Geometry , volume 10 of Algorithms and Computation in Mathematics . Springer-Verlag , 2 nd edition, 2006 . S. Basu, R. Pollack, and M-F.Roy. Algorithms in Real Algebraic Geometry, volume 10 of Algorithms and Computation in Mathematics. Springer-Verlag, 2nd edition, 2006.","edition":"2"},{"key":"e_1_3_2_1_3_1","first-page":"1","volume-title":"Proc. Asian Symposium on Computer Mathematics (ASCM)","author":"Boulier F.","year":"2009","unstructured":"F. Boulier , C. Chen , F. Lemaire , and M. Maza . Real root isolation of regular chains . In Proc. Asian Symposium on Computer Mathematics (ASCM) , pages 1 -- 15 , 2009 . F. Boulier, C. Chen, F. Lemaire, and M. Maza. Real root isolation of regular chains. In Proc. Asian Symposium on Computer Mathematics (ASCM), pages 1--15, 2009."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2008.04.017"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/800205.806346"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/800205.806319"},{"key":"e_1_3_2_1_7_1","volume-title":"Using Algebraic Geometry. Number 185 in GTM","author":"Cox D.","year":"2005","unstructured":"D. Cox , J. Little , and D. O'Shea . Using Algebraic Geometry. Number 185 in GTM . Springer , New York , 2 nd edition, 2005 . D. Cox, J. Little, and D. O'Shea. Using Algebraic Geometry. Number 185 in GTM. Springer, New York, 2nd edition, 2005.","edition":"2"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2008.04.009"},{"key":"e_1_3_2_1_10_1","first-page":"113","volume-title":"Int. Workshop on Symbolic Numeric Computing","author":"Du Z.","year":"2005","unstructured":"Z. Du , V. Sharma , and C. K. Yap . Amortized bound for root isolation via Sturm sequences. In D. Wang and L. Zhi, editors , Int. Workshop on Symbolic Numeric Computing , pages 113 -- 129 , School of Science, Beihang University, Beijing, China , 2005 . Z. Du, V. Sharma, and C. K. Yap. Amortized bound for root isolation via Sturm sequences. In D. Wang and L. Zhi, editors, Int. Workshop on Symbolic Numeric Computing, pages 113--129, School of Science, Beihang University, Beijing, China, 2005."},{"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.1007\/978-3-540-85521-7_4"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837934.1837981"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/258726.258790"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04103-7_15"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-7551-4_12"},{"key":"e_1_3_2_1_20_1","first-page":"94","volume-title":"Proc. 1st ACM Int'l Work. Symbolic Numeric Computation (SNC)","author":"Lu Z.","year":"2005","unstructured":"Z. Lu , B. He , Y. Luo , and L. Pan . An algorithm of real root isolation for polynomial system. In D. Wang and L. Zhi, editors , Proc. 1st ACM Int'l Work. Symbolic Numeric Computation (SNC) , pages 94 -- 107 , 2005 . Z. Lu, B. He, Y. Luo, and L. Pan. An algorithm of real root isolation for polynomial system. In D. Wang and L. Zhi, editors, Proc. 1st ACM Int'l Work. Symbolic Numeric Computation (SNC), pages 94--107, 2005."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2010.02.002"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2010.09.004"},{"key":"e_1_3_2_1_23_1","volume-title":"Mathematics for Computer Algebra","author":"Mignotte M.","year":"1991","unstructured":"M. Mignotte . Mathematics for Computer Algebra . Springer-Verlag , New York , 1991 . M. Mignotte. Mathematics for Computer Algebra. Springer-Verlag, New York, 1991."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcom.2001.0636"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2002.0531"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1145768.1145814"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02572411"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(03)00093-2"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cam.2003.08.015"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/800205.806341"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1088240.1088241"},{"key":"e_1_3_2_1_32_1","volume-title":"abs\/1011.0344","author":"Sagraloff M.","year":"2010","unstructured":"M. Sagraloff . On the complexity of real root isolation. CoRR , abs\/1011.0344 , 2010 . M. Sagraloff. On the complexity of real root isolation. CoRR, abs\/1011.0344, 2010."},{"key":"e_1_3_2_1_33_1","volume-title":"Manuscript","author":"Sch\u00f6nhage A.","year":"1982","unstructured":"A. Sch\u00f6nhage . The fundamental theorem of algebra in terms of computational complexity . Manuscript . Univ. of T\u00fcbingen, Germany , 1982 . A. Sch\u00f6nhage. The fundamental theorem of algebra in terms of computational complexity. Manuscript. Univ. of T\u00fcbingen, Germany, 1982."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1353\/ajm.2004.0050"},{"key":"e_1_3_2_1_35_1","volume-title":"Improved complexity bounds for real root isolation using Continued Fractions. Arxiv preprint arXiv:1010.2006","author":"Tsigaridas E. P.","year":"2010","unstructured":"E. P. Tsigaridas . Improved complexity bounds for real root isolation using Continued Fractions. Arxiv preprint arXiv:1010.2006 , 2010 . E. P. Tsigaridas. Improved complexity bounds for real root isolation using Continued Fractions. Arxiv preprint arXiv:1010.2006, 2010."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2007.10.010"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/780506.780520"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2002.0572"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.camwa.2006.06.003"},{"key":"e_1_3_2_1_40_1","volume-title":"Fundamental Problems of Algorithmic Algebra","author":"Yap C.","year":"2000","unstructured":"C. Yap . Fundamental Problems of Algorithmic Algebra . Oxford University Press , New York , 2000 . C. Yap. Fundamental Problems of Algorithmic Algebra. Oxford University Press, New York, 2000."}],"event":{"name":"ISSAC '11: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"San Jose California USA","acronym":"ISSAC '11"},"container-title":["Proceedings of the 36th international symposium on Symbolic and algebraic computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1993886.1993934","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1993886.1993934","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:05:47Z","timestamp":1750244747000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1993886.1993934"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6,8]]},"references-count":37,"alternative-id":["10.1145\/1993886.1993934","10.1145\/1993886"],"URL":"https:\/\/doi.org\/10.1145\/1993886.1993934","relation":{},"subject":[],"published":{"date-parts":[[2011,6,8]]},"assertion":[{"value":"2011-06-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}