TY  - RPRT
TI  - The Generic Multiple-Precision Floating-Point Addition With Exact Rounding (as in the MPFR Library)
AU  - Vincent Lefèvre
PY  - 2005
UR  - https://arxiv.org/abs/cs/0505027
ID  - cs/0505027
ER  -