Fast and correctly rounded logarithms in double-precision

DOI10.1051/ITA:2007003MaRDI QIDQ5444104zbMATH OpenOpenAlexFDO

Authors Florent de Dinechin, Christoph Lauter, Jean-Michel Muller

Publication date 22 February 2008

Published in RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL http://www.numdam.org/item?id=ITA_2007__41_1_85_0, https://eudml.org/doc/92833

Mathematics Subject Classification ID

Algorithms for approximation of functions (65D15) Error analysis and interval analysis (65G99)

Recommendations

• Table-driven implementation of the logarithm function in IEEE floating-point arithmetic
• An accurate elementary mathematical library for the IEEE floating point standard
• Publication:4885353
• Unified tables for exponential and logarithm families
• scientific article; zbMATH DE number 3978260

Cites work

• A floating-point technique for extending the available precision
• Certifying the Floating-Point Implementation of an Elementary Function Using Gappa
• Fast evaluation of elementary mathematical functions with correctly rounded last bit
• scientific article; zbMATH DE number 3978260 (Why is no real title available?)
• scientific article; zbMATH DE number 1109070 (Why is no real title available?)
• scientific article; zbMATH DE number 1860705 (Why is no real title available?)
• scientific article; zbMATH DE number 226866 (Why is no real title available?)
• scientific article; zbMATH DE number 3281219 (Why is no real title available?)
• Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
• Reliable Computing with GNU MPFR

Cited in

(6)

• Metalibm: a mathematical functions code generator
• Table-driven implementation of the logarithm function in IEEE floating-point arithmetic
• Spigot algorithm and reliable computation of natural logarithm
• Sharp estimates for the Möbius function with coprimality restrictions
• Algorithm 1062: code generation for piecewise Chebyshev approximation
• Standardization and testing of implementations of mathematical functions in floating point numbers

Describes a project that uses

Uses Software

• Coq
• C-XSC
• C-XSC 2.0
• SLEEF

This page was built for publication: Fast and correctly rounded logarithms in double-precision

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5444104)