{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T06:49:18Z","timestamp":1768891758891,"version":"3.49.0"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319663197","type":"print"},{"value":"9783319663203","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66320-3_6","type":"book-chapter","created":{"date-parts":[[2017,8,29]],"date-time":"2017-08-29T11:34:27Z","timestamp":1504006467000},"page":"66-76","source":"Crossref","is-referenced-by-count":1,"title":["Certifying Simple Zeros of Over-Determined Polynomial Systems"],"prefix":"10.1007","author":[{"given":"Jin-San","family":"Cheng","sequence":"first","affiliation":[]},{"given":"Xiaojie","family":"Dou","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,30]]},"reference":[{"key":"6_CR1","unstructured":"Akogul, T.A., Hauenstein, J.D., Szanto, A.: Certifying solutions to overdetermined and singular polynomial systems over $$\\mathbb{Q}$$ , 12 August 2014. arXiv: 1408.2721v1 [cs.SC]"},{"key":"6_CR2","unstructured":"Allamigeon, X., Gaubert, S., Magron, V., Werner, B.: Formal proofs for nonlinear optimization (2014). arXiv:1404.7282"},{"key":"6_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0701-6","volume-title":"Complexity and real computation","author":"L Blum","year":"1998","unstructured":"Blum, L., Cucker, F., Shub, M., Smale, S.: Complexity and real computation. Springer, New York (1998)"},{"key":"6_CR4","doi-asserted-by":"crossref","first-page":"2143","DOI":"10.1090\/S0025-5718-2011-02462-2","volume":"80","author":"B Dayton","year":"2011","unstructured":"Dayton, B., Li, T., Zeng, Z.: Multiple zeros of nonlinear systems. Math. Comp. 80, 2143\u20132168 (2011)","journal-title":"Math. Comp."},{"key":"6_CR5","first-page":"116","volume-title":"Proceedings of ISSAC 2005","author":"B Dayton","year":"2005","unstructured":"Dayton, B., Zeng, Z.: Computing the multiplicity structure in solving polynomial systems. In: Kauers, M. (ed.) Proceedings of ISSAC 2005, pp. 116\u2013123. ACM, New York (2005)"},{"key":"6_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s10208-004-0159-5","volume":"7","author":"M Giusti","year":"2007","unstructured":"Giusti, M., Lecerf, G., Salvy, B., Yakoubsohn, J.C.: On location and approximation of clusters of zeros: case of embedding dimension one. Found. Comput. Math. 7, 1\u201358 (2007)","journal-title":"Found. Comput. Math."},{"issue":"231","key":"6_CR7","doi-asserted-by":"crossref","first-page":"1099","DOI":"10.1090\/S0025-5718-99-01115-1","volume":"69","author":"JP Dedieu","year":"1999","unstructured":"Dedieu, J.P., Shub, M.: Newton\u2019s method for overdetermined systems of equations. Math. Comput. 69(231), 1099\u20131115 (1999)","journal-title":"Math. Comput."},{"issue":"3","key":"6_CR8","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1007\/s10208-013-9147-y","volume":"13","author":"JD Hauenstein","year":"2013","unstructured":"Hauenstein, J.D., Wampler, C.W.: Isosingular sets and deflation. Found. Comput. Math. 13(3), 371\u2013403 (2013)","journal-title":"Found. Comput. Math."},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Hauenstein, J.D., Mourrain, B., Szanto, A.: Certifying isolated singular points and their multiplicity structure. In: Proceedings of ISSAC 2015, pp. 213\u2013220 (2015)","DOI":"10.1145\/2755996.2756645"},{"issue":"4","key":"6_CR10","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1145\/2331130.2331136","volume":"38","author":"JD Hauenstein","year":"2012","unstructured":"Hauenstein, J.D., Sottile, F.: Algorithm 921: alphaCertified: certifying solutions to polynomial systems. ACM Trans. Math. Softw. 38(4), 28 (2012)","journal-title":"ACM Trans. Math. Softw."},{"issue":"10","key":"6_CR11","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1002\/(SICI)1520-6440(199910)82:10<33::AID-ECJC5>3.0.CO;2-F","volume":"82","author":"Y Kanzawa","year":"1999","unstructured":"Kanzawa, Y., Kashiwagi, M., Oishi, S.: An algorithm for finding all solutions of parameter-dependent nonlinear equations with guaranteed accuracy. Electron. Commun. Jpn. (Part III: Fundam. Electron. Sci.) 82(10), 33\u201339 (1999)","journal-title":"Electron. Commun. Jpn. (Part III: Fundam. Electron. Sci.)"},{"key":"6_CR12","first-page":"216","volume":"990","author":"Y Kanzawa","year":"1997","unstructured":"Kanzawa, Y., Oishi, S.: Approximate singular solutions of nonlinear equations and a numerical method of proving their existence. S\u016brikaisekikenky\u016bsho K\u014dky\u016broku 990, 216\u2013223 (1997). Theory and application of numerical calculation in science and technology, II (Japanese) Kyoto (1996)","journal-title":"S\u016brikaisekikenky\u016bsho K\u014dky\u016broku"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Kaltofen, E., Li, B., Yang, Z., Zhi, L.: Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars. In: Proceedings of ISSAC 2008, pp. 155\u2013164, New York. ACM (2008)","DOI":"10.1145\/1390768.1390792"},{"key":"6_CR14","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1137\/S0895479891219216","volume":"15","author":"J Rohn","year":"1994","unstructured":"Rohn, J.: Positive definiteness and stability of interval matrices. SIAM J. Matrix Anal. Appl. 15, 175\u2013184 (1994)","journal-title":"SIAM J. Matrix Anal. Appl."},{"issue":"1","key":"6_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.jsc.2011.08.002","volume":"47","author":"EL Kaltofen","year":"2012","unstructured":"Kaltofen, E.L., Li, B., Yang, Z., Zhi, L.: Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients. J. Symb. Comput. 47(1), 1\u201315 (2012)","journal-title":"J. Symb. Comput."},{"key":"6_CR16","first-page":"247","volume":"4","author":"R Krawczyk","year":"1969","unstructured":"Krawczyk, R.: Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken. Computing 4, 247\u2013293 (1969)","journal-title":"Computing"},{"key":"6_CR17","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/j.tcs.2006.02.018","volume":"359","author":"A Leykin","year":"2006","unstructured":"Leykin, A., Verschelde, J., Zhao, A.: Newton\u2019s method with deflation for isolated singularities of polynomial systems. Theor. Comput. Sci. 359, 111\u2013122 (2006)","journal-title":"Theor. Comput. Sci."},{"issue":"4","key":"6_CR18","doi-asserted-by":"crossref","first-page":"1623","DOI":"10.1137\/120902914","volume":"52","author":"N Li","year":"2014","unstructured":"Li, N., Zhi, L.: Verified error bounds for isolated singular solutions of polynomial systems. SIAM J. Numer. Anal. 52(4), 1623\u20131640 (2014)","journal-title":"SIAM J. Numer. Anal."},{"key":"6_CR19","unstructured":"Li, S.: Linear Algebra. Higher Education Press (2006). ISBN 978-7-04-019870-6"},{"key":"6_CR20","doi-asserted-by":"crossref","first-page":"611","DOI":"10.1137\/0714040","volume":"14","author":"RE Moore","year":"1977","unstructured":"Moore, R.E.: A test for existence of solutions to nonlinear systems. SIAM J. Numer. Anal. 14, 611\u2013615 (1977)","journal-title":"SIAM J. Numer. Anal."},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Mantzaflaris, A., Mourrain, B.: Deflation and certified isolation of singular zeros of polynomial systems. In: Proceedings ISSAC 2011, pp. 249\u2013256 (2011)","DOI":"10.1145\/1993886.1993925"},{"key":"6_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/978-3-642-22863-6_19","volume-title":"Interactive Theorem Proving","author":"D Monniaux","year":"2011","unstructured":"Monniaux, D., Corbineau, P.: On the generation of positivstellensatz witnesses in degenerate cases. In: Eekelen, M., Geuvers, H., Schmaltz, J., Wiedijk, F. (eds.) ITP 2011. LNCS, vol. 6898, pp. 249\u2013264. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-22863-6_19"},{"issue":"5","key":"6_CR23","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1002\/ecjc.10023","volume":"86","author":"Y Nakaya","year":"2003","unstructured":"Nakaya, Y., Oishi, S., Kashiwagi, M., Kanzawa, Y.: Numerical verification of nonexistence of solutions for separable nonlinear equations and its application to all solutions algorithm. Electron. Commun. Jpn. (Part III: Fundam. Electron. Sci.) 86(5), 45\u201353 (2003)","journal-title":"Electron. Commun. Jpn. (Part III: Fundam. Electron. Sci.)"},{"key":"6_CR24","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1016\/0168-9274(88)90018-9","volume":"4","author":"T Ojika","year":"1988","unstructured":"Ojika, T.: A numerical method for branch points of a system of nonlinear algebraic equations. Appl. Numer. Math. 4, 419\u2013430 (1988)","journal-title":"Appl. Numer. Math."},{"key":"6_CR25","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1016\/0022-247X(83)90055-0","volume":"96","author":"T Ojika","year":"1983","unstructured":"Ojika, T., Watanabe, S., Mitsui, T.: Deflation algorithm for the multiple roots of a system of nonlinear equations. J. Math. Anal. Appl. 96, 463\u2013479 (1983)","journal-title":"J. Math. Anal. Appl."},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"Peyrl, H., Parrilo, P.A.: A Macaulay2 package for computing sum of squares decompositions of polynomials with rational coefficients. In: Proceeding of SNC 2007, pp. 207\u2013208 (2007)","DOI":"10.1016\/j.tcs.2008.09.025"},{"issue":"2","key":"6_CR27","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/j.tcs.2008.09.025","volume":"409","author":"H Peyrl","year":"2008","unstructured":"Peyrl, H., Parrilo, P.A.: Computing sum of squares decompositions with rational coefficients. Theor. Comput. Sci. 409(2), 269\u2013281 (2008)","journal-title":"Theor. Comput. Sci."},{"key":"6_CR28","doi-asserted-by":"crossref","unstructured":"Rump, S.M.: Solving algebraic problems with high accuracy. In: Proceedings of the Symposium on A New Approach to Scientific Computation, San Diego, CA, USA, pp. 51\u2013120. Academic Press Professional Inc. (1983)","DOI":"10.1016\/B978-0-12-428660-3.50010-0"},{"issue":"3","key":"6_CR29","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/s11075-009-9339-3","volume":"54","author":"SM Rump","year":"2010","unstructured":"Rump, S.M., Graillat, S.: Verified error bounds for multiple roots of systems of nonlinear equations. Numer. Algorithms 54(3), 359\u2013377 (2010)","journal-title":"Numer. Algorithms"},{"issue":"6","key":"6_CR30","doi-asserted-by":"crossref","first-page":"2876","DOI":"10.1137\/090772459","volume":"20","author":"MS Din El","year":"2010","unstructured":"El Din, M.S., Zhi, L.: Computing rational points in convex semialgebraic sets and sum of squares decompositions. SIAM J. Optim. 20(6), 2876\u20132889 (2010)","journal-title":"SIAM J. Optim."},{"key":"6_CR31","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/978-1-4612-4984-9_13","volume-title":"The Merging of Disciplines : New Directions in Pure, Applied and Computational Mathematics","author":"S Smale","year":"1986","unstructured":"Smale, S.: Newton\u2019s method estimates from data at one point. In: Ewing, R.E., Gross, K.I., Martin, C.F. (eds.) The Merging of Disciplines : New Directions in Pure, Applied and Computational Mathematics, pp. 185\u2013196. Springer, Heidelberg (1986). doi: 10.1007\/978-1-4612-4984-9_13"},{"issue":"1","key":"6_CR32","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1007\/BF02510924","volume":"38","author":"K Yamamura","year":"1998","unstructured":"Yamamura, K., Kawata, H., Tokue, A.: Interval solution of nonlinear equations using linear programming. BIT Numer. Math. 38(1), 186\u2013199 (1998)","journal-title":"BIT Numer. Math."},{"key":"6_CR33","doi-asserted-by":"crossref","first-page":"869","DOI":"10.1090\/S0025-5718-04-01692-8","volume":"74","author":"Z Zeng","year":"2005","unstructured":"Zeng, Z.: Computing multiple roots of inexact polynomials. Math. Comput. 74, 869\u2013903 (2005)","journal-title":"Math. Comput."}],"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-319-66320-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,1]],"date-time":"2022-08-01T22:13:57Z","timestamp":1659392037000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66320-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319663197","9783319663203"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66320-3_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}