[1] |
Peter Markstein.
Accelerating sine and cosine evaluation with compiler assistance.
In 2005. Proceedings. 8th Euromicro Conference on-Claude Bajard Jean
and Michael Schulte, editors, 16th Symposium on Computer Arithmetic,
pages 137--140. IEEE, June 2003.
[ bib ]
Keywords: sin, cos, compiler |

[2] |
John Harrison.
Formal verification of floating point trigonometric functions.
In Formal Methods in Computer-Aided Design: Third International
Conference FMCAD 2000, volume 1954 of Lecture Notes in Computer
Science, pages 217--233. Springer-Verlag, 2000.
[ bib ]
Keywords: formal proof, sin, cos |

[3] |
W. F. Wong and E. Goto.
Fast evaluation of the elementary functions in single precision.
IEEE Transactions on Computers, 44(3):453--457, March 1995.
[ bib ]
Keywords: Add-Table Lookup-Add, ATA, hardware, division, sqrt, log, exp, sin, cos, atan |

[4] |
W. F. Wong and E. Goto.
Fast hardware-based algorithms for elementary function computations
using rectangular multipliers.
IEEE Transactions on Computers, 43(3):278--294, March 1994.
[ bib ]
Keywords: hardware, division, log, sqrt, exp, atan, atan2, sin, cos |

[5] |
W. F. Wong and E. Goto.
Fast evaluation of the elementary functions in double precision.
In Twenty-Seventh Annual Hawaii International Conference on
System Sciences, pages 349--358, 1994.
[ bib ]
Keywords: Add-Table Lookup-Add-Multiply, ATA-M, hardware, division, square root, exp, sin, cos, log, atan, sinh, cosh |

[6] |
Kwok C. Ng.
Argument reduction for huge arguments: good to the last bit.
Technical report, SunPro, Mountain View, CA, USA, July 1992.
[ bib ]
Keywords: algorithms, sin, cos, tan |

[7] |
Schmuel Gal and Boris Bachelis.
An accurate elementary mathematical library for the IEEE floating
point standard.
ACM Transactions on Mathematical Software, 17(1):26--45, March
1991.
[ bib ]
Keywords: algorithms, exp, log, sin, cos, tan, cotan, atan, atan2, sinh, cosh |

*This file was generated by
bibtex2html 1.98.*