(MAGMAMagma) XY:=[3, 7]; [n le 2 select XY[n] else Ceiling(Self(n-1)^2/Self(n-2)-1/2): n in [1..32]]; // Klaus Brockhaus, Nov 17 2010

(MAGMAMagma) a:=1; b:=1; c:=1; S:=[]; for n in [1..32] do a+:=b; b+:=c; c+:=a; Append(~S, c); end for; S; // Klaus Brockhaus, Nov 17 2010

editing

approved

Shalosh B. Ekhad, N. J. A. Sloane and Doron Zeilberger, <a href="http://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/pisot.html">Automated Proof (or Disproof) of Linear Recurrences Satisfied by Pisot Sequences</a>, 2016; <a href="/A010912/a010912.pdf">Local copy</a> [pdf file only, no active links]

N. J. A. Sloane, <a href="/A010912/a010912.pdf">TITLE FOR LINK</a>

approved

editing

editing

approved

N. J. A. Sloane, <a href="/A010912/a010912.pdf">TITLE FOR LINK</a>

approved

editing

editing

approved

S. B. Ekhad, N. J. A. Sloane, D. Zeilberger, <a href="http://arxiv.org/abs/1609.05570">Automated proofs (or disproofs) of linear recurrences satisfied by Pisot Sequences</a>, arXiv:1609.05570 [math.NT] (2016). [This is a different document from the one with the same title on Doron Zeilberger's web site]

approved

editing

proposed

approved

editing

proposed

D. W. Boyd, <a href="http://matwbn.icm.edu.pl/ksiazki/aa/aa32/aa32110.pdf">Pisot sequences which satisfy no linear recurrences</a>, Acta Arith. 32 (1) (1977) 89-98.

D. W. Boyd, <a href="http://matwbn.icm.edu.pl/ksiazki/aa/aa34/aa3444.pdf">Some integer sequences related to the Pisot sequences</a>, Acta Arithmetica, 34 (1979), 295-305.

D. W. Boyd, <a href="http://matwbn.icm.edu.pl/ksiazki/aa/aa47/aa4712.pdf">On linear recurrence relations satisfied by Pisot sequences</a>, Acta Arithm. 47 (1) (1986) 13.

D. W. Boyd, <a href="http://matwbn.icm.edu.pl/ksiazki/aa/aa48/aa4825.pdf">Pisot sequences which satisfy no linear recurrences. II</a>, Acta Arithm. 48 (1987) 191.

proposed

editing