Positivity of second order linear recurrent sequences

: Halava V, Harju T, Hirvensalo M

Publisher: ELSEVIER SCIENCE BV

: 2006

Discrete Applied Mathematics

DISCRETE APPLIED MATHEMATICS

: DISCRETE APPL MATH

: 154

: 3

: 447

: 451

: 5

: 0166-218X

DOI: https://doi.org/10.1016/j.dam.2005.10.009

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.

Mathematics