Validated evaluation of special mathematical functions

Franky Backeljauw, Stefan Becuwe, Annie A. M. Cuyt, Joris Van Deun, Daniel W. Lozier. Validated evaluation of special mathematical functions. Science of Computer Programming, 90:2-20, 2014. [doi]

@article{BackeljauwBCDL14,
  title = {Validated evaluation of special mathematical functions},
  author = {Franky Backeljauw and Stefan Becuwe and Annie A. M. Cuyt and Joris Van Deun and Daniel W. Lozier},
  year = {2014},
  doi = {10.1016/j.scico.2013.05.006},
  url = {http://dx.doi.org/10.1016/j.scico.2013.05.006},
  researchr = {https://researchr.org/publication/BackeljauwBCDL14},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {90},
  pages = {2-20},
}