| In this paper,a numerical method to verify the existence of solutions for variational inequalities is presented.This method is based on the work of reference([1]).By using the Riesz present theory in Hilbert space,we first transform the iterative procedure of variational inequalities into a fixed point form.Then,using the Schauder fixed point theory,we construct a numerical verification method with high efficiency that through numerical computation generates a bounded,closed,convex set in which the approximate solution is included.Finally,a numerical example for nonlinear Helmholtz equation is presented. |