@inproceedings{59b42dcdf38e47908183a997d23e74c0,
title = "Verified computations for solutions to semilinear parabolic equations using the evolution operator",
abstract = "This article presents a theorem for guaranteeing existence of a solution for an initial-boundary value problem of semilinear parabolic equations. The sufficient condition of our main theorem is derived by a fixed-point formulation using the evolution operator. We note that the sufficient condition can be checked by verified numerical computations.",
author = "Akitoshi Takayasu and Makoto Mizuguchi and Takayuki Kubo and Shin{\textquoteright}ichi Oishi",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2016.; 6th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2015 ; Conference date: 11-11-2015 Through 13-11-2015",
year = "2016",
doi = "10.1007/978-3-319-32859-1_18",
language = "English",
isbn = "9783319328584",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "218--223",
editor = "Kotsireas, {Ilias S.} and Rump, {Siegfried M.} and Yap, {Chee K.}",
booktitle = "Mathematical Aspects of Computer and Information Sciences - 6th International Conference, MACIS 2015, Revised Selected Papers",
}