G. Zielke and V. Drygalla, Genaue Lösung linearer Gleichungssysteme, GAMM Mitt. Ges. Angew. Math. Mech, vol.26, pp.7-107, 2003.

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.189-224, 2008.
DOI : 10.1137/050645671
URL : http://www.ti3.tu-harburg.de/paper/rump/RuOgOi07I.pdf

T. 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

J. Harrison, A Machine-Checked Theory of Floating Point Arithmetic, 12th International Conference in Theorem Proving in Higher Order Logics (TPHOLs), ser, pp.113-130, 1999.
DOI : 10.1007/3-540-48256-3_9

C. Hecker, Let's get to the (floating) point Game Developer Magazine, pp.19-24, 1996.

D. H. Bailey, Y. Hida, X. S. Li, and B. Thompson, ARPREC: An arbitrary precision computation package Available: https, Lawrence Berkeley National Laboratory, 2002.
DOI : 10.2172/817634
URL : https://www.osti.gov/servlets/purl/817634

S. Linnainmaa, Analysis of some known methods of improving the accuracy of floating-point sums Available: https, pp.167-202, 1974.

W. Kahan, Pracniques: further remarks on reducing truncation errors, Communications of the ACM, vol.8, issue.1, pp.40-77, 1965.
DOI : 10.1145/363707.363723

D. E. Knuth, The Art of Computer Programming, Seminumerical Algorithms, 1998.

S. 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

J. R. Hauser, Handling floating-point exceptions in numeric programs, ACM Transactions on Programming Languages and Systems, vol.18, issue.2, pp.139-174, 1996.
DOI : 10.1145/227699.227701

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

S. M. Rump, Ultimately Fast Accurate Summation, SIAM Journal on Scientific Computing, vol.31, issue.5, pp.3466-3502, 2009.
DOI : 10.1137/080738490
URL : http://www.ti3.tu-harburg.de/paper/rump/Ru08b.pdf

S. M. Rump, P. Zimmermann, S. Boldo, and G. Melquiond, Computing predecessor and successor in rounding to nearest Available: https, pp.419-431, 2009.

W. Kahan, Mathematics written in sand?the HP-15C, Intel 8087, etc Available: https, Statistical Computing Section, pp.12-26, 1983.