Nobito Yamamoto

Available identifiers

zbMath Open yamamoto.nobitoMaRDI QIDQ188687

List of research outcomes

Publication	Date of Publication	Type
Numerical verification method on complex ODEs for existence of global solutions within finite domains	2023-12-19	Paper
On numerical verification methods to construct local Lyapunov functions around non-hyperbolic equilibria for two-dimensional cases	2022-11-09	Paper
Inclusion method of optimal constant with quadratic convergence for \(H_0^1\)-projection error estimates and its applications	2022-10-06	Paper
A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions	2022-05-09	Paper
Errata to: ``On the construction of Lyapunov functions with computer assistance	2021-02-03	Paper
Construction of local Lyapunov functions around non-hyperbolic equilibria by verified numerics for two dimensional cases	2020-09-14	Paper
Some remarks on a priori estimates of highly regular solutions for the Poisson equation in polygonal domains	2017-05-29	Paper
On the construction of Lyapunov functions with computer assistance	2017-03-16	Paper
Some considerations of the invertibility verifications for linear elliptic operators	2015-06-30	Paper
Numerical verifications for eigenvalues of second-order elliptic operators	2015-03-03	Paper
A Theorem for Numerical Verification on Local Uniqueness of Solutions to Fixed-Point Equations	2012-02-19	Paper
Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems	2011-01-16	Paper
Erratum to: Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems	2011-01-16	Paper
https://portal.mardi4nfdi.de/entity/Q5188265	2010-03-10	Paper
An application of Taylor models to the Nakao method on ODEs	2010-02-25	Paper
On error estimation of finite element approximations to the elliptic equations in nonconvex polygonal domains	2007-02-02	Paper
A numerical verification of nontrivial solutions for the heat convection problem	2004-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q4448960	2004-02-04	Paper
Error estimation with guaranteed accuracy of finite element method in nonconvex polygonal domains.	2003-10-15	Paper
Some computer assisted proofs for solutions of the heat convection problems	2003-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q2765426	2002-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q2765619	2002-08-05	Paper
https://portal.mardi4nfdi.de/entity/Q4329959	2002-05-15	Paper
Verified numerical computations for an inverse elliptic eigenvalue problem with finite data	2001-12-09	Paper
Numerical verification method for solutions of the perturbed Gelfand equation	2001-11-04	Paper
https://portal.mardi4nfdi.de/entity/Q4949371	2001-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q2743829	2001-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q2743830	2001-09-17	Paper
A simple method for error bounds of eigenvalues of symmetric matrices	2001-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q4499752	2001-01-29	Paper
An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness	2000-06-05	Paper
A numerical verification method of solutions for the Navier-Stokes equations	2000-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q4937937	2000-02-20	Paper
A posteriori and constructive a priori error bounds for finite element solutions of the Stokes equations	2000-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q4935115	2000-01-30	Paper
https://portal.mardi4nfdi.de/entity/Q4935222	2000-01-30	Paper
https://portal.mardi4nfdi.de/entity/Q4705507	1999-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q4705632	1999-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q4705634	1999-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q4703995	1999-12-01	Paper
On the best constant in the error bound for the \(H_0^1\)-projection into piecewise polynomial spaces	1999-02-18	Paper
A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem	1998-09-21	Paper
Constructive \(L^2\) error estimates for finite element solutions of the Stokes equations	1998-06-08	Paper
Numerical verification of solutions for nonlinear elliptic problems using an \(L^\infty\) residual method	1998-02-09	Paper
Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria	1997-02-20	Paper
https://portal.mardi4nfdi.de/entity/Q4885378	1997-01-13	Paper
Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element	1996-03-11	Paper
Numerical verifications of solutions for elliptic equations in nonconvex polygonal domains	1994-10-09	Paper
ON DYNAMICAL BEHAVIOR OF GAUSS-SEIDEL TYPE FINITE CELLULAR AUTOMATA	1994-03-22	Paper
UNIQUENESS AND EXISTENCE OF THE SOLUTION OF A DIFFUSION EQUATION WITH MOVING BOUNDARIES	1992-06-25	Paper
Numerical verifications of solutions for elliptic equations with strong nonlinearity	1992-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q3349281	1992-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Nobito Yamamoto