Article ID Journal Published Year Pages File Type
419645 Discrete Applied Mathematics 2009 10 Pages PDF
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
, ,