Numerical verification of solutions for some unilateral boundary value problems.
scientific article; zbMATH DE number 2017106