Siegfried M. Rump Improved Iteration Schemes for Validation Algorithms for DenseSparse Nonlinear Systems. 77-84 1996 57 Computing 1 http://link.springer.de/link/service/journals/00607/bibs/6057001/60570077.htm db/journals/computing/computing57.html#Rump96