A. Ieee, IEEE Standard for Binary Floating-point Arithmetic, revision of std 754-1985 edition, 2008.

S. Graillat and P. Langlois, Real and complex pseudozero sets for polynomials with applications, RAIRO - Theoretical Informatics and Applications, vol.41, issue.1, pp.45-56, 2007.
DOI : 10.1051/ita:2007006
URL : https://hal.archives-ouvertes.fr/hal-01146488

N. J. Higham, The Accuracy of Floating Point Summation, SIAM Journal on Scientific Computing, vol.14, issue.4, pp.783-799, 1993.
DOI : 10.1137/0914050

N. J. Higham, Accuracy and Stability of Numerical Algorithms, Society for Industrial and Applied Mathematics, 2002.
DOI : 10.1137/1.9780898718027

C. Jeannerod, H. Knochel, C. Monat, and G. Revy, Faster floating-point square root for integer processors, 2007 International Symposium on Industrial Embedded Systems, 2007.
DOI : 10.1109/SIES.2007.4297353

C. Jeannerod and G. Revy, Optimizing correctly-rounded reciprocal square roots for embedded VLIW cores, 2009 Conference Record of the Forty-Third Asilomar Conference on Signals, Systems and Computers, 2009.
DOI : 10.1109/ACSSC.2009.5469948
URL : https://hal.archives-ouvertes.fr/ensl-00391185

P. Langlois, Compensated algorithms in floating point arithmetic, 12th GAMM -IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, 2006.

M. Martel, Semantics of roundoff error propagation in finite precision calculations, Higher-Order and Symbolic Computation, vol.35, issue.3, pp.7-30, 2006.
DOI : 10.1007/s10990-006-8608-2

M. Martel, Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics, Formal Methods in System Design, vol.2006, issue.3, 2009.
DOI : 10.1007/s10703-009-0068-y

T. Ogita, S. M. Rump, and S. Oishi, Accurate Sum and Dot Product, SIAM Journal on Scientific Computing, vol.26, issue.6, 2005.
DOI : 10.1137/030601818

M. Pichat, Correction d'une somme en arithmetique a virgule flottante, Numerische Mathematik, vol.19, issue.5, pp.400-406, 1972.
DOI : 10.1007/BF01404922

D. M. Priest, Algorithms for arbitrary precision floating point arithmetic, [1991] Proceedings 10th IEEE Symposium on Computer Arithmetic, pp.132-143, 1991.
DOI : 10.1109/ARITH.1991.145549

G. Revy, Implementation of binary floating-point arithmeric on embedded integer processors, 2009.

S. M. Rump, Ultimately Fast Accurate Summation, SIAM Journal on Scientific Computing, vol.31, issue.5, pp.313466-3502, 2009.
DOI : 10.1137/080738490

S. 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.31189-224, 2008.
DOI : 10.1137/050645671

J. Stoer and R. Bulirsch, Introduction to Numerical Analysis, 1993.