Pages that link to "Item:Q3985896"
From MaRDI portal
The following pages link to Existence proofs in combination with error bounds for approximate solutions of weakly nonlinear second-order elliptic boundary value problems (Q3985896):
Displaying 10 items.
- A new method for automatical computation of error bounds for the set of all solutions of nonlinear boundary value problems (Q760775) (← links)
- Computer-assisted existence proofs for two-point boundary value problems (Q1174351) (← links)
- Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems (Q1193187) (← 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 for nonlinear elliptic problems using an \(L^\infty\) residual method (Q1378621) (← links)
- Enclosure of solutions of weakly nonlinear elliptic boundary value problems and their computation (Q1823631) (← 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)