Order bounds for C2-finite sequences
Manuel Kauers, Philipp Nuspl, Veronika Pillwein · 2023
A sequence is called C-finite if it satisfies a linear recurrence with constant coefficients. We study sequences which satisfy a linear recurrence with C-finite coefficients. Recently, it was shown that such C2-finite sequences satisfy similar closure properties as C-finite sequences. In particular, they form a difference ring.