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

S. Graillat, F. Jézéquel, and R. Picot, Numerical validation of compensated summation algorithms with stochastic arithmetic, Electronic Notes in Theoretical Computer Science, vol.317, pp.55-69, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01230860

S. Graillat, F. Jézéquel, and R. Picot, Numerical validation of compensated algorithms with stochastic arithmetic, Applied Mathematics and Computation, vol.329, pp.339-363, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01367769

S. Graillat, . Ph, N. Langlois, and . Louvet, Algorithms for accurate, validated and fast polynomial evaluation, Japan J. Indust. Appl. Math, vol.23, issue.26, pp.191-214, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00285603

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.