ANOTHER PROOF OF THE POSITIVITY PROBLEM FOR FOURTH ORDER RECURRENCE SEQUENCES

Abstract

An elementary proof is given for the decidability whether each element

of a sequence satisfying a fourth order linear recurrence with integer

coefficients is nonnegative.