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

• 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?)
• 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
• 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

(3)

• Spigot algorithm and reliable computation of natural logarithm
• Standardization and testing of implementations of mathematical functions in floating point numbers
• Metalibm: a mathematical functions code generator

Describes a project that uses

Uses Software

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

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)