A rational generating function is a formal power series equal to a quotient of two polynomials, with denominator nonzero at the origin. Multiplying by the denominator shows that its coefficients eventually satisfy a linear recurrence with constant coefficients.
Articles by others on the same topic
There are currently no matching articles.