| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 420307 | Discrete Applied Mathematics | 2006 | 5 Pages |
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-2un=aun-1+bun-2 has only nonnegative terms.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Vesa Halava, Tero Harju, Mika Hirvensalo,