Pages that link to "Item:Q3204851"
From MaRDI portal
The following pages link to A numerical approach to the proof of existence of solutions for elliptic problems II (Q3204851):
Displaying 26 items.
- Worst case error bounds for the solution of uncertain Poisson equations with mixed boundary conditions (Q269358) (← links)
- Numerical verifications of solutions for nonlinear elliptic equations (Q689912) (← links)
- Numerical verification method for infinite dimensional eigenvalue problems (Q849194) (← links)
- Définition d'une méthodologie de démonstration numérique d'existence de solution d'équations elliptiques semi-linéaires. (Definition of a method to prove numerically the existence of solutions of semilinear elliptic equations) (Q914052) (← links)
- Certified error bounds for uncertain elliptic equations (Q930711) (← links)
- A numerical approach to the proof of existence of solutions for some generalized obstacle problems (Q984392) (← links)
- Solving nonlinear parabolic problems with result verification. I: One- space dimensional case (Q1184131) (← links)
- A numerical verification method for the existence of weak solutions for nonlinear boundary value problems (Q1193173) (← links)
- Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems (Q1195791) (← 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 obstacle problems. (Q1421206) (← links)
- Numerical verification of solutions for elasto-plastic torsion problems (Q1570141) (← links)
- On the numerical solution of some semilinear elliptic problems. II (Q1776520) (← links)
- Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems (Q1900760) (← links)
- Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element (Q1900766) (← links)
- A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems (Q2048421) (← 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 METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS (Q2769532) (← links)
- A numerical approach to the proof of existence of solutions for elliptic problems (Q3469483) (← links)
- An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness (Q4265782) (← links)
- Numerical verifications of solutions for elliptic equations with strong nonlinearity (Q4711183) (← links)
- An enclosure method of eigenvalues for the elliptic operator linearized at an exact solution of nonlinear problems (Q5929746) (← links)
- Rigorous computation of solutions of semilinear PDEs on unbounded domains via spectral methods (Q6598405) (← links)
