A001720 -id:A001720 - cp's OEIS frontend

A090802 Triangle read by rows: a(n,k) = number of k-length walks in the Hasse diagram of a Boolean algebra of order n.

1, 2, 1, 4, 4, 2, 8, 12, 12, 6, 16, 32, 48, 48, 24, 32, 80, 160, 240, 240, 120, 64, 192, 480, 960, 1440, 1440, 720, 128, 448, 1344, 3360, 6720, 10080, 10080, 5040, 256, 1024, 3584, 10752, 26880, 53760, 80640, 80640, 40320

Offset: 0

Ross La Haye, Feb 10 2004

Row sums = A010842(n); Row sums from column 1 on = A066534(n) = n*A010842(n-1) = A010842(n) - 2^n.
a(n,k) = n! = k! = A000142(n) for n = k; a(n,n-1) = 2*n! = A052849(n) for n > 1; a(n,n-2) = 2*n! = A052849(n) for n > 2; a(n,n-3) = (4/3)*n! = A082569(n) for n > 3; a(n,n-1)/a(2,1) = n!/2! = A001710(n) for n > 1; a(n,n-2)/ a(3,1) = n!/3! = A001715(n) for n > 2; a(n,n-3)/a(4,1) = n!/4! = A001720(n) for n > 3.
a(2k, k) = A052714(k+1). a(2k-1, k) = A034910(k).
a(n,0) = A000079(n); a(n,1) = A001787(n) = row sums of A003506; a(n,2) = A001815(n) = 2!*A001788(n-1); a(n,3) = A052771(n) = 3!*A001789(n); a(n,4) = A052796(n) = 4!*A003472(n); ceiling[a(n,1) / 2] = A057711(n); a(n,5) = 5!*A054849(n).
In a class of n students, the number of committees (of any size) that contain an ordered k-sized subcommittee is a(n,k). - Ross La Haye, Apr 17 2006
Antidiagonal sums [1,2,5,12,30,76,198,528,1448,4080,...] appear to be binomial transform of A000522 interleaved with itself, i.e., 1,1,2,2,5,5,16,16,65,65,... - Ross La Haye, Sep 09 2006
Let P(A) be the power set of an n-element set A. Then a(n,k) = the number of ways to add k elements of A to each element x of P(A) where the k elements are not elements of x and order of addition is important. - Ross La Haye, Nov 19 2007
The derivatives of x^n evaluated at x=2. - T. D. Noe, Apr 21 2011

			{1};
{2, 1};
{4, 4, 2};
{8, 12, 12, 6};
{16, 32, 48, 48, 24};
{32, 80, 160, 240, 240, 120};
{64, 192, 480, 960, 1440, 1440, 720};
{128, 448, 1344, 3360, 6720, 10080, 10080, 5040};
{256, 1024, 3584, 10752, 26880, 53760, 80640, 80640, 40320}
a(5,3) = 240 because P(5,3) = 60, 2^(5-3) = 4 and 60 * 4 = 240.

T. D. Noe, Rows n = 0..100, flattened
Ross La Haye, Binary Relations on the Power Set of an n-Element Set, Journal of Integer Sequences, Vol. 12 (2009), Article 09.2.6.
Eric Weisstein, Walk
Eric Weisstein, Boolean Algebra
Eric Weisstein, Hasse Diagram

Cf. A000142, A001710, A001715, A001720, A001787, A001788, A001789, A001815, A003472, A010842, A052771, A052796, A052849, A054849, A057711, A066534, A082569.

Cf. A038207, A007318.

Flatten[Table[n!/(n-k)! * 2^(n-k), {n, 0, 8}, {k, 0, n}]] (* Ross La Haye, Feb 10 2004 *)

a(n, k) = 0 for n < k. a(n, k) = k!*C(n, k)*2^(n-k) = P(n, k)*2^(n-k) = (2n)!!/((n-k)!*2^k) = k!*A038207(n, k) = A068424*2^(n-k) = Sum[C(n, m)*P(n-m, k), {m, 0, n-k}] = Sum[C(n, n-m)*P(n-m, k), {m, 0, n-k}] = n!*Sum[1/(m!*(n-m-k)!), {m, 0, n-k}] = k!*Sum[C(n, m)*C(n-m, k), {m, 0, n-k}] = k!*Sum[C(n, n-m)*C(n-m, k), {m, 0, n-k}] = k!*C(n, k)*Sum[C(n-k, n-m-k), {m, 0, n-k}] = k!*C(n, k)*Sum[C(n-k, m), {m, 0, n-k}] for n >= k.
a(n, k) = 0 for n < k. a(n, k) = n*a(n-1, k-1) for n >= k >= 1.
E.g.f. (by columns): exp(2x)*x^k.

More terms from Ray Chandler, Feb 26 2004

Entry revised by Ross La Haye, Aug 18 2006

A062140 Coefficient triangle of generalized Laguerre polynomials n!*L(n,4,x) (rising powers of x).

Original entry on oeis.org

