The following pages link to Yoshitaka Watanabe (Q204500):
Displaying 50 items.
- An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid (Q268320) (← 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)
- A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration (Q671009) (← links)
- Numerical verifications of solutions for nonlinear elliptic equations (Q689912) (← links)
- A numerical verification method for two-coupled elliptic partial differential equations (Q849177) (← links)
- Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem (Q849191) (← links)
- A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems (Q998643) (← links)
- A posteriori and constructive a priori error bounds for finite element solutions of the Stokes equations (Q1298533) (← links)
- On computational proofs of the existence of solutions to nonlinear parabolic problems (Q1334781) (← 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)
- A numerical verification of nontrivial solutions for the heat convection problem (Q1430499) (← links)
- An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces (Q1736168) (← links)
- A numerical verification method for solutions of singularly perturbed problems with nonlinearity (Q1774296) (← links)
- A numerical verification method of solutions for the Navier-Stokes equations (Q1971089) (← links)
- Computer-assisted proofs of the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem (Q2029666) (← links)
- Inclusion method of optimal constant with quadratic convergence for \(H_0^1\)-projection error estimates and its applications (Q2088756) (← links)
- Some improvements of invertibility verifications for second-order linear elliptic operators (Q2174959) (← links)
- Some lower bound estimates for resolvents of a compact operator on an infinite-dimensional Hilbert space (Q2293609) (← links)
- An improved method for verifying the existence and bounds of the inverse of second-order linear elliptic operators mapping to dual space (Q2318498) (← links)
- Some considerations of the invertibility verifications for linear elliptic operators (Q2352136) (← links)
- A computer-assisted method for excluding eigenvalues of an elliptic operator linearized at a solution of a nonlinear problem (Q2352149) (← links)
- A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid (Q2378271) (← links)
- An efficient approach to the numerical verification for solutions of elliptic differential equations (Q2387778) (← links)
- Some remarks on a priori estimates of highly regular solutions for the Poisson equation in polygonal domains (Q2396908) (← links)
- A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems (Q2487204) (← links)
- Norm bound computation for inverses of linear operators in Hilbert spaces (Q2634224) (← links)
- (Q2743829) (← links)
- Some Remarks on the Rigorous Estimation of Inverse Linear Elliptic Operators (Q2803604) (← links)
- $$H^3$$ and $$H^4$$ Regularities of the Poisson Equation on Polygonal Domains (Q2807835) (← links)
- A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations (Q2840620) (← links)
- (Q2917687) (← links)
- A Theorem for Numerical Verification on Local Uniqueness of Solutions to Fixed-Point Equations (Q3114589) (← links)
- On the compactness of a nonlinear operator related to stream function-vorticity formulation for the Navier-Stokes equations (Q3121496) (← links)
- A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow (Q3605039) (← links)
- (Q4329959) (← links)
- (Q4499752) (← links)
- (Q4705507) (← links)
- (Q4705632) (← links)
- (Q4847677) (← links)
- (Q4885378) (← links)
- A Numerical Verification Method for a System of FitzHugh-Nagumo Type (Q4899071) (← links)
- (Q4949371) (← links)
- Improvement of infinity norm estimations related to computer-assisted proofs of the Kolmogorov problem (Q5047142) (← links)
- Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations (Q5380617) (← links)
- Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert Spaces (Q5495219) (← links)
- Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria (Q5689186) (← links)
- Spectral Problem on 3-D Photonic Crystals (Q5851587) (← links)
- Verified numerical computations for an inverse elliptic eigenvalue problem with finite data (Q5944173) (← links)
