Positivity of third order linear recurrence sequences Original Research Article

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.