This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A056117 #18 Nov 23 2022 14:55:44 %S A056117 1,17,117,525,1815,5247,13299,30459,64350,127270,238238,425646,730626, %T A056117 1211250,1947690,3048474,4657983,6965343,10214875,14718275,20868705, %U A056117 29156985,40190085,54712125,73628100,98030556,129229452,168785452 %N A056117 Expansion of (1+8*x)/(1-x)^9. %D A056117 A. H. Beiler, Recreations in the Theory of Numbers, Dover, N.Y., 1964, pp. 194-196. %H A056117 G. C. Greubel, <a href="/A056117/b056117.txt">Table of n, a(n) for n = 0..1000</a> %H A056117 <a href="/index/Rec#order_09">Index entries for linear recurrences with constant coefficients</a>, signature (9,-36,84,-126,126,-84,36,-9,1). %F A056117 a(n) = (9*n+8)*binomial(n+7, 7)/8. %F A056117 G.f.: (1+8*x)/(1-x)^9. %F A056117 From _G. C. Greubel_, Jan 18 2020: (Start) %F A056117 a(n) = 9*binomial(n+8,8) - 8*binomial(n+7,7). %F A056117 E.g.f.: (40320 + 645120*x + 1693440*x^2 + 1505280*x^3 + 588000*x^4 + 112896*x^5 + 10976*x^6 + 512*x^7 + 9*x^8)*exp(x)/40320. (End) %p A056117 seq( (9*n+8)*binomial(n+7, 7)/8, n=0..30); # _G. C. Greubel_, Jan 18 2020 %t A056117 Table[9*Binomial[n+8,8] -8*Binomial[n+7,7], {n,0,30}] (* _G. C. Greubel_, Jan 18 2020 *) %t A056117 LinearRecurrence[{9,-36,84,-126,126,-84,36,-9,1},{1,17,117,525,1815,5247,13299,30459,64350},30] (* _Harvey P. Dale_, Nov 23 2022 *) %o A056117 (PARI) vector(31, n, (9*n-1)*binomial(n+6, 7)/8) \\ _G. C. Greubel_, Jan 18 2020 %o A056117 (Magma) [(9*n+8)*Binomial(n+7, 7)/8: n in [0..30]]; // _G. C. Greubel_, Jan 18 2020 %o A056117 (Sage) [(9*n+8)*binomial(n+7, 7)/8 for n in (0..30)] # _G. C. Greubel_, Jan 18 2020 %o A056117 (GAP) List([0..30], n-> (9*n+8)*Binomial(n+7, 7)/8 ); # _G. C. Greubel_, Jan 18 2020 %Y A056117 Cf. A093644 ((9, 1) Pascal, column m=8). Partial sums of A052206. %K A056117 easy,nonn %O A056117 0,2 %A A056117 _Barry E. Williams_, Jul 04 2000