The following pages link to (Q3806710):
Displaying 4 items.
- Solving nonlinear parabolic problems with result verification. I: One- space dimensional case (Q1184131) (← links)
- A numerical verification method for the existence of weak solutions for nonlinear boundary value problems (Q1193173) (← links)
- Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems (Q1193187) (← links)
- Numerical verification of existence and inclusion of solutions for nonlinear operator equations (Q1900759) (← links)