Automata: Theoretic Aspects of Formal Power Series
Automata: Theoretic Aspects of Formal Power Series
Positivity of second order linear recurrent sequences
Discrete Applied Mathematics
Note: The signs of three-term recurrence sequences
Discrete Applied Mathematics
Decision problems for linear recurrence sequences
RP'12 Proceedings of the 6th international conference on Reachability Problems
Hi-index | 0.04 |
It is shown that the Positivity Problem for a sequence satisfying a third order linear recurrence with integer coefficients, i.e., the problem whether each element of this sequence is nonnegative, is decidable.