Positivity of second order linear recurrent sequences

We give an elementary proof for the Positivity Problem for second order recurrent sequences: it is decidable whether or not a recurrent sequence defined by un = aun-1 + bun-2 has only nonnegative terms.

• Type: Journal
• Year: 2006
• Where: DAM
• Authors: Vesa Halava, Tero Harju, Mika Hirvensalo
• Keywords: DAM 2006, Elementary Proof, Positivity Problem, Recurrent Sequence