Implementation of affine arithmetic using floating-point arithmetic: how to handle roundoff errors - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Implementation of affine arithmetic using floating-point arithmetic: how to handle roundoff errors

Résumé

Affine arithmetic is one of the extensions of interval arithmetic, which aims at counteracting the variable dependency problem. The focus of our work is the implementation of affine arithmetic using floating-point arithmetic. More precisely, roundoff errors are properly accounted for in our implementation. All coefficients of affine forms are floating-point numbers. A noise symbol ν is devoted to the handling of roundoff errors.
Fichier non déposé

Dates et versions

hal-04600224 , version 1 (04-06-2024)

Identifiants

  • HAL Id : hal-04600224 , version 1

Citer

Jordan Ninin, Nathalie Revol. Implementation of affine arithmetic using floating-point arithmetic: how to handle roundoff errors. The Summer Workshop on Interval Methods, 2014, Uppsala, Sweden. ⟨hal-04600224⟩
5 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More