The following pages link to (Q4851732):
Displaying 4 items.
- Computer-assisted proofs for semilinear elliptic boundary value problems (Q849190) (← links)
- New solutions of the Gelfand problem (Q1614680) (← links)
- Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems (Q1900760) (← links)
- Computer-assisted enclosure methods for elliptic differential equations (Q5929750) (← links)
