Verified Computations for Solutions to Semilinear Parabolic Equations Using the Evolution Operator. - Akitoshi Takayasu; Makoto Mizuguchi; Takayuki Kubo; Shin'ichi Oishi (MACIS, 2015)

Numerical verification of positiveness for solutions to semilinear elliptic problems. - Kazuaki Tanaka; Kouta Sekine; Makoto Mizuguchi; Shin'ichi Oishi (JSIAM Lett., 2015)

Numerical verification for existence of a global-in-time solution to semilinear parabolic equations. - Makoto Mizuguchi; Akitoshi Takayasu; Takayuki Kubo; Shin'ichi Oishi (J. Comput. Appl. Math., 2017)

Numerical validation of blow-up solutions of ordinary differential equations. - Akitoshi Takayasu; Kaname Matsue; Takiko Sasaki; Kazuaki Tanaka; Makoto Mizuguchi; Shin'ichi Oishi (J. Comput. Appl. Math., 2017)

Sharp numerical inclusion of the best constant for embedding on bounded convex domain. - Kazuaki Tanaka; Kouta Sekine; Makoto Mizuguchi; Shin'ichi Oishi (J. Comput. Appl. Math., 2017)

A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory. - Makoto Mizuguchi; Akitoshi Takayasu; Takayuki Kubo; Shin'ichi Oishi (SIAM J. Numer. Anal., 2017)

Error Constants for the Semi-Discrete Galerkin Approximation of the Linear Heat Equation. - Makoto Mizuguchi; Mitsuhiro T. Nakao; Kouta Sekine; Shin'ichi Oishi (J. Sci. Comput., 2021)