Note on FastTwoSum with Directed Rounding - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2022

Note on FastTwoSum with Directed Rounding

Résumé

In [1], Graillat and Jézéquel prove a bound on the maximal error for the FastTwoSum algorithm with directed roundings. We improve that bound by a factor 2, and show that FastTwoSum is exact when the exponent difference of the inputs does not exceed the current precision.
Fichier principal
Vignette du fichier
fasttwosum.pdf (183.24 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03798376 , version 1 (05-10-2022)
hal-03798376 , version 2 (05-10-2022)
hal-03798376 , version 3 (06-10-2022)
hal-03798376 , version 4 (08-10-2022)
hal-03798376 , version 5 (28-03-2023)
hal-03798376 , version 6 (19-09-2023)

Identifiants

  • HAL Id : hal-03798376 , version 3

Citer

Paul Zimmermann. Note on FastTwoSum with Directed Rounding. 2022. ⟨hal-03798376v3⟩
293 Consultations
123 Téléchargements

Partager

Gmail Facebook X LinkedIn More