Some algebraic properties of floating-point arithmetic - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2000

Some algebraic properties of floating-point arithmetic

Résumé

Thanks to the IEEE-754 standard, floating-point arithmetic is now a well-defined mathematical structure, on which it is possible to build proofs and algorithms. We give some examples of properties (mainly closure properties) that can be proven.
Fichier principal
Vignette du fichier
flproofsRNC.pdf (234.28 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04454523 , version 1 (13-02-2024)

Identifiants

  • HAL Id : hal-04454523 , version 1

Citer

Jean-Michel Muller. Some algebraic properties of floating-point arithmetic. 4th Real Numbers and Computers Conference, Apr 2000, Dagstuhl, Germany. ⟨hal-04454523⟩
36 Consultations
25 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More