An approach to the numerical verification of solutions for obstacle problems
scientific article