D. H. Bailey, R. Barrio, and J. M. Borwein, High-precision computation: Mathematical physics and dynamics, Appl. Math. Comput, vol.218, issue.20, pp.10106-10121, 2012.
DOI : 10.2172/983781
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.158.1047

. Boldo, Pitfalls of a Full Floating-Point Proof: Example on the Formal Proof of the Veltkamp/Dekker Algorithms, Proceedings of the 3rd International Joint Conference on Automated Reasoning, pp.52-66, 2006.
DOI : 10.1007/11814771_6

S. Boldo and M. Daumas, Representable correcting terms for possibly underflowing floating point operations, 16th IEEE Symposium on Computer Arithmetic, 2003. Proceedings., pp.79-86, 2003.
DOI : 10.1109/ARITH.2003.1207663

K. Briggs, The doubledouble library Retrieved from http, 1998.

A. V. Florent-de-dinechin, N. Ershov, and . Gast, Towards the post-ultimate libm, Proceedings of the 17th IEEE Symposium on Computer Arithmetic (ARITH'05, pp.288-29546, 2005.

J. Dekker, A floating-point technique for extending the available precision, Numerische Mathematik, vol.5, issue.3, pp.224-242, 1971.
DOI : 10.1007/BF01397083

L. Fousse, G. Hanrot, V. Lefèvre, P. Pélissier, and P. Zimmermann, MPFR, ACM Transactions on Mathematical Software, vol.33, issue.2, 2007.
DOI : 10.1145/1236463.1236468
URL : https://hal.archives-ouvertes.fr/inria-00070266

Y. Hida, X. S. Li, and D. H. Bailey, C++/Fortran-90 double-double and quad-double package, release 2.3.17. Retrieved from http, 2012.

Y. Hida, X. S. Li, and D. H. Bailey, Algorithms for quad-double precision floating point arithmetic, Proceedings 15th IEEE Symposium on Computer Arithmetic. ARITH-15 2001, pp.155-162930115, 2001.
DOI : 10.1109/ARITH.2001.930115
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.6352

C. Jeannerod and S. M. Rump, On relative errors of floating-point operations: optimal bounds and applications. Retrieved from https, 2016.
URL : https://hal.archives-ouvertes.fr/hal-00934443

. Kahan, Lecture Notes on the Status of IEEE-754. Retrieved from http, 1996.

D. Knuth, The Art of Computer Programming, 1998.

J. Li, D. H. Demmel, G. Bailey, Y. Henry, J. Hida et al., Design, implementation and testing of extended and mixed precision BLAS, ACM Transactions on Mathematical Software, vol.28, issue.2, 2000.
DOI : 10.1145/567806.567808
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.139.9924

J. Li, D. H. Demmel, G. Bailey, Y. Henry, J. Hida et al., Design, implementation and testing of extended and mixed precision BLAS, ACM Transactions on Mathematical Software, vol.28, issue.2, pp.2-152, 2002.
DOI : 10.1145/567806.567808
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.139.9924

C. Lichtenau, S. Carlough, and S. M. Mueller, Quad Precision Floating Point on the IBM z13, 2016 IEEE 23nd Symposium on Computer Arithmetic (ARITH), 2016.
DOI : 10.1109/ARITH.2016.26

. Linnainmaa, Software for Doubled-Precision Floating-Point Computations, ACM Transactions on Mathematical Software, vol.7, issue.3, pp.272-283, 1981.
DOI : 10.1145/355958.355960

. Møller, Quasi double-precision in floating point addition, BIT, vol.7, issue.6, pp.37-50, 1965.
DOI : 10.1007/BF01975722

J. Muller, N. Brisebarre, C. Florent-de-dinechin, V. Jeannerod, G. Lefèvre et al., Handbook of Floating-Point Arithmetic, Nathalie Revol, 2010.
DOI : 10.1007/978-0-8176-4705-6
URL : https://hal.archives-ouvertes.fr/ensl-00379167

Y. Nievergelt, Scalar fused multiply-add instructions produce floating-point matrix arithmetic provably accurate to the penultimate digit, ACM Transactions on Mathematical Software, vol.29, issue.1, pp.27-48, 2003.
DOI : 10.1145/641876.641878
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.510.4681

T. Ogita, S. M. Rump, and S. Oishi, Accurate Sum and Dot Product, SIAM Journal on Scientific Computing, vol.26, issue.6, 1955.
DOI : 10.1137/030601818
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.1547

V. Popescu, Towards Fast and Certified Multiple-precision Libraries, 2017.

S. M. Rump, Transformations and ill-conditioned problems, Proceedings of the International Workshop on Verified Computations and Related Topics, 2009.

M. Rump, T. Ogita, and S. Oishi, Accurate Floating-Point Summation Part I: Faithful Rounding, SIAM Journal on Scientific Computing, vol.31, issue.1, pp.189-224, 2008.
DOI : 10.1137/050645671
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.519.3738

H. Sterbenz, Floating-Point Computation, 1974.