OFFSET

0,1

COMMENTS

Pisot sequences E(8,9), P(8,9), T(8,9).

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+8.

a(n) = 2*a(n-1) - a(n-2).

MATHEMATICA

Range[0, 80]+8 (* or *) LinearRecurrence[{2, -1}, {8, 9}, 80] (* Harvey P. Dale, Jun 06 2015 *)

PROG

(PARI) a(n)=n+8

CROSSREFS

KEYWORD

nonn,easy

AUTHOR

STATUS

approved