Publication:4357540
From MaRDI portal
zbMath0880.65094MaRDI QIDQ4357540
Publication date: 22 January 1998
interval analysis; existence proof; enclosures for solutions; nonlinear second-order elliptic boundary value problems
35J65: Nonlinear boundary value problems for linear elliptic equations
65G30: Interval and finite arithmetic
65Z05: Applications to the sciences