The Generic Multiple-Precision Floating-Point Addition With Exact Rounding (as in the MPFR Library)

Vincent Lefèvre 1
1 SPACES - Solving problems through algebraic computation and efficient software
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : We study the multiple-precision addition of two positive floating-point numbers in base 2, with exact rounding, as specified in the MPFR library, i.e. where each number has its own precision. We show how the best possible complexity (up to a constant factor that depends on the implementation) can be obtain.
Type de document :
Communication dans un congrès
6th Conference on Real Numbers and Computers 2004 - RNC 6, Nov 2004, Dagstuhl, Germany, pp.135-145, 2004
Liste complète des métadonnées

https://hal.inria.fr/inria-00000026
Contributeur : Vincent Lefèvre <>
Soumis le : mercredi 11 mai 2005 - 15:34:49
Dernière modification le : mardi 25 octobre 2016 - 16:57:57
Document(s) archivé(s) le : jeudi 1 avril 2010 - 21:27:29

Fichiers

Identifiants

Collections

Citation

Vincent Lefèvre. The Generic Multiple-Precision Floating-Point Addition With Exact Rounding (as in the MPFR Library). 6th Conference on Real Numbers and Computers 2004 - RNC 6, Nov 2004, Dagstuhl, Germany, pp.135-145, 2004. <inria-00000026>

Partager

Métriques

Consultations de
la notice

324

Téléchargements du document

140