Mitsuhiro T. Nakao, Kouji Hashimoto. A numerical verification method for solutions of nonlinear parabolic problems. Journal of Math-for-industry. 2009. 1. 2009A-9. 69-72
M.T.Nakao, K.Nagatou, K.Hashimoto. Numerical verification by infinite dimensional Newton's method for stationary solutions of the Navier-Stokes problems. 京都大学数理解析研究所講究録. 2005. 1441. 61-74
講演・口頭発表等 (45件):
Constructive error analysis of a full-discrete finite element method for the heat equation
(The 9th International Congress on Industrial and Applied Mathematics (ICIAM 2019) 2019)