Genaue Lösung linearer Gleichungssysteme, GAMM Mitt. Ges. Angew. Math. Mech, vol.26, pp.7-107, 2003. ,
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
A floating-point technique for extending the available precision, Numerische Mathematik, vol.5, issue.3, pp.224-242, 1971. ,
DOI : 10.1007/BF01397083
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
Let's get to the (floating) point Game Developer Magazine, pp.19-24, 1996. ,
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
Analysis of some known methods of improving the accuracy of floating-point sums Available: https, pp.167-202, 1974. ,
Pracniques: further remarks on reducing truncation errors, Communications of the ACM, vol.8, issue.1, pp.40-77, 1965. ,
DOI : 10.1145/363707.363723
The Art of Computer Programming, Seminumerical Algorithms, 1998. ,
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
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
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
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
Computing predecessor and successor in rounding to nearest Available: https, pp.419-431, 2009. ,
Mathematics written in sand?the HP-15C, Intel 8087, etc Available: https, Statistical Computing Section, pp.12-26, 1983. ,