2 papers
cs.SC2025
Positivity Proofs for Linear Recurrences with Several Dominant Eigenvalues
Alaa Ibrahim
Deciding the positivity of a sequence defined by a linear recurrence and initial conditions is, in general, a hard problem. When the coefficients of the recurrences are constants,…
cs.SC2024
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…