mp.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -ob temp/mp.bib -c 'keywords : "multiple precision"' metalibm.bib}}
@article{LIP64851,
  author = {Chevillard, Sylvain and Joldes, Mioara and Harrison, John and Lauter, Christoph},
  month = apr,
  title = {Efficient and accurate computation of upper bounds of approximation errors},
  journal = {Theoretical Computer Science},
  volume = {412},
  number = {16},
  year = {2011},
  pages = {1523-1543},
  url = {http://dl.acm.org/citation.cfm?id=1945130},
  doi = {http://dx.doi.org/10.1016/j.tcs.2010.11.052},
  keywords = {tools, approximation, formal proof, multiple precision}
}
@article{MPFR:TOMS:2007,
  author = {Laurent Fousse and Guillaume Hanrot and Vincent Lef\`evre and Patrick
        P\'elissier and Paul Zimmermann},
  title = {{MPFR}: A Multiple-Precision Binary Floating-Point Library with Correct Rounding},
  journal = {{ACM} Transactions on Mathematical Software},
  volume = {33},
  number = {2},
  month = jun,
  year = {2007},
  pages = {13:1--13:15},
  url = {http://doi.acm.org/10.1145/1236463.1236468},
  keywords = {multiple precision, correct rounding}
}
@inproceedings{DauMor2K,
  author = {Marc Daumas and Claire Moreau-Finot},
  address = {Dagstuhl, Germany},
  booktitle = {Real Numbers and Computers},
  pages = {61-74},
  title = {Exponential: implementation trade-offs for hundred bit precision},
  year = {2000},
  keywords = {exp, multiple precision}
}
@book{Knuth97,
  author = {Donald Knuth},
  year = 1997,
  title = {The Art of Computer Programming, vol.2: Seminumerical Algorithms},
  edition = {3rd},
  publisher = {Addison Wesley},
  keywords = {multiple precision, formal proof, division, textbook}
}
@book{BrentZimmermann2010,
  author = {Richard P. Brent and Paul Zimmermann},
  file = {/home/marc/docs/recherche/biblio/documents/BrentZimmermann2010.pdf},
  publisher = {Cambridge University Press},
  title = {Modern Computer Arithmetic},
  url = {http://www.loria.fr/~zimmerma/mca/mca-cup-0.5.7.pdf},
  year = {2010},
  keywords = {textbook,multiple precision, division, sqrt, exp, log, sincos, tan}
}
@inproceedings{Johansson2015,
  author = {Fredrik Johansson},
  booktitle = {22nd IEEE Symposium on Computer Arithmetic},
  title = {Efficient implementation of elementary functions in the medium-precision range},
  year = {2015},
  keywords = {multiple precision, exp, log, sincos, atan}
}
@inproceedings{Brent1976,
  address = {Brisbane, Australia},
  author = {Richard P. Brent},
  booktitle = {The Complexity of Computational Problem Solving},
  editor = {R. S. Anderssen and R. P. Brent},
  pages = {126–165},
  title = {The Complexity of Multiple-precision Arithmetic},
  url = {http://wwwmaths.anu.edu.au/~brent/pub/pub032.html},
  year = {1976},
  keywords = {multiple precision, exp, log, sincos, atan, sinh}
}
@article{Brent1976a,
  author = {Richard P. Brent},
  journal = {Journal of the ACM},
  owner = {marc},
  pages = {242–251},
  title = {Fast multiple precision evaluation of elementary functions},
  url = {http://wwwmaths.anu.edu.au/~brent/pub/pub034.html},
  volume = {23},
  year = {1976},
  keywords = {multiple precision, exp, log, sincos, atan, sinh}
}
@article{Brent1978,
  author = {Richard P. Brent},
  issn = {0098-3500},
  journal = {ACM Transactions on Mathematical Software},
  month = mar,
  number = {1},
  pages = {57–70},
  title = {A {Fortran} Multiple-Precision Arithmetic Package},
  url = {http://maths.anu.edu.au/~brent/pub/pub042.html},
  volume = {4},
  year = {1978},
  keywords = {multiple precision, exp, log, atan}
}

This file was generated by bibtex2html 1.98.