@Article{Fousse:2007:MMP,
  author =       "Laurent Fousse and Guillaume Hanrot and Vincent Lef\`evre and Patrick 
                 P\'elissier and Paul Zimmermann",
  title =        "{MPFR}: A Multiple-Precision Binary Floating-Point Library with Correct Rounding",
  journal =      "{ACM} Transactions on Mathematical Software",
  volume =       "33",
  number =       "2",
  month =        jun,
  year =         "2007",
  pages =        "13:1--13:15",
  URL =          "http://doi.acm.org/10.1145/1236463.1236468",
  abstract =     "This paper presents a multiple-precision binary floating-point library,
                 written in the ISO C language, and based on the GNU MP library. Its 
                 particularity is to extend to arbitrary-precision ideas from the IEEE 754 
                 standard, by providing \emph{correct rounding} and \emph{exceptions}.
                 We demonstrate how these strong semantics are achieved --- with no 
                 significant slowdown with respect to other arbitrary-precision tools
                 --- and discuss a few applications where such a library can be useful.",
}