Volume 58, pp. 196-227, 2023.

Rounding error analysis of linear recurrences using generating series

Marc Mezzarobba

Files related to the paper

File: bernoulli.mw
Maple worksheet with calculations on scaled Bernoulli numbers (supporting material for Section 10).

File: bernoulli.pdf
A pdf-version of bernoulli.mw

File: num.ipynb
SageMath notebook for the computation of numeric bounds used in the proof of Proposition 10.5.

File: num.html
A html-version of num.ipynb

File: plot-toy.jl
Julia program used to produce Figure 9.1.

File: plot-bernoulli.jl
Julia program used to produce Figure 10.1.

< Back