{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:46:04Z","timestamp":1725453964519},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642329722"},{"type":"electronic","value":"9783642329739"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32973-9_16","type":"book-chapter","created":{"date-parts":[[2012,8,29]],"date-time":"2012-08-29T10:44:22Z","timestamp":1346237062000},"page":"186-197","source":"Crossref","is-referenced-by-count":1,"title":["Local Generic Position for Root Isolation of Zero-Dimensional Triangular Polynomial Systems"],"prefix":"10.1007","author":[{"given":"Jia","family":"Li","sequence":"first","affiliation":[]},{"given":"Jin-San","family":"Cheng","sequence":"additional","affiliation":[]},{"given":"Elias P.","family":"Tsigaridas","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Alonso, M.-E., Becker, E., Roy, M.-F., W\u00f6rmann, T.: Multiplicities and idempotents for zero dimensional systems. In: Algorithms in algebraic Geometry and Applications. Progress in Mathematics, vol.\u00a0143, pp. 1\u201320. Birkh\u00e4user (1996)","DOI":"10.1007\/978-3-0348-9104-2_1"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Berberich, E., Kerber, M., Sagraloff, M.: Exact Geometric-Topological Analysis of Algebraic Surfaces. In: Teillaud, M. (ed.) Proc. of the 24th ACM Symp. on Computational Geometry (SoCG), pp. 164\u2013173. ACM Press (2008)","DOI":"10.1145\/1377676.1377703"},{"key":"16_CR3","unstructured":"Boulier, F., Chen, C., Lemaire, F., Moreno Maza, M.: Real Root Isolation of Regular Chains. In: ASCM 2009, pp. 1\u201315 (2009)"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Cheng, J.S., Gao, X.S., Li, J.: Root isolation for bivariate polynomial systems with local generic position method. In: ISSAC 2009, pp. 103\u2013110 (2009)","DOI":"10.1145\/1576702.1576719"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Cheng, J.S., Gao, X.S., Guo, L.: Root isolation of zero-dimensional polynomial systems with linear univariate representation. J. of Symbolic Computation (2011)","DOI":"10.1016\/j.jsc.2011.12.011"},{"key":"16_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/11537908_8","volume-title":"Mathematics of Surfaces XI","author":"J.S. Cheng","year":"2005","unstructured":"Cheng, J.S., Gao, X.S., Li, M.: Determining the Topology of Real Algebraic Surfaces. In: Martin, R., Bez, H.E., Sabin, M.A. (eds.) IMA 2005. LNCS, vol.\u00a03604, pp. 121\u2013146. Springer, Heidelberg (2005)"},{"issue":"7","key":"16_CR7","first-page":"768","volume":"44","author":"J.S. Cheng","year":"2009","unstructured":"Cheng, J.S., Gao, X.S., Yap, C.K.: Complete Numerical Isolation of Real Roots in 0-dimensional Triangular Systems. JSC\u00a044(7), 768\u2013785 (2009)","journal-title":"JSC"},{"key":"16_CR8","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1006\/jsco.2002.0547","volume":"34","author":"G.E. Collins","year":"2002","unstructured":"Collins, G.E., Johnson, J.R., Krandick, W.: Interval arithmetic in cylindrical algebraic decomposition. Journal of Symbolic Computation\u00a034, 145\u2013157 (2002)","journal-title":"Journal of Symbolic Computation"},{"key":"16_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/11555964_12","volume-title":"Computer Algebra in Scientific Computing","author":"A. Eigenwillig","year":"2005","unstructured":"Eigenwillig, A., Kettner, L., Krandick, W., Mehlhorn, K., Schmitt, S., Wolpert, N.: A Descartes Algorithm for Polynomials with Bit-Stream Coefficients. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2005. LNCS, vol.\u00a03718, pp. 138\u2013149. Springer, Heidelberg (2005)"},{"key":"16_CR10","first-page":"243","volume-title":"ISSAC 2010","author":"I.Z. Emiris","year":"2010","unstructured":"Emiris, I.Z., Mourrain, B., Tsigaridas, E.P.: The DMM bound: Multivariate (aggregate) separation bounds. In: ISSAC 2010, pp. 243\u2013250. ACM, Germany (2010)"},{"key":"16_CR11","series-title":"CBMS Regional Conference Series in Mathematics","doi-asserted-by":"crossref","DOI":"10.1090\/cbms\/054","volume-title":"Introduction to intersection theory in algebraic geometry","author":"W. Fulton","year":"1984","unstructured":"Fulton, W.: Introduction to intersection theory in algebraic geometry. CBMS Regional Conference Series in Mathematics, vol.\u00a054. Conference Board of the Mathematical Sciences, Washington, DC (1984)"},{"key":"16_CR12","unstructured":"Gao, X.S., Chou, S.C.: On the theory of resolvents and its applications. Mathematics and Systems Science (1997)"},{"key":"16_CR13","doi-asserted-by":"publisher","first-page":"571","DOI":"10.1016\/S0378-4754(96)00034-1","volume":"42","author":"H. Hong","year":"1996","unstructured":"Hong, H.: An Efficient Method for Analyzing the Topology of Plane Real Algebraic Curves. Mathematics and Computers in Simulation\u00a042, 571\u2013582 (1996)","journal-title":"Mathematics and Computers in Simulation"},{"issue":"3-4","key":"16_CR14","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/BF02307383","volume":"53","author":"H. Hong","year":"1994","unstructured":"Hong, H., Stahl, V.: Safe start region by fixed points and tightening. Computing\u00a053(3-4), 323\u2013335 (1994)","journal-title":"Computing"},{"key":"16_CR15","unstructured":"Lu, Z., He, B., Luo, Y., Pan, L.: An Algorithm of Real Root Isolation for Polynomial Systems. In: SNC 2005 (2005)"},{"key":"16_CR16","volume-title":"ISSAC 1992","author":"R. Rioboo","year":"1992","unstructured":"Rioboo, R.: Computation of the real closure of an ordered field. In: ISSAC 1992. Academic Press, San Francisco (1992)"},{"key":"16_CR17","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1007\/s002000050114","volume":"9","author":"F. Rouillier","year":"1999","unstructured":"Rouillier, F.: Solving zero-dimensional systems through the rational univariate representation. AAECC\u00a09, 433\u2013461 (1999)","journal-title":"AAECC"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Sagraloff, M.: When Newton meets Descartes: A Simple and Fast Algorithm to Isolate the Real Roots of a Polynomial. CoRR abs\/1109.6279 (2011)","DOI":"10.1145\/2442829.2442872"},{"key":"16_CR19","doi-asserted-by":"publisher","first-page":"853","DOI":"10.1016\/j.camwa.2006.06.003","volume":"52","author":"B. Xia","year":"2006","unstructured":"Xia, B., Zhang, T.: Real Solution Isolation Using Interval Arithmetic. Computers and Mathematics with Applications\u00a052, 853\u2013860 (2006)","journal-title":"Computers and Mathematics with Applications"},{"key":"16_CR20","volume-title":"Fundamental Problems of Algorithmic Algebra","author":"C. Yap","year":"2000","unstructured":"Yap, C.: Fundamental Problems of Algorithmic Algebra. Oxford University Press, New York (2000)"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"Yap, C., Sagraloff, M.: A simple but exact and efficient algorithm for complex root isolation. In: ISSAC 2011, pp. 353\u2013360 (2011)","DOI":"10.1145\/1993886.1993938"},{"issue":"1","key":"16_CR22","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/s11432-010-4154-y","volume":"54","author":"Z.H. Zhang","year":"2011","unstructured":"Zhang, Z.H., Fang, T., Xia, B.C.: Real solution isolation with multiplicity of 0-dimensional triangular systems. Science China: Information Sciences\u00a054(1), 60\u201369 (2011)","journal-title":"Science China: Information Sciences"}],"container-title":["Lecture Notes in Computer Science","Computer Algebra in Scientific Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32973-9_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,7]],"date-time":"2019-05-07T02:10:29Z","timestamp":1557195029000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32973-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642329722","9783642329739"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32973-9_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}