1, 5, -1, 30, -12, 1, 210, -126, 21, -1, 1680, -1344, 336, -32, 1, 15120, -15120, 5040, -720, 45, -1, 151200, -181440, 75600, -14400, 1350, -60, 1, 1663200, -2328480, 1164240, -277200, 34650, -2310, 77, -1, 19958400, -31933440

Offset: 0

Wolfdieter Lang, Jun 19 2001

The row polynomials s(n,x) := n!*L(n,4,x)= sum(a(n,m)*x^m,m=0..n) have g.f. exp(-z*x/(1-z))/(1-z)^5. They are Sheffer polynomials satisfying the binomial convolution identity s(n,x+y) = sum(binomial(n,k)*s(k,x)*p(n-k,y),k=0..n), with polynomials p(n,x)=sum(|A008297(n,m)|*(-x)^m, m=1..n) and p(0,x)=1 (for Sheffer polynomials see A048854 for S. Roman reference).

			Triangle begins:
  {1};
  {5,-1};
  {30,-12,1};
  {210,-126,21,-1};
  ...
2!*L(2,4,x)=30-12*x+x^2.

Indranil Ghosh, Rows 0..125
Index entries for sequences related to Laguerre polynomials

For m=0..5 the (unsigned) columns give A001720(n+4), A062199, A062260-A062263. The row sums (signed) give A062265, the row sums (unsigned) give A062266.

Cf. A021009, A062137-A062139, A066667.

Flatten[Table[((-1)^m)*n!*Binomial[n+4,n-m]/m!,{n,0,11},{m,0,n}]] (* Indranil Ghosh, Feb 23 2017 *)

row(n) = Vecrev(n!*pollaguerre(n, 4)); \\ Michel Marcus, Feb 06 2021

import math
f=math.factorial
def C(n,r):
    return f(n)//f(r)//f(n-r)
