Fast and correctly rounded logarithms in double-precision

DOI10.1051/ita:2007003zbMath1132.65302OpenAlexW2167811272MaRDI QIDQ5444104

Jean-Michel Muller, Ch. Lauter, Florent de Dinechin

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

Mathematics Subject Classification ID

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

Related Items (1)

Standardization and testing of implementations of mathematical functions in floating point numbers

Uses Software

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
• A floating-point technique for extending the available precision
• Fast evaluation of elementary mathematical functions with correctly rounded last bit
• Certifying the Floating-Point Implementation of an Elementary Function Using Gappa
• Reliable Computing with GNU MPFR

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