Pages that link to "Item:Q916318"
From MaRDI portal
The following pages link to A programmed algorithm for existence proofs for two-point boundary value problems (Q916318):
Displaying 4 items.
- A posteriori error bounds for two point boundary value problems: a Green's function approach (Q317173) (← 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)