[1] Julien Le Maire, Nicolas Brunie, Florent de Dinechin, and Jean-Michel Muller. Computing floating-point logarithms with fixed-point operations. In 23rd Symposium of Computer Arithmetic, July 2016. [ bib | http | http ]
Keywords: log, correct rounding, low level
[2] Guillaume Revy. Automated design of floating-point logarithm functions on integer processors. In 23rd Symposium of Computer Arithmetic, July 2016. [ bib | http | .pdf ]
Keywords: log, correct rounding, low level
[3] Nicolas Brunie. Contributions to computer arithmetic and applications to embedded systems. Thèse de doctorat, École normale supérieure de Lyon, 2014. [ bib | http ]
Keywords: low-level optimization, tools, correct rounding
[4] Laurent Fousse, Guillaume Hanrot, Vincent Lefèvre, Patrick Pélissier, and Paul Zimmermann. MPFR: A multiple-precision binary floating-point library with correct rounding. ACM Transactions on Mathematical Software, 33(2):13:1--13:15, June 2007. [ bib | http ]
Keywords: multiple precision, correct rounding
[5] Florent de Dinechin, Christoph Lauter, and Jean-Michel Muller. Fast and correctly rounded logarithms in double-precision. RAIRO - Theoretical Informatics and Applications, 41(1):85--102, 4 2007. [ bib ]
Keywords: correct rounding, log
[6] Catherine Daramy-Loirat, David Defour, Florent de Dinechin, Matthieu Gallet, Nicolas Gast, Christoph Lauter, and Jean-Michel Muller. CR-LIBM A library of correctly rounded elementary functions in double-precision. Research report, LIP, December 2006. https://hal-ens-lyon.archives-ouvertes.fr/ensl-01529804. [ bib | .pdf ]
Keywords: correct rounding, algorithms, exp, log, pow, exp10, log10
[7] A. Ziv. Fast evaluation of elementary mathematical functions with correctly rounded last bit. ACM Transactions on Mathematical Software, 17(3):410--423, September 1991. [ bib ]
Keywords: correct rounding, exp
[8] IBM Accurate Portable MathLib. http://oss.software.ibm.com/mathlib/. [ bib ]
Keywords: correct rounding

This file was generated by bibtex2html 1.98.