When can we decide that a P-finite sequence is positive?

Manuel Kauers, Veronika Pillwein

We consider two algorithms which can be used for proving positivity of sequences that are defined by a linear recurrence equation with polynomial coefficients (P-finite sequences).…