Accurate and Reliable Computing in Floating-Point Arithmetic
- Cite this paper as:
- Rump S.M. (2010) Accurate and Reliable Computing in Floating-Point Arithmetic. In: Fukuda K., Hoeven J..., Joswig M., Takayama N. (eds) Mathematical Software – ICMS 2010. ICMS 2010. Lecture Notes in Computer Science, vol 6327. Springer, Berlin, Heidelberg
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.
Unable to display preview. Download preview PDF.