Abstract
Methods will be discussed on how to compute accurate and reliable results in pure floating-point arithmetic. In particular, verification methods with INTLAB and error-free transformations will be presented in some detail.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bornemann, F., Laurie, D., Wagon, S., Waldvogel, J.: The SIAM 100-Digit Challenge—A Study in High-Accuracy Numerical Computing. SIAM, Philadelphia (2004)
ANSI/IEEE 754-2008: IEEE Standard for Floating-Point Arithmetic, New York (2008)
Rump, S.M.: Fast and parallel interval arithmetic. BIT Numerical Mathematics 39(3), 539–560 (1999)
Rump, S.M.: INTLAB - INTerval LABoratory. In: Csendes, T. (ed.) Developments in Reliable Computing, pp. 77–104. Kluwer Academic Publishers, Dordrecht (1999)
Rump, S.M.: Verification methods: Rigorous results using floating-point arithmetic. Acta Numerica, 287–449 (2010)
Sahinidis, N.V., Tawaralani, M.: A polyhedral branch-and-cut approach to global optimization. Math. Programming B103, 225–249 (2005)
Trefethen, L.N.: The SIAM 100-Dollar, 100-Digit Challenge. SIAM-NEWS 35(6), 2 (2002), http://www.siam.org/siamnews/06-02/challengedigits.pdf
Tucker, W.: The Lorenz attractor exists. C. R. Acad. Sci., Paris, Sér. I, Math. 328(12), 1197–1202 (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Rump, S.M. (2010). Accurate and Reliable Computing in Floating-Point Arithmetic. In: Fukuda, K., Hoeven, J.v.d., Joswig, M., Takayama, N. (eds) Mathematical Software – ICMS 2010. ICMS 2010. Lecture Notes in Computer Science, vol 6327. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15582-6_22
Download citation
DOI: https://doi.org/10.1007/978-3-642-15582-6_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15581-9
Online ISBN: 978-3-642-15582-6
eBook Packages: Computer ScienceComputer Science (R0)