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
Pages
5
From page
447
To page
451
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
Serial Year
2006
Journal title
Discrete Applied Mathematics
Record number
886209
Link To Document