{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:51:23Z","timestamp":1742914283064,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319317687"},{"type":"electronic","value":"9783319317694"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/2.5\/"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/2.5\/"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-31769-4_18","type":"book-chapter","created":{"date-parts":[[2016,4,9]],"date-time":"2016-04-09T01:05:44Z","timestamp":1460163944000},"page":"225-235","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Some Remarks on the Rigorous Estimation of Inverse Linear Elliptic Operators"],"prefix":"10.1007","author":[{"given":"Takehiko","family":"Kinoshita","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yoshitaka","family":"Watanabe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mitsuhiro T.","family":"Nakao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,4,9]]},"reference":[{"key":"18_CR1","volume-title":"Singularities in Boundary Value Problems","author":"P Grisvard","year":"1992","unstructured":"Grisvard, P.: Singularities in Boundary Value Problems. Springer, New York (1992)"},{"issue":"1","key":"18_CR2","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/BF03167499","volume":"23","author":"F Kikuchi","year":"2006","unstructured":"Kikuchi, F., Liu, X.: Determination of the Babuska-Aziz constant for the linear triangular finite element. Jpn. J. Ind. Appl. Math. 23(1), 75\u201382 (2006)","journal-title":"Jpn. J. Ind. Appl. Math."},{"issue":"2","key":"18_CR3","doi-asserted-by":"publisher","first-page":"109","DOI":"10.5109\/13484","volume":"31","author":"S Kimura","year":"1999","unstructured":"Kimura, S., Yamamoto, N.: On the $$L^2$$ a priori error estimates to the finite element solution of elliptic problems with singular adjoint operator. Bull. Inform. Cybern. 31(2), 109\u2013115 (1999)","journal-title":"Bull. Inform. Cybern."},{"issue":"3\u20134","key":"18_CR4","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1080\/01630560802679364","volume":"30","author":"T Kinoshita","year":"2009","unstructured":"Kinoshita, T., Hashimoto, K., Nakao, M.T.: The $$L^2$$ a priori error estimates for singular adjoint operator. Numer. Func. Anal. Optim. 30(3\u20134), 289\u2013305 (2009)","journal-title":"Numer. Func. Anal. Optim."},{"issue":"1","key":"18_CR5","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1587\/nolta.5.47","volume":"5","author":"T Kinoshita","year":"2014","unstructured":"Kinoshita, T., Watanabe, Y., Nakao, M.T.: An improvement of the theorem of a posteriori estimates for inverse elliptic operators. NOLTA 5(1), 47\u201352 (2014)","journal-title":"NOLTA"},{"key":"18_CR6","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1006\/jath.1998.3172","volume":"93","author":"MT Nakao","year":"1998","unstructured":"Nakao, M.T., Yamamoto, N., Kimura, S.: On the best constant in the error bound for the $$H_0^1$$-projection into piecewise polynomial spaces. J. Approx. Theory 93, 491\u2013500 (1998)","journal-title":"J. Approx. Theory"},{"key":"18_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s00607-004-0111-1","volume":"75","author":"MT Nakao","year":"2005","unstructured":"Nakao, M.T., Hashimoto, K., Watanabe, Y.: A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems. Computing 75, 1\u201314 (2005)","journal-title":"Computing"},{"issue":"1","key":"18_CR8","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/s13160-014-0160-6","volume":"32","author":"MT Nakao","year":"2015","unstructured":"Nakao, M.T., Watanabe, Y., Kinoshita, T., Kimura, T., Yamamoto, N.: Some considerations of the invertibility verifications for linear elliptic operators. Jpn. J. Ind. Appl. Math. 32(1), 19\u201331 (2015)","journal-title":"Jpn. J. Ind. Appl. Math."},{"issue":"1\u20132","key":"18_CR9","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/0377-0427(94)00090-N","volume":"60","author":"S Oishi","year":"1995","unstructured":"Oishi, S.: Numerical verification of existence and inclusion of solutions for nonlinear operator equations. J. Comput. Appl. Math. 60(1\u20132), 171\u2013185 (1995)","journal-title":"J. Comput. Appl. Math."},{"issue":"2\u20133","key":"18_CR10","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1007\/BF03186542","volume":"26","author":"M Plum","year":"2009","unstructured":"Plum, M.: Computer-assisted proofs for semilinear elliptic boundary value problems. Jpn. J. Ind. Appl. Math. 26(2\u20133), 419\u2013442 (2009)","journal-title":"Jpn. J. Ind. Appl. Math."},{"key":"18_CR11","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-94-017-1247-7_7","volume-title":"Developments in Reliable Computing","author":"SM Rump","year":"1999","unstructured":"Rump, S.M.: INTLAB - INTerval LABoratory. In: Csendes, T. (ed.) Developments in Reliable Computing, pp. 77\u2013104. Kluwer Academic Publishers, Dordrecht (1999). http:\/\/www.ti3.tu-harburg.de\/rump\/"},{"issue":"2","key":"18_CR12","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/s10543-010-0294-0","volume":"51","author":"SM Rump","year":"2011","unstructured":"Rump, S.M.: Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse. BIT Numer. Math. 51(2), 367\u2013384 (2011)","journal-title":"BIT Numer. Math."},{"key":"18_CR13","doi-asserted-by":"publisher","first-page":"1543","DOI":"10.1090\/S0025-5718-2013-02676-2","volume":"82","author":"Y Watanabe","year":"2013","unstructured":"Watanabe, Y., Kinoshita, T., Nakao, M.T.: A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations. Math. Comput. 82, 1543\u20131557 (2013)","journal-title":"Math. Comput."}],"container-title":["Lecture Notes in Computer Science","Scientific Computing, Computer Arithmetic, and Validated Numerics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-31769-4_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,28]],"date-time":"2025-01-28T19:09:26Z","timestamp":1738091366000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-31769-4_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319317687","9783319317694"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-31769-4_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"9 April 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}