%I#31 2023年7月2日13:46:04

%S 4,251569736069378552361181472770918630357298942357398265，

%电话：222924744113904779787867301206585409732460083374283935917，

%电话：2104686722348413127840407014845818840161120305510745997540712731857435234607602198708591866413654

%N活塞序列E（4,25）：对于N>1，a（0）=4，a（1）=25，a（N）=floor（a（N-1）^2/a（N-2）+1/2）。

%D Shalosh B.Ekhad，N.J.A.Sloane和Doron Zeilberger，Pisot序列满足的线性递归的自动证明（或争议），预印本，2016。

%H Colin Barker，n的表格，n=0..1000的a（n）</a>

%H D.W.Boyd，<a href=“http://matwbn.icm.edu.pl/ksiazki/aa/aa34/aa3444.pdf“>与Pisot序列相关的一些整数序列</a>，《算术学报》，34（1979），295-305

%H D.W.Boyd，<a href=“https://www.researchgate.net/profile/David_Boyd7/publication/262181133_Linear_recurrence_relations_for_some_generalized_Pisot_sequences_-_annotated_with_corrections_and_additions/links/00b7d536d49781037f000000.pdf“>一些广义Pisot序列的线性递归关系，《数论进展》（Kingston ON，1991）333-340，牛津科学出版社，牛津大学出版社，纽约，1993年。

%H S.B.Ekhad，N.J.A.Sloane，D.Zeilberger，<A href=“http://arxiv.org/abs/1609.05570“>Pisot序列满足线性递归的自动证明（或反证），arXiv:1609.05570[math.NT]（2016）

%H<a href=“/index/Rec#order_03”>常系数线性重复出现的索引条目，签名（6，1，3）。

%F定理：a（n）=6a（n-1）+a（n-2）+3a（n-3）。（由科林·巴克推测，2016年6月5日。使用Ekhad-Sloane-Zeilberger的PtoRv程序进行验证。）_N.J.A.斯隆，2016年9月9日

%财务总监：（4+x+2*x^2）/（1-6*x-x^2-3*x^3）。（从重复开始。）

%t循环表[{a[0]==4，a[1]==25，a[n]==楼层[a[n-1]^2/a[n-2]+1/2]}，a，{n，0，25}]（*_Bruno Berselli_，2013年9月3日*）

%o（岩浆）Exy:=[4,25]；[n le 2选择Exy[n]else Floor（Self（n-1）^2/Self[n-2）+1/2）：n in[1..25]]；//_Bruno Berselli，2013年9月3日

%K nonn公司

%0、1

%A _西蒙·普劳夫_

%E更多条款，来自Bruno Berselli，2013年9月3日