See this document in CiteSeerX!

Worst Cases for Correct Rounding of the Elementary Functions in Double Precision (2000)  (Make Corrections)  (1 citation)
Laboratoire de l'Informatique du Paralllisme cole Normale Suprieure de Lyon...
Proceedings of the 15th Symposium on Computer Arithmetic



  Home/Search   Context   Related

 
View or download:
enslyon.fr/pub/LIP/Ra...RR200035.ps.Z
Cached:  PDF   PS.gz  PS  Image  Update  Help

From:  enslyon.fr/LIP/Pub/rr2000 (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(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