Rounding Error Analysis of Linear Recurrences Using Generating Series - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2020

Rounding Error Analysis of Linear Recurrences Using Generating Series

Résumé

We develop a toolbox for the error analysis of linear recurrences with constant or polynomial coefficients, based on generating series, Cauchy's method of majorants, and simple results from analytic combinatorics. We illustrate the power of the approach by several nontrivial application examples. Among these examples are a new worst-case analysis of an algorithm for computing Bernoulli numbers, and a new algorithm for evaluating differentially finite functions in interval arithmetic while avoiding interval blow-up.
Fichier principal
Vignette du fichier
recrnderr.pdf (462.63 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02984459 , version 1 (31-10-2020)
hal-02984459 , version 2 (23-04-2021)
hal-02984459 , version 3 (21-02-2023)

Licence

Identifiants

Citer

Marc Mezzarobba. Rounding Error Analysis of Linear Recurrences Using Generating Series. 2020. ⟨hal-02984459v1⟩
221 Consultations
354 Téléchargements

Altmetric

Partager

More