{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T13:12:28Z","timestamp":1776863548258,"version":"3.51.2"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2009,10,16]],"date-time":"2009-10-16T00:00:00Z","timestamp":1255651200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Numer Algor"],"published-print":{"date-parts":[[2010,7]]},"DOI":"10.1007\/s11075-009-9339-3","type":"journal-article","created":{"date-parts":[[2009,10,15]],"date-time":"2009-10-15T11:58:15Z","timestamp":1255607895000},"page":"359-377","source":"Crossref","is-referenced-by-count":32,"title":["Verified error bounds for multiple roots of systems of nonlinear equations"],"prefix":"10.1007","volume":"54","author":[{"given":"Siegfried M.","family":"Rump","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stef","family":"Graillat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,10,16]]},"reference":[{"key":"9339_CR1","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1007\/BF02240207","volume":"36","author":"G Alefeld","year":"1986","unstructured":"Alefeld, G., Spreuer, H.: Iterative improvement of componentwise errorbounds for invariant subspaces belonging to a double or nearly double eigenvalue. Computing 36, 321\u2013334 (1986)","journal-title":"Computing"},{"issue":"5","key":"9339_CR2","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1016\/0898-1221(82)90031-1","volume":"8","author":"R Alt","year":"1982","unstructured":"Alt, R., Vignes, J.: Stabilizing Bairstow\u2019s method. Comput. Math. Appl. 8(5), 379\u2013387 (1982)","journal-title":"Comput. Math. Appl."},{"issue":"3\u20134","key":"9339_CR3","first-page":"349","volume":"72","author":"A Frommer","year":"2004","unstructured":"Frommer, A., Lang, B., Schnurr, M.: A comparison of the moore and miranda existence test. Computing 72(3\u20134), 349\u2013354 (2004)","journal-title":"Computing"},{"key":"9339_CR4","doi-asserted-by":"crossref","DOI":"10.1137\/1.9780898718027","volume-title":"Accuracy and Stability of Numerical Algorithms","author":"NJ Higham","year":"2002","unstructured":"Higham, N.J.: Accuracy and Stability of Numerical Algorithms, 2nd edn. SIAM, Philadelphia (2002)","edition":"2"},{"issue":"6","key":"9339_CR5","first-page":"1055","volume":"E82-A","author":"Y Kanzawa","year":"1999","unstructured":"Kanzawa, Y., Oishi, S.: Calculating bifurcation points with guaranteed accuracy. IEICE Trans. Fundam. E82-A(6), 1055\u20131061 (1999)","journal-title":"IEICE Trans. Fundam."},{"issue":"6","key":"9339_CR6","first-page":"1062","volume":"E82-A","author":"Y Kanzawa","year":"1999","unstructured":"Kanzawa, Y., Oishi, S.: Imperfect singular solutions of nonlinear equations and a numerical method of proving their existence. IEICE Trans. Fundam. E82-A(6), 1062\u20131069 (1999)","journal-title":"IEICE Trans. Fundam."},{"key":"9339_CR7","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/BF02234767","volume":"4","author":"R Krawczyk","year":"1969","unstructured":"Krawczyk, R.: Newton-algorithmen zur bestimmung von nullstellen mit fehlerschranken. Computing 4, 187\u2013201 (1969)","journal-title":"Computing"},{"key":"9339_CR8","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/BF01409991","volume":"23","author":"M Porte La","year":"1974","unstructured":"La\u00a0Porte, M., Vignes, J.: \u00c9tude statistique des erreurs dans l\u2019arithm\u00e9tique des ordinateurs; application au controle des resultats d\u2019algorithmes num\u00e9riques. Numer. Math. 23, 63\u201372 (1974)","journal-title":"Numer. Math."},{"key":"9339_CR9","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/BF01409992","volume":"23","author":"M Porte La","year":"1974","unstructured":"La\u00a0Porte, M., Vignes, J.: M\u00e9thode num\u00e9rique de d\u00e9tection de la singularit\u00e9 d\u2019une matrice. Numer. Math. 23, 73\u201381 (1974)","journal-title":"Numer. Math."},{"key":"9339_CR10","unstructured":"MATLAB User\u2019s Guide, Version 7. The MathWorks Inc (2004)"},{"key":"9339_CR11","doi-asserted-by":"crossref","first-page":"611","DOI":"10.1137\/0714040","volume":"4","author":"RE Moore","year":"1977","unstructured":"Moore, R.E.: A Test for Existence of Solutions for Non-Linear Systems. SIAM J. Numer. Anal. (SINUM) 4, 611\u2013615 (1977)","journal-title":"SIAM J. Numer. Anal. (SINUM)"},{"key":"9339_CR12","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1145\/355815.355820","volume":"5","author":"JJ Mor\u00e9","year":"1979","unstructured":"Mor\u00e9, J.J., Cosnard, M.Y.: Numerical solution of non-linear equations. ACM Trans. Math. Software 5, 64\u201385 (1979)","journal-title":"ACM Trans. Math. Software"},{"issue":"3\/4","key":"9339_CR13","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1081\/NFA-100105107","volume":"33","author":"MR Nakao","year":"2001","unstructured":"Nakao, M.R.: Numerical verification methods for solutions of ordinary and partial differential equations. Numer. Funct. Anal. Optim. 33(3\/4), 321\u2013356 (2001)","journal-title":"Numer. Funct. Anal. Optim."},{"key":"9339_CR14","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511612916","volume-title":"Introduction to Numerical Analysis","author":"A Neumaier","year":"2001","unstructured":"Neumaier, A.: Introduction to Numerical Analysis. Cambridge University Press, Cambridge (2001)"},{"key":"9339_CR15","doi-asserted-by":"crossref","first-page":"588","DOI":"10.1016\/S0022-247X(02)00038-0","volume":"269","author":"M Plum","year":"2002","unstructured":"Plum, M., Wieners, Ch.: New solutions of the gelfand problem. J. Math. Anal. Appl. 269, 588\u2013606 (2002)","journal-title":"J. Math. Anal. Appl."},{"key":"9339_CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01213466","volume":"6","author":"S Poljak","year":"1993","unstructured":"Poljak, S., Rohn, J.: Checking robust nonsingularity is np-hard. Math. of Control, Signals, and Systems 6, 1\u20139 (1993)","journal-title":"Math. of Control, Signals, and Systems"},{"key":"9339_CR17","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/B978-0-12-428660-3.50010-0","volume-title":"A New Approach to Scientific Computation","author":"SM Rump","year":"1983","unstructured":"Rump, S.M.: Solving algebraic problems with high accuracy. Habilitationsschrift. In: Kulisch, U.W., Miranker, W.L. (eds.) A New Approach to Scientific Computation, pp. 51\u2013120. Academic, New York (1983)"},{"key":"9339_CR18","first-page":"77","volume-title":"Developments\u00a0in\u00a0Reliable Computing","author":"SM Rump","year":"1999","unstructured":"Rump, S.M.: INTLAB - INTerval LABoratory. In: Csendes, T. (ed.). Developments\u00a0in\u00a0Reliable Computing. pp. 77\u2013104. Kluwer, Dordrecht (1999)"},{"key":"9339_CR19","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/S0024-3795(00)00279-2","volume":"324","author":"SM Rump","year":"2001","unstructured":"Rump, S.M.: Computational Error Bounds for Multiple or Nearly Multiple Eigenvalues. Linear Algebra Appl. (LAA) 324, 209\u2013226 (2001)","journal-title":"Linear Algebra Appl. (LAA)"},{"key":"9339_CR20","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1016\/S0377-0427(03)00381-9","volume":"156","author":"SM Rump","year":"2003","unstructured":"Rump, S.M. Ten methods to bound multiple roots of polynomials. J. Comput. Appl. Math. (JCAM) 156, 403\u2013432 (2003)","journal-title":"J. Comput. Appl. Math. (JCAM)"},{"key":"9339_CR21","doi-asserted-by":"crossref","first-page":"823","DOI":"10.1023\/B:BITN.0000009941.51707.26","volume":"43","author":"SM Rump","year":"2004","unstructured":"Rump, S.M., Zemke, J.: On eigenvector bounds. BIT Numer. Math. 43, 823\u2013837 (2004)","journal-title":"BIT Numer. Math."},{"key":"9339_CR22","unstructured":"Vignes, J.: Algorithmes num\u00e9riques, analyse et mise en \u0153uvre. 2. \u00c9ditions Technip, Paris, 1980. \u00c9quations et syst\u00e8mes non lin\u00e9aires. [Nonlinear equations and systems], With the collaboration of Ren\u00e9 Alt and Mich\u00e8le Pichat, Collection Langages et Algorithmes de l\u2019Informatique."}],"container-title":["Numerical Algorithms"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11075-009-9339-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11075-009-9339-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11075-009-9339-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T05:08:14Z","timestamp":1559365694000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11075-009-9339-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10,16]]},"references-count":22,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2010,7]]}},"alternative-id":["9339"],"URL":"https:\/\/doi.org\/10.1007\/s11075-009-9339-3","relation":{},"ISSN":["1017-1398","1572-9265"],"issn-type":[{"value":"1017-1398","type":"print"},{"value":"1572-9265","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,10,16]]}}}