theorem_check / liu_wang

Theorem check of the node's own rule. All operations

183 sequences

• A227450: Triangular array read by rows. T(n,k) = A008277(n,k)*2^k; n >= 1, 1 <= k <= n.
  2 · 2, 4 · 2, 12, 8 · 2, 28, 48, 16 … row sums 2, 6, 22, 94, 454, 2430, 14214, 89918, …
  A227450 (−∞, 0) nonnegative
• type_b_eulerian
  1 · 1, 1 · 1, 6, 1 · 1, 23, 23, 1 … row sums 1, 2, 8, 48, 384, 3840, 46080, 645120, …
  (−∞, 0) nonnegative
• A225117: Triangle read by rows, coefficients of the generalized Eulerian polynomials A_{n, 3}(x) in descending order.
  1 · 2, 1 · 4, 13, 1 · 8, 93, 60, 1 … row sums 1, 3, 18, 162, 1944, 29160, 524880, …
  A225117 (−∞, 0) nonnegative
• A257608: Triangle read by rows: T(n,k) = t(n-k, k); t(n,m) = f(m)*t(n-1,m) + f(n)*t(n,m-1), where f(x) = 9*x + 1.
  1 · 1, 1 · 1, 20, 1 · 1, 219, 219, 1 … row sums 1, 2, 22, 440, 12760, 484880, 22789360, …
  A257608 (−∞, 0) nonnegative
• A344565: Triangle read by rows, for 0 <= k <= n: T(n, k) = binomial(n, k) * binomial(binomial(n + 3, 2), 2).
  3 · 15, 15 · 45, 90, 45 · 105, 315, 315, 105 … row sums 3, 30, 180, 840, 3360, 12096, 40320, …
  A344565 (−∞, 0) nonnegative rational roots
• A356546: Triangle read by rows. T(n, k) = RisingFactorial(n + 1, n) / (k! * (n - k)!).
  1 · 2, 2 · 6, 12, 6 · 20, 60, 60, 20 … row sums 1, 4, 24, 160, 1120, 8064, 59136, …
  A356546 (−∞, 0) nonnegative rational roots
• A142458: Triangle T(n,k) read by rows: T(n,k) = 1 if k=1 or k=n, otherwise T(n,k) = (3*n-3*k+1)*T(n-1,k-1) + (3*k-2)*T(n-1,k).
  1 · 1, 1 · 1, 8, 1 · 1, 39, 39, 1 … row sums 1, 2, 10, 80, 880, 12320, 209440, …
  A142458 (−∞, 0) nonnegative
• A225467: Triangle read by rows, T(n, k) = 4^k*S_4(n, k) where S_m(n, k) are the Stirling-Frobenius subset numbers of order m; n >= 0, k >= 0.
  1 · 3, 4 · 9, 40, 16 · 27, 316, 336, 64 … row sums 1, 7, 65, 743, 9921, 150151, 2526593, …
  A225467 (−∞, 0) nonnegative
• A035469: Triangle read by rows, the Bell transform of the triple factorial numbers A007559(n+1) without column 0.
  1 · 4, 1 · 28, 12, 1 · 280, 160, 24, 1 … row sums 1, 5, 41, 465, 6721, 117941, 2433145, …
  A035469 (−∞, 0) nonnegative
• A257620: Triangle read by rows: T(n, k) = t(n-k, k), where t(0,0) = 1, t(n,m) = 0 if n < 0 or m < 0, else t(n,m) = f(m)*t(n-1,m) + f(n)*t(n,m-1), and f(n) = 3*n + 3.
  1 · 3, 3 · 9, 36, 9 · 27, 297, 297, 27 … row sums 1, 6, 54, 648, 9720, 174960, 3674160, …
  A257620 (−∞, 0) nonnegative
• A163936: Triangle related to the o.g.f.s. of the right-hand columns of A130534 (E(x,m=1,n)).
  1 · 1 · 2, 1 · 6, 8, 1 … row sums 1, 1, 3, 15, 105, 945, 10395, 135135, …
  A163936 (−∞, 0) nonnegative
• A038324: Triangle read by rows whose (i,j)-th entry is binomial(i,j)*11^(i-j)*10^j.
  1 · 11, 10 · 121, 220, 100 · 1331, 3630, 3300, 1000 … row sums 1, 21, 441, 9261, 194481, 4084101, …
  A038324 (−∞, 0) nonnegative rational roots
• A257622: Triangle read by rows: T(n,k) = t(n-k, k); t(n,m) = f(m)*t(n-1,m) + f(n)*t(n,m-1), where f(x) = 3*x + 4.
  1 · 4, 4 · 16, 56, 16 · 64, 552, 552, 64 … row sums 1, 8, 88, 1232, 20944, 418880, 9634240, …
  A257622 (−∞, 0) nonnegative
• A201637: Triangle of second-order Eulerian numbers T(n,k) (n>=0, 0 <= k <= n) read by rows.
  1 · 1 · 1, 2 · 1, 8, 6 … row sums 1, 1, 3, 15, 105, 945, 10395, 135135, …
  A201637 (−∞, 0) nonnegative
• A038259: Triangle whose (i,j)-th entry is binomial(i,j)*6^(i-j)*5^j.
  1 · 6, 5 · 36, 60, 25 · 216, 540, 450, 125 … row sums 1, 11, 121, 1331, 14641, 161051, …
  A038259 (−∞, 0) nonnegative rational roots
• A008955: Triangle of central factorial numbers |t(2n,2n-2k)| read by rows.
  1 · 1, 1 · 1, 5, 4 · 1, 14, 49, 36 … row sums 1, 2, 10, 100, 1700, 44200, 1635400, …
  A008955 (−∞, 0) nonnegative rational roots
• A322944: Coefficients of a family of orthogonal polynomials. Triangle read by rows, T(n, k) for 0 <= k <= n.
  1 · 1, 1 · 2, 6, 1 · 6, 38, 15, 1 … row sums 1, 2, 9, 60, 513, 5286, 63417, 865824, …
  A322944 (−∞, 0) nonnegative
• Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*2^j.
  144, 48, 4 · 1728, 864, 144, 8 … row sums 196, 2744, 38416, 537824, 7529536, …
  (−∞, 0) nonnegative rational roots
• Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*10^j.
  144, 240, 100 · 1728, 4320, 3600, 1000 … row sums 484, 10648, 234256, 5153632, 113379904, …
  (−∞, 0) nonnegative rational roots
• A128813: Triangle of coefficients of (x+1)*(x+3)*(x+6)*...*(x+n(n+1)/2).
  1 · 1, 1 · 1, 4, 3 · 1, 10, 27, 18 … row sums 1, 2, 8, 56, 616, 9856, 216832, …
  A128813 (−∞, 0) nonnegative rational roots
• A257614: Triangle read by rows: T(n, k) = t(n-k, k), where t(0,0) = 1, t(n,m) = 0 if n < 0 or m < 0, else t(n,m) = f(m)*t(n-1,m) + f(n)*t(n,m-1), and f(n) = 5*n + 2.
  1 · 2, 2 · 4, 28, 4 · 8, 244, 244, 8 … row sums 1, 4, 36, 504, 9576, 229824, 6664896, …
  A257614 (−∞, 0) nonnegative
• A013613: Triangle of coefficients in expansion of (1+6x)^n.
  1 · 1, 6 · 1, 12, 36 · 1, 18, 108, 216 … row sums 1, 7, 49, 343, 2401, 16807, 117649, …
  A013613 (−∞, 0) nonnegative rational roots
• A173018: Euler's triangle: triangle of Eulerian numbers T(n,k) (n>=0, 0 <= k <= n) read by rows.
  1 · 1 · 1, 1 · 1, 4, 1 … row sums 1, 1, 2, 6, 24, 120, 720, 5040, …
  A173018 (−∞, 0) nonnegative
• A130534: Triangle T(n,k), 0 <= k <= n, read by rows, giving coefficients of the polynomial (x+1)(x+2)...(x+n), expanded in increasing powers of x. T(n,k) is also the unsigned Stirling number |s(n+1, …
  1 · 1, 1 · 2, 3, 1 · 6, 11, 6, 1 … row sums 1, 2, 6, 24, 120, 720, 5040, 40320, …
  A130534 (−∞, −1] nonnegative rational roots
• A027466: Triangle whose (i,j)-th entry is binomial(i,j)*7^(i-j).
  1 · 7, 1 · 49, 14, 1 · 343, 147, 21, 1 … row sums 1, 8, 64, 512, 4096, 32768, 262144, …
  A027466 (−∞, 0) nonnegative rational roots
• A008278: Reflected triangle of Stirling numbers of 2nd kind, S(n,n-k+1), n >= 1, 1 <= k <= n.
  1 · 1, 1 · 1, 3, 1 · 1, 6, 7, 1 … row sums 1, 2, 5, 15, 52, 203, 877, 4140, …
  A008278 (−∞, 0) nonnegative
• A257624: Triangle read by rows: T(n,k) = t(n-k, k); t(n,m) = f(m)*t(n-1,m) + f(n)*t(n,m-1), where f(x) = 3*x + 5.
  1 · 5, 5 · 25, 80, 25 · 125, 915, 915, 125 … row sums 1, 10, 130, 2080, 39520, 869440, …
  A257624 (−∞, 0) nonnegative
• A038335: Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*9^j.
  1 · 12, 9 · 144, 216, 81 · 1728, 3888, 2916, 729 … row sums 1, 21, 441, 9261, 194481, 4084101, …
  A038335 (−∞, 0) nonnegative rational roots
• A391533: The truncated (4,4,1)-Pascal triangle, given by 4*C(n-2, k) + 4*C(n-2, k-1) + C(n-2, k-2) for n>=2.
  4, 4, 1 · 4, 8, 5, 1 · 4, 12, 13, 6, 1 … row sums 9, 18, 36, 72, 144, 288, 576, 1152, …
  A391533 (−∞, 0) nonnegative rational roots
• A257618: Triangle read by rows: T(n,k) = t(n-k, k); t(n,m) = f(m)*t(n-1,m) + f(n)*t(n,m-1), where f(x) = 8*x + 2.
  1 · 2, 2 · 4, 40, 4 · 8, 472, 472, 8 … row sums 1, 4, 48, 960, 26880, 967680, 42577920, …
  A257618 (−∞, 0) nonnegative
• Triangle read by rows: Stirling2 triangle with scaled diagonals (powers of 7).
  49, 21, 1 · 343, 343, 42, 1 · 2401, 5145, 1225, 70, 1 … row sums 71, 729, 8842, 125399, 2026249, …
  (−∞, 0) nonnegative
• A027467: Triangle whose (n,k)-th entry is 15^(n-k)*binomial(n,k).
  1 · 15, 1 · 225, 30, 1 · 3375, 675, 45, 1 … row sums 1, 16, 256, 4096, 65536, 1048576, …
  A027467 (−∞, 0) nonnegative rational roots
• A008292: Eulerian
  1 · 1, 1 · 1, 4, 1 · 1, 11, 11, 1 … row sums 1, 2, 6, 24, 120, 720, 5040, 40320, …
  A008292 (−∞, 0) nonnegative