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

J. Shewchuk, Adaptive precision floating-point arithmetic and fast robust geometric predicates, Geometry, vol.18, issue.3, pp.305-363, 1997.

S. Graillat, P. Langlois, and N. Louvet, Algorithms for accurate, validated and fast polynomial evaluation, Japan Journal of Industrial and Applied Mathematics, vol.31, issue.2-3, pp.191-21410, 2009.
DOI : 10.1007/BF03186531
URL : https://hal.archives-ouvertes.fr/hal-00285603

H. Jiang, S. Graillat, C. Hu, S. Li, X. Liao et al., -th derivative of a polynomial and its application, Journal of Computational and Applied Mathematics, vol.243, pp.28-47, 2013.
DOI : 10.1016/j.cam.2012.11.008
URL : https://hal.archives-ouvertes.fr/cea-01058940

P. Langlois, When automatic linear correction of rounding errors is exact, Comptes Rendus de l'Acad??mie des Sciences - Series I - Mathematics, vol.328, issue.6, pp.515-539, 2001.
DOI : 10.1016/S0764-4442(99)80207-9

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. Li, and D. Bailey, Algorithms for quad-double precision floating point arithmetic, Proceedings 15th IEEE Symposium on Computer Arithmetic. ARITH-15 2001, pp.155-162, 2001.
DOI : 10.1109/ARITH.2001.930115
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.6352

M. Blair, S. Obenski, and P. Bridickas, Patriot missile defense: Software problem led to system failure at Dhahran, Saudi Arabia, Information Management and Technology Division, United States General Accounting Office, 1992.

J. Lions, R. Hergott, H. B. Lefort, and E. , Ariane 5 flight 501 failure, report by the inquiry board, 1996.

P. Langlois, M. Martel, and L. Thévenoux, Automatic code transformation to optimize accuracy and speed in floatingpoint arithmetic, Proc. of the 15th GAMM-IMACS International Symposium on Scientific Computing, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00821667

L. Thévenoux, P. Langlois, and M. Martel, Automatic Source-to-Source Error Compensation of Floating-Point Programs, 2015 IEEE 18th International Conference on Computational Science and Engineering
DOI : 10.1109/CSE.2015.11

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

A. Appel, Modern Compiler Implementation: In ML, 1998.
DOI : 10.1017/CBO9780511811449

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

P. Langlois and N. Louvet, More instruction level parallelism explains the actual efficiency of compensated algorithms, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00165020

C. Rubio-gonzález, C. Nguyen, D. Nguyen, J. Demmel, W. Kahan et al., Precimonius: Tuning assistant for floating-point precision, Proc. of the SC13's International Conference for High Performance Computing, Networking, Storage and Analysis, 2013.

T. Saito, E. Ishiwata, and H. Hasegawa, Development of Quadruple Precision Arithmetic Toolbox QuPAT on Scilab, Lecture Notes in Computer Science, vol.6017, pp.60-70, 2010.
DOI : 10.1007/978-3-642-12165-4_5

D. Priest, On properties of floating point arithmetics: Numerical stability and the cost of accurate computations, UMI Order, pp.93-30692, 1992.

A. Ioualalen and M. Martel, Synthesizing accurate floating-point formulas, 2013 IEEE 24th International Conference on Application-Specific Systems, Architectures and Processors
DOI : 10.1109/ASAP.2013.6567563
URL : https://hal.archives-ouvertes.fr/hal-00835736

P. Panchekha, A. Sanchez-stern, J. Wilcox, and Z. Tatlock, Automatically improving accuracy for floating point expressions, Proc. of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2015, pp.1-11, 2015.
DOI : 10.1145/2737924.2737959

F. De-dinechin, C. Lauter, and G. Melquiond, Certifying floating-point implementations using gappa, CoRR, 2008.

L. Project, The Coq proof assistant reference manual, 2004.

E. Goubault and S. Putot, Static Analysis of Numerical Algorithms, Proc. of the 13th International Conference on Static Analysis, SAS'06, pp.18-34, 2006.
DOI : 10.1007/11823230_3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.403.8199

I. Society, IEEE 754 Standard for Floating-Point Arithmetic, 2008.

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

C. Lauter, Basic building blocks for a triple-double intermediate format
URL : https://hal.archives-ouvertes.fr/inria-00070314

H. Jiang, R. Barrio, H. Li, X. Liao, L. Cheng et al., Accurate evaluation of a polynomial in Chebyshev form, Applied Mathematics and Computation, vol.217, issue.23, pp.9702-9716, 2011.
DOI : 10.1016/j.amc.2011.04.054

H. Jiang, S. Li, L. Cheng, and F. Su, Accurate evaluation of a polynomial and its derivative in Bernstein form, Computers & Mathematics with Applications, vol.60, issue.3, pp.744-755, 2010.
DOI : 10.1016/j.camwa.2010.05.021

B. Goossens, P. Langlois, D. Parello, and K. Porada, Computing time for summation algorithm: Less hazard and more scientific research. Numerical Sofware: Design, Analysis and Verification
URL : https://hal.archives-ouvertes.fr/lirmm-00835508

H. Casse, Frontc 3.4: an OCaml C parser and pretty-printer, TRACES Research Group, Institut de Recherche en Informatique de, 2000.

P. Mucci, S. Browne, C. Deane, and G. Ho, PAPI: A portable interface to hardware performance counters, Proc. of the Department of Defense HPCMP Users Group Conference, pp.7-10, 1999.

B. Goossens, P. Langlois, D. Parello, and E. Petit, PerPI: A Tool to Measure Instruction Level Parallelism, Lecture Notes in Computer Science, vol.31, issue.1, pp.270-281, 2012.
DOI : 10.1137/050645671
URL : https://hal.archives-ouvertes.fr/lirmm-01349703

J. Demmel, Y. Hida, W. Kahan, S. Li, S. Mukherjee et al., Error bounds from extra-precise iterative refinement, ACM Transactions on Mathematical Software, vol.32, issue.2, pp.325-351, 2006.
DOI : 10.1145/1141885.1141894
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.109.4101

N. Higham, Accuracy and Stability of Numerical Algorithms, 2002.
DOI : 10.1137/1.9780898718027

S. Blackford, J. Demmel, J. Dongarra, I. Duff, S. Hammarling et al., An updated set of basic linear algebra subprograms (BLAS), ACM Transactions on Mathematical Software, vol.28, issue.2, pp.135-151, 2002.
DOI : 10.1145/567806.567807

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