Title of article :
Positivity of second order linear recurrent sequences Original Research Article
Author/Authors :
Vesa Halava، نويسنده , , Tero Harju، نويسنده , , Vesa Halava and Mika Hirvensalo ، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2006
Abstract :
We give a decision method for the Positivity Problem for second order recurrent sequences: it is decidable whether or not a recurrent sequence defined by image has only nonnegative terms.
Keywords :
Integer matrix , Recurrent sequence , Positivity Problem , Decidability
Journal title :
Discrete Applied Mathematics
Journal title :
Discrete Applied Mathematics
