{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,12]],"date-time":"2026-05-12T12:29:47Z","timestamp":1778588987467,"version":"3.51.4"},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2013,7,26]],"date-time":"2013-07-26T00:00:00Z","timestamp":1374796800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/2.0"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Numer. Math."],"published-print":{"date-parts":[[2014,4]]},"DOI":"10.1007\/s00211-013-0575-z","type":"journal-article","created":{"date-parts":[[2013,7,25]],"date-time":"2013-07-25T16:29:34Z","timestamp":1374769774000},"page":"679-701","source":"Crossref","is-referenced-by-count":14,"title":["On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems"],"prefix":"10.1007","volume":"126","author":[{"given":"Takehiko","family":"Kinoshita","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Takuma","family":"Kimura","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":[[2013,7,26]]},"reference":[{"issue":"2","key":"575_CR1","doi-asserted-by":"crossref","first-page":"109","DOI":"10.5109\/13484","volume":"31","author":"S Kimura","year":"1999","unstructured":"Kimura, S., Yamamoto, N.: On explicit bounds in the error for the $$H_0^1$$ H 0 1 -projection into piecewise polynomial spaces. Bull. Inform. Cybernet. 31(2), 109\u2013115 (1999)","journal-title":"Bull. Inform. Cybernet."},{"issue":"6","key":"575_CR2","doi-asserted-by":"crossref","first-page":"1622","DOI":"10.1016\/j.cam.2011.09.026","volume":"236","author":"T Kinoshita","year":"2011","unstructured":"Kinoshita, T., Kimura, T., Nakao, M.T.: A posteriori estimates of inverse operators for initial value problems in linear ordinary differential equations. J. Comput. Appl. Math. 236(6), 1622\u20131636 (2011)","journal-title":"J. Comput. Appl. Math."},{"key":"575_CR3","doi-asserted-by":"crossref","DOI":"10.1090\/mmono\/023","volume-title":"Linear and Quasi-linear Equations of Parabolic Type","author":"OA Lady\u017eenskaja","year":"1968","unstructured":"Lady\u017eenskaja, O.A., Solonnikov, V.A., Ural\u2019ceva, N.N.: Linear and Quasi-linear Equations of Parabolic Type. AMS, Rhode Island (1968)"},{"issue":"1","key":"575_CR4","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1137\/0719003","volume":"19","author":"M Luskin","year":"1982","unstructured":"Luskin, M., Rannacher, R.: On the smoothing property of the Galerkin method for parabolic equations. SIAM J. Numer. Anal. 19(1), 93\u2013113 (1982)","journal-title":"SIAM J. Numer. Anal."},{"issue":"6","key":"575_CR5","doi-asserted-by":"crossref","first-page":"707","DOI":"10.1016\/S0893-9659(01)80031-8","volume":"14","author":"T Minamoto","year":"2001","unstructured":"Minamoto, T.: Numerical existence and uniqueness proof for solutions of semilinear parabolic equations. Appl. Math. Lett. 14(6), 707\u2013714 (2001)","journal-title":"Appl. Math. Lett."},{"key":"575_CR6","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/0377-0427(91)90179-N","volume":"38","author":"MT Nakao","year":"1991","unstructured":"Nakao, M.T.: Solving nonlinear parabolic problems with result verification. Part I: One-space-dimensional case. J. Comput. Appl. Math. 38, 323\u2013334 (1991)","journal-title":"J. Comput. Appl. Math."},{"key":"575_CR7","doi-asserted-by":"crossref","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$$ H 0 1 -projection into piecewise polynomial spaces. J. Approx. Theory 93, 491\u2013500 (1998)","journal-title":"J. Approx. Theory"},{"key":"575_CR8","doi-asserted-by":"crossref","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"},{"key":"575_CR9","first-page":"69","volume":"1","author":"MT Nakao","year":"2009","unstructured":"Nakao, M.T., Hashimoto, K.: A numerical verification method for solutions of nonlinear parabolic problems. J. Math. Indus. 1, 69\u201372 (2009)","journal-title":"J. Math. Indus."},{"issue":"2","key":"575_CR10","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/s00607-011-0180-x","volume":"94","author":"MT Nakao","year":"2012","unstructured":"Nakao, M.T., Kinoshita, T., Kimura, T.: On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems. Computing 94(2), 151\u2013162 (2012)","journal-title":"Computing"},{"key":"575_CR11","unstructured":"Nakao, M. T., Kimura, T., Kinoshita, T.: Constructive a priori error estimates for a full discrete approximation of the heat equation. RIMS Preprints RIMS-1745 (2012)"},{"issue":"1","key":"575_CR12","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/BF02239009","volume":"46","author":"M Plum","year":"1991","unstructured":"Plum, M.: Computer-assisted existence proofs for two-point boundary value problems. Computing 46(1), 19\u201334 (1991)","journal-title":"Computing"},{"issue":"2\u20133","key":"575_CR13","doi-asserted-by":"crossref","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. Japan J. Indust. Appl. Math. 26(2\u20133), 419\u2013442 (2009)","journal-title":"Japan J. Indust. Appl. Math."},{"key":"575_CR14","doi-asserted-by":"crossref","unstructured":"Rump, S. M.: INTLAB-INTerval LABoratory. In: Csendes, T., (ed.) Developments in Reliable Computing, pp. 77\u2013104. Kluwer, Dordrecht. http:\/\/www.ti3.tu-harburg.de\/rump\/intlab\/ (1999)","DOI":"10.1007\/978-94-017-1247-7_7"},{"key":"575_CR15","volume-title":"Spline Analysis","author":"MH Schultz","year":"1973","unstructured":"Schultz, M.H.: Spline Analysis. Prentice-Hall, Englewood Cliffs (1973)"},{"key":"575_CR16","volume-title":"Nonlinear functional analysis and its applications II\/A","author":"E Zeidler","year":"1990","unstructured":"Zeidler, E.: Nonlinear functional analysis and its applications II\/A. Springer, New York (1990)"}],"container-title":["Numerische Mathematik"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00211-013-0575-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00211-013-0575-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00211-013-0575-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,31]],"date-time":"2020-07-31T17:47:10Z","timestamp":1596217630000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00211-013-0575-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7,26]]},"references-count":16,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2014,4]]}},"alternative-id":["575"],"URL":"https:\/\/doi.org\/10.1007\/s00211-013-0575-z","relation":{},"ISSN":["0029-599X","0945-3245"],"issn-type":[{"value":"0029-599X","type":"print"},{"value":"0945-3245","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,7,26]]}}}