Verification of functional a posteriori error estimates for obstacle problem in 1D - Petr Harasim; Jan Valdman (2013)