Vincent Lefèvre. Correctly Rounded Arbitrary-Precision Floating-Point Summation. In Paolo Montuschi, Michael J. Schulte, Javier Hormigo, Stuart F. Oberman, Nathalie Revol, editors, 23nd IEEE Symposium on Computer Arithmetic, ARITH 2016, Silicon Valley, CA, USA, July 10-13, 2016. pages 71-78, IEEE Computer Society, 2016. [doi]
Abstract is missing.