Makoto Mizuguchi, Kouta Sekine, Kouji Hashimoto, Mitsuhiro T. Nakao, Shin’ichi Oishi. Rigorous numerical inclusion of the blow-up time for the Fujita-type equation. Japan Journal of Industrial and Applied Mathematics. 2022. 40. 1. 665-689
Makoto Mizuguchi, Mitsuhiro T. Nakao, Kouta Sekine, Shin’ichi Oishi. Error Constants for the Semi-Discrete Galerkin Approximation of the Linear Heat Equation. Journal of Scientific Computing. 2021. 89. 2
Makoto Mizuguchi, Kazuaki Tanaka, Kouta Sekine, Shin’ichi Oishi. Estimation of Sobolev embedding constant on a domain dividable into bounded convex domains. Journal of Inequalities and Applications. 2017. 2017
Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, Shin'chi Oishi. Accurate method of verified computing for solutions of semilinear heat equations. Reliable Computing. 2017. 25. 74-99
2015/10 - The 34th JSST Annual Conference International Conference on Simulation Technology (JSST2015) Student Presentation Award Verified computations for solutions of semilinear heat equations using an analytic semigroup generated by a self-adjoint operator