Fast and correctly rounded logarithms in double-precisionFlorent de Dinechin, Christoph Lauter and Jean-Michel MullerRAIRO-Theor. Inf. Appl., 41 1 (2007) 85-102DOI: https://doi.org/10.1051/ita:2007003