OFFSET
0,1
COMMENTS
Pisot sequences E(9,10), P(9,10), T(9,10).
REFERENCES
Shalosh B. Ekhad, N. J. A. Sloane and Doron Zeilberger, Automated Proof (or Disproof) of Linear Recurrences Satisfied by Pisot Sequences, Preprint, 2016.
LINKS
Tanya Khovanova, Recursive Sequences
Index entries for linear recurrences with constant coefficients, signature (2,-1).
FORMULA
a(n) = n+9. a(n) = 2a(n-1) - a(n-2).
PROG
(PARI) a(n)=n+9
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
STATUS
approved