Verified computation of solutions for obstacle problems with guaranteed \(L^\infty\) error bound

DOI10.1016/S0893-9659(01)80040-9zbMath1006.49025OpenAlexW2005894392MaRDI QIDQ1600368

Cheon Seoung Ryoo

Publication date: 13 June 2002

Published in: Applied Mathematics Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0893-9659(01)80040-9

zbMATH Keywords

Schauder fixed-point theoremerror estimatesobstacle problemsfinite-element approximations

Mathematics Subject Classification ID

Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs (65N30)

Cites Work

• Computer-assisted existence proofs for two-point boundary value problems
• Numerical verification of solutions for variational inequalities
• Unnamed Item

This page was built for publication: Verified computation of solutions for obstacle problems with guaranteed \(L^\infty\) error bound