• DocumentCode
    2957929
  • Title

    Correctly rounded functions for better arithmetic

  • Author

    Lefèvre, Vincent ; Muller, Jean-Michel

  • Author_Institution
    Project POLKA, Inst. Nat. de Recherche en Inf. et Autom., Vandoeuvre-les-Nancy, France
  • Volume
    2
  • fYear
    2000
  • fDate
    Oct. 29 2000-Nov. 1 2000
  • Firstpage
    875
  • Abstract
    The IEEE 754 standard for floating-point arithmetic requires that the four arithmetic operations and the square root should be correctly rounded. This has improved the accuracy, reliability and portability of numerical software. Unfortunately, such a requirement does not exist for the elementary functions. As a consequence, some libraries that are used everyday are rather poor. The problem of correctly rounding these functions is called the "Table Maker\´s Dilemma". After a survey on this problem, we give some new results. They show that correctly rounded functions could be provided at a reasonable cost.
  • Keywords
    IEEE standards; floating point arithmetic; software portability; software reliability; IEEE 754 standard; arithmetic operations; correctly rounded functions; floating-point arithmetic; numerical software; portability; reliability; square root; Cost function; Floating-point arithmetic; Libraries;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Signals, Systems and Computers, 2000. Conference Record of the Thirty-Fourth Asilomar Conference on
  • Conference_Location
    Pacific Grove, CA, USA
  • ISSN
    1058-6393
  • Print_ISBN
    0-7803-6514-3
  • Type

    conf

  • DOI
    10.1109/ACSSC.2000.910638
  • Filename
    910638