@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. Copyright: Copyright 2017 Elsevier B.V., All rights reserved.; 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",

}