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