i=0
for n in range(26):
    for m in range(n+1):
        print(i, (-1)**m*f(n)*C(n+4,n-m)//f(m))
        i+=1 # Indranil Ghosh, Feb 23 2017

T(n, m) = ((-1)^m)*n!*binomial(n+4, n-m)/m!.

E.g.f. for m-th column sequence: ((-x/(1-x))^m)/(m!*(1-x)^5), m >= 0.

A111531 Row 4 of table A111528.

Original entry on oeis.org

1, 1, 6, 46, 416, 4256, 48096, 591536, 7840576, 111226816, 1680157056, 26918720896, 455971214336, 8143926373376, 153013563734016, 3017996904928256, 62369444355076096, 1348096649995841536, 30426167700424728576, 715935203128235401216

Offset: 0

Paul D. Hanna, Aug 06 2005

			(1/4)*(log(1 + 4*x + 20*x^2 + 120*x^3 + ... + (n+3)!/3!)*x^n + ...)
= x + 6/2*x^2 + 46/3*x^3 + 416/4*x^4 + 4256/5*x^5 + ...

Vaclav Kotesovec, Table of n, a(n) for n = 0..440
Paul Barry, A note on number triangles that are almost their own production matrix, arXiv:1804.06801 [math.CO], 2018.
A. N. Stokes, Continued fraction solutions of the Riccati equation, Bull. Austral. Math. Soc. Vol. 25 (1982), 207-214.

Cf: A111528 (table), A003319 (row 1), A111529 (row 2), A111530 (row 3), A111532 (row 5), A111533 (row 6), A111534 (diagonal).

Cf. A001715, A001720.

T[n_, k_] := T[n, k] = Which[n<0 || k<0, 0, k==0 || k==1, 1, n==0, k!, True, (T[n-1, k+1]-T[n-1, k])/n-Sum[T[n, j]*T[n-1, k-j], {j, 1, k-1}]];
a[n_] := T[4, n];
a /@ Range[0, 19] (* Jean-François Alcover, Oct 01 2019 *)

{a(n)=if(n<0,0,if(n==0,1, (n/4)*polcoeff(log(sum(m=0,n,(m+3)!/3!*x^m) +x*O(x^n)),n)))}
for(n=0,20,print1(a(n),", "))

G.f.: (1/4)*log(Sum_{n>=0} (n+3)!/3!*x^n) = Sum_{n>=1} a(n)*x^n/n.
G.f.: A(x) = 1/(1 + 4*x - 5*x/(1 + 5*x - 6*x/(1 + 6*x - ... (continued fraction).
a(n) = Sum_{k=0..n} 4^(n-k)*A089949(n,k). - Philippe Deléham, Oct 16 2006
G.f.: G(0)/2, where G(k) = 1 + 1/(1 - x*(k+1)/(x*(k-1) + 1/G(k+1))); (continued fraction). - Sergei N. Gladkovskii, Jun 05 2013
G.f.: W(0)/4 + 3/4, where W(k) = 1 - x*(k+4)/( x*(k+4) - 1/(1 - x*(k+2)/( x*(k+2) - 1/W(k+1) ))); (continued fraction). - Sergei N. Gladkovskii, Aug 26 2013
a(n) ~ n! * n^4/24 * (1 + 2/n - 5/n^2 - 30/n^3 - 184/n^4 - 1664/n^5 - 18688/n^6 - 245120/n^7 - 3641280/n^8 - 60090368/n^9 - 1086985152/n^10). - Vaclav Kotesovec, Jul 27 2015
From Peter Bala, May 25 2017: (Start)
O.g.f. A(x) = ( Sum_{n >= 0} (n+4)!/4!*x^n ) / ( Sum_{n >= 0} (n+3)!/3!*x^n ).
1/(1 - 4*x*A(x)) = Sum_{n >= 0} (n+3)!/3!*x^n. Cf. A001715.
A(x)/(1 - 4*x*A(x)) = Sum_{n >= 0} (n+4)!/4!*x^n. Cf. A001720.
A(x) satisfies the Riccati equation x^2*A'(x) + 4*x*A^2(x) - (1 + 3*x)*A(x) + 1 = 0.
G.f. as an S-fraction: A(x) = 1/(1 - x/(1 - 5*x/(1 - 2*x/(1 - 6*x/(1 - 3*x/(1 - 7*x/(1 - ... - n*x/(1 - (n+4)*x/(1 - ... ))))))))), by Stokes 1982.
A(x) = 1/(1 + 4*x - 5*x/(1 - x/(1 - 6*x/(1 - 2*x/(1 - 7*x/(1 - 3*x/(1 - ... - (n + 4)*x/(1 - n*x/(1 - ... ))))))))). (End)

A051431 a(n) = (n+10)!/10!.

Original entry on oeis.org

1, 11, 132, 1716, 24024, 360360, 5765760, 98017920, 1764322560, 33522128640, 670442572800, 14079294028800, 309744468633600, 7124122778572800, 170978946685747200, 4274473667143680000, 111136315345735680000, 3000680514334863360000, 84019054401376174080000

Offset: 0

Wolfdieter Lang

The p=10 member of the p-family of sequences {(n+p-1)!/p!}, n >= 1.

The asymptotic expansion of the higher-order exponential integral E(x,m=1,n=11) ~ exp(-x)/x*(1 - 11/x + 132/x^2 - 1716/x^3 + 24024/x^4 - 360360/x^5 + 5765760/x^6 - ...) leads to the sequence given above. See A163931 and A130534 for more information. - Johannes W. Meijer, Oct 20 2009

Vincenzo Librandi, Table of n, a(n) for n = 0..300

Cf. A000142, A001710, A001715, A001720, A001725, A001730, A049388, A049389, A049398.

Cf. A130534, A163931, A173333, A245334.

a051431 = (flip div 3628800) . a000142 . (+ 10)
-- Reinhard Zumkeller, Aug 31 2014

[Factorial(n+10)/3628800: n in [0..25]]; // Vincenzo Librandi, Jul 20 2011

a[n_] := (n + 10)!/10!; Array[a, 20, 0] (* Amiram Eldar, Jan 15 2023 *)

a(n) = (n+10)!/10!
E.g.f.: 1/(1-x)^11.
a(n) = A173333(n+10,10). - Reinhard Zumkeller, Feb 19 2010
a(n) = A245334(n+10,n) / 11. - Reinhard Zumkeller, Aug 31 2014
From Amiram Eldar, Jan 15 2023: (Start)
Sum_{n>=0} 1/a(n) = 3628800*e - 9864100.
Sum_{n>=0} (-1)^n/a(n) = 3628800/e - 1334960. (End)

A111532 Row 5 of table A111528.

Original entry on oeis.org

1, 1, 7, 61, 619, 7045, 87955, 1187845, 17192275, 264940405, 4326439075, 74593075525, 1353928981075, 25809901069525, 515683999204675, 10779677853137125, 235366439343773875, 5359766538695291125

Offset: 0

Paul D. Hanna, Aug 06 2005

			(1/5)*(log(1 + 5*x + 30*x^2 + 210*x^3 + ... + (n+4)!/4!)*x^n + ...)
= x + 7/2*x^2 + 61/3*x^3 + 619/4*x^4 + 7045/5*x^5 + ...

Vaclav Kotesovec, Table of n, a(n) for n = 0..440
A. N. Stokes, Continued fraction solutions of the Riccati equation, Bull. Austral. Math. Soc. Vol. 25 (1982), 207-214.

Cf: A111528 (table), A003319 (row 1), A111529 (row 2), A111530 (row 3), A111531 (row 4), A111533 (row 6), A111534 (diagonal).

Cf. A001720, A001725.

m = 18; (-1/(5x)) ContinuedFractionK[-i x, 1 + i x, {i, 5, m+4}] + O[x]^m // CoefficientList[#, x]& (* Jean-François Alcover, Nov 02 2019 *)

{a(n)=if(n<0,0,if(n==0,1, (n/5)*polcoeff(log(sum(m=0,n,(m+4)!/4!*x^m) + x*O(x^n)),n)))} \\ fixed by Vaclav Kotesovec, Jul 27 2015

G.f.: (1/5)*log(Sum_{n>=0} (n+4)!/4!*x^n) = Sum_{n>=1} a(n)*x^n/n.
G.f.: 1/(1 + 5*x - 6*x/(1 + 6*x - 7*x/(1 + 7*x - ... (continued fraction).
a(n) = Sum_{k=0..n} 5^(n-k)*A089949(n,k). - Philippe Deléham, Oct 16 2006
G.f.: (4 + 1/Q(0))/5, where Q(k) = 1 - 3*x + k*x - x*(k+2)/Q(k+1); (continued fraction). - Sergei N. Gladkovskii, May 04 2013
a(n) ~ n! * n^5/5! * (1 + 5/n - 55/n^3 - 356/n^4 - 3095/n^5 - 35225/n^6 - 475000/n^7 - 7293775/n^8 - 124710375/n^9 - 2339428250/n^10). - Vaclav Kotesovec, Jul 27 2015
From Peter Bala, May 25 2017: (Start)
O.g.f.: A(x) = ( Sum_{n >= 0} (n+5)!/5!*x^n ) / ( Sum_{n >= 0} (n+4)!/4!*x^n ).
1/(1 - 5*x*A(x)) = Sum_{n >= 0} (n+4)!/4!*x^n. Cf. A001720.
A(x)/(1 - 5*x*A(x)) = Sum_{n >= 0} (n+5)!/5!*x^n. Cf. A001725.
A(x) satisfies the Riccati equation x^2*A'(x) + 5*x*A^2(x) - (1 + 4*x)*A(x) + 1 = 0.
G.f. as an S-fraction: A(x) = 1/(1 - x/(1 - 6*x/(1 - 2*x/(1 - 7*x/(1 - 3*x/(1 - 8*x/(1 - ... - n*x/(1 - (n+5)*x/(1 - ... ))))))))), by Stokes 1982.
A(x) = 1/(1 + 5*x - 6*x/(1 - x/(1 - 7*x/(1 - 2*x/(1 - 8*x/(1 - 3*x/(1 - ... - (n + 5)*x/(1 - n*x/(1 - ... ))))))))). (End)

A062199 Second (unsigned) column sequence of triangle A062140 (generalized a=4 Laguerre).

Original entry on oeis.org

1, 12, 126, 1344, 15120, 181440, 2328480, 31933440, 467026560, 7264857600, 119870150400, 2092278988800, 38532804710400, 746943599001600, 15205637551104000, 324386934423552000, 7237883474325504000, 168600109166641152000, 4093235983656787968000

Offset: 0

Wolfdieter Lang, Jun 19 2001

a(n) is the total number of ascending runs of length 5 over all permutations of {1,2,...,n+5}. a(1) = 12 because we have: [1,2,3,4,6,5], [1,2,3,5,6,4], [1,2,4,5,6,3], [1,3,4,5,6,2], [2,1,3,4,5,6], [2,3,4,5,6,1], [3,1,2,4,5,6], [4,1,2,3,5,6], [5,1,2,3,4,6], [6,1,2,3,4,5], and [1,2,3,4,5,6] which has two runs of length 5. - Geoffrey Critzer, Feb 21 2014

Vincenzo Librandi, Table of n, a(n) for n = 0..200
Milan Janjić, Enumerative Formulas for Some Functions on Finite Sets.
Index entries for sequences related to Laguerre polynomials.

Cf. A001720 (first column of A062140), A264781.

Cf. A001620, A091725, A099285.

[Binomial(n, 5)*Factorial(n-4): n in [5..25]]; // Vincenzo Librandi, Feb 23 2014

Table[Sum[n!/5!, {i, 5, n}], {n, 5, 21}] (* Zerinvary Lajos, Jul 12 2009 *)
With[{nn=20},CoefficientList[Series[(1+5x)/(1-x)^7,{x,0,nn}],x] Range[ 0,nn]!] (* Harvey P. Dale, Nov 10 2016 *)

x='x+O('x^30); Vec(serlaplace((1+5*x)/(1-x)^7)) \\ G. C. Greubel, Feb 07 2018

[binomial(n,5)*factorial (n-4) for n in range(5, 22)] # Zerinvary Lajos, Jul 07 2009

E.g.f.: (1+5*x)/(1-x)^7.
a(n) = A062140(n+1, 1) = (n+1)!*binomial(n+5, 5).
If we define f(n,i,x)= Sum(Sum(binomial(k,j)*Stirling1(n,k)*Stirling2(j,i)*x^(k-j),j=i..k),k=i..n) then a(n-1)=(-1)^(n-1)*f(n,1,-6), (n>=1). [Milan Janjic, Mar 01 2009]
a(n) = Sum_{k>0} k * A264781(n+5,k). - Alois P. Heinz, Nov 24 2015
Assuming offset 1: a(n) = -n!*binomial(-n,5). - Peter Luschny, Apr 29 2016
From Amiram Eldar, Sep 24 2022: (Start)
Sum_{n>=0} 1/a(n) = 1565/12 - 50*e - 5*gamma + 5*Ei(1), where gamma is Euler's constant (A001620) and Ei(1) is the exponential integral at 1 (A091725).
Sum_{n>=0} (-1)^n/a(n) = -125/12 + 20/e + 5*gamma - 5*Ei(-1), where -Ei(-1) is the negated exponential integral at -1 (A099285). (End)

More terms from Vincenzo Librandi, Feb 23 2014

A094645 Triangle of generalized Stirling numbers of the first kind.

Original entry on oeis.org

1, -1, 1, 0, -1, 1, 0, -1, 0, 1, 0, -2, -1, 2, 1, 0, -6, -5, 5, 5, 1, 0, -24, -26, 15, 25, 9, 1, 0, -120, -154, 49, 140, 70, 14, 1, 0, -720, -1044, 140, 889, 560, 154, 20, 1, 0, -5040, -8028, -64, 6363, 4809, 1638, 294, 27, 1, 0, -40320, -69264, -8540, 50840, 44835, 17913, 3990, 510, 35, 1

Offset: 0

Vladeta Jovovic, May 17 2004

From Wolfdieter Lang, Jun 20 2011: (Start)
The row polynomials s(n,x) := Sum_{j=0..n} T(n,k)*x^k satisfy risefac(x-1,n) = s(n,x), with the rising factorials risefac(x-1,n) := Product_{j=0..n-1} (x-1+j), n >= 1, risefac(x-1,0) = 1. Compare with the formula risefac(x,n) = s1(n,x), with the row polynomials s1(n,x) of A132393 (unsigned Stirling1).
This is the lower triangular Sheffer array with e.g.f.
  T(x,z) = (1-z)*exp(-x*log(1-z)) (the rewritten e.g.f. from the formula section). See the W. Lang link under A006232 for Sheffer matrices and the Roman reference. In the notation which indicates the column e.g.f.s this is Sheffer (1-z,-log(1-z)). In the umbral notation (cf. Roman) this is called Sheffer for (exp(t),1-exp(-t)).
The row polynomials satisfy s(n,x) = (x+n-1)*s(n-1,x), s(0,x)=1, and s(n,x) = (x-1)*s1(n-1,x), n >= 1, s1(0,x) = 1, with the unsigned Stirling1 row polynomials s1(n,x).
The row polynomials also satisfy
  s(n,x) - s(n,x-1) = n*s(n-1,x), n > 1, s(0,x) = 1
  (from the Meixner identity, see the Meixner reference given at A060338).
The row polynomials satisfy as well (from corollary 3.7.2. p. 50 of the Roman reference)
  s(n,x) = (x-1)*s(n-1,x+1), n >= 1, s(0,n) = 1.
The exponential convolution identity is
  s(n,x+y) = Sum_{k=0..n} binomial(n,k)*s(k,y)*s1(n-k,x),
  n >= 0, with symmetry x <-> y.
The row sums are 1 for n=0 and 0 otherwise, and the alternating row sums are 1,-2,2, followed by zeros, with e.g.f. (1-x)^2.
The Sheffer a-sequence Sha(n) = A164555(n)/A027642(n) with e.g.f. x/(1-exp(-x)), and the z-sequence is Shz(n) = -1 with e.g.f. -exp(x).
The inverse Sheffer matrix is ((-1)^(n-k))*A105794(n,k) with e.g.f. exp(z)*exp(x*(1-exp(-z))). (End)
Triangle T(n,k), read by rows, given by (-1, 1, 0, 2, 1, 3, 2, 4, 3, 5, ...) DELTA (1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, ...) where DELTA is the operator defined in A084938. - Philippe Deléham, Jan 16 2012
Also coefficients of t in t*(t-1)*Sum[(-1)^(n+m) t^(m-1) StirlingS1[n,m], {m,n}] in which setting t^k equal to k gives n!, from this follows that the dot product of row n with [0,...,n] equals (n-1)!. - Wouter Meeussen, May 15 2012

			Triangle begins
   1;
  -1,   1;
   0,  -1,   1;
   0,  -1,   0,   1;
   0,  -2,  -1,   2,   1;
   0,  -6,  -5,   5,   5,   1;
   0, -24, -26,  15,  25,   9,   1;
   ...
Recurrence:
  -2 = T(4,1) = T(3,0) + (4-2)*T(3,1) = 0 + 2*(-1).
Row polynomials:
  s(3,x) = -x+x^3 = (x-1)*s1(2,x) = (x-1)*(x+x^2).
  s(3,x) = (x-1)*s(2,x+1) = (x-1)*(-(x+1)+(x+1)^2).
  s(3,x) - s(3,x-1) = -x+x^3 -(-(x-1)+(x-1)^3) = 3*(-x+x^2) = 3*s(2,x).

S. Roman, The Umbral Calculus, Academic Press, New York, 1984.

M. W. Coffey and M. C. Lettington, On Fibonacci Polynomial Expressions for Sums of mth Powers, their implications for Faulhaber's Formula and some Theorems of Fermat, arXiv:1510.05402 [math.NT], 2015.
Igor Victorovich Statsenko, On the ordinal numbers of triangles of generalized special numbers, Innovation science No 2-2, State Ufa, Aeterna Publishing House, 2024, pp. 15-19. In Russian.

Cf. A049444, A049458, A094646, A132393, A105794.

A094645_row := n -> seq((-1)^(n-k)*coeff(expand(pochhammer(x-n+2, n)), x, k), k=0..n): seq(print(A094645_row(n)), n=0..6); # Peter Luschny, May 16 2013

t[n_, k_] /; n >= k >= 0 := t[n, k] = t[n-1, k-1] + (n-2)*t[n-1, k]; t[n_, k_] /; n < k = 0; t[, -1] = 0; t[0, 0] = 1; Flatten[ Table[ t[n, k], {n, 0, 10}, {k, 0, n}] ] (* _Jean-François Alcover, Sep 29 2011, after recurrence *);
Table[CoefficientList[t*(t-1)*Sum[(-1)^(n+m)*t^(m-1)*StirlingS1[n,m],{m,n}],t],{n,1,7}] (* Wouter Meeussen, May 15 2012 *)

E.g.f.: (1-y)^(1-x).
Sum_{k=0..n} T(n,k)*x^k = A000007(n), A000142(n), A000142(n+1), A001710(n+2), A001715(n+3), A001720(n+4), A001725(n+5), A001730(n+6), A049388(n), A049389(n), A049398(n), A051431(n) for x = 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12 respectively. - Philippe Deléham, Nov 13 2007
If we define f(n,i,a) = Sum_{k=0..n-i} binomial(n,k)*Stirling1(n-k,i)*Product_{j=0..k-1} (-a-j), then |T(n,i)| = |f(n,i,-1)|, for n=1,2,...; i=0..n. - Milan Janjic, Dec 21 2008
From Wolfdieter Lang, Jun 20 2011: (Start)
T(n,k) = |S1(n-1,k-1)| - |S1(n-1,k)|, n >= 1, k >= 1, with |S1(n,k)| = A132393(n,k) (unsigned Stirling1).
Recurrence: T(n,k) = T(n-1,k-1) + (n-2)*T(n-1,k) if n >= k >= 0; T(n,k) = 0 if n < k; T(n,-1) = 0; T(0,0) = 1.
E.g.f. column k: (1-x)*((-log(1-x))^k)/k!. (End)
T(n,k) = Sum_{i=0..n} binomial(n,i)*(n-i)!*Stirling1(i,k)*TC(m,n,i) where TC(m,n,k) = Sum_{i=0..n-k} binomial(n+1,n-k-i)*Stirling2(i+m+1,i+1)*(-1)^i, m = 1 for n >= 0. See A130534, A370518 for m=0 and m=2. - Igor Victorovich Statsenko, Feb 27 2024

A049353 A triangle of numbers related to triangle A030526.

Original entry on oeis.org

1, 5, 1, 30, 15, 1, 210, 195, 30, 1, 1680, 2550, 675, 50, 1, 15120, 34830, 14025, 1725, 75, 1, 151200, 502740, 287280, 51975, 3675, 105, 1, 1663200, 7692300, 5961060, 1482705, 151200, 6930, 140, 1, 19958400, 124740000, 126913500, 41545980

Offset: 1

Wolfdieter Lang

a(n,1)= A001720(n+3). a(n,m)=: S1p(5; n,m), a member of a sequence of lower triangular Jabotinsky matrices with nonnegative entries, including S1p(1; n,m)= A008275 (unsigned Stirling first kind), S1p(2; n,m)= A008297(n,m) (unsigned Lah numbers), S1p(3; n,m)= A046089(n,m), S1p(4; n,m)= A049352(n,m).
Signed lower triangular matrix (-1)^(n-m)*a(n,m) is inverse to matrix A049029(n,m) := S2(5; n,m). The monic row polynomials E(n,x) := sum(a(n,m)*x^m,m=1..n), E(0,x) := 1 are exponential convolution polynomials (see A039692 for the definition and a Knuth reference).
a(n,m) enumerates unordered increasing n-vertex m-forests composed of m unary trees (out-degree r from {0,1}) whose vertices of depth (distance from the root) j>=1 come in j+4 colors. The k roots (j=0) each come in one (or no) color. - Wolfdieter Lang, Oct 12 2007
Also the Bell transform of A001720. For the definition of the Bell transform see A264428. - Peter Luschny, Jan 28 2016

			Triangle begins:
  {1};
  {5,1};
  {30,15,1}; E.g., row polynomial E(3,x)=30*x+15*x^2+x^3.
  {210,195,30,1};
  ...
a(4,2)= 195 =4*(5*6)+3*(5*5) from the two types of unordered 2-forests of unary increasing trees associated with the two m=2 parts partitions (1,3) and (2^2) of n=4. The first type has 4 increasing labelings, each coming in (1)*(1*5*6)=30 colored versions, e.g., ((1c1),(2c1,3c5,4c6)) with lcp for vertex label l and color p. Here the vertex labeled 3 has depth j=1, hence 5 colors, c1..c5, can be chosen and the vertex labeled 4 with j=2 can come in 6 colors, e.g., c1..c6. Therefore there are 4*((1)*(1*5*6))=120 forests of this (1,3) type. Similarly the (2,2) type yields 3*((1*5)*(1*5))=75 such forests, e.g., ((1c1,3c4)(2c1,4c5)) or ((1c1,3c5)(2c1,4c2)), etc. - _Wolfdieter Lang_, Oct 12 2007

W. Lang, On generalizations of Stirling number triangles, J. Integer Seqs., Vol. 3 (2000), #00.2.4.
W. Lang, First ten rows.

Cf. A049378 (row sums).

Cf. A134139 (alternating row sums).

# The function BellMatrix is defined in A264428.
# Adds (1,0,0,0, ..) as column 0.
BellMatrix(n -> (n+4)!/24, 10); # Peter Luschny, Jan 28 2016

a[n_, m_] /; n >= m >= 1 := a[n, m] = (4m + n - 1)*a[n-1, m] + a[n-1, m-1]; a[n_, m_] /; n < m = 0; a[, 0] = 0; a[1, 1] = 1; Flatten[Table[a[n, m], {n, 1, 9}, {m, 1, n}]] (* _Jean-François Alcover, Jul 22 2011 *)
BellMatrix[f_Function, len_] := With[{t = Array[f, len, 0]}, Table[BellY[n, k, t], {n, 0, len-1}, {k, 0, len-1}]];
rows = 10;
M = BellMatrix[(#+4)!/24&, rows];
Table[M[[n, k]], {n, 2, rows}, {k, 2, n}] // Flatten (* Jean-François Alcover, Jun 23 2018, after Peter Luschny *)

a(n,k):=(n!*sum((-1)^(k-j)*binomial(k,j)*binomial(n+4*j-1,4*j-1),j,1,k))/(4^k*k!); /* Vladimir Kruchinin, Apr 01 2011 */

a(n, m) = n!*A030526(n, m)/(m!*4^(n-m)); a(n, m) = (4*m+n-1)*a(n-1, m) + a(n-1, m-1), n >= m >= 1; a(n, m)=0, n

a(n,k) = (n!*sum(j=1..k, (-1)^(k-j)*binomial(k,j)*binomial(n+4*j-1,4*j-1)))/(4^k*k!). - Vladimir Kruchinin, Apr 01 2011

A051338 Generalized Stirling number triangle of first kind.

Original entry on oeis.org

1, -6, 1, 42, -13, 1, -336, 146, -21, 1, 3024, -1650, 335, -30, 1, -30240, 19524, -5000, 635, -40, 1, 332640, -245004, 74524, -11985, 1075, -51, 1, -3991680, 3272688, -1139292, 218344, -24885, 1687, -63, 1, 51891840, -46536624, 18083484, -3977764, 541849, -46816, 2506, -76, 1

Offset: 0

Wolfdieter Lang

a(n,m)= ^6P_n^m in the notation of the given reference with a(0,0) := 1. The monic row polynomials s(n,x) := sum(a(n,m)*x^m,m=0..n) which are s(n,x)= product(x-(6+k),k=0..n-1), n >= 1 and s(0,x)=1 satisfy s(n,x+y) = sum(binomial(n,k)*s(k,x)*S1(n-k,y),k=0..n), with the Stirling1 polynomials S1(n,x)=sum(A008275(n,m)*x^m, m=1..n) and S1(0,x)=1. In the umbral calculus (see the S. Roman reference given in A048854) the s(n,x) polynomials are called Sheffer for (exp(6*t),exp(t)-1).

			{1}; {-6,1}; {42,-13,1}; {-336,146,-21,1}; ... s(2,x)= 42-13*x+x^2; S1(2,x)= -x+x^2 (Stirling1).

Mitrinovic, D. S.; Mitrinovic, R. S.; Tableaux d'une classe de nombres relies aux nombres de Stirling. Univ. Beograd. Pubi. Elektrotehn. Fak. Ser. Mat. Fiz. No. 77 1962, 77 pp.

Reinhard Zumkeller, Rows n = 0..125 of triangle, flattened

Unsigned m=0 column sequence is: A001725. Row sums (signed triangle): A001720(n+4)*(-1)^n. Row sums (unsigned triangle): A001730(n+6).

Cf. A000035 A084938.

a051338 n k = a051338_tabl !! n !! k
a051338_row n = a051338_tabl !! n
a051338_tabl = map fst $ iterate (\(row, i) ->
   (zipWith (-) ([0] ++ row) $ map (* i) (row ++ [0]), i + 1)) ([1], 6)
-- Reinhard Zumkeller, Mar 11 2014

t[n_, i_] = Sum[(-1)^k*Binomial[n, k]*Pochhammer[6, k]*StirlingS1[n - k, i], {k, 0, n - i}]; Flatten[Table[t[n, i], {n, 0, 8}, {i, 0, n}]][[1 ;; 45]] (* Jean-François Alcover, Jun 01 2011, after Milan Janjic *)

a(n, m)= a(n-1, m-1) - (n+5)*a(n-1, m), n >= m >= 0; a(n, m) := 0, n

E.g.f. for m-th column of signed triangle: ((log(1+x))^m)/(m!*(1+x)^6).

Triangle (signed) = [ -6, -1, -7, -2, -8, -3, -9, -4, -10, ...] DELTA A000035; triangle (unsigned) = [6, 1, 7, 2, 8, 3, 9, 4, 10, 5, 11, ...] DELTA A000035; where DELTA is Deléham's operator defined in A084938.

If we define f(n,i,a)=sum(binomial(n,k)*stirling1(n-k,i)*product(-a-j,j=0..k-1),k=0..n-i), then T(n,i) = f(n,i,6), for n=1,2,...;i=0...n. - Milan Janjic, Dec 21 2008

A049459 Generalized Stirling number triangle of first kind.

Original entry on oeis.org

1, -4, 1, 20, -9, 1, -120, 74, -15, 1, 840, -638, 179, -22, 1, -6720, 5944, -2070, 355, -30, 1, 60480, -60216, 24574, -5265, 625, -39, 1, -604800, 662640, -305956, 77224, -11515, 1015, -49, 1, 6652800, -7893840, 4028156, -1155420, 203889

Offset: 0

Wolfdieter Lang

a(n,m)= ^4P_n^m in the notation of the given reference with a(0,0) := 1.
The monic row polynomials s(n,x) := sum(a(n,m)*x^m,m=0..n) which are s(n,x)= product(x-(4+k),k=0..n-1), n >= 1 and s(0,x)=1 satisfy s(n,x+y) = sum(binomial(n,k)*s(k,x)*S1(n-k,y),k=0..n), with the Stirling1 polynomials S1(n,x)=sum(A008275(n,m)*x^m, m=1..n) and S1(0,x)=1.
In the umbral calculus (see the S. Roman reference given in A048854) the s(n,x) polynomials are called Sheffer for (exp(4*t),exp(t)-1).
See A143493 for the unsigned version of this array and A143496 for the inverse. - Peter Bala, Aug 25 2008

			   1;
  -4,    1;
  20,   -9,   1;
-120,   74, -15,   1;
840, -638, 179, -22, 1;

Mitrinovic, D. S.; Mitrinovic, R. S.; Tableaux d'une classe de nombres relies aux nombres de Stirling. Univ. Beograd. Pubi. Elektrotehn. Fak. Ser. Mat. Fiz. No. 77 1962, 77 pp.

Reinhard Zumkeller, Rows n = 0..125 of triangle, flattened

Unsigned column sequences are: A001715-A001719. Cf. A008275 (Stirling1 triangle), A049458, A049460. Row sums (signed triangle): A001710(n+2)*(-1)^n. Row sums (unsigned triangle): A001720(n+4).
Cf. A000035 A084938.
A143493, A143496. - Peter Bala, Aug 25 2008

a049459 n k = a049459_tabl !! n !! k
a049459_row n = a049459_tabl !! n
a049459_tabl = map fst $ iterate (\(row, i) ->
   (zipWith (-) ([0] ++ row) $ map (* i) (row ++ [0]), i + 1)) ([1], 4)
-- Reinhard Zumkeller, Mar 11 2014

A049459_row := n -> seq((-1)^(n-k)*coeff(expand(pochhammer(x+4, n)), x, k), k=0..n): seq(print(A049459_row(n)),n=0..8); # Peter Luschny, May 16 2013

a[n_, m_] /; 0 <= m <= n := a[n, m] = a[n-1, m-1] - (n+3)*a[n-1, m];
a[n_, m_] /; n < m = 0;
a[_, -1] = 0; a[0, 0] = 1;
Table[a[n, m], {n, 0, 10}, {m, 0, n}] // Flatten (* Jean-François Alcover, Jun 19 2018 *)

a(n, m)= a(n-1, m-1) - (n+3)*a(n-1, m), n >= m >= 0; a(n, m) := 0, n

Triangle (signed) = [ -4, -1, -5, -2, -6, -3, -7, -4, -8, ...] DELTA [1, 0, 1, 0, 1, 0, 1, 0, ...]; triangle (unsigned) = [4, 1, 5, 2, 6, 3, 7, 4, 8, 5, ...] DELTA [1, 0, 1, 0, 1, 0, 1, 0, 1, 0, ...]; where DELTA is Deléham's operator defined in A084938 (unsigned version in A143493).

If we define f(n,i,a)=sum(binomial(n,k)*stirling1(n-k,i)*product(-a-j,j=0..k-1),k=0..n-i), then T(n,i) = f(n,i,4), for n=1,2,...;i=0...n. - Milan Janjic, Dec 21 2008

Second formula corrected by Philippe Deléham, Nov 09 2008

Previous Showing 11-20 of 45 results. Next

cp's OEIS Frontend

A090802 Triangle read by rows: a(n,k) = number of k-length walks in the Hasse diagram of a Boolean algebra of order n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

Extensions

A062140 Coefficient triangle of generalized Laguerre polynomials n!*L(n,4,x) (rising powers of x).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Python

Formula

A111531 Row 4 of table A111528.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A051431 a(n) = (n+10)!/10!.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Haskell

Magma

Mathematica

Formula

A111532 Row 5 of table A111528.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A062199 Second (unsigned) column sequence of triangle A062140 (generalized a=4 Laguerre).

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Magma

Mathematica

PARI

Sage

Formula

Extensions

A094645 Triangle of generalized Stirling numbers of the first kind.

Views

Author

Keywords

Comments

Examples