Mitsuhiro T. Nakao

发表

A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems

Shin'ichi Oishi, Kouta Sekine, Masahide Kashiwagi, 2021 .

Error Constants for the Semi-Discrete Galerkin Approximation of the Linear Heat Equation

Shin'ichi Oishi, Kouta Sekine, Makoto Mizuguchi, 2021, J. Sci. Comput..

Numerical verification methods for a system of elliptic PDEs, and their software library

Shin'ichi Oishi, Kouta Sekine, Mitsuhiro T. Nakao, 2021, Nonlinear Theory and Its Applications, IEICE.

A posteriori estimates of inverse operators for initial value problems in linear ordinary differential equations

Takuma Kimura, Mitsuhiro T. Nakao, Takehiko Kinoshita, 2011, J. Comput. Appl. Math..

Numerical verification method for solutions of the perturbed Gelfand equation

Teruya Minamoto, Nobito Yamamoto, Mitsuhiro T. Nakao, 1998 .

Verified numerical computations for eigenvalues of non-commutative harmonic oscillators

Mitsuhiro T. Nakao, K. Nagatou, M. Wakayama, 2002 .

Numerical verification of solutions for obstacle problems

Cheon Seoung Ryoo, Mitsuhiro T. Nakao, C. Ryoo, 2001 .

An improvement of the theorem of a posteriori estimates for inverse elliptic operators

Mitsuhiro T. Nakao, Yoshitaka Watanabe, Takehiko Kinoshita, 2014 .

NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS

Mitsuhiro T. Nakao, 2000 .

A computational approach to constructive a priori and a posteriori error estimates for finite element approximations of bi-harmonic problems

Kouji Hashimoto, Kaori Nagatou, Mitsuhiro T. Nakao, 2005 .