Correctly Rounded Arbitrary-Precision Floating-Point Summation

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]

@inproceedings{Lefevre16-1,
  title = {Correctly Rounded Arbitrary-Precision Floating-Point Summation},
  author = {Vincent Lefèvre},
  year = {2016},
  doi = {10.1109/ARITH.2016.9},
  url = {http://doi.ieeecomputersociety.org/10.1109/ARITH.2016.9},
  researchr = {https://researchr.org/publication/Lefevre16-1},
  cites = {0},
  citedby = {0},
  pages = {71-78},
  booktitle = {23nd IEEE Symposium on Computer Arithmetic, ARITH 2016, Silicon Valley, CA, USA, July 10-13, 2016},
  editor = {Paolo Montuschi and Michael J. Schulte and Javier Hormigo and Stuart F. Oberman and Nathalie Revol},
  publisher = {IEEE Computer Society},
  isbn = {978-1-5090-1616-7},
}