Accurate and Reliable Computing in Floating-Point Arithmetic

  • Siegfried M. Rump
Conference paper

DOI: 10.1007/978-3-642-15582-6_22

Volume 6327 of the book series Lecture Notes in Computer Science (LNCS)
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

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Siegfried M. Rump
    • 1
    • 2
  1. 1.Institute for Reliable ComputingHamburg University of TechnologyHamburgGermany
  2. 2.Faculty of Science and EngineeringVisiting Professor at Waseda UniversityTokyoJapan