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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [2 references]  Display  Hide  Download

https://hal.inria.fr/inria-00000026
Contributor : Vincent Lefèvre <>
Submitted on : Wednesday, May 11, 2005 - 3:34:49 PM
Last modification on : Thursday, January 11, 2018 - 6:20:00 AM
Long-term archiving on : Thursday, April 1, 2010 - 9:27:29 PM

Files

Identifiers

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. ⟨inria-00000026⟩

Share

Metrics

Record views

584

Files downloads

271