Order bounds for $C^2$-finite sequences

Manuel Kauers, Philipp Nuspl, Veronika Pillwein

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. R…