{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,12]],"date-time":"2026-05-12T12:29:46Z","timestamp":1778588986403,"version":"3.51.4"},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"2-4","license":[{"start":{"date-parts":[[2011,12,6]],"date-time":"2011-12-06T00:00:00Z","timestamp":1323129600000},"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":[[2012,3]]},"DOI":"10.1007\/s00607-011-0180-x","type":"journal-article","created":{"date-parts":[[2011,12,5]],"date-time":"2011-12-05T05:35:15Z","timestamp":1323063315000},"page":"151-162","source":"Crossref","is-referenced-by-count":13,"title":["On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems"],"prefix":"10.1007","volume":"94","author":[{"given":"Mitsuhiro T.","family":"Nakao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Takehiko","family":"Kinoshita","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Takuma","family":"Kimura","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,12,6]]},"reference":[{"issue":"2","key":"180_CR1","doi-asserted-by":"crossref","first-page":"109","DOI":"10.5109\/13484","volume":"31","author":"S Kimura","year":"1999","unstructured":"Kimura S, Yamamoto N (1999) On explicit bounds in the error for the H 0 1 -projection into piecewise polynomial spaces. Bull Inform Cybern 31(2): 109\u2013115","journal-title":"Bull Inform Cybern"},{"key":"180_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 MT (2011) A posteriori estimates of inverse operators for initial value problems in linear ordinary differential equations. J Comput Appl Math 236: 1622\u20131636","journal-title":"J Comput Appl Math"},{"issue":"1","key":"180_CR3","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1137\/0719003","volume":"19","author":"M Luskin","year":"1982","unstructured":"Luskin M, Rannacher R (1982) On the smoothing property of the Galerkin method for parabolic equations. SIAM J Numer Anal 19(1): 93\u2013113","journal-title":"SIAM J Numer Anal"},{"issue":"6","key":"180_CR4","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 (2001) Numerical existence and uniqueness proof for solutions of semilinear parabolic equations. Appl Math Lett 14(6): 707\u2013714","journal-title":"Appl Math Lett"},{"key":"180_CR5","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/0377-0427(91)90179-N","volume":"38","author":"MT Nakao","year":"1991","unstructured":"Nakao MT (1991) Solving nonlinear parabolic problems with result verification. Part I: one-space dimensional case. J Comput Appl Math 38: 323\u2013334","journal-title":"J Comput Appl Math"},{"key":"180_CR6","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1006\/jath.1998.3172","volume":"93","author":"MT Nakao","year":"1998","unstructured":"Nakao MT, Yamamoto N, Kimura S (1998) On the best constant in the error bound for the H 0 1 -projection into piecewise polynomial spaces. J Approx Theory 93: 491\u2013500","journal-title":"J Approx Theory"},{"key":"180_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s00607-004-0111-1","volume":"75","author":"MT Nakao","year":"2005","unstructured":"Nakao MT, Hashimoto K, Watanabe Y (2005) A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems. Computing 75: 1\u201314","journal-title":"Computing"},{"key":"180_CR8","unstructured":"Rump SM INTLAB\u2014INTerval LABoratory. http:\/\/www.ti3.tu-harburg.de\/rump\/intlab\/"},{"key":"180_CR9","volume-title":"Spline analysis","author":"MH Schultz","year":"1973","unstructured":"Schultz MH (1973) Spline analysis. Prentice-Hall, New Jersey"},{"key":"180_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0985-0","volume-title":"Nonlinear functional analysis and its applications II\/A","author":"E Zeidler","year":"1990","unstructured":"Zeidler E (1990) Nonlinear functional analysis and its applications II\/A. Springer, New York"}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-011-0180-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00607-011-0180-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-011-0180-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,18]],"date-time":"2021-12-18T16:35:54Z","timestamp":1639845354000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00607-011-0180-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12,6]]},"references-count":10,"journal-issue":{"issue":"2-4","published-print":{"date-parts":[[2012,3]]}},"alternative-id":["180"],"URL":"https:\/\/doi.org\/10.1007\/s00607-011-0180-x","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,12,6]]}}}