Pages that link to "Item:Q1174351"
From MaRDI portal
The following pages link to Computer-assisted existence proofs for two-point boundary value problems (Q1174351):
Displayed 4 items.
- Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems (Q1195791) (← links)
- Comparison of direct to shooting enclosures for an inverse-monotone boundary value problem with locally steep solution (Q1365540) (← 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)