Mitsuhiro T. Nakao

发表

On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems

Takehiko Kinoshita, Takuma Kimura, Mitsuhiro T. Nakao, 2014, Numerische Mathematik.

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

Mitsuhiro T. Nakao, Kouta Sekine, Shin'ichi Oishi, 2020, Numerische Mathematik.

Newton-Type Approaches in Finite Dimension

Yoshitaka Watanabe, Mitsuhiro T. Nakao, Michael Plum, 2019, Springer Series in Computational Mathematics.

Numerical Verification of Solutions for Nonlinear Parabolic Problems

Takehiko Kinoshita, Mitsuhiro T. Nakao, Kouji Hashimoto, 2018 .

Constructive error estimates for full discrete approximation of periodic solution for heat equation

Takuma Kimura, Mitsuhiro T. Nakao, Teruya Minamoto, 2020, J. Comput. Appl. Math..

A Numerical Verification Method of Solutions for the Navier-Stokes Equations

Yoshitaka Watanabe, Mitsuhiro T. Nakao, Nobito Yamamoto, 1998, SCAN.

A Numerical Verification Method of Solutions for the Navier-Stokes Equations

Yoshitaka Watanabe, Mitsuhiro T. Nakao, Nobito Yamamoto, 1999, Reliab. Comput..

A new formulation for the numerical proof of the existence of solutions to elliptic problems pdf

Mitsuhiro T. Nakao, Kouta Sekine, Shin'ichi Oishi, 2019, ArXiv.

A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration

Yoshitaka Watanabe, Mitsuhiro T. Nakao, M. Nakao, 2016, Appl. Math. Comput..

Numerical verification of solutions for variational inequalities

Mitsuhiro T. Nakao, Cheon Seoung Ryoo, C. Ryoo, 1998, Numerische Mathematik.

Erratum to: Computer Assisted Proofs of Bifurcating Solutions for Nonlinear Heat Convection Problems

Yoshitaka Watanabe, Mitsuhiro T. Nakao, Nobito Yamamoto, 2010, J. Sci. Comput..

Some Computer Assisted Proofs for Solutions of the Heat Convection Problems

Yoshitaka Watanabe, Mitsuhiro T. Nakao, Nobito Yamamoto, 2003, Reliab. Comput..

A Numerical Method to Verify the Invertibility of Linear Elliptic Operators with Applications to Nonlinear Problems

Yoshitaka Watanabe, Mitsuhiro T. Nakao, Kouji Hashimoto, 2005, Computing.

Some Remarks on the Rigorous Estimation of Inverse Linear Elliptic Operators

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

Numerical Verifications of Solutions for Nonlinear Parabolic Equations in One-Space Dimensional Case

Mitsuhiro T. Nakao, Teruya Minamoto, 1997, Reliab. Comput..

A Guaranteed Bound of the Optimal Constant in the Error Estimates for Linear Triangular Elements

Mitsuhiro T. Nakao, Nobito Yamamoto, 2001, Perspectives on Enclosure Methods.

Computer Assisted Proofs of Bifurcating Solutions for Nonlinear Heat Convection Problems

Yoshitaka Watanabe, Mitsuhiro T. Nakao, Nobito Yamamoto, 2010, J. Sci. Comput..

A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations

Yoshitaka Watanabe, Takehiko Kinoshita, Mitsuhiro T. Nakao, 2013, Math. Comput..

On very accurate enclosure of the optimal constant in the a priori error estimates for H20-projection

Takehiko Kinoshita, Mitsuhiro T. Nakao, 2010, J. Comput. Appl. Math..

Foreword

Siegfried M. Rump, Mitsuhiro T. Nakao, Takeshi Ogita, 2021, J. Comput. Appl. Math..

Some remarks on the behaviour of the finite element solution in nonsmooth domains

Takehiko Kinoshita, Mitsuhiro T. Nakao, 2008, Appl. Math. Lett..

Constructive L2 Error Estimates for Finite Element Solutions of the Stokes Equations

Yoshitaka Watanabe, Mitsuhiro T. Nakao, Nobito Yamamoto, 1998, Reliab. Comput..

An Efficient Approach to the Numerical Verification for Solutions of Elliptic Differential Equations

Yoshitaka Watanabe, Mitsuhiro T. Nakao, 2004, Numerical Algorithms.

Some Remarks on the Optimal Error Estimates for the Finite Element Method on the L-Shaped Domain

Takehiko Kinoshita, Mitsuhiro T. Nakao, 2013, 2013 10th International Conference on Information Technology: New Generations.

Computer-Assisted Proofs for Dynamical Systems

Yoshitaka Watanabe, Mitsuhiro T. Nakao, Michael Plum, 2019, Springer Series in Computational Mathematics.

A numerical verification method for a periodic solution of a delay differential equation

Mitsuhiro T. Nakao, Teruya Minamoto, Teruya Minamoto, 2010, J. Comput. Appl. Math..

Applications to the Computer-Assisted Proofs in Analysis

Yoshitaka Watanabe, Mitsuhiro T. Nakao, Michael Plum, 2019 .

H3 and H4 Regularities of the Poisson Equation on Polygonal Domains

Yoshitaka Watanabe, Takehiko Kinoshita, Mitsuhiro T. Nakao, 2015, MACIS.

SCAN’2004 11th GAMM-IMACS International Symposium on Scientific Computing,Computer Arithmetic, and Validated NumericsFukuoka,Japan,October 4-8,2004

Mitsuhiro T. Nakao, Kaori Nagatou, 2005, Reliab. Comput..

On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems

Takehiko Kinoshita, Takuma Kimura, Mitsuhiro T. Nakao, 2011, Computing.

Basic Principle of the Verification

Yoshitaka Watanabe, Mitsuhiro T. Nakao, Michael Plum, 2019 .

Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert Spaces

Yoshitaka Watanabe, Mitsuhiro T. Nakao, Michael Plum, 2014, SIAM J. Numer. Anal..

Constructive A Priori Error Estimates for a Full Discrete Approximation of the Heat Equation

Takehiko Kinoshita, Takuma Kimura, Mitsuhiro T. Nakao, 2013, SIAM J. Numer. Anal..

Some lower bound estimates for resolvents of a compact operator on an infinite-dimensional Hilbert space

Yoshitaka Watanabe, Takehiko Kinoshita, Mitsuhiro T. Nakao, 2020, J. Comput. Appl. Math..