On positivity and minimality for second-order holonomic sequences

An infinite sequence ⟨u_n⟩_n of real numbers is holonomic (also known as P-recursive or P-finite) if it satisfies a linear recurrence relation with polynomial coefficients. Such a sequence is said to be positive if each u_n ≥ 0, and minimal if, given any other linearly independent sequence ⟨v_n⟩_n s...

Full description

Bibliographic Details
Main Authors: Kenison, G, Klurman, O, Lefaucheux, E, Luca, F, Moree, P, Ouaknine, J, Whiteland, MA, Worrell, J
Format: Conference item
Language:English
Published: Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021