{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T22:12:32Z","timestamp":1649196752011},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2008,11,26]],"date-time":"2008-11-26T00:00:00Z","timestamp":1227657600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Numer. Math."],"published-print":{"date-parts":[[2009,2]]},"DOI":"10.1007\/s00211-008-0193-3","type":"journal-article","created":{"date-parts":[[2008,12,3]],"date-time":"2008-12-03T18:17:55Z","timestamp":1228328275000},"page":"493-507","source":"Crossref","is-referenced-by-count":1,"title":["A framework for existence tests based on the topological degree and homotopy"],"prefix":"10.1007","volume":"111","author":[{"given":"Thomas","family":"Beelitz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Frommer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruno","family":"Lang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Willems","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,11,26]]},"reference":[{"key":"193_CR1","volume-title":"Introduction to Interval Computation","author":"G. Alefeld","year":"1983","unstructured":"Alefeld G., Herzberger J.: Introduction to Interval Computation. Academic Press, New York (1983)"},{"key":"193_CR2","first-page":"21","volume-title":"Topics in Numerical Analysis with Special Emphasis on Nonlinear Problems, Computing Supplementum 15","author":"G. Alefeld","year":"2001","unstructured":"Alefeld G., Potra F., Shen Z.: On the existence theorems of Kantorovich, Moore and Miranda. In: Alefeld, G., Chen, X.(eds) Topics in Numerical Analysis with Special Emphasis on Nonlinear Problems, Computing Supplementum 15, pp. 21\u201328. Springer, Wien (2001)"},{"key":"193_CR3","unstructured":"Beelitz, T.: Effiziente Methoden zum Verifizierten L\u00f6sen von Optimierungsaufgaben und Nichtlinearen Gleichungssystemen. PhD Thesis, Department of Mathematics (2006)"},{"key":"193_CR4","unstructured":"Beelitz, T., Bischof, C.H., Lang, B., Willems, P.: SONIC\u2014a framework for the rigorous solution of nonlinear problems. Tech. Rep. BUW-SC 2004\/7, University of Wuppertal (2004)"},{"key":"193_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-00547-7","volume-title":"Nonlinear Functional Analysis","author":"K. Deimling","year":"1985","unstructured":"Deimling K.: Nonlinear Functional Analysis. Springer, Berlin (1985)"},{"key":"193_CR6","doi-asserted-by":"crossref","unstructured":"Frommer, A., Hoxha, F., Lang, B.: Proving existence of zeros using the topological degree and interval arithmetic. J. Comp. Appl. Math. (2006). doi: 10.1016\/j.cam.2005.07.030","DOI":"10.1016\/j.cam.2005.07.030"},{"issue":"1","key":"193_CR7","doi-asserted-by":"crossref","first-page":"638","DOI":"10.1002\/pamm.200410300","volume":"4","author":"A. Frommer","year":"2004","unstructured":"Frommer A., Lang B.: On preconditioners for the Borsuk existence test. Proc. Appl. Math. Mech. 4(1), 638\u2013639 (2004)","journal-title":"Proc. Appl. Math. Mech."},{"issue":"3","key":"193_CR8","doi-asserted-by":"crossref","first-page":"1348","DOI":"10.1137\/S0036142903438148","volume":"43","author":"A. Frommer","year":"2005","unstructured":"Frommer A., Lang B.: Existence tests for solutions of nonlinear equations using Borsuk\u2019s theorem. SIAM J. Numer. Anal. 43(3), 1348\u20131361 (2005)","journal-title":"SIAM J. Numer. Anal."},{"key":"193_CR9","unstructured":"GlobSol home page, http:\/\/www.mcsu.mu.edu\/~globsol"},{"key":"193_CR10","first-page":"381","volume-title":"Topics in Validated Computation","author":"C. Jansson","year":"1994","unstructured":"Jansson C.: On self-validating methods for optimization problems. In: Herzberger, J.(eds) Topics in Validated Computation, pp. 381\u2013438. North-Holland, Amsterdam (1994)"},{"key":"193_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0249-6","volume-title":"Applied Interval Analysis","author":"L. Jaulin","year":"2001","unstructured":"Jaulin L., Kieffer M., Didrit O., Walter \u00c9.: Applied Interval Analysis. Springer, London (2001)"},{"key":"193_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2495-0","volume-title":"Rigorous Global Search: Continuous Problems","author":"R.B. Kearfott","year":"1996","unstructured":"Kearfott R.B.: Rigorous Global Search: Continuous Problems. Kluwer, Dordrecht (1996)"},{"key":"193_CR13","doi-asserted-by":"crossref","unstructured":"Kearfott, R.B.: Interval fixed point theory. In: Encyclopedia of Optimization, vol. 3, pp.~48\u201351. Kluwer, Dordrecht (2001)","DOI":"10.1007\/0-306-48332-7_231"},{"key":"193_CR14","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/0377-0427(94)00089-J","volume":"60","author":"G. Mayer","year":"1994","unstructured":"Mayer G.: Epsilon-inflation in verification algorithms. J.Comput.Appl.Math. 60, 147\u2013169 (1994)","journal-title":"J.Comput.Appl.Math."},{"key":"193_CR15","first-page":"5","volume":"3","author":"C. Miranda","year":"1940","unstructured":"Miranda C.: Un\u2019 osservazione su un teorema di Brouwer. Boll. Un. Math. Ital. 3, 5\u20137 (1940)","journal-title":"Boll. Un. Math. Ital."},{"key":"193_CR16","volume-title":"Interval Analysis","author":"R.E. Moore","year":"1966","unstructured":"Moore R.E.: Interval Analysis. Prentice-Hall, Englewood Cliffs (1966)"},{"key":"193_CR17","doi-asserted-by":"crossref","first-page":"611","DOI":"10.1137\/0714040","volume":"14","author":"R.E. Moore","year":"1972","unstructured":"Moore R.E.: A test for existence of solutions to nonlinear systems. SIAM J. Numer.Anal. 14, 611\u2013615 (1972)","journal-title":"SIAM J. Numer. Anal."},{"key":"193_CR18","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1137\/0717044","volume":"17","author":"R.E. Moore","year":"1980","unstructured":"Moore R.E., Kioustelidis J.: A simple test for accuracy of approximate solutions to nonlinear (or linear) systems. SIAM J. Numer. Anal. 17, 521\u2013529 (1980)","journal-title":"SIAM J. Numer. Anal."},{"key":"193_CR19","doi-asserted-by":"crossref","unstructured":"Neumaier, A.: Interval Methods for Systems of Equations. Cambridge University Press, Cambdridge (1990)","DOI":"10.1017\/CBO9780511526473"},{"key":"193_CR20","volume-title":"Iterative Solution of Nonlinear Equations in Several Variables","author":"J. Ortega","year":"1970","unstructured":"Ortega J., Rheinboldt W.: Iterative Solution of Nonlinear Equations in Several Variables. Academic Press, New York (1970)"},{"key":"193_CR21","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/BF02241697","volume":"29","author":"S.M. Rump","year":"1982","unstructured":"Rump S.M.: Solving nonlinear systems with least significant bit accuracy. Computing 29, 183\u2013200 (1982)","journal-title":"Computing"},{"key":"193_CR22","first-page":"147","volume":"5","author":"S.M. Rump","year":"1984","unstructured":"Rump S.M.: Solution of linear and nonlinear algebraic problems with sharp, guaranteed bounds. Defect correction methods. Theory Appl. Comput. Suppl. 5, 147\u2013168 (1984)","journal-title":"Theory Appl. Comput. Suppl."},{"key":"193_CR23","first-page":"63","volume-title":"Topics in Validated Computation","author":"S.M. Rump","year":"1994","unstructured":"Rump S.M.: Verification methods for dense and sparse systems of equations. In: Herzberger, J.(eds) Topics in Validated Computation, pp. 63\u2013136. North-Holland, Amsterdam (1994)"},{"issue":"1","key":"193_CR24","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/BF02238359","volume":"57","author":"S.M. Rump","year":"1996","unstructured":"Rump S.M.: Improved iteration schemes for validation algorithms for dense and sparse nonlinear systems. Computing 57(1), 77\u201384 (1996)","journal-title":"Computing"},{"key":"193_CR25","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/978-94-017-1247-7_7","volume-title":"Developments in Reliable Computing","author":"S.M. Rump","year":"1999","unstructured":"Rump S.M.: INTLAB\u2013INTerval LABoratory. In: Csendes, T.(eds) Developments in Reliable Computing, pp. 77\u2013104. Kluwer, Dordrecht (1999)"},{"key":"193_CR26","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/s11155-005-5944-6","volume":"11","author":"M. Schnurr","year":"2005","unstructured":"Schnurr M.: On the proofs of some statements concerning the theorems of Kantorovich, Moore and Miranda. Reliab. Comp. 11, 77\u201385 (2005)","journal-title":"Reliab. Comp."},{"key":"193_CR27","unstructured":"Walster, W.: The extended real interval system (1998). http:\/\/www.mscs.mu.edu\/~globsol\/walster-papers.html"}],"container-title":["Numerische Mathematik"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00211-008-0193-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00211-008-0193-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00211-008-0193-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T16:22:41Z","timestamp":1558628561000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00211-008-0193-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11,26]]},"references-count":27,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2009,2]]}},"alternative-id":["193"],"URL":"https:\/\/doi.org\/10.1007\/s00211-008-0193-3","relation":{},"ISSN":["0029-599X","0945-3245"],"issn-type":[{"value":"0029-599X","type":"print"},{"value":"0945-3245","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,11,26]]}}}