In mathematics, a constant-recursive sequence or C-finite sequence is a sequence satisfying a linear recurrence with constant coefficients.
An order-d homogeneous linear recurrence with constant coefficients is an equation of the form
where the d coefficients are constants.
A sequence is a constant-recursive sequence if there is an order-d homogeneous linear recurrence with constant coefficients that it satisfies for all .