English

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

Data Structures and Algorithms 2016-08-16 v1

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.

Keywords

Cite

@article{arxiv.cs/0505027,
  title  = {The Generic Multiple-Precision Floating-Point Addition With Exact Rounding (as in the MPFR Library)},
  author = {Vincent Lefèvre},
  journal= {arXiv preprint arXiv:cs/0505027},
  year   = {2016}
}

Comments

Conference website at http://cca-net.de/rnc6/

R2 v1 2026-07-22T12:23:34.960Z