N. Yamamoto

发表

Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element

M. Nakao, N. Yamamoto, 1995 .

An approach to the numerical verification of solutions for nonlinear elliptic problems with local uniqueness

M. Nakao, N. Yamamoto, K. Nagatou, 1999 .

A simple method for error bounds of eigenvalues of symmetric matrices

N. Yamamoto, 2001 .

On error estimation of finite element approximations to the elliptic equations in nonconvex polygonal domains

Nobito Yamamoto, N. Yamamoto, Kenta Genma, 2007 .

Some computer assisted proofs on the bifurcation structure of solutions for heat convection problems

M. Nakao, N. Yamamoto, T. Nishida, 2022 .

A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem

Nobito Yamamoto, N. Yamamoto, 1998 .

Numerical Verification of Solutions for Nonlinear Elliptic Problems Using anL∞Residual Method☆

Nobito Yamamoto, Mitsuhiro Nakao, M. Nakao, 1998 .

On the construction of Lyapunov functions with computer assistance

Kaname Matsue, Nobito Yamamoto, Tomohiro Hiwaki, 2016, J. Comput. Appl. Math..

Computer Assisted Proofs of Bifurcating Solutions for Nonlinear Heat Convection Problems

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

A Numerical Verification of Nontrivial Solutions for the Heat Convection Problem

Nobito Yamamoto, Takaaki Nishida, Mitsuhiro Nakao, 2004 .

Error estimation with guaranteed accuracy of finite element method in nonconvex polygonal domains

Nobito Yamamoto, N. Yamamoto, Keisuke Hayakawa, 2003 .

On the Best Constant in the Error Bound for theH10-Projection into Piecewise Polynomial Spaces

Seiji Kimura, Nobito Yamamoto, Mitsuhiro Nakao, 1998 .