Some algebraic properties of floating-point arithmetic - Archive ouverte HAL
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.

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
flproofsRNC.pdf (234.28 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Jean-Michel Muller  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04454523

Soumis le : mardi 13 février 2024-11:01:44

Dernière modification le : mardi 12 novembre 2024-15:50:02

Archivage à long terme le : mardi 14 mai 2024-18:36:02

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON CNRS INRIA UNIV-LYON1 INRIA2 UDL
42 Consultations
58 Téléchargements

Partager

More