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.