[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.