Finite representations; Finite evaluation; Finite convergence; Computable sufficient conditions for existence and convergence; Safe starting regions for iterative methods; Applications to mathematical programming; Applications to operator equations; An application in finance; Internal rates-of-return.