Verification of functional a posteriori error estimates for obstacle problem in 1D

The item or associated files might be "in copyright"; review the provided rights metadata: and the original context.

Original context