@inproceedings{fc310e5810e54196ae407e06cc6f6f07,
title = "Effective divergence analysis for linear recurrence sequences",
abstract = "We study the growth behaviour of rational linear recurrence sequences. We show that for low-order sequences, divergence is decidable in polynomial time. We also exhibit a polynomial-time algorithm which takes as input a divergent rational linear recurrence sequence and computes e ective fine-grained lower bounds on the growth rate of the sequence.",
keywords = "Algebraic numbers, Divergence, Phrases linear recurrence sequences, Positivity",
author = "Shaull Almagor and Mehran Hosseini and Jo{\"e}l Ouaknine and James Worrell",
note = "Publisher Copyright: {\textcopyright} Shaull Almagor, Brynmor Chapman, Mehran Hosseini, Jo{\"e}l Ouaknine, and James Worrell.; 29th International Conference on Concurrency Theory, CONCUR 2018 ; Conference date: 04-09-2018 Through 07-09-2018",
year = "2018",
month = aug,
day = "1",
doi = "10.4230/LIPIcs.CONCUR.2018.42",
language = "الإنجليزيّة",
isbn = "9783959770873",
series = "Leibniz International Proceedings in Informatics, LIPIcs",
editor = "Sven Schewe and Lijun Zhang",
booktitle = "29th International Conference on Concurrency Theory, CONCUR 2018",
}