Paper Info
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.
Year
DOI
Venue
2015
10.1007/978-3-319-32859-1_18
MACIS
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
4
Name
Order
Citations
PageRank
Akitoshi Takayasu100.34
Makoto Mizuguchi200.68
Takayuki Kubo321.23
Shin'ichi Oishi428037.14