[1] Fredrik Johansson. Efficient implementation of elementary functions in the medium-precision range. In 22nd IEEE Symposium on Computer Arithmetic, 2015. [ bib ]
Keywords: multiple precision, exp, log, sincos, atan
[2] Sylvain Chevillard, Mioara Joldes, John Harrison, and Christoph Lauter. Efficient and accurate computation of upper bounds of approximation errors. Theoretical Computer Science, 412(16):1523--1543, April 2011. [ bib | DOI | http ]
Keywords: tools, approximation, formal proof, multiple precision
[3] Richard P. Brent and Paul Zimmermann. Modern Computer Arithmetic. Cambridge University Press, 2010. [ bib | .pdf ]
Keywords: textbook,multiple precision, division, sqrt, exp, log, sincos, tan
[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] Marc Daumas and Claire Moreau-Finot. Exponential: implementation trade-offs for hundred bit precision. In Real Numbers and Computers, pages 61--74, Dagstuhl, Germany, 2000. [ bib ]
Keywords: exp, multiple precision
[6] Donald Knuth. The Art of Computer Programming, vol.2: Seminumerical Algorithms. Addison Wesley, 3rd edition, 1997. [ bib ]
Keywords: multiple precision, formal proof, division, textbook
[7] Richard P. Brent. A Fortran multiple-precision arithmetic package. ACM Transactions on Mathematical Software, 4(1):57–70, March 1978. [ bib | .html ]
Keywords: multiple precision, exp, log, atan
[8] Richard P. Brent. The complexity of multiple-precision arithmetic. In R. S. Anderssen and R. P. Brent, editors, The Complexity of Computational Problem Solving, page 126–165, Brisbane, Australia, 1976. [ bib | .html ]
Keywords: multiple precision, exp, log, sincos, atan, sinh
[9] Richard P. Brent. Fast multiple precision evaluation of elementary functions. Journal of the ACM, 23:242–251, 1976. [ bib | .html ]
Keywords: multiple precision, exp, log, sincos, atan, sinh

This file was generated by bibtex2html 1.98.