arXiv:1403.6619 [math.NA]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords posteriori error estimate, obstacle problem, functional, verification, quadratic minimization problem Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset