Nobito Yamamoto

发表

On the basic operations of interval multiple-precision arithmetic with center-radius form

Nozomu Matsuda, Nobito Yamamoto, 2011 .

Some remarks on numerical verification of closed orbits in dynamical systems

Nobito Yamamoto, Tomohiro Hiwaki, 2015 .

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..

Errata to "On the construction of Lyapunov functions with computer assistance" [J. Comp. Appl. Math. 319 (2017) 385-412]

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

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..

On the construction of Lyapunov functions with computer assistance

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

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..

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

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

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

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

Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria

Nobito Yamamoto, Mitsuhiro Nakao, Yoshitaka Watanabe, 1997 .

Numerical verifications of solutions for elliptic equations in nonconvex polygonal domains

Nobito Yamamoto, Mitsuhiro Nakao, 1993 .

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

Nobito Yamamoto, Mitsuhiro Nakao, 2001 .

Verified numerical computations for an inverse elliptic eigenvalue problem with finite data

Nobito Yamamoto, Mitsuhiro Nakao, Yoshitaka Watanabe, 2001 .

Numerical verifications for eigenvalues of second-order elliptic operators

Nobito Yamamoto, Mitsuhiro Nakao, Kaori Nagatou, 1999 .

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

Nobito Yamamoto, N. Yamamoto, 1998 .

ON EXPLICIT BOUNDS IN THE ERROR FOR THE $ mathrm{H_o^1} $-PROJECTION INTO PIECEWISE POLYNOMIAL SPACES

Seiji Kimura, Nobito Yamamoto, 1999 .

Numerical verification method for solutions of the perturbed Gelfand equation

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

A Numerical Verification of Nontrivial Solutions for the Heat Convection Problem

Nobito Yamamoto, Takaaki Nishida, Mitsuhiro Nakao, 2004 .

A posteriori and constructive a priori error bounds for finite element solutions of the Stokes equations

Nobito Yamamoto, Mitsuhiro Nakao, Yoshitaka Watanabe, 1998 .

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

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

Some considerations of the invertibility verifications for linear elliptic operators

Takuma Kimura, Nobito Yamamoto, Mitsuhiro Nakao, 2015 .

Numerical verifications of solutions for elliptic equations with strong nonlinearity

Nobito Yamamoto, Mitsuhiro Nakao, 1991 .

An application of Taylor models to the Nakao method on ODEs

Nobito Yamamoto, Takashi Komori, 2009 .

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

Seiji Kimura, Nobito Yamamoto, Mitsuhiro Nakao, 1998 .

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

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