SIAM Journal on Numerical Analysis, Vol. 25, No. 1 (Feb., 1988), pp. 153-162 (10 pages) For moderate-sized problems one can obtain numerical solutions with rigorous ...