Positivity Proofs for Linear Recurrences through Contracted Cones

Alaa Ibrahim, Bruno Salvy

Deciding the positivity of a sequence defined by a linear recurrence with polynomial coefficients and initial condition is difficult in general. Even in the case of recurrences wit…