The following pages link to (Q3776533):
Displayed 3 items.
- A programmed algorithm for existence proofs for two-point boundary value problems (Q916318) (← links)
- Computer-assisted existence proofs for two-point boundary value problems (Q1174351) (← links)
- Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems (Q1195791) (← links)