aDepartment of Mathematics, Kasetsart University, Bangkok 10900, Thailand
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.