(Enter summary)
Abstract: We give here the results of a four-year search for the worst cases for correct
rounding of the major elementary functions in double precision. These results
allow the design of reasonably fast routines that will compute these functions
with correct rounding, at least in some interval, for any of the four rounding
modes specified by the IEEE-754 standard. They will also allow to easily test
libraries that are claimed to provide correctly rounded functions.
Keywords: Elementary functions,... (Update)
Similar documents based on text: More All
0.4: Laboratoire de l'Informatique du Paralllisme - Cole Normale Suprieure (2003)
(Correct)
0.2: Reasoning About the Elementary Functions of Complex.. - Corless, Jeffrey, Watt..
(Correct)
0.2: Parallel Evaluation of Relational Queries on a Network of .. - Brunie, Exbrayat, Flory (1999)
(Correct)
BibTeX entry: (Update)
Vincent Lefevre and Jean-Michel Muller. Worst cases for correct rounding of the elementary functions in double precision. Research report no.2000-35, Laboratoire de l'Informatique du Parallelisme, Ecole Normale Superieure de Lyon, 2000. http://citeseer.ist.psu.edu/lef00worst.html More
@inproceedings{ vre01worst,
author = "Vincent Lef{\`e}vre and Jean-Michel Muller",
title = "Worst cases for correct rounding of the elementary functions in double precision",
booktitle = "Proceedings of the 15th Symposium on Computer Arithmetic",
address = "Vail, Colorado",
editor = "Burgess, Neil and Ciminiera, Luigi",
pages = "111--118",
year = "2001",
url = "citeseer.ist.psu.edu/lef00worst.html" }
Citations (may not include all citations):
20
IEEE standard for binary floating-point arithmetic (context) - Standards, Institute et al. - 1985
5
New scalar and vector elementary functions for the IBM syste.. (context) - Agarwal, Cooley et al. - 1986
Documents on the same site (http://www.ens-lyon.fr/LIP/Pub/rr2000.html): More
Direct Proofs of Strong Normalisation in Calculi of.. - Dougherty, Lescanne (2000)
(Correct)
Loop Shifting for Loop Parallelization - Darte, Huard (2000)
(Correct)
Parallel Computation on Interval Graphs: Algorithms .. - Ferreira, Lassous, .. (2000)
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC