Numerical Verification of Solutions for Nonlinear Parabolic Problems
Hashimoto, Kouji, Kinoshita, Takehiko, Nakao, Mitsuhiro T.
Published in Numerical functional analysis and optimization (09.09.2020)
Published in Numerical functional analysis and optimization (09.09.2020)
Get full text
Journal Article
Error Constants for the Semi-Discrete Galerkin Approximation of the Linear Heat Equation
Mizuguchi, Makoto, Nakao, Mitsuhiro T., Sekine, Kouta, Oishi, Shin’ichi
Published in Journal of scientific computing (01.11.2021)
Published in Journal of scientific computing (01.11.2021)
Get full text
Journal Article
An improved method for verifying the existence and bounds of the inverse of second-order linear elliptic operators mapping to dual space
Watanabe, Yoshitaka, Kinoshita, Takehiko, Nakao, Mitsuhiro T.
Published in Japan journal of industrial and applied mathematics (01.07.2019)
Published in Japan journal of industrial and applied mathematics (01.07.2019)
Get full text
Journal Article
CONSTRUCTIVE A PRIORI ERROR ESTIMATES FOR A FULL DISCRETE APPROXIMATION OF THE HEAT EQUATION
NAKAO, MITSUHIRO T., KIMURA, TAKUMA, KINOSHITA, TAKEHIKO
Published in SIAM journal on numerical analysis (01.01.2013)
Published in SIAM journal on numerical analysis (01.01.2013)
Get full text
Journal Article
VERIFIED COMPUTATIONS OF EIGENVALUE EXCLOSURES FOR EIGENVALUE PROBLEMS IN HILBERT SPACES
WATANABE, YOSHITAKA, NAGATOU, KAORI, PLUM, MICHAEL, NAKAO, MITSUHIRO T.
Published in SIAM journal on numerical analysis (01.01.2014)
Published in SIAM journal on numerical analysis (01.01.2014)
Get full text
Journal Article
A numerical verification method for a periodic solution of a delay differential equation
Minamoto, Teruya, Nakao, Mitsuhiro T.
Published in Journal of computational and applied mathematics (01.12.2010)
Published in Journal of computational and applied mathematics (01.12.2010)
Get full text
Journal Article
Numerical method for verifying the existence and local uniqueness of a double turning point for a radially symmetric solution of the perturbed Gelfand equation
Minamoto, Teruya, Nakao, Mitsuhiro T.
Published in Journal of computational and applied mathematics (15.05.2007)
Published in Journal of computational and applied mathematics (15.05.2007)
Get full text
Journal Article
A new formulation using the Schur complement for the numerical existence proof of solutions to elliptic problems: without direct estimation for an inverse of the linearized operator
Sekine, Kouta, Nakao, Mitsuhiro T., Oishi, Shin’ichi
Published in Numerische Mathematik (01.12.2020)
Published in Numerische Mathematik (01.12.2020)
Get full text
Journal Article