The Generic Multiple-Precision Floating-Point Addition With Exact Rounding (as in the MPFR Library)
Vincent Lefèvre
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.
Create a lesson
Related papers
A Simple Subquadratic Cut Query Protocol for Directed Reachability
Henry Fleischmann, Sagnik Mukhopadhyay, Swagato Sanyal
Online Edge-Weighted Matching Beyond 0.55
Alireza Farhadi, Mohammad Hajiaghayi
Nonuniform Buy-at-Bulk Network Design: Improved Approximation and LP Integrality Gap
Iman Gholami, MohammadTaghi Hajiaghayi
Prophet Secretary for Matroids and XOS Valuations: A Strict Separation at 1-1/e
Hossein Esfandiari, MohammadTaghi Hajiaghayi
Deterministic Fault-Tolerant Connectivity Oracles with Subquadratic Space
Merav Parter, Elad Tzalik
The 3-Uniform Hyperclique Hypothesis is False
Timothy M. Chan, Reina Itakura, Zhiyuan Ma et al.