Title : CR-LIBM: a correctly rounded elementary function library

Authors : Catherine Daramy and David Defour and Florent de Dinechin and Jean-Michel Muller

Year : 2003