@comment{{This file has been generated by bib2bib 1.98}}

@comment{{Command line: /usr/bin/bib2bib -ob temp/sincos.bib -c 'keywords : "\bsin\b"' metalibm.bib}}

@inproceedings{harrison-fmcad2000, author = {John Harrison}, title = {Formal verification of floating point trigonometric functions}, booktitle = {Formal Methods in Computer-Aided Design: Third International Conference {FMCAD} 2000}, publisher = {Springer-Verlag}, pages = {217--233}, series = {Lecture Notes in Computer Science}, volume = 1954, year = 2000, keywords = {formal proof, sin, cos} }

@techreport{Ng1992, author = {Ng, Kwok C.}, title = {Argument reduction for huge arguments: good to the last bit}, type = {Technical Report}, institution = {SunPro}, address = {Mountain View, CA, USA}, month = jul, year = 1992, keywords = {algorithms, sin, cos, tan} }

@article{GalBachelis91, author = {Gal, Schmuel and Bachelis, Boris}, journal = {ACM Transactions on Mathematical Software}, number = 1, pages = {26-45}, title = {An Accurate Elementary Mathematical Library for the {IEEE} Floating Point Standard}, volume = 17, month = mar, year = 1991, keywords = {algorithms, exp, log, sin, cos, tan, cotan, atan, atan2, sinh, cosh} }

@techreport{Markstein2001, author = {R.-C. Li and P. Markstein and J. P. Okada and J. W. Thomas}, title = {The Libm library and floating-point arithmetic for {HP-UX} on {I}tanium}, institution = {{H}ewlett-{P}ackard company}, year = {2001}, month = {april}, keywords = {exp,log,pow,sin,atan,lowlevel} }

@inproceedings{WongGotoICSC94, author = {Wong, W. F. and Goto, E.}, title = {Fast Evaluation of the Elementary Functions in Double Precision}, booktitle = {Twenty-Seventh Annual Hawaii International Conference on System Sciences }, pages = {349--358}, year = 1994, keywords = {Add-Table Lookup-Add-Multiply, ATA-M, hardware, division, square root, exp, sin, cos, log, atan, sinh, cosh} }

@article{WG94, author = {Wong, W. F. and Goto, E.}, month = mar, year = 1994, title = {Fast Hardware-Based Algorithms for Elementary Function Computations Using Rectangular Multipliers}, journal = {IEEE Transactions on Computers}, volume = 43, number = 3, pages = {278--294}, keywords = {hardware, division, log, sqrt, exp, atan, atan2, sin, cos} }

@article{WG95, author = {Wong, W. F. and Goto, E.}, journal = {IEEE Transactions on Computers}, month = mar, number = {3}, pages = {453--457}, title = {Fast Evaluation of the Elementary Functions in Single Precision}, volume = {44}, year = 1995, keywords = {Add-Table Lookup-Add, ATA, hardware, division, sqrt, log, exp, sin, cos, atan} }

@inproceedings{Markstein03, author = {Peter Markstein}, title = {Accelerating Sine and Cosine Evaluation with Compiler Assistance}, booktitle = {16th Symposium on Computer Arithmetic}, pages = {137--140}, year = 2003, editor = {Jean, 2005. Proceedings. 8th Euromicro Conference on-Claude Bajard and Michael Schulte}, location = {Santiago de Compostela, Spain}, month = jun, publisher = {{IEEE}}, keywords = {sin, cos, compiler} }

*This file was generated by
bibtex2html 1.98.*