A proven correctly rounded logarithm in double-precision (2004)

by Florent De Dinechin , Christoph Lauter , Jean-michel Muller
Venue:In Real Numbers and Computers, Schloss Dagstuhl
Citations:19 - 9 self