An approach for verified computations of semilinear parabolic equations using the semigroup theory

Akitoshi Takayasu (May 15, 2014)