Mitsuhiro T. Nakao
Orcid: 0000-0001-5228-0591
According to our database1,
Mitsuhiro T. Nakao
authored at least 39 papers
between 1997 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Efficient Approaches for Verifying the Existence and Bound of Inverse of Linear Operators in Hilbert Spaces.
J. Sci. Comput., 2023
Inclusion method of optimal constant with quadratic convergence for H01-projection error estimates and its applications.
J. Comput. Appl. Math., 2023
2022
On Some Convergence Properties for Finite Element Approximations to the Inverse of Linear Elliptic Operators.
Acta Cybern., September, 2022
Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains.
Commun. Nonlinear Sci. Numer. Simul., 2022
Improvement of the Constructive A Priori Error Estimates for a Fully Discretized Periodic Solution of Heat Equation.
Comput. Methods Appl. Math., 2022
2021
Error Constants for the Semi-Discrete Galerkin Approximation of the Linear Heat Equation.
J. Sci. Comput., 2021
2020
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.
Numerische Mathematik, 2020
Some lower bound estimates for resolvents of a compact operator on an infinite-dimensional Hilbert space.
J. Comput. Appl. Math., 2020
Constructive error estimates for full discrete approximation of periodic solution for heat equation.
J. Comput. Appl. Math., 2020
Explicit a posteriori and a priori error estimation for the finite element solution of Stokes equations.
CoRR, 2020
2019
A new formulation for the numerical proof of the existence of solutions to elliptic problems.
CoRR, 2019
2017
On the compactness of a nonlinear operator related to stream function-vorticity formulation for the Navier-Stokes equations.
JSIAM Lett., 2017
2016
A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration.
Appl. Math. Comput., 2016
2015
H<sup>3</sup> and H<sup>4</sup> Regularities of the Poisson Equation on Polygonal Domains.
Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2015
2014
Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert Spaces.
SIAM J. Numer. Anal., 2014
On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems.
Numerische Mathematik, 2014
Proceedings of the Scientific Computing, Computer Arithmetic, and Validated Numerics, 2014
2013
Constructive A Priori Error Estimates for a Full Discrete Approximation of the Heat Equation.
SIAM J. Numer. Anal., 2013
A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations.
Math. Comput., 2013
Some Remarks on the Optimal Error Estimates for the Finite Element Method on the L-Shaped Domain.
Proceedings of the Tenth International Conference on Information Technology: New Generations, 2013
2012
On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems.
Computing, 2012
2011
A posteriori estimates of inverse operators for initial value problems in linear ordinary differential equations.
J. Comput. Appl. Math., 2011
2010
Erratum to: Computer Assisted Proofs of Bifurcating Solutions for Nonlinear Heat Convection Problems.
J. Sci. Comput., 2010
Computer Assisted Proofs of Bifurcating Solutions for Nonlinear Heat Convection Problems.
J. Sci. Comput., 2010
A numerical verification method for a periodic solution of a delay differential equation.
J. Comput. Appl. Math., 2010
On very accurate enclosure of the optimal constant in the a priori error estimates for H<sup>2</sup><sub>0</sub>-projection.
J. Comput. Appl. Math., 2010
2009
A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems.
Numerische Mathematik, 2009
On very accurate verification of solutions for boundary value problems by using spectral methods.
JSIAM Lett., 2009
2008
Appl. Math. Lett., 2008
2005
SCAN'2004 11th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics<i>Fukuoka, Japan, October 4-8, 2004</i>.
Reliab. Comput., 2005
A Numerical Method to Verify the Invertibility of Linear Elliptic Operators with Applications to Nonlinear Problems.
Computing, 2005
2004
An Efficient Approach to the Numerical Verification for Solutions of Elliptic Differential Equations.
Numer. Algorithms, 2004
2003
Reliab. Comput., 2003
2001
A Guaranteed Bound of the Optimal Constant in the Error Estimates for Linear Triangular Elements.
Proceedings of the Perspectives on Enclosure Methods, 2001
1999
Reliab. Comput., 1999
1998
Constructive L2 Error Estimates for Finite Element Solutions of the Stokes Equations.
Reliab. Comput., 1998
Numerische Mathematik, 1998
1997
Numerical Verifications of Solutions for Nonlinear Parabolic Equations in One-Space Dimensional Case.
Reliab. Comput., 1997