Validated special functions software

  • Authors:

  • Annie Cuyt;Franky Backeljauw;Stefan Becuwe;Joris Van Deun

  • Affiliations:

  • Department of Mathematics and Computer Science, University of Antwerp, Antwerp, Belgium;Department of Mathematics and Computer Science, University of Antwerp, Antwerp, Belgium;Department of Mathematics and Computer Science, University of Antwerp, Antwerp, Belgium;Department of Mathematics and Computer Science, University of Antwerp, Antwerp, Belgium

  • Venue:
  • ICMS'10 Proceedings of the Third international congress conference on Mathematical software
  • Year:
  • 2010

Quantified Score

Hi-index 0.01

Visualization

Abstract

Because of the importance of special functions, several books and a large collection of papers have been devoted to the numerical computation of these functions, the most well-known being the NBS handbook by Abramowitz and Stegun. But up to this date, symbolic and numeric environments offer no routines for the validated evaluation of special functions. We point out how a provable correct function evaluation can be returned efficiently.