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