Positivity of second order linear recurrent sequences |
| |
| Authors: | Vesa Halava |
| |
| Affiliation: | Department of Mathematics and TUCS - Turku Centre for Computer Science, University of Turku FIN-20014 Turku, Finland |
| |
| 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 |
| 本文献已被 ScienceDirect 等数据库收录！ |
