Hypergeometric sequences are rational-valued sequences that satisfy first-order linear recurrence relations with polynomial …

An infinite sequence $\langle u_n \rangle$ of real numbers is holonomic if it satisfies a linear recurrence relation with polynomial …