Rounding error analysis of linear recurrences using generating series

Electronic Transactions on Numerical Analysis

article

Marc Mezzarobba¹ 

[1] Sorbonne Université

关键词: rounding error;    rigorous computing;    complex variable;    majorant series;    Bernoulli numbers;    vibrating string;    differentially finite function;   

DOI  :  10.1553/etna_vol58s196

学科分类：数学（综合）

来源: Kent State University * Institute of Computational Mathematics

【 摘 要 】

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 the Bernoulli numbers and a new algorithm for evaluating differentially finite functions in interval arithmetic while avoiding interval blow-up.

【 授权许可】

Unknown