{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T18:29:05Z","timestamp":1780338545508,"version":"3.54.1"},"reference-count":33,"publisher":"EDP Sciences","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["RAIRO-Theor. Inf. Appl."],"published-print":{"date-parts":[[2007,1]]},"DOI":"10.1051\/ita:2007003","type":"journal-article","created":{"date-parts":[[2007,4,23]],"date-time":"2007-04-23T14:56:28Z","timestamp":1177340188000},"page":"85-102","source":"Crossref","is-referenced-by-count":26,"title":["Fast and correctly rounded logarithms in double-precision"],"prefix":"10.1051","volume":"41","author":[{"given":"Florent","family":"de Dinechin","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christoph","family":"Lauter","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jean-Michel","family":"Muller","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"250","published-online":{"date-parts":[[2007,4,24]]},"reference":[{"key":"R1","unstructured":"CR-Libm, a library of correctly rounded elementary functions in double-precision. http:\/\/lipforge.ens-lyon.fr\/www\/crlibm\/."},{"key":"R2","unstructured":"ANSI\/IEEE.Standard 754-1985 for Binary Floating-Point Arithmetic (also IEC 60559). 1985."},{"key":"R3","doi-asserted-by":"crossref","unstructured":"Y. Bertot and P. Casteran,Interactive Theorem Proving and Program Development. Coq'Art: the Calculus of Inductive Constructions. Texts in Theoretical Computer Science, Springer Verlag (2004).","DOI":"10.1007\/978-3-662-07964-5"},{"key":"R4","unstructured":"M. Cornea, J. Harrison and P.T.P. Tang,Scientific Computing on Itanium-based Systems. Intel Press (2002)."},{"key":"R5","unstructured":"M. Daumas and G. Melquiond, Generating formally certified bounds on values and round-off errors, in6th Conference on Real Numbers and Computers(2004)."},{"key":"R6","unstructured":"D. Defour,Cache-optimised methods for the evaluation of elementary functions. Technical Report 2002-38, LIP, \u00c9cole normale sup\u00e9rieure de Lyon (2002)."},{"key":"R7","unstructured":"F. de Dinechin and D. Defour, Software carry-save: A case study for instruction-level parallelism, inSeventh International Conference on Parallel Computing Technologies(September 2003)."},{"key":"R8","unstructured":"F. de Dinechin, D. Defour and Ch.Q. Lauter,Fast correct rounding of elementary functions in double precision using double-extended arithmetic.Technical Report 2004-10, LIP, \u00c9cole normale sup\u00e9rieure de Lyon (March 2004)."},{"key":"R9","unstructured":"F. de Dinechin, A. Ershov and N. Gast, Towards the post-ultimate libm, in17th Symposium on Computer Arithmetic. IEEE Computer Society Press (June 2005)."},{"key":"R10","doi-asserted-by":"crossref","unstructured":"F. de Dinechin, Ch.Q. Lauter and G. Melquiond, Assisted verification of elementary functions using Gappa, inACM Symposium on Applied Computing(2006).","DOI":"10.1145\/1141277.1141584"},{"key":"R11","unstructured":"F. de Dinechin, C. Loirat and J.-M. Muller, A proven correctly rounded logarithm in double-precision, inRNC6, Real Numbers and Computers(November 2004)."},{"key":"R12","unstructured":"D. Defour,Collapsing dependent floating point operations. Technical report, DALI Research Team, LP2A, University of Perpignan, France (December 2004)."},{"key":"R13","doi-asserted-by":"crossref","unstructured":"D. Defour and F. de Dinechin, Software carry-save for fast multiple-precision algorithms, in35th International Congress of Mathematical Software(2002).","DOI":"10.1142\/9789812777171_0004"},{"key":"R14","doi-asserted-by":"crossref","unstructured":"D. Defour, F. de Dinechin and J.-M. Muller, Correctly rounded exponential function in double precision arithmetic, inAdvanced Signal Processing Algorithms, Architectures, and Implementations X (SPIE'2000)(August 2001).","DOI":"10.1117\/12.448644"},{"key":"R15","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1007\/BF01397083","volume":"18","author":"Dekker","year":"1971","journal-title":"Numerische Mathematik"},{"key":"R16","doi-asserted-by":"crossref","unstructured":"P.M. Farmwald, High bandwidth evaluation of elementary functions, inProceedings of the 5th IEEE Symposium on Computer Arithmetic. IEEE (1981).","DOI":"10.1109\/ARITH.1981.6159271"},{"key":"R17","unstructured":"S. Gal, Computing elementary functions: A new approach for achieving high accuracy and good performance, inAccurate Scientific Computations, Lect. Notes Comput. Sci.235(1986) 1\u201316."},{"key":"R18","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1145\/103162.103163","volume":"23","author":"Goldberg","year":"1991","journal-title":"ACM Computing Surveys"},{"key":"R19","unstructured":"W. Hofschuster and W. Kr\u00e4mer,FI_LIB, eine schnelle und portable Funktionsbibliothek f\u00fcr reelle Argumente und reelle Intervalle im IEEE-double-Format. Technical Report Nr. 98\/7, Institut f\u00fcr Wissenschaftliches Rechnen und Mathematische Modellbildung, Universit\u00e4t Karlsruhe (1998)."},{"key":"R20","unstructured":"ISO\/IEC.International Standard ISO\/IEC 9899:1999(E). Programming languages \u2013 C. 1999."},{"key":"R21","doi-asserted-by":"crossref","unstructured":"R. Klatte, U. Kulisch, C. Lawo, M. Rauch and A. Wiethoff,C-XSC a C++ class library for extended scientific computing. Springer Verlag (1993).","DOI":"10.1007\/978-3-642-58058-1"},{"key":"R22","unstructured":"Ch.Q. Lauter,Basic building blocks for a triple-double intermediate format. Technical Report 2005-38, LIP, \u00c9cole normale sup\u00e9rieure de Lyon (September 2005)."},{"key":"R23","unstructured":"V. Lef\u00e8vre,Moyens arithm\u00e9tiques pour un calcul fiable. Ph.D. Thesis, \u00c9cole normale sup\u00e9rieure de Lyon, Lyon, France (2000)."},{"key":"R24","unstructured":"V. Lef\u00e8vre and J.-M. Muller, Worst cases for correct rounding of the elementary functions in double precision, http:\/\/perso.ens-lyon.fr\/jean-michel.muller\/Intro-to-TMD.htm (2004)."},{"key":"R25","doi-asserted-by":"crossref","first-page":"1235","DOI":"10.1109\/12.736435","volume":"47","author":"Lef\u00e8vre","year":"1998","journal-title":"IEEE Transactions on Computers"},{"key":"R26","unstructured":"IBM Accurate Portable MathLib, http:\/\/oss.software.ibm.com\/mathlib\/."},{"key":"R27","unstructured":"P. Markstein,IA-64 and Elementary Functions: Speed and Precision. Hewlett-Packard Professional Books, Prentice Hall (2000)."},{"key":"R28","unstructured":"R.E. Moore,Interval analysis. Prentice Hall (1966)."},{"key":"R29","unstructured":"MPFR, http:\/\/www.mpfr.org\/."},{"key":"R30","unstructured":"J.-M. Muller,Elementary Functions, Algorithms and Implementation. Birkhauser, Boston (1997\/2005)."},{"key":"R31","unstructured":"P.T.P. Tang, Table lookup algorithms for elementary functions and their error analysis, in10th IEEE Symposium on Computer Arithmetic. IEEE (June 1991)."},{"key":"R32","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1109\/12.272429","volume":"43","author":"Wong","year":"1994","journal-title":"IEEE Transactions on Computers"},{"key":"R33","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1145\/114697.116813","volume":"17","author":"Ziv","year":"1991","journal-title":"ACM Transactions on Mathematical Software"}],"container-title":["RAIRO - Theoretical Informatics and Applications"],"original-title":[],"link":[{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita:2007003\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T12:50:30Z","timestamp":1556369430000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita:2007003"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,1]]},"references-count":33,"journal-issue":{"issue":"1"},"alternative-id":["ita06005"],"URL":"https:\/\/doi.org\/10.1051\/ita:2007003","relation":{},"ISSN":["0988-3754","1290-385X"],"issn-type":[{"value":"0988-3754","type":"print"},{"value":"1290-385X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,1]]}}}