Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic

David Defour 1 Guillaume Hanrot 2 Vincent Lefèvre 2 Jean-Michel Muller 1 Nathalie Revol 1 Paul Zimmermann 2
1 ARENAIRE - Computer arithmetic
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
2 SPACES - Solving problems through algebraic computation and efficient software
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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 domain 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.
Type de document :
Rapport
[Research Report] RR-5406, INRIA. 2004
Liste complète des métadonnées

https://hal.inria.fr/inria-00071249
Contributeur : Rapport de Recherche Inria <>
Soumis le : mardi 23 mai 2006 - 14:52:20
Dernière modification le : vendredi 29 septembre 2017 - 13:44:03
Document(s) archivé(s) le : dimanche 4 avril 2010 - 22:04:23

Fichiers

Identifiants

  • HAL Id : inria-00071249, version 1

Collections

Citation

David Defour, Guillaume Hanrot, Vincent Lefèvre, Jean-Michel Muller, Nathalie Revol, et al.. Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic. [Research Report] RR-5406, INRIA. 2004. 〈inria-00071249〉

Partager

Métriques

Consultations de
la notice

338

Téléchargements du document

171