On the Computation of Correctly-Rounded Sums (2009)

by P Kornerup, V Lefèvre, N Louvet, J-M Muller
Venue:Proceedings of the 19th IEEE Symposium on Computer Arithmetic