L'effort de normalisation IEEE-1788 de l'arithmétique par intervalles - Archive ouverte HAL
Communication Dans Un Congrès Année : 2012

L'effort de normalisation IEEE-1788 de l'arithmétique par intervalles

Résumé

Depuis 2008, la communauté autour de l'arithmétique par intervalles a entrepris un effort collectif de normalisation de cette arithmétique. Je montrerai pourquoi cet effort est nécessaire et quels sont les grands principes qui sous-tendent les décisions prises. Je donnerai aussi, schématiquement, un aperçu des domaines et des décisions déjà prises : la majorité des discussions a porté jusqu'à présent sur la définition mathématique des intervalles et des opérations -- arithmétiques ou ensemblistes -- sur les intervalles. En particulier, le traitement des exceptions telles que racine carrée de l'intervalle [-1,2] a donné lieu à des discussions très nourries. Enfin, les implications de ces décisions sur l'implantation seront également développées.
Fichier non déposé

Dates et versions

hal-00750019 , version 1 (08-11-2012)

Identifiants

  • HAL Id : hal-00750019 , version 1

Citer

Nathalie Revol. L'effort de normalisation IEEE-1788 de l'arithmétique par intervalles. RAIM 2012 : Rencontres "Arithmétique de l'Informatique Mathématique", Jun 2012, Dijon, France. ⟨hal-00750019⟩
107 Consultations
0 Téléchargements

Partager

More