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

Nathalie Revol 1, 2, *
* Corresponding author
1 ARENAIRE - Computer arithmetic
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
2 ARIC - Arithmetic and Computing
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
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.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00750019
Contributor : Nathalie Revol <>
Submitted on : Thursday, November 8, 2012 - 7:05:18 PM
Last modification on : Thursday, January 17, 2019 - 3:16:03 PM

Identifiers

  • HAL Id : hal-00750019, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

228