TY  - JOUR
AU  - Harasim, Petr
AU  - Valdman, Jan
TI  - Verification of functional a posteriori error estimates for obstacle problem in 1D
JO  - Kybernetika
PY  - 2013
SP  - 738
EP  - 754
VL  - 49
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/KYB_2013__49_5_a4/
LA  - en
ID  - KYB_2013__49_5_a4
ER  -