Kahan's algorithm for a correct discriminant computation at last formally proven (0)

by S Boldo
Venue:IEEE Transactions on Computers 58(2) (February