An approach to the numerical verification of solutions for variational inequalities using Schauder fixed point theory

From MaRDI portal