Constructive L2 Error Estimates for Finite Element Solutions of the Stokes Equations. - Mitsuhiro T. Nakao; Nobito Yamamoto; Yoshitaka Watanabe (Reliab. Comput., 1998)

A Numerical Verification Method of Solutions for the Navier-Stokes Equations. - Yoshitaka Watanabe; Nobito Yamamoto; Mitsuhiro T. Nakao (Reliab. Comput., 1999)

A Guaranteed Bound of the Optimal Constant in the Error Estimates for Linear Triangular Elements. - Mitsuhiro T. Nakao; Nobito Yamamoto (Perspectives on Enclosure Methods, 2001)

Some Computer Assisted Proofs for Solutions of the Heat Convection Problems. - Mitsuhiro T. Nakao; Yoshitaka Watanabe; Nobito Yamamoto; Takaaki Nishida (Reliab. Comput., 2003)

Computer Assisted Proofs of Bifurcating Solutions for Nonlinear Heat Convection Problems. - Mitsuhiro T. Nakao; Yoshitaka Watanabe; Nobito Yamamoto; Takaaki Nishida; Myoung-Nyoung Kim (J. Sci. Comput., 2010)

Erratum to: Computer Assisted Proofs of Bifurcating Solutions for Nonlinear Heat Convection Problems. - Mitsuhiro T. Nakao; Yoshitaka Watanabe; Nobito Yamamoto; Takaaki Nishida; Myoungnyoun Kim (J. Sci. Comput., 2010)

On the construction of Lyapunov functions with computer assistance. - Kaname Matsue; Tomohiro Hiwaki; Nobito Yamamoto (J. Comput. Appl. Math., 2017)

Construction of local Lyapunov functions around non-hyperbolic equilibria by verified numerics for two dimensional cases. - Gen Terasaka; Masao Nakamura; Koki Nitta; Nobito Yamamoto (JSIAM Lett., 2020)

Errata to "On the construction of Lyapunov functions with computer assistance" [J. Comp. Appl. Math. 319 (2017) 385-412]. - Kaname Matsue; Tomohiro Hiwaki; Nobito Yamamoto (J. Comput. Appl. Math., 2021)

On numerical verification methods to construct local Lyapunov functions around non-hyperbolic equilibria for two-dimensional cases. - Koki Nitta; Toshiki Sasaki; Nobito Yamamoto (JSIAM Lett., 2022)

Inclusion method of optimal constant with quadratic convergence for H01-projection error estimates and its applications. - Takehiko Kinoshita; Yoshitaka Watanabe; Nobito Yamamoto; Mitsuhiro T. Nakao (J. Comput. Appl. Math., 2023)

Numerical verification method on complex ODEs for existence of global solutions within finite domains. - Koki Nitta; Nobito Yamamoto (JSIAM Lett., 2023)