Summary

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

DOI:10.15248/proc.1.820

PDF download (293.9KB)

Summary:
This paper is concerned with numerical algorithms retaining high reliability, high accuracy and high portability. In this paper, an algorithm with high reliability means a numerical algorithm which outputs a mathematically-rigorous result. An algorithm with high accuracy represents an algorithm which returns a result with high accuracy. Furthermore, an algorithm with high portability indicates an algorithm which calculates a result without relying on any numerical environment. In this paper, numerical logarithm algorithm retaining high reliability, high accuracy and high portability is discussed.

References:

[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/