%I #42 Jun 06 2023 18:03:43
%S 1,2,5,17,109,706,9529,149057,3464585,141172802,5987285341,
%T 540281496721,53055650250901,8453268527614082,2173247123169247025,
%U 610193552206250342657,364280506115937098013649,225791960727416355391439746
%N A (1,3) Somos-4 sequence.
%C Hankel transform of A128720.
%H Reinhard Zumkeller, <a href="/A174168/b174168.txt">Table of n, a(n) for n = 0..100</a>
%H Paul Barry, <a href="https://cs.uwaterloo.ca/journals/JIS/VOL13/Barry1/barry95r.html">Generalized Catalan Numbers, Hankel Transforms and Somos-4 Sequences </a>, J. Int. Seq. 13 (2010) #10.7.2.
%H Paul Barry, <a href="http://arxiv.org/abs/1107.5490">Invariant number triangles, eigentriangles and Somos-4 sequences</a>, arXiv:1107.5490 [math.CO], 2011.
%H Paul Barry, <a href="https://cs.uwaterloo.ca/journals/JIS/VOL26/Barry/barry601.html">On Motzkin-Schröder Paths, Riordan Arrays, and Somos-4 Sequences</a>, J. Int. Seq. (2023) Vol. 26, Art. 23.4.7.
%H P. Rajkovic, P. Barry, and N. Savic, <a href="http://www.math.bas.bg/infres/MathBalk/MB-26/MB-26-219-228.pdf">Number Sequences in an Integral Form with a Generalized Convolution Property and Somos-4 Hankel Determinants</a>, Math. Balkanica, Vol. 26 (2012), Fasc. 1-2.
%F a(n) = (a(n-1)*a(n-3) + 3*a(n-2)^2)/a(n-4) [index corrected by _Franklin T. Adams-Watters_, Oct 26 2011].
%F a(n) = a(-2-n), a(n)*a(n-5) = -3*a(n-1])*a(n-4) + 16*a(n-2)*a(n-3) for all n in Z. - _Michael Somos_, Apr 30 2020
%p A174168 := proc(n)
%p if n <=4 then
%p op(n+1,[1,2,5,17,109]) ;
%p else
%p (procname(n-1)*procname(n-3)+3*procname(n-2)^2)/procname(n-4) ;
%p end if;
%p end proc: # _R. J. Mathar_, Oct 26 2011
%t RecurrenceTable[{a[0]==1,a[1]==2,a[2]==5,a[3]==17,a[n]==(a[n-1]a[n-3]+ 3a[n-2]^2)/a[n-4]},a[n],{n,20}] (* _Harvey P. Dale_, Oct 25 2011 *)
%t a[ n_] := Which[n < -1, a[-2 - n], n < 2, {1, 1, 2}[[n + 2]], True, (a[n - 1] a[n - 3] + 3 a[n - 2]^2)/a[n - 4]]; (* _Michael Somos_, Apr 30 2020 *)
%o (Haskell)
%o a174168 n = a174168_list !! n
%o a174168_list = [1,2,5,17] ++ zipWith div (zipWith (+)
%o (zipWith (*) (tail a174168_list) (drop 3 a174168_list))
%o (map ((* 3) . (^ 2)) (drop 2 a174168_list))) a174168_list
%o -- _Reinhard Zumkeller_, Feb 13 2012
%o (PARI) m=20; v=concat([1,2,5,17], vector(m-4)); for(n=5, m, v[n] = ( v[n-1]*v[n-3] +3*v[n-2]^2)/v[n-4]); v \\ _G. C. Greubel_, Sep 25 2018
%o (Magma) I:=[1,2,5,17]; [n le 4 select I[n] else (Self(n-1)*Self(n-3) + 3*Self(n-2)^2)/Self(n-4): n in [1..20]]; // _G. C. Greubel_, Sep 25 2018
%Y Cf. A128720.
%K easy,nonn
%O 0,2
%A _Paul Barry_, Mar 10 2010
%E More terms from _Sean A. Irvine_, Feb 12 2012
|