Rounding Error Analysis of Linear Recurrences Using Generating Series - Archive ouverte HAL
Article Dans Une Revue Electronic Transactions on Numerical Analysis Année : 2023

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.

Domaines

Analyse numérique [cs.NA] Arithmétique des ordinateurs Calcul formel [cs.SC]
Fichier principal
Vignette du fichier
recrnderr.pdf (495.68 Ko) Télécharger le fichier
recrnderr_supplementary_material.zip (638.61 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Paternité
Licence
Paternité

Marc Mezzarobba  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02984459

Soumis le : mardi 21 février 2023-15:19:35

Dernière modification le : mercredi 30 octobre 2024-13:32:28

Télécharger pour visualiser

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

Paternité

Identifiants

Citer

Marc Mezzarobba. Rounding Error Analysis of Linear Recurrences Using Generating Series. Electronic Transactions on Numerical Analysis, 2023, 58, pp.196--227. ⟨10.1553/etna_vol58s196⟩. ⟨hal-02984459v3⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

X UNIV-RENNES1 CNRS IRISA LIX X-LIX X-DEP-INFO LIP6 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES SORBONNE-UNIVERSITE SU-SCIENCES IP_PARIS ANR UR1-MATH-NUM
221 Consultations
354 Téléchargements

Altmetric

Partager

More