Verification methods for dense and sparse systems of equations (1994)

by S M Rump
Venue:In Topics in validated computations