Fast and correctly rounded logarithms in double-precision
From MaRDI portal
Publication:5444104
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
Related Items (1)
Uses Software
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