TY - JOUR AU - Harasim, Petr AU - Valdman, Jan TI - Verification of functional a posteriori error estimates for obstacle problem in 2D JO - Kybernetika PY - 2014 SP - 978 EP - 1002 VL - 50 IS - 6 PB - mathdoc UR - http://geodesic.mathdoc.fr/articles/10.14736/kyb-2014-6-0978/ DO - 10.14736/kyb-2014-6-0978 LA - en ID - 10_14736_kyb_2014_6_0978 ER -