Publication:3806710
From MaRDI portal
zbMath0658.65071MaRDI QIDQ3806710
Publication date: 1988
47H05: Monotone operators and generalizations
34B15: Nonlinear boundary value problems for ordinary differential equations
65G30: Interval and finite arithmetic
65L10: Numerical solution of boundary value problems involving ordinary differential equations
Related Items
Solving nonlinear parabolic problems with result verification. I: One- space dimensional case, A numerical verification method for the existence of weak solutions for nonlinear boundary value problems, Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems, Numerical verification of existence and inclusion of solutions for nonlinear operator equations