Publication:2738492
From MaRDI portal
zbMath0984.65109MaRDI QIDQ2738492
Publication date: 30 April 2002
weak solution; existence; interval analysis; error bounds; strong solution; enclosure method; nonlinear elliptic boundary value problem; computer assisted method
DB lookup for MSC labels failed