{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T07:20:57Z","timestamp":1776842457399,"version":"3.51.2"},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2005,3,24]],"date-time":"2005-03-24T00:00:00Z","timestamp":1111622400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computing"],"published-print":{"date-parts":[[2005,7]]},"DOI":"10.1007\/s00607-004-0111-1","type":"journal-article","created":{"date-parts":[[2005,3,23]],"date-time":"2005-03-23T19:27:58Z","timestamp":1111606078000},"page":"1-14","source":"Crossref","is-referenced-by-count":56,"title":["A Numerical Method to Verify the Invertibility of Linear Elliptic Operators with Applications to Nonlinear Problems"],"prefix":"10.1007","volume":"75","author":[{"given":"M. T.","family":"Nakao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.","family":"Hashimoto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Y.","family":"Watanabe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,3,24]]},"reference":[{"key":"111_CR1","doi-asserted-by":"crossref","unstructured":"Alefeld, G.: On the convergence of some interval-arithmetic modifications of Newton\u2019s method. SIAM J. Numer. Anal. 21, 363\u2013372 (1984).","DOI":"10.1137\/0721027"},{"key":"111_CR2","doi-asserted-by":"crossref","unstructured":"Nagatou, K., Yamamoto, N., Nakao, M. T.: An approach to the numerical verification of solutions for nonlinear elliptic problems with local uniqueness. Numer. Funct. Anal. Optimiz. 20, 543\u2013565 (1999).","DOI":"10.1080\/01630569908816910"},{"key":"111_CR3","doi-asserted-by":"crossref","unstructured":"Nakao, M. T.: A numerical approach to the proof of existence of solutions for elliptic problems. Japan J. Appl. Math. 5, 313\u2013332 (1988).","DOI":"10.1007\/BF03167877"},{"key":"111_CR4","doi-asserted-by":"crossref","unstructured":"Nakao, M. T.: Solving nonlinear elliptic problems with result verification using an H-1 residual iteration. Computing (Suppl. 9), 161\u2013173 (1993).","DOI":"10.1007\/978-3-7091-6918-6_13"},{"key":"111_CR5","doi-asserted-by":"crossref","unstructured":"Nakao, M. T., Yamamoto, N.: Numerical verification of solutions for nonlinear elliptic problems using L\u221e residual method. J. Math. Anal. Appl. 217, 246\u2013262 (1998).","DOI":"10.1006\/jmaa.1997.5712"},{"key":"111_CR6","doi-asserted-by":"crossref","unstructured":"Nakao, M. T.: Numerical verification methods for solutions of ordinary and partial differential equations. Numer. Funct. Anal. Optimiz. 22(3\u20134), 321\u2013356 (2001).","DOI":"10.1081\/NFA-100105107"},{"key":"111_CR7","doi-asserted-by":"crossref","unstructured":"Nakao, M. T., Watanabe, Y.: An efficient approach to the numerical verification for solutions of elliptic differential equations. Numer. Algorith. 37. Special issue for Proceedings of SCAN 2002, 311\u2013323 (2004).","DOI":"10.1023\/B:NUMA.0000049477.75366.94"},{"key":"111_CR8","doi-asserted-by":"crossref","unstructured":"Plum, M.: Explicit H2-estimates and pointwise bounds for solutions of second-order elliptic boundary value problems. J. Math. Anal. Appl. 165, 36\u201361 (1992).","DOI":"10.1016\/0022-247X(92)90067-N"},{"key":"111_CR9","doi-asserted-by":"crossref","unstructured":"Plum, M.: Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems. Computing 49, 25\u201344 (1992).","DOI":"10.1007\/BF02238648"},{"key":"111_CR10","doi-asserted-by":"crossref","unstructured":"Plum, M.: Computer-assisted enclosure methods for elliptic differential equations. J. Linear Algebra Appl. 327, 147\u2013187 (2001).","DOI":"10.1016\/S0024-3795(00)00273-1"},{"key":"111_CR11","unstructured":"Rump S. M.: INTLAB-INTerval LABoratory, a Matlab toolbox for verified computations, version 4.1.2. Inst. Infomatik, Technical University of Hamburg \u2013 Hamburg. http:\/\/www.ti3.tu-harburg.de\/rump\/intlab\/index.html\/."},{"key":"111_CR12","doi-asserted-by":"crossref","unstructured":"Rump, S. M.: Solving algebraic problems with high accuracy. In: A new approach to scientific computation (Kulisch, U., and Miranker, W. L., eds.). New York: Academic Press 1983.","DOI":"10.1016\/B978-0-12-428660-3.50010-0"},{"key":"111_CR13","doi-asserted-by":"crossref","unstructured":"Yamamoto, N., Nakao, M. T.: Numerical verifications for solutions to elliptic equations using residual iterations with higher order finite element. J. Comput. Appl. Math. 60, 271\u2013279 (1995).","DOI":"10.1016\/0377-0427(94)00096-J"},{"key":"111_CR14","doi-asserted-by":"crossref","unstructured":"Yamamoto, N.: A numerical verification method for solutions of boundary value problems with local uniqueness by Banach\u2019s fixed point theorem. SIAM J. Numer. Anal. 35, 2004\u20132013 (1998).","DOI":"10.1137\/S0036142996304498"}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-004-0111-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00607-004-0111-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-004-0111-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,6]],"date-time":"2020-04-06T12:28:56Z","timestamp":1586176136000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00607-004-0111-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,3,24]]},"references-count":14,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2005,7]]}},"alternative-id":["111"],"URL":"https:\/\/doi.org\/10.1007\/s00607-004-0111-1","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,3,24]]}}}