TY - RPRT TI - Verification of functional a posteriori error estimates for obstacle problem in 1D AU - Petr Harasim AU - Jan Valdman PY - 2013 UR - https://arxiv.org/abs/1301.5923 ID - 1301.5923 ER -