Sylvie Boldo Kahan's Algorithm for a Correct Discriminant Computation at Last Formally Proven. 220-225 2009 58 IEEE Trans. Computers 2 https://doi.org/10.1109/TC.2008.200 http://doi.ieeecomputersociety.org/10.1109/TC.2008.200 db/journals/tc/tc58.html#Boldo09