The following pages link to Nobito Yamamoto (Q188687):
Displaying 50 items.
- On the construction of Lyapunov functions with computer assistance (Q515790) (← links)
- Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems (Q618582) (← links)
- Erratum to: Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems (Q618607) (← links)
- An application of Taylor models to the Nakao method on ODEs (Q849188) (← links)
- On error estimation of finite element approximations to the elliptic equations in nonconvex polygonal domains (Q861887) (← links)
- On the best constant in the error bound for the \(H_0^1\)-projection into piecewise polynomial spaces (Q1266108) (← links)
- A posteriori and constructive a priori error bounds for finite element solutions of the Stokes equations (Q1298533) (← links)
- Numerical verifications of solutions for elliptic equations in nonconvex polygonal domains (Q1326465) (← links)
- Numerical verification of solutions for nonlinear elliptic problems using an \(L^\infty\) residual method (Q1378621) (← links)
- Constructive \(L^2\) error estimates for finite element solutions of the Stokes equations (Q1387758) (← links)
- Some computer assisted proofs for solutions of the heat convection problems (Q1406006) (← links)
- Error estimation with guaranteed accuracy of finite element method in nonconvex polygonal domains. (Q1410857) (← links)
- A numerical verification of nontrivial solutions for the heat convection problem (Q1430499) (← links)
- Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element (Q1900766) (← links)
- A numerical verification method of solutions for the Navier-Stokes equations (Q1971089) (← links)
- Inclusion method of optimal constant with quadratic convergence for \(H_0^1\)-projection error estimates and its applications (Q2088756) (← links)
- A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions (Q2135544) (← links)
- Errata to: ``On the construction of Lyapunov functions with computer assistance'' (Q2222080) (← links)
- Numerical verifications for eigenvalues of second-order elliptic operators (Q2258353) (← links)
- Some considerations of the invertibility verifications for linear elliptic operators (Q2352136) (← links)
- Some remarks on a priori estimates of highly regular solutions for the Poisson equation in polygonal domains (Q2396908) (← links)
- A numerical verification for stationary solutions of Rayleigh-Bénard convection (Q2743829) (← links)
- Convenient methods for verification of the accuracy of eigenvalues of symmetric matrices (Q2743830) (← links)
- (Q2765426) (← links)
- (Q2765619) (← links)
- A Theorem for Numerical Verification on Local Uniqueness of Solutions to Fixed-Point Equations (Q3114589) (← links)
- ON DYNAMICAL BEHAVIOR OF GAUSS-SEIDEL TYPE FINITE CELLULAR AUTOMATA (Q3142527) (← links)
- (Q3349281) (← links)
- UNIQUENESS AND EXISTENCE OF THE SOLUTION OF A DIFFUSION EQUATION WITH MOVING BOUNDARIES (Q3977274) (← links)
- A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem (Q4210317) (← links)
- An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness (Q4265782) (← links)
- (Q4329959) (← links)
- (Q4448960) (← links)
- (Q4499752) (← links)
- (Q4703995) (← links)
- (Q4705507) (← links)
- (Q4705632) (← links)
- (Q4705634) (← links)
- Numerical verifications of solutions for elliptic equations with strong nonlinearity (Q4711183) (← links)
- (Q4885378) (← links)
- (Q4935115) (← links)
- (Q4935222) (← links)
- (Q4937937) (← links)
- (Q4949371) (← links)
- On numerical verification methods to construct local Lyapunov functions around non-hyperbolic equilibria for two-dimensional cases (Q5047121) (← links)
- Construction of local Lyapunov functions around non-hyperbolic equilibria by verified numerics for two dimensional cases (Q5121400) (← links)
- (Q5188265) (← links)
- Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria (Q5689186) (← links)
- Numerical verification method for solutions of the perturbed Gelfand equation (Q5937120) (← links)
- A simple method for error bounds of eigenvalues of symmetric matrices (Q5940698) (← links)
