𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Verified computation of Lamé functions with high accuracy

✍ Scribed by Hans-Jürgen Dobner; Stefan Ritter


Book ID
110625325
Publisher
Springer Vienna
Year
1998
Tongue
English
Weight
335 KB
Volume
60
Category
Article
ISSN
0010-485X

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Verified computation of solutions for ob
✍ C.S. Ryoo 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 327 KB

In this paper, we consider a numerical enclosure method with guaranteed Loo error bound for the solutions of obstacle problems. Using the finite-element approximations and the explicit a priori error estimates for obstacle problems, we present an effective verification procedure that automatically g