Y. Hida, X. S. Li, and D. H. Bailey, C++/Fortran-90 double-double and quad-double package, 2019.

, Algorithms for quad-double precision floating-point arithmetic, 15th IEEE Symposium on Computer Arithmetic (ARITH-15), pp.155-162, 2001.

M. Jolde?, J. Muller, and V. Popescu, Tight and rigourous error bounds for basic building blocks of double-word arithmetic, ACM Transactions on Mathematical Software, vol.44, issue.2, 2017.

T. Ogita, S. M. Rump, and S. Oishi, Accurate sum and dot product, SIAM Journal on Scientific Computing, vol.26, issue.6, pp.1955-1988, 2005.

S. Graillat, P. Langlois, and N. Louvet, Algorithms for accurate, validated and fast computations with polynomials, Japan Journal of Industrial and Applied Mathematics, vol.26, issue.2, pp.215-231, 2009.

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

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

G. W. Veltkamp, ALGOL procedures voor het berekenen van een inwendig product in dubbele precisie, Technishe Hogeschool Eindhoven, Tech. Rep, vol.22, 1968.

, ALGOL procedures voor het rekenen in dubbele lengte, 1969.

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

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

S. Graillat and F. , Tight interval inclusions with compensated algorithms, IEEE Transactions on Computers, pp.1-1, 2019.
URL : https://hal.archives-ouvertes.fr/hal-01963634

, IEEE standard for floating-point arithmetic, IEEE Std, pp.1-84, 2019.

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