inria-00099967, version 1
Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic
David Defour
1Guillaume Hanrot a, 2Vincent Lefèvre a, 2Jean-Michel Muller 1Nathalie Revol 1Paul Zimmermann a, 2
Numerical Algorithms 37, 1-4 (2004) 367-375
Résumé : Some aspects of what a standard for the implementation of the mathematical functions could be are presented. Firstly, the need for such a standard is motivated. Then the proposed standard is given. The question of roundings constitutes an important part of this paper: three levels are proposed, ranging from a level relatively easy to attain (with fixed maximal relative error) up to the best quality one, with correct rounding on the whole range of every function.We do not claim that we always suggest the right choices, or that we have thought about all relevant issues. The mere goal of this paper is to raise questions and to launch the discussion towards a standard.
- a – INRIA
- 1 : ST Microelectronics (ST Microelectronics, Crolles)
- ST microelectronics
- 2 : SPACES (INRIA Lorraine - LORIA)
- INRIA – CNRS : UMR7503 – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine
- Domaine : Informatique/Autre
- Mots-clés : floating-point number – correct rounding – normalization – IEEE 754 standard || nombre flottant – arrondi correct – normalisation – standard IEEE 754
- Référence interne : A04-R-008 || defour04a
- Commentaire : Article dans revue scientifique avec comité de lecture. internationale.
- inria-00099967, version 1
- http://hal.inria.fr/inria-00099967
- oai:hal.inria.fr:inria-00099967
- Contributeur : Publications Loria
- Soumis le : Mardi 26 Septembre 2006, 10:12:57
- Dernière modification le : Mardi 16 Janvier 2007, 14:40:48
Exporter