Simple C2-finite Sequences
Philipp Nuspl, Veronika Pillwein · 2022
A sequence is called C-finite, if it satisfies a linear recurrence with constant coefficients and holonomic, if it satisfies a linear recurrence with polynomial coefficients. The class of C2-finite sequences is a natural generalization of holonomic sequences and consists of sequences satisfying a linear recurrence with C-finite coefficients whose leading coefficient has no zero terms. Recently, we investigated computational properties of $C^2$-finite sequences: we showed that these sequences form a difference ring and provided methods to compute in this ring.