Kahan’s algorithm for a correct discriminant computation at last formally proven, in

by Sylvie Boldo
Venue:n o 2, February 2009
Citations:7 - 3 self