{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:21:24Z","timestamp":1750306884563,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,7,22]],"date-time":"2012-07-22T00:00:00Z","timestamp":1342915200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61061130540","NSFC 60911130369"],"award-info":[{"award-number":["61061130540","NSFC 60911130369"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001732","name":"Danish National Research Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001732","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001825","name":"Danish Agency for Science, Technology and Innovation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001825","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-09-BLAN-0371-01"],"award-info":[{"award-number":["ANR-09-BLAN-0371-01"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,7,22]]},"DOI":"10.1145\/2442829.2442878","type":"proceedings-article","created":{"date-parts":[[2013,2,22]],"date-time":"2013-02-22T19:25:33Z","timestamp":1361561133000},"page":"343-350","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Univariate real root isolation in multiple extension fields"],"prefix":"10.1145","author":[{"given":"Adam","family":"Strzebo\u0144ski","sequence":"first","affiliation":[{"name":"Wolfram Research Inc., Champaign, IL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elias P.","family":"Tsigaridas","sequence":"additional","affiliation":[{"name":"UPMC, Univ Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,7,22]]},"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","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. Moreno 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. Moreno 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_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1576702.1576716"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1668924.1668925"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/74540.74556"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993886.1993904"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2011.12.023"},{"key":"e_1_3_2_1_9_1","volume-title":"MM-Preprints","author":"Cheng J.-S.","year":"2011","unstructured":"J.-S. Cheng and X.-S. Gao . Multiplicity preserving triangular set decomposition of two polynomials. Technical report , MM-Preprints , 2011 . J.-S. Cheng and X.-S. Gao. Multiplicity preserving triangular set decomposition of two polynomials. Technical report, MM-Preprints, 2011."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2008.04.017"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2008.04.009"},{"key":"e_1_3_2_1_13_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 , Beihang University, Beijing, China , 2005 . Birkhauser. 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, Beihang University, Beijing, China, 2005. Birkhauser."},{"key":"e_1_3_2_1_14_1","volume-title":"Universit\u00e4t des Saarlandes","author":"Eigenwillig A.","year":"2008","unstructured":"A. Eigenwillig . Real root isolation for exact and approximate polynomials using Descartes' rule of signs. PhD thesis, Doktorarbeit , Universit\u00e4t des Saarlandes , Saarbr\u00fccken , 2008 . A. Eigenwillig. Real root isolation for exact and approximate polynomials using Descartes' rule of signs. PhD thesis, Doktorarbeit, Universit\u00e4t des Saarlandes, Saarbr\u00fccken, 2008."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/11555964_12"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jco.2004.03.003"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837934.1837981"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/258726.258790"},{"key":"e_1_3_2_1_19_1","volume-title":"The Ohio State University","author":"Johnson J. R.","year":"1991","unstructured":"J. R. Johnson . Algorithms for Polynomial Real Root Isolation. PhD thesis , The Ohio State University , 1991 . J. R. Johnson. Algorithms for Polynomial Real Root Isolation. PhD thesis, The Ohio State University, 1991."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993886.1993920"},{"key":"e_1_3_2_1_21_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_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2010.09.004"},{"key":"e_1_3_2_1_23_1","volume-title":"Springer-Verlag","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\/jsco.2002.0531"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1145768.1145814"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/780506.780535"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(03)00093-2"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cam.2003.08.015"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/800205.806341"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1088240.1088241"},{"key":"e_1_3_2_1_31_1","volume-title":"On the complexity of real root isolation. CoRR, abs\/1011.0344v1","author":"Sagraloff M.","year":"2010","unstructured":"M. Sagraloff . On the complexity of real root isolation. CoRR, abs\/1011.0344v1 , 2010 . M. Sagraloff. On the complexity of real root isolation. CoRR, abs\/1011.0344v1, 2010."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2442829.2442872"},{"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 . URL: http:\/\/www.iai.uni-bonn.de\/~schoe\/fdthmrep.ps.gz. A. Sch\u00f6nhage. The fundamental theorem of algebra in terms of computational complexity. Manuscript. Univ. of T\u00fcbingen, Germany, 1982. URL: http:\/\/www.iai.uni-bonn.de\/~schoe\/fdthmrep.ps.gz."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993886.1993934"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2002.0572"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.camwa.2006.06.003"},{"key":"e_1_3_2_1_37_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'12: International Symposium on Symbolic and Algebraic Computation","sponsor":["Grenoble University Grenoble University","INRIA Institut Natl de Recherche en Info et en Automatique","SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Grenoble France","acronym":"ISSAC'12"},"container-title":["Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2442829.2442878","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2442829.2442878","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:18:40Z","timestamp":1750234720000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2442829.2442878"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7,22]]},"references-count":35,"alternative-id":["10.1145\/2442829.2442878","10.1145\/2442829"],"URL":"https:\/\/doi.org\/10.1145\/2442829.2442878","relation":{},"subject":[],"published":{"date-parts":[[2012,7,22]]},"assertion":[{"value":"2012-07-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}