Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences.

Jol Ouaknine, James Worrell

Browse the full ICALP paper archive.