Some Computable Existence, Uniqueness, and Convergence Tests for Nonlinear Systems (1985)

by J M Shearer, M A Wolfe
Venue:SIAM J. Numer. Anal