{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,28]],"date-time":"2026-09-28T20:39:02Z","timestamp":1790627942235,"version":"4.1.0"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sci. China Inf. Sci."],"published-print":{"date-parts":[[2011,1]]},"DOI":"10.1007\/s11432-010-4154-y","type":"journal-article","created":{"date-parts":[[2011,1,9]],"date-time":"2011-01-09T03:27:27Z","timestamp":1294543647000},"page":"60-69","source":"Crossref","is-referenced-by-count":6,"title":["Real solution isolation with multiplicity of zero-dimensional triangular systems"],"prefix":"10.1007","volume":"54","author":[{"given":"ZhiHai","family":"Zhang","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tian","family":"Fang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"BiCan","family":"Xia","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2011,1,10]]},"reference":[{"key":"4154_CR1","doi-asserted-by":"crossref","unstructured":"Collins G E, Akritas A G. Polynomial real root isolation using Descartes\u2019 rule of signs. In: Jenks R D, ed. Proceedings of the 1976 ACM Symposium on Symbolic and Algebraic Computations, Yorktown Heights, NY, USA, 1976. 272\u2013275","DOI":"10.1145\/800205.806346"},{"key":"4154_CR2","series-title":"LNCS","first-page":"134","volume-title":"Automata Theory and Formal Languages","author":"G. E. Collins","year":"1975","unstructured":"Collins G E. Quantifier elimination for real closed fields by cylindrical algebraic decomposition. In: Brakhage H, ed. Automata Theory and Formal Languages, LNCS Vol 33. Berlin: Springer, 1975. 134\u2013165"},{"key":"4154_CR3","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/978-3-7091-3406-1_7","volume-title":"Computer Algebra: Symbolic and Algebraic Computation","author":"G. E. Collins","year":"1982","unstructured":"Collins G E, Loos R. Real zeros of polynomials. In: Buchberger B, Collins G E, Loos R, eds. Computer Algebra: Symbolic and Algebraic Computation. New York: Springer, 1982. 83\u201394"},{"key":"4154_CR4","unstructured":"Akritas A G, Bocharov A V, Strzebo\u0144ski A W. Implementation of real root isolation algorithms in Mathematica. In: Abstracts of the International Conference on Interval and Computer-Algebraic Methods in Science and Engineering, St. Petersburg, Russia, 1994. 23\u201327"},{"key":"4154_CR5","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/978-3-7091-9459-1_13","volume-title":"Quantifier Elimination and Cylinderical Algebraic Decomposition","author":"J. R. Johnson","year":"1998","unstructured":"Johnson J R. Algorithms for polynomial real root isolation. In: Caviness B F, Johnson J R, eds. Quantifier Elimination and Cylinderical Algebraic Decomposition. New York: Springer-Verlag, 1998. 269\u2013299"},{"key":"4154_CR6","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/j.cam.2003.08.015","volume":"162","author":"F. Rouillier","year":"2004","unstructured":"Rouillier F, Zimmermann P. Efficient isolation of polynomial\u2019s real roots. J Comput Appl Math, 2004, 162: 33\u201350","journal-title":"J Comput Appl Math"},{"key":"4154_CR7","doi-asserted-by":"crossref","unstructured":"Sharma V. Complexity of real root isolation using continued fractions. In: Brown C W, ed. Proc ISSAC\u201907, Waterloo, Canada, 2007. 339\u2013346","DOI":"10.1145\/1277548.1277594"},{"key":"4154_CR8","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1006\/jsco.2002.0572","volume":"34","author":"B. Xia","year":"2002","unstructured":"Xia B, Yang L. An algorithm for isolating the real solutions of semi-algebraic systems. J Symb Comput, 2002, 34: 461\u2013477","journal-title":"J Symb Comput"},{"key":"4154_CR9","doi-asserted-by":"crossref","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. Comput Math Appl, 2006, 52: 853\u2013860","journal-title":"Comput Math Appl"},{"key":"4154_CR10","doi-asserted-by":"crossref","unstructured":"Cheng J S, Gao X S, Yap C K. Complete numerical isolation of real zeros in general triangular systems. In: Brown C W, ed. Proc ISSAC\u201907, Waterloo, Canada, 2007. 92\u201399","DOI":"10.1145\/1277548.1277562"},{"key":"4154_CR11","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1007\/978-1-4757-6911-1_4","volume-title":"Using Algebraic Geometry","author":"D. Cox","year":"1998","unstructured":"Cox D, Little J, O\u2019shea D. Using Algebraic Geometry. 1st ed. New York: Springer, 1998. 130\u2013178","edition":"1st ed."},{"key":"4154_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-662-04963-1_1","volume-title":"A Singular Introduction to Commutative Algebra","author":"G. M. Greuel","year":"2002","unstructured":"Greuel G M, Pfister G. A Singular Introduction to Commutative Algebra. 1st ed. Berlin: Springer-Verlag, 2002. 1\u201388","edition":"1st ed."},{"key":"4154_CR13","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1007\/978-3-7091-6202-6","volume-title":"Elimination Methods","author":"D. Wang","year":"2001","unstructured":"Wang D. Elimination Methods. 1st ed. New York: Springer, 2001. 220\u2013226","edition":"1st ed."},{"key":"4154_CR14","doi-asserted-by":"crossref","first-page":"633","DOI":"10.1016\/S0898-1221(02)00178-5","volume":"44","author":"B. Xia","year":"2002","unstructured":"Xia B, Hou X R. A complete algorithm for counting real solutions of polynomial systems of equations and inequalities. Comput Math Appl, 2002, 44: 633\u2013642","journal-title":"Comput Math Appl"},{"key":"4154_CR15","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/978-0-585-33247-5_8","volume-title":"Algorithms for Computer Algebra","author":"K. O. Geddes","year":"1992","unstructured":"Geddes K O, Czapor S R, Labahn G. Algorithms for Computer Algebra. 1st ed. Boston: Kluwer, 1992. 337\u2013347","edition":"1st ed."},{"key":"4154_CR16","first-page":"369","volume-title":"Modern Computer Algebra","author":"J. Gathen","year":"1999","unstructured":"Gathen J, Gerhard J. Modern Computer Algebra. 1st ed. Cambridge: Cambridge University Press, 1999. 369\u2013373","edition":"1st ed."},{"key":"4154_CR17","first-page":"102","volume":"41","author":"B. Xia","year":"2007","unstructured":"Xia B. DISCOVERER: A tool for solving semi-algebraic systems. ACM SIGSAM Bull, 2007, 41: 102\u2013103","journal-title":"ACM SIGSAM Bull"},{"key":"4154_CR18","doi-asserted-by":"crossref","unstructured":"Dayton B H, Zeng Z G. Computing the multiplicity structure in solving polynomial systems. In: Brown C W, ed. Proc ISSAC\u201905, Beijing, China, 2005. 116\u2013123","DOI":"10.1145\/1073884.1073902"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-010-4154-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-010-4154-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-010-4154-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T18:27:36Z","timestamp":1559932056000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-010-4154-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,1]]},"references-count":18,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2011,1]]}},"alternative-id":["4154"],"URL":"https:\/\/doi.org\/10.1007\/s11432-010-4154-y","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,1]]}}}