Pages that link to "Item:Q3469483"
From MaRDI portal
The following pages link to A numerical approach to the proof of existence of solutions for elliptic problems (Q3469483):
Displayed 14 items.
- Numerical verifications of solutions for nonlinear elliptic equations (Q689912) (← 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)
- 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 elasto-plastic torsion problems (Q1570141) (← 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)
- 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)
- Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria (Q5689186) (← links)