When (3x/3) and 3(x/3) are not equal to x

Abstract : Rounding Error Analysis is routinely used to compute a worst-case error bound on the result of algorithms that use floating-point arithmetic. However, for some applications (e.g., when it is necessary to prove some inclusion of the result in a domain), the knowledge of both an upper-bound of the magnitude of the error and of its sign is paramount. Using standard rounding error analysis together with a simple systematic approach, we compute such information for the expressions $3x$, $x/3$, $3(x/3)$, and $3x/3$, which can be used, e.g., in the proof of interval arithmetic operators.
Type de document :
Rapport
[Research Report] laboratoire des sciences du numérique de nantes. 2017
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01451457
Contributeur : Frédéric Goualard <>
Soumis le : mercredi 1 février 2017 - 10:43:19
Dernière modification le : mercredi 1 mars 2017 - 16:38:25

Fichier

muldiv3.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01451457, version 1

Collections

Citation

Frédéric Goualard. When (3x/3) and 3(x/3) are not equal to x. [Research Report] laboratoire des sciences du numérique de nantes. 2017. <hal-01451457>

Partager

Métriques

Consultations de
la notice

242

Téléchargements du document

39