The Factorial-Basis Method for Finding Definite-Sum Solutions of Linear Recurrences With Polynomial Coefficients

Antonio Jiménez-Pastor, Marko Petkovšek

The problem of finding a nonzero solution of a linear recurrence $Ly=0$ with polynomial coefficients where $y$ has the form of a definite hypergeometric sum, related to the Inver…