Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
419645 | Discrete Applied Mathematics | 2009 | 10 Pages |
Abstract
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.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Vichian Laohakosol, Pinthira Tangsupphathawat,