cp's OEIS Frontend

A048575 Pisot sequences L(2,5), E(2,5).

%I A048575 #39 Dec 30 2023 23:47:39
%S A048575 2,5,13,34,89,233,610,1597,4181,10946,28657,75025,196418,514229,
%T A048575 1346269,3524578,9227465,24157817,63245986,165580141,433494437,
%U A048575 1134903170,2971215073,7778742049,20365011074,53316291173,139583862445,365435296162,956722026041
%N A048575 Pisot sequences L(2,5), E(2,5).
%D A048575 Shalosh B. Ekhad, N. J. A. Sloane and Doron Zeilberger, Automated Proof (or Disproof) of Linear Recurrences Satisfied by Pisot Sequences, Preprint, 2016.
%H A048575 Colin Barker, <a href="/A048575/b048575.txt">Table of n, a(n) for n = 0..1000</a>
%H A048575 Boothby, T.; Burkert, J.; Eichwald, M.; Ernst, D. C.; Green, R. M.; Macauley, M.  <a href="https://doi.org/10.1007/s10801-011-0327-z">On the cyclically fully commutative elements of Coxeter groups</a>, J. Algebr. Comb. 36, No. 1, 123-148 (2012), Section 5.1
%H A048575 Tanya Khovanova, <a href="http://www.tanyakhovanova.com/RecursiveSequences/RecursiveSequences.html">Recursive Sequences</a>
%H A048575 <a href="/index/Rec#order_02">Index entries for linear recurrences with constant coefficients</a>, signature (3,-1)
%F A048575 a(n) = A000045(2n+3). a(n) = 3a(n-1) - a(n-2).
%F A048575 G.f.: (2-x)/(1-3x+x^2). [_Philippe Deléham_, Nov 16 2008]
%F A048575 a(n) = 2*A001906(n+1)-A001906(n). - _R. J. Mathar_, Jun 11 2019
%t A048575 LinearRecurrence[{3, -1}, {2, 5}, 40] (* _Vincenzo Librandi_, Jul 12 2015 *)
%o A048575 (Magma) [Fibonacci(2*n+3): n in [0..40]]; // _Vincenzo Librandi_, Jul 12 2015
%o A048575 (PARI) pisotE(nmax, a1, a2) = {
%o A048575   a=vector(nmax); a[1]=a1; a[2]=a2;
%o A048575   for(n=3, nmax, a[n] = floor(a[n-1]^2/a[n-2]+1/2));
%o A048575   a
%o A048575 }
%o A048575 pisotE(50, 2, 5) \\ _Colin Barker_, Jul 27 2016
%Y A048575 Subsequence of A001519. See A008776 for definitions of Pisot sequences.
%K A048575 nonn,easy
%O A048575 0,1
%A A048575 _David W. Wilson_