Pages that link to "Item:Q689912"
From MaRDI portal
The following pages link to Numerical verifications of solutions for nonlinear elliptic equations (Q689912):
Displaying 35 items.
- Numerical verification of the global uniqueness of a positive solution for Nekrasov's equation (Q701913) (← 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 constructive a priori error estimation for finite element discretizations in a non-convex domain using singular functions (Q849195) (← links)
- Improved convergence theorems of Newton's method designed for the numerical verification for solutions of differential equations (Q861902) (← links)
- On very accurate enclosure of the optimal constant in the a priori error estimates for \(H_0^2\)-projection (Q964975) (← links)
- A numerical verification method for the existence of weak solutions for nonlinear boundary value problems (Q1193173) (← links)
- On the best constant in the error bound for the \(H_0^1\)-projection into piecewise polynomial spaces (Q1266108) (← links)
- Numerical verification of solutions for variational inequalities (Q1277004) (← 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)
- On computational proofs of the existence of solutions to nonlinear parabolic problems (Q1334781) (← links)
- Numerical verification of solutions of parametrized nonlinear boundary value problems with turning points (Q1370920) (← links)
- Numerical verification of solutions for nonlinear elliptic problems using an \(L^\infty\) residual method (Q1378621) (← links)
- Numerical verification of solutions for a simplified Signorini problem (Q1591946) (← links)
- A numerical method to verify the elliptic eigenvalue problems including a uniqueness property (Q1818413) (← links)
- A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid (Q1877193) (← links)
- Numerical verification of existence and inclusion of solutions for nonlinear operator equations (Q1900759) (← links)
- Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element (Q1900766) (← links)
- A new formulation using the Schur complement for the numerical existence proof of solutions to elliptic problems: without direct estimation for an inverse of the linearized operator (Q2217873) (← links)
- Numerical verifications for eigenvalues of second-order elliptic operators (Q2258353) (← links)
- Numerical verification method for positive solutions of elliptic problems (Q2297084) (← links)
- An efficient approach to the numerical verification for solutions of elliptic differential equations (Q2387778) (← links)
- Numerical verification of solutions of Nekrasov's integral equation (Q2487205) (← links)
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS (Q2769532) (← links)
- On very accurate verification of solutions for boundary value problems by using spectral methods (Q2858137) (← links)
- Numerical verification methods for differential equations: computer-assisted proofs based on infinite dimensional sequential iteration (Q2917687) (← links)
- An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness (Q4265782) (← links)
- Numerical verification for solutions to partial differential equations (Q4568286) (← links)
- Numerical Verification of the Hasselmann equation (Q5248656) (← links)
- Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria (Q5689186) (← links)
- (Q5747913) (← links)
- An enclosure method of eigenvalues for the elliptic operator linearized at an exact solution of nonlinear problems (Q5929746) (← links)
- Verified numerical computations for an inverse elliptic eigenvalue problem with finite data (Q5944173) (← links)
- Verification of a Numerical Solution to a Collocation Problem (Q6065584) (← links)
