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

2005/05/11 by Lefèvre, Vincent
#Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences

paper · doi:10.48550/arxiv.cs/0505027

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.

Related

• Computing Integer Powers in Floating-Point Arithmetic
• Floating-Point Arithmetic on Round-to-Nearest Representations
• Inexactness and Correction of Floating-Point Reciprocal, Division and Square Root
• Online Alignment and Addition in Multi-Term Floating-Point Adders
• On Approximate 8-bit Floating-Point Operations Using Integer Operations