A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä
Positivity of second order linear recurrent sequences
Tekijät: Halava V, Harju T, Hirvensalo M
Kustantaja: ELSEVIER SCIENCE BV
Julkaisuvuosi: 2006
Lehti:Discrete Applied Mathematics
Tietokannassa oleva lehden nimiDISCRETE APPLIED MATHEMATICS
Lehden akronyymi: DISCRETE APPL MATH
Vuosikerta: 154
Numero: 3
Aloitussivu: 447
Lopetussivu: 451
Sivujen määrä: 5
ISSN: 0166-218X
DOI: https://doi.org/10.1016/j.dam.2005.10.009
Tiivistelmä
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.