S. Boldo, S. Graillat, and J. Muller, On the robustness of the 2Sum and Fast2Sum algorithms, ACM Transactions on Mathematical Software, vol.44, issue.1, 2017.
URL : https://hal.archives-ouvertes.fr/ensl-01310023

S. Boldo and G. Melquiond, Computer Arithmetic and Formal Proofs, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01632617

S. Boldo and G. Melquiond, Emulation of FMA and correctly rounded sums: proved algorithms using rounding to odd, IEEE Transactions on Computers, vol.57, issue.4, pp.462-471, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00080427

T. J. Dekker, A floating-point technique for extending the available precision, Numerische Mathematik, vol.18, issue.3, pp.224-242, 1971.

J. Demmel, P. Ahrens, and H. D. Nguyen, Efficient reproducible floating point summation and BLAS, 2016.

J. Harrison, A machine-checked theory of floating point arithmetic, 12th International Conference in Theorem Proving in Higher Order Logics (TPHOLs), vol.1690, pp.113-130, 1999.

J. R. Hauser, Handling floating-point exceptions in numeric programs, ACM Transactions on Programming Languages and Systems, vol.18, issue.2, pp.139-174, 1996.

. Ieee and . Ieee, Standard for Floating-Point Arithmetic (IEEE Std 754-2019), 2019.

C. Jeannerod, J. Muller, and P. Zimmermann, On various ways to split a floating-point number, 25th IEEE Symposium on Computer Arithmetic, pp.53-60, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01774587

W. Kahan, Lecture notes on the status of IEEE-754, 1997.

D. E. Knuth, The Art of Computer Programming, vol.2, 1998.

O. Møller, Quasi double-precision in floating-point addition, BIT, vol.5, pp.37-50, 1965.

J. Muller, N. Brunie, F. De-dinechin, C. Jeannerod, M. Joldes et al., Handbook of Floating-Point Arithmetic, Birkhäuser Boston, 2018.
URL : https://hal.archives-ouvertes.fr/ensl-00379167

Y. Nievergelt, Scalar fused multiply-add instructions produce floatingpoint matrix arithmetic provably accurate to the penultimate digit, ACM Transactions on Mathematical Software, vol.29, issue.1, pp.27-48, 2003.

E. J. Riedy and J. Demmel, Augmented arithmetic operations proposed for IEEE-754 2018, 25th IEEE Symposium on Computer Arithmetic, pp.45-52, 2018.

S. M. Rump, Ultimately fast accurate summation, SIAM Journal on Scientific Computing, vol.31, issue.5, pp.3466-3502, 2009.

P. H. Sterbenz, Floating-Point Computation, 1974.