Proceedings of the 2012 International Symposium on Nonlinear Theory and its Applications
2012
Session Number:D1L-D
Session:
Number:820
Accurate and Rigorous Logarithm Function Algorithm
Naoya Yamanaka, Shin'ichi Oishi,
pp.820-823
Publication Date:
Online ISSN:2188-5079
[1] L. Fousse, G. Hanrot, V. Lefévre, P. Pélissier, P. Zimmermann, “MPFR: A multiple-precision binary floating-point library with correct rounding”, ACM Transactions on Mathematical Software (TOMS), 33:2, No.13. 2007.
[2] D. H. Bailey, Y. Hida, X. S. Li and B. Thompson. “ARPREC: an arbitrary precision computational package”, Lawrence Berkeley National Laboratory. Berkeley. CA94720. 2002.
[3] Y. Hida, X. S. Li and D. H. Bailey. “Quad-Double Arithmetic: Algorithms, Implementation, and Application” October 30, 2000 Report LBL-46996.
[4] D. E. Knuth: The Art of Computer Programming: Seminumerical Algorithms, vol. 2, Addison-Wesley, Reading, Massachusetts, 1969.
[5] T. J. Dekker: A floating-point technique for extending the available precision, Numer. Math., 18 (1971), pp. 224-242.
[6] J.M.Muller, Elementary Functions, Birkhauser Boston, 2nd edition, 2006.
[7] S.M.Rump, Rigorous and portable standard functions. BIT Numerical Mathematics, 41(3), pp. 540-562, 2001.
[8] CRlibm-Correctly Rounded mathematical library: http://lipforge.ens-lyon.fr/www/crlibm/