Verified computation of solutions for obstacle problems with guaranteed L error bound

Cheon Seoung Ryoo. Verified computation of solutions for obstacle problems with guaranteed L error bound. Appl. Math. Lett., 14(6):769-773, 2001. [doi]

Abstract

Abstract is missing.