Copyright © 2005 Elsevier B.V. All rights reserved.
Communication
Positivity of second order linear recurrent sequences
Received 4 October 2005;
revised 17 October 2005;
accepted 19 October 2005.
Communciated by A. Salomaa.
Available online 29 November 2005.
References and further reading may be available for this article. To view references and further reading you must purchase this article.
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 un=aun-1+bun-2 has only nonnegative terms.
Keywords: Positivity Problem; Recurrent sequence; Integer matrix; Decidability







E-mail Article
Add to my Quick Links

Cited By in Scopus (1)







