{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,29]],"date-time":"2026-05-29T13:31:30Z","timestamp":1780061490533,"version":"3.54.0"},"reference-count":24,"publisher":"Society for Industrial & Applied Mathematics (SIAM)","issue":"2","funder":[{"DOI":"10.13039\/501100001691","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","award":["15K17596"],"award-info":[{"award-number":["15K17596"]}],"id":[{"id":"10.13039\/501100001691","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100008608","name":"Sumitomo Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100008608","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIAM J. Numer. Anal."],"published-print":{"date-parts":[[2017,1]]},"DOI":"10.1137\/141001664","type":"journal-article","created":{"date-parts":[[2017,4,25]],"date-time":"2017-04-25T18:23:31Z","timestamp":1493144611000},"page":"980-1001","source":"Crossref","is-referenced-by-count":11,"title":["A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory"],"prefix":"10.1137","volume":"55","author":[{"given":"Makoto","family":"Mizuguchi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Akitoshi","family":"Takayasu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Takayuki","family":"Kubo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shin'ichi","family":"Oishi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"351","reference":[{"key":"atypb1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02790212"},{"key":"atypb4","doi-asserted-by":"publisher","DOI":"10.1137\/050645968"},{"key":"atypb5","doi-asserted-by":"publisher","DOI":"10.1137\/070708792"},{"key":"atypb6","doi-asserted-by":"publisher","DOI":"10.1017\/S0308210510000399"},{"key":"atypb7","first-page":"109","volume":"13","author":"Fujita H.","year":"1966","journal-title":"J. Fac. Sci. Univ. Tokyo Sect. I"},{"key":"atypb8","first-page":"143","author":"Fujita H.","year":"1977","journal-title":"New York"},{"key":"atypb9","doi-asserted-by":"publisher","DOI":"10.2969\/jmsj\/02840749"},{"key":"atypb13","doi-asserted-by":"publisher","DOI":"10.1002\/cpa.3160160307"},{"key":"atypb14","doi-asserted-by":"publisher","DOI":"10.1007\/s00211-013-0575-z"},{"key":"atypb15","doi-asserted-by":"publisher","DOI":"10.1137\/110830563"},{"key":"atypb16","doi-asserted-by":"publisher","DOI":"10.1007\/BF00377980"},{"key":"atypb17","doi-asserted-by":"publisher","DOI":"10.1137\/120878446"},{"key":"atypb18","doi-asserted-by":"publisher","DOI":"10.1016\/j.cam.2016.10.024"},{"key":"atypb19","doi-asserted-by":"publisher","DOI":"10.1007\/BF03167877"},{"key":"atypb20","doi-asserted-by":"publisher","DOI":"10.1137\/120875661"},{"key":"atypb21","doi-asserted-by":"publisher","DOI":"10.1007\/s00607-011-0180-x"},{"key":"atypb22","first-page":"2","volume":"2","author":"Nakao M. T.","year":"2011","journal-title":"IEICE"},{"key":"atypb24","first-page":"19","volume":"110","author":"Plum M.","year":"2008","journal-title":"Jahresber. Deutsch. Math.-Verein."},{"key":"atypb26","first-page":"77","author":"Rump S. M.","year":"1999","journal-title":"The Netherlands"},{"key":"atypb27","first-page":"34","volume":"4","author":"Takayasu A.","year":"2013","journal-title":"IEICE"},{"key":"atypb30","doi-asserted-by":"publisher","DOI":"10.1137\/S0036142996304498"},{"key":"atypb31","doi-asserted-by":"publisher","DOI":"10.2969\/jmsj\/00110015"},{"key":"atypb32","first-page":"197","volume":"36","author":"Zgliczyn\u0301ski P.","year":"2010","journal-title":"Topol. Methods Nonlinear Anal."},{"key":"atypb33","doi-asserted-by":"publisher","DOI":"10.1007\/s002080010010"}],"container-title":["SIAM Journal on Numerical Analysis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/epubs.siam.org\/doi\/pdf\/10.1137\/141001664","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,11,21]],"date-time":"2018-11-21T17:00:38Z","timestamp":1542819638000},"score":1,"resource":{"primary":{"URL":"https:\/\/epubs.siam.org\/doi\/10.1137\/141001664"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1]]},"references-count":24,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,1]]}},"alternative-id":["10.1137\/141001664"],"URL":"https:\/\/doi.org\/10.1137\/141001664","relation":{},"ISSN":["0036-1429","1095-7170"],"issn-type":[{"value":"0036-1429","type":"print"},{"value":"1095-7170","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,1]]}}}