An approach to the numerical verification of solutions for variational inequalities using Schauder fixed point theory
unilateral boundary value problems for second order equations
scientific article; zbMATH DE number 6380247