{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:35:22Z","timestamp":1725564922267},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540221159"},{"type":"electronic","value":"9783540246879"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24687-9_4","type":"book-chapter","created":{"date-parts":[[2010,9,8]],"date-time":"2010-09-08T17:01:09Z","timestamp":1283965269000},"page":"26-33","source":"Crossref","is-referenced-by-count":1,"title":["An Intelligent Hybrid Algorithm for Solving Non-linear Polynomial Systems"],"prefix":"10.1007","author":[{"given":"Jiwei","family":"Xue","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yaohui","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yong","family":"Feng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lu","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhong","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Collins, G.E., Loos, R.: Real Zeros of Polynomials. Computer Algebra: Symbolic and Algebraic Computation (1983)","DOI":"10.1007\/978-3-7091-7551-4_7"},{"key":"4_CR2","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":"4_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2181-2","volume-title":"Ideals, Varieties, and Algorithms","author":"D. Cox","year":"1992","unstructured":"Cox, D., Little, J., O\u2019Shea, D.: Ideals, Varieties, and Algorithms. Springer, New York (1992)"},{"issue":"1-2","key":"4_CR4","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/S0167-6423(97)00008-7","volume":"30","author":"P.V. Hentenryck","year":"1998","unstructured":"Hentenryck, P.V., Michel, L., Benhamou, F.: Newton: Constraint Programming over Nonlinear Constraints. Science of Computer Programing\u00a030(1-2), 83\u2013118 (1998)","journal-title":"Science of Computer Programing"},{"issue":"2","key":"4_CR5","doi-asserted-by":"publisher","first-page":"797","DOI":"10.1137\/S0036142995281504","volume":"34","author":"P.V. Hentenryck","year":"1997","unstructured":"Hentenryck, P.V., McAllester, D., Kapur, D.: Solving Polynomial Systems Using a Branch and Prune Approach. SIAM Journal on Numerical Analysis\u00a034(2), 797\u2013827 (1997)","journal-title":"SIAM Journal on Numerical Analysis"},{"key":"4_CR6","unstructured":"Herbort, S., Ratz, D.: Improving the Efficiency of a Nonlinear Systems Solver Using a Componentwise Newton Method (1997), http:\/\/citeseer.nj.nec.com\/herbort97improving.html"},{"issue":"5","key":"4_CR7","doi-asserted-by":"publisher","first-page":"1038","DOI":"10.1145\/502102.502106","volume":"48","author":"T. Hickey","year":"2001","unstructured":"Hickey, T., Ju, Q., van Emden, M.H.: Interval Arithmetic: From Principles to Implementation. Journal of ACM\u00a048(5), 1038\u20131068 (2001)","journal-title":"Journal of ACM"},{"key":"4_CR8","unstructured":"Hu, C.Y.: Reliable Computing with Interval Arithmetic. In: Proceeding of the International Workshop on Computational Science and Engineering 1997 (1997)"},{"issue":"1","key":"4_CR9","first-page":"59","volume":"1","author":"R.B. Kearfott","year":"1991","unstructured":"Kearfott, R.B., Hu, C.Y., Novoa III, M.: A Review of Preconditioners for the Interval Gauss-Seidel Method. Interval Computations\u00a01(1), 59\u201385 (1991)","journal-title":"Interval Computations"},{"issue":"1","key":"4_CR10","first-page":"95","volume":"2","author":"R.B. Kearfott","year":"1996","unstructured":"Kearfott, R.B.: Interval Computations: Introduction, Uses and Resources. Euromath Bulletin\u00a02(1), 95\u2013112 (1996)","journal-title":"Euromath Bulletin"},{"key":"4_CR11","unstructured":"Kearfott, R.B., Shi, X.F.: Optimal Preconditioners for Interval Gauss-Seidel Methods. Scientific Computing and Validated Numerics, 173\u2013178. Akademie Verlag (1996)"},{"issue":"6","key":"4_CR12","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1023\/A:1021364526413","volume":"8","author":"R.B. Kearfott","year":"2002","unstructured":"Kearfott, R.B., Walster, G.W.: Symbolic Preconditioning with Taylor Models: Some Examples. Reliable Computing\u00a08(6), 453\u2013468 (2002)","journal-title":"Reliable Computing"},{"key":"4_CR13","unstructured":"Liu, Z.: Gather-and-Sift Software GAS Based on DIXON Resultant. Chengdu Institute of Computer Applications, Chinese Academy of Sciences (2003) (dissertation)"},{"key":"4_CR14","unstructured":"Moore, R.E., Yang, C.T.: Interval Analysis I, pp. 1-49 (1959) (technical document)"},{"key":"4_CR15","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/BF02307384","volume":"53","author":"D. Ratz","year":"1994","unstructured":"Ratz, D., Karlsruhe: Box-splitting Strategies for the Interval Gauss-Seidel Step in a Global Optimization Method. Computing\u00a053, 337\u2013353 (1994)","journal-title":"Computing"},{"key":"4_CR16","unstructured":"Ratz, D.: On Extended Interval Arithmetic and Inclusion Isotonicity. Institut f\u00fcr Angewandte Mathmatik, Universit\u00e4t Karlsruhe (1996)"},{"key":"4_CR17","unstructured":"Revol, N.: Reliable an Daccurate Solutions of Linear and Nonlinear Systems. In: SIAM Conference on Optimization, Toronto, Ontario, Canada, May 20-22 (2002)"},{"key":"4_CR18","unstructured":"Schichl, H., Neumaier, A.: Interval Analysis - Basics. In (2003), http:\/\/solon.cma.univie.ac.at\/neum\/interval.html"},{"key":"4_CR19","unstructured":"Stahl, V.: Interval Methods for Bounding the Range of Polynomials and Solving Systems of Nonlinear Equations (1995) (dissertation)"},{"key":"4_CR20","first-page":"1","volume":"31","author":"W.T. Wu","year":"1986","unstructured":"Wu, W.T.: On Zeros of Algebraic Equations-An Application of Ritt Principle. Kexue Tongbao\u00a031, 1\u20135 (1986)","journal-title":"Kexue Tongbao"},{"key":"4_CR21","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1006\/jsco.2002.0572","volume":"34","author":"B.C. Xia","year":"2002","unstructured":"Xia, B.C., Yang, L.: An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems. Journal of Symbolic Computation\u00a034, 461\u2013477 (2002)","journal-title":"Journal of Symbolic Computation"},{"key":"4_CR22","unstructured":"Xia, B.C., Zhang, T.: Algorithm for Real Root Isolation Based on Interval Arithmetic (2003) (draft)"},{"key":"4_CR23","unstructured":"Yang, L., Hou, X.R.: Gather-And-Shift: a Symbilic Method for Solving Polynomial Systems. In: Proceedings for First Asian Technology Conference in Mathemtics, Singapore, December 18-21, pp. 771\u2013780 (1995)"},{"key":"4_CR24","volume-title":"Nonlinear Algebraic Equation System and Automated Theorem Proving","author":"L. Yang","year":"1996","unstructured":"Yang, L., Zhang, J.Z., Hou, X.R.: Nonlinear Algebraic Equation System and Automated Theorem Proving. ShangHai Scientific and Technological Education Publishing House, ShangHai (1996) (in Chinese)"}],"container-title":["Lecture Notes in Computer Science","Computational Science - ICCS 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24687-9_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,4]],"date-time":"2019-06-04T02:19:38Z","timestamp":1559614778000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24687-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221159","9783540246879"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24687-9_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}