{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:21:23Z","timestamp":1750306883956,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"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":[{"name":"MEC (MTM2011-22435)"},{"DOI":"10.13039\/501100004963","name":"Seventh Framework Programme","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004963","id-type":"DOI","asserted-by":"publisher"}]},{"name":"MathAmSud (11MATH-04-Complexity-Deterministic and probabilistic complexity of algorithms for solving equations)"},{"DOI":"10.13039\/501100002911","name":"Universidad Complutense de Madrid","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002911","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.2442839","type":"proceedings-article","created":{"date-parts":[[2013,2,22]],"date-time":"2013-02-22T19:25:33Z","timestamp":1361561133000},"page":"35-42","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["A root isolation algorithm for sparse univariate polynomials"],"prefix":"10.1145","author":[{"given":"Maria Emilia Alonso","family":"Garcia","sequence":"first","affiliation":[{"name":"Universidad Complutense de Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e9","family":"Galligo","sequence":"additional","affiliation":[{"name":"Universite de Nice-Sophia Antipolis, Cedex, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,7,22]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Symp. on Symb. and Alg. Comp. (ISSAC","author":"Abbott J","year":"2006","unstructured":"Abbott , J : Quadratic interval refinement for real roots. Poster presented at the 2006 Int . Symp. on Symb. and Alg. Comp. (ISSAC 2006 ). Abbott, J: Quadratic interval refinement for real roots. 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":"crossref","DOI":"10.1007\/978-3-662-05355-3","volume-title":"Algorithms in real algebraic geometry","author":"Basu S","year":"2003","unstructured":"Basu , S and Pollack , R and Roy , M.-F. : Algorithms in real algebraic geometry , Springer ( 2003 ). Basu,S and Pollack,R and Roy,M.-F.: Algorithms in real algebraic geometry, Springer (2003)."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993886.1993897"},{"key":"e_1_3_2_1_4_1","volume-title":"M and Roy","author":"Bochnack J.","year":"1998","unstructured":"Bochnack , J. and Coste , M and Roy , M-F. : Real Algebraic Geometry. Springer ( 1998 ). Bochnack, J. and Coste, M and Roy, M-F.: Real Algebraic Geometry. Springer (1998)."},{"key":"e_1_3_2_1_5_1","volume-title":"Nouvelle m\u00e9thode pour la r\u00e9solution des \u00e9quations num\u00e9riques d'un degr\u00e9 quelconque. Paris","author":"Budan de Boislaurent","year":"1822","unstructured":"Budan de Boislaurent , Nouvelle m\u00e9thode pour la r\u00e9solution des \u00e9quations num\u00e9riques d'un degr\u00e9 quelconque. Paris ( 1822 ). Contains in the appendix a proof of Budan's theorem edited by the Acad\u00e9mie des Sciences ( 1811). Budan de Boislaurent, Nouvelle m\u00e9thode pour la r\u00e9solution des \u00e9quations num\u00e9riques d'un degr\u00e9 quelconque. Paris (1822). Contains in the appendix a proof of Budan's theorem edited by the Acad\u00e9mie des Sciences (1811)."},{"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":"Paris","author":"Fourier J","year":"1831","unstructured":"Fourier , J : Analyse des \u00e9quations d\u00e9termin\u00e9es. F. Didot , Paris ( 1831 ). Fourier,J: Analyse des \u00e9quations d\u00e9termin\u00e9es. F. Didot, Paris (1831)."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jco.2004.11.003"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1145768.1145786"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837934.1837980"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2012.05.011"},{"key":"e_1_3_2_1_12_1","volume-title":"Budan Tables of Real Univariate Polynomials. Submitted J. Symb. Comp. (Oct","author":"Galligo A","year":"2011","unstructured":"Galligo , A : Budan Tables of Real Univariate Polynomials. Submitted J. Symb. Comp. (Oct . 2011 ). Galligo, A: Budan Tables of Real Univariate Polynomials. Submitted J. Symb. Comp. (Oct. 2011)."},{"key":"e_1_3_2_1_13_1","unstructured":"Galligo A: Improved Budan-Fourier count for Root Finding. In preparation Galligo A: Improved Budan-Fourier count for Root Finding. In preparation"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(96)00102-8"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/0377-0427(93)90064-I"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcom.2001.0636"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0036144595288554"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2002.0531"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1277500.1277524"},{"key":"e_1_3_2_1_20_1","volume-title":"I and Schmeisser","author":"Rahman Q.","year":"2002","unstructured":"Rahman , Q. I and Schmeisser , G : Analytic theory of polynomials, Oxford Univ. press . ( 2002 ). Rahman, Q. I and Schmeisser, G: Analytic theory of polynomials, Oxford Univ. press. (2002)."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cam.2003.08.015"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2442829.2442872"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993886.1993938"},{"key":"e_1_3_2_1_24_1","unstructured":"Sturm C: M\u00e9moire sur la r\u00e9solution des \u00e9quations num'eriques presented (but lost) at the Acad\u00e9mie des Sciences (1829). Sturm C: M\u00e9moire sur la r\u00e9solution des \u00e9quations num'eriques presented (but lost) at the Acad\u00e9mie des Sciences (1829)."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2007.10.010"},{"key":"e_1_3_2_1_26_1","volume-title":"Journal de math\u00e9maticques pures et appliqu\u00e9es 44 235--372","author":"Vincent M","year":"1836","unstructured":"Vincent , M : Sur la r\u00e9solution des \u00e9quations num\u00e9riques , Journal de math\u00e9maticques pures et appliqu\u00e9es 44 235--372 ( 1836 ). Vincent, M: Sur la r\u00e9solution des \u00e9quations num\u00e9riques, Journal de math\u00e9maticques pures et appliqu\u00e9es 44 235--372 (1836)."},{"key":"e_1_3_2_1_27_1","first-page":"305","article-title":"A New Method for Real Root Isolation of Univariate Polynomials, Mathematics in Computer Science, Volume 1","volume":"2","author":"Zhang T","year":"2007","unstructured":"Zhang , T and Xia , B : A New Method for Real Root Isolation of Univariate Polynomials, Mathematics in Computer Science, Volume 1 , Number 2 , 305 -- 320 , ( 2007 ). Zhang, T and Xia, B: A New Method for Real Root Isolation of Univariate Polynomials, Mathematics in Computer Science, Volume 1, Number 2, 305--320, (2007).","journal-title":"Number"}],"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.2442839","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2442829.2442839","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:18:39Z","timestamp":1750234719000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2442829.2442839"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7,22]]},"references-count":27,"alternative-id":["10.1145\/2442829.2442839","10.1145\/2442829"],"URL":"https:\/\/doi.org\/10.1145\/2442829.2442839","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"}}]}}