SIAM Journal on Numerical Analysis, Vol. 55, No. 2 (2017), pp. 980-1001 (22 pages) This paper presents a numerical method for verifying the existence and local uniqueness of a solution for an ...