Correctly-rounded evaluation of a function: why, how, and at what cost? - Archive ouverte HAL Access content directly
Preprints, Working Papers, ... Year : 2024

Correctly-rounded evaluation of a function: why, how, and at what cost?

Abstract

The goal of this paper is to convince the reader that a future standard for floating-point arithmetic should require the availability of a correctly-rounded version of a well-chosen core set of elementary functions. We discuss the interest and feasibility of this requirement. We also give answers to common objections we have received over the last 10 years.
Fichier principal
Vignette du fichier
crsurvey.pdf (836.1 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-04474530 , version 1 (23-02-2024)

Identifiers

  • HAL Id : hal-04474530 , version 1

Cite

Nicolas Brisebarre, Guillaume Hanrot, Jean-Michel Muller, Paul Zimmermann. Correctly-rounded evaluation of a function: why, how, and at what cost?. 2024. ⟨hal-04474530⟩
166 View
79 Download

Share

Gmail Facebook X LinkedIn More