A1 Refereed original research article in a scientific journal
Positivity of second order linear recurrent sequences
Authors: Halava V, Harju T, Hirvensalo M
Publisher: ELSEVIER SCIENCE BV
Publication year: 2006
Journal: Discrete Applied Mathematics
Journal name in source: DISCRETE APPLIED MATHEMATICS
Journal acronym: DISCRETE APPL MATH
Volume: 154
Issue: 3
First page : 447
Last page: 451
Number of pages: 5
ISSN: 0166-218X
DOI: https://doi.org/10.1016/j.dam.2005.10.009
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 u(n) = au(n-1) + bu(n-2) has only nonnegative terms. (c) 2005 Elsevier B.V. All rights reserved.
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 u(n) = au(n-1) + bu(n-2) has only nonnegative terms. (c) 2005 Elsevier B.V. All rights reserved.