The following pages link to (Q3349281):
Displaying 3 items.
- Numerical verification of existence and inclusion of solutions for nonlinear operator equations (Q1900759) (← links)
- An efficient approach to the numerical verification for solutions of elliptic differential equations (Q2387778) (← links)
- Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria (Q5689186) (← links)