Polynomial-coefficient recurrence relation
= Polynomial-coefficient recurrence relation
A <linear recurrence> $\sum_{j=0}^r p_j(n)a_{n+j}=0$ whose coefficients $p_j(n)$ are <polynomials> in the index. A sequence satisfying such a relation is <P-recursive>.