OFFSET
0,2
LINKS
Vincenzo Librandi, Table of n, a(n) for n = 0..1000
C. Krattenthaler, Advanced determinant calculus Séminaire Lotharingien de Combinatoire, B42q (1999), 67 pp, (see p. 54).
Index entries for linear recurrences with constant coefficients, signature (9,-36,84,-126,126,-84,36,-9,1).
FORMULA
G.f.: (1 + 8*x + 36*x^2 + 120*x^3 + 330*x^4 + 792*x^5 + 1716*x^6 + 3432*x^7 + 6435*x^8) / (1-x)^9.
a(n) = 9*a(n-1) - 36*a(n-2) + 84*a(n-3) - 126*a(n-4) + 126*a(n-5) - 84*a(n-6) + 36*a(n-7) - 9*a(n-8) + a(n-9).
a(n) = (20160 - 15076944*n + 40499716*n^2 - 42247940*n^3 + 23174515*n^4 - 7234136*n^5 + 1335334*n^6 - 134420*n^7 + 6435*n^8) / 20160.
MATHEMATICA
Table[(20160 - 15076944 n + 40499716 n^2 - 42247940 n^3 + 23174515 n^4 - 7234136 n^5 + 1335334 n^6 - 134420 n^7 + 6435 n^8)/20160, {n, 0, 40}] (* or *) CoefficientList[Series[(1 + 8 x + 36 x^2 + 120 x^3 + 330 x^4 + 792 x^5 + 1716 x^6 + 3432 x^7 + 6435 x^8)/(1 - x)^9, {x, 0, 40}], x]
Table[Sum[Binomial[16, k]Binomial[n, k], {k, 0, 8}], {n, 0, 30}] (* or *) LinearRecurrence[{9, -36, 84, -126, 126, -84, 36, -9, 1}, {1, 17, 153, 969, 4845, 20349, 74613, 245157, 735471}, 40] (* Harvey P. Dale, Mar 25 2015 *)
PROG
(Magma) m:=8; [&+[Binomial(2*m, k)*Binomial(n, k): k in [0..m]]: n in [0..40]]; /* or */ [(20160-15076944*n+40499716*n^2-42247940*n^3 +23174515*n^4-7234136*n^5+1335334*n^6-134420*n^7 +6435*n^8)/20160: n in [0..40]];
(Sage) m=8; [sum((binomial(2*m, k)*binomial(n, k)) for k in (0..m)) for n in (0..40)] # Bruno Berselli, Sep 23 2014
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Vincenzo Librandi, Sep 23 2014
STATUS
approved