with(FormalPowerSeries):with(LREtools):#需要Maple 2022
C: =(1-(1-4*x)^(1/2))/(2*x);
初始值:={a(0)=1,a(1)=1、a(2)=2、a〔3〕=5、a(4)=15、a〔5〕=44、a(6)=137、a(7)=443};
re:=FindRE((1+x^4*C)*C,x,a(n));
rm:=-(n+1)*(n-2)*a(n)+4*(2*n^2-7*n+1)*a;
minre:=最小重复(re,a(n),inits);
minrm:=最小重复(rm,a(n),inits);
#表明Mathar的递归是等价的
f: =REtoproc(re,a(n),inits);
seq(f(n),n=0..25)#乔治·菲舍尔2022年10月22日