parent_provers / periodic_product
Shared parent provers on the node's own rule. All operations
Parameters (3)
- all
- periodic_product 85 proof steps, 85 sequences
- root_domain 32 proof steps, 32 sequences
- paper_theorem 19 proof steps, 18 sequences
85 sequences
-
A038220: Triangle whose (i,j)-th entry is binomial(i,j)*3^(i-j)*2^j.
1 · 3, 2 · 9, 12, 4 · 27, 54, 36, 8 … row sums 1, 5, 25, 125, 625, 3125, 15625, 78125, …
-
A028326: Twice Pascal's triangle A007318: T(n,k) = 2*C(n,k).
2 · 2, 2 · 2, 4, 2 · 2, 6, 6, 2 … row sums 2, 4, 8, 16, 32, 64, 128, 256, …
-
A034870: Even-numbered rows of Pascal's triangle.
1 · 1, 2, 1 · 1, 4, 6, 4, 1 · 1, 6, 15, 20, 15, 6, 1 … row sums 1, 4, 16, 64, 256, 1024, 4096, 16384, …
-
A038281: Triangle whose (i,j)-th entry is binomial(i,j)*8^(i-j)*3^j.
64, 48, 9 · 512, 576, 216, 27 … row sums 121, 1331, 14641, 161051, 1771561, …
-
basis-map coefficients of Square array of binomial coefficients T(n,k) = binomial(n,k), n >= 0, k >= 0, read by downward antidiagonals.
1 · 0, 1 · 0, 0, 1 · 0, 0, 0, 1 … row sums 1, 1, 1, 1, 1, 1, 1, 1, …
-
Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*6^j.
121, 132, 36 · 1331, 2178, 1188, 216 … row sums 289, 4913, 83521, 1419857, 24137569, …
-
A038255: Triangle whose (i,j)-th entry is binomial(i,j)*6^(i-j).
1 · 6, 1 · 36, 12, 1 · 216, 108, 18, 1 … row sums 1, 7, 49, 343, 2401, 16807, 117649, …
-
Triangle read by rows: (i,j)-th entry is binomial(i,j)*3^(i-j)*8^j.
9, 48, 64 · 27, 216, 576, 512 … row sums 121, 1331, 14641, 161051, 1771561, …
-
Triangle whose (i,j)-th entry is binomial(i,j)*10^(i-j)*12^j.
100, 240, 144 · 1000, 3600, 4320, 1728 … row sums 484, 10648, 234256, 5153632, 113379904, …
-
Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*5^j.
121, 110, 25 · 1331, 1815, 825, 125 … row sums 256, 4096, 65536, 1048576, 16777216, …
-
A013611: Triangle of coefficients in expansion of (1+4x)^n.
1 · 1, 4 · 1, 8, 16 · 1, 12, 48, 64 … row sums 1, 5, 25, 125, 625, 3125, 15625, 78125, …
-
A038322: Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*8^j.
1 · 11, 8 · 121, 176, 64 · 1331, 2904, 2112, 512 … row sums 1, 19, 361, 6859, 130321, 2476099, …
-
A139548: Triangle T(n,k) with the coefficient of [x^k] of the polynomial (2*(x+1)^2)^n in row n, column k, 0<=k<=2n.
1 · 2, 4, 2 · 4, 16, 24, 16, 4 … row sums 1, 8, 64, 512, 4096, 32768, 262144, …
-
Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*11^j.
144, 264, 121 · 1728, 4752, 4356, 1331 … row sums 529, 12167, 279841, 6436343, 148035889, …
-
A103633: Triangle read by rows: triangle of repeated stepped binomial coefficients.
1 · 0, 1 · 0, 1, 1 · 0, 0, 1, 1 … row sums 1, 1, 2, 2, 4, 4, 8, 8, …
-
A038279: Triangle whose (i,j)-th entry is binomial(i,j)*8^(i-j)*1^j.
1 · 8, 1 · 64, 16, 1 · 512, 192, 24, 1 … row sums 1, 9, 81, 729, 6561, 59049, 531441, …
-
A010054: a(n) = 1 if n is a triangular number, otherwise 0.
1 · 1 · 1 · 1 … row sums 1, 1, 1, 1, 1, 1, 1, 1, …
-
basis-map coefficients of Square array of binomial coefficients T(n,k) = binomial(n,k), n >= 0, k >= 0, read by downward antidiagonals. shifted by x -> -x + 0
1 · 0, -1 · 0, 0, 1 · 0, 0, 0, -1 … row sums 1, -1, 1, -1, 1, -1, 1, -1, …
-
A038231: Triangle whose (i,j)-th entry is binomial(i,j)*4^(i-j).
1 · 4, 1 · 16, 8, 1 · 64, 48, 12, 1 … row sums 1, 5, 25, 125, 625, 3125, 15625, 78125, …
-
A038291: Triangle whose (i,j)-th entry is binomial(i,j)*9^(i-j)*1^j.
1 · 9, 1 · 81, 18, 1 · 729, 243, 27, 1 … row sums 1, 10, 100, 1000, 10000, 100000, …
-
A152830: Triangle read by rows, A007318 rows repeated four times .
1 · 1 · 1 · 1 … row sums 1, 1, 1, 1, 2, 2, 2, 2, …
-
A152198: Triangle read by rows, A007318 rows repeated.
1 · 1 · 1, 1 · 1, 1 … row sums 1, 1, 2, 2, 4, 4, 8, 8, …
-
Triangle whose (i,j)-th entry is binomial(i,j)*10^(i-j)*3^j.
100, 60, 9 · 1000, 900, 270, 27 … row sums 169, 2197, 28561, 371293, 4826809, …
-
basis-map coefficients of Triangle read by rows: T(n,k) = binomial(k,n-k). shifted by x -> -x + 0
1 · 0, -1 · 0, 0, 1 · 0, 0, 0, -1 … row sums 1, -1, 1, -1, 1, -1, 1, -1, …
-
A038323: Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*9^j.
1 · 11, 9 · 121, 198, 81 · 1331, 3267, 2673, 729 … row sums 1, 20, 400, 8000, 160000, 3200000, …
-
A026374: Triangular array T read by rows: T(n,0) = T(n,n) = 1 for all n >= 0, T(n,k) = T(n-1,k-1) + T(n-1,k) for odd n and 1< = k <= n-1, T(n,k) = T(n-1,k-1) + T(n-1,k) + T(n-2,k-1) for even n and 1 …
1 · 1, 1 · 1, 3, 1 · 1, 4, 4, 1 … row sums 1, 2, 5, 10, 25, 50, 125, 250, …
-
A120910: Triangle read by rows: T(n,k) is the number of ternary words of length n having k levels (n >= 1, 0 <= k <= n-1). A level is a pair of identical consecutive letters.
3 · 6, 3 · 12, 12, 3 · 24, 36, 18, 3 … row sums 3, 9, 27, 81, 243, 729, 2187, 6561, …
-
A013620: Triangle of coefficients in expansion of (2+3x)^n.
1 · 2, 3 · 4, 12, 9 · 8, 36, 54, 27 … row sums 1, 5, 25, 125, 625, 3125, 15625, 78125, …
-
Triangle of Sulanke numbers: T(n,k) = T(n,k-1) + a(n-1,k) for n+k even and a(n,k) = a(n,k-1) + 2*a(n-1,k) for n+k odd.
1, 3, 2 · 1, 5, 8, 4 · 1, 6, 13, 12, 4 … row sums 6, 18, 36, 108, 216, 648, 1296, 3888, …
-
Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*7^j.
144, 168, 49 · 1728, 3024, 1764, 343 … row sums 361, 6859, 130321, 2476099, 47045881, …
-
basis-map coefficients of A scaled Hermite triangle.
0, 0, 1 · 0, 0, 0, 1 · 0, 0, 0, 0, 1 … row sums 1, 1, 1, 1, 1, 1, 1, 1, …
-
Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*3^j.
144, 72, 9 · 1728, 1296, 324, 27 … row sums 225, 3375, 50625, 759375, 11390625, …
-
Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*8^j.
144, 192, 64 · 1728, 3456, 2304, 512 … row sums 400, 8000, 160000, 3200000, 64000000, …
-
A013610: Triangle of coefficients in expansion of (1+3*x)^n.
1 · 1, 3 · 1, 6, 9 · 1, 9, 27, 27 … row sums 1, 4, 16, 64, 256, 1024, 4096, 16384, …
-
A023531: a(n) = 1 if n is of the form m(m+3)/2, otherwise 0.
1 · 0, 1 · 0, 0, 1 · 0, 0, 0, 1 … row sums 1, 1, 1, 1, 1, 1, 1, 1, …
-
A013609: Triangle of coefficients in expansion of (1+2*x)^n.
1 · 1, 2 · 1, 4, 4 · 1, 6, 12, 8 … row sums 1, 3, 9, 27, 81, 243, 729, 2187, …
-
A152842: Triangle T(n,k), 0 <= k <= n, read by rows, given by [1,0,-1,0,0,0,0,0,0,...] DELTA [3,-2,-1,0,0,0,0,0,0,...] where DELTA is the operator defined in A084938.
1 · 1, 3 · 1, 4, 3 · 1, 7, 15, 9 … row sums 1, 4, 8, 32, 64, 256, 512, 2048, …
-
basis-map coefficients of Riordan array (1+2x,x(1+x)). shifted by x -> -x + 0
1 · -1, -1 · 1, 2, 1 · -1, -3, -3, -1 … row sums 1, -2, 4, -8, 16, -32, 64, -128, …
-
A120909: Triangle read by rows: T(n,k) is the number of ternary words of length n having k runs (i.e., subwords of maximal length) of identical letters (1 <= k <= n).
3 · 3, 6 · 3, 12, 12 · 3, 18, 36, 24 … row sums 3, 9, 27, 81, 243, 729, 2187, 6561, …
-
Riordan array (1-x,x/(1-x)).
0, 0, 1 · 0, 0, 1, 1 · 0, 0, 1, 2, 1 … row sums 1, 2, 4, 8, 16, 32, 64, 128, …
-
A038243: Triangle whose (i,j)-th entry is 5^(i-j)*binomial(i,j).
1 · 5, 1 · 25, 10, 1 · 125, 75, 15, 1 … row sums 1, 6, 36, 216, 1296, 7776, 46656, …
-
A274498: Triangle read by rows: T(n,k) is the number of ternary words of length n having degree of asymmetry equal to k (n>=0; 0<=k<=n/2).
1 · 3 · 3, 6 · 9, 18 … row sums 1, 3, 9, 27, 81, 243, 729, 2187, …
-
Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*7^j.
121, 154, 49 · 1331, 2541, 1617, 343 … row sums 324, 5832, 104976, 1889568, 34012224, …
-
A299989: Triangle read by rows: T(n,0) = 0 for n >= 0; T(n,2*k+1) = A152842(2*n,2*(n-k)) and T(n,2*k) = A152842(2*n,2*(n-k)+1) for n >= k > 0.
0, 1 · 0, 3, 4, 1 · 0, 9, 24, 22, 8, 1 … row sums 1, 8, 64, 512, 4096, 32768, 262144, …
-
A038325: Triangle read by rows whose (i,j)-th entry is binomial(i,j)*11^(i-j)*11^j.
1 · 11, 11 · 121, 242, 121 · 1331, 3993, 3993, 1331 … row sums 1, 22, 484, 10648, 234256, 5153632, …
-
A038327: Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*1^j.
1 · 12, 1 · 144, 24, 1 · 1728, 432, 36, 1 … row sums 1, 13, 169, 2197, 28561, 371293, …
-
A027465: Cube of lower triangular normalized binomial matrix.
1 · 3, 1 · 9, 6, 1 · 27, 27, 9, 1 … row sums 1, 4, 16, 64, 256, 1024, 4096, 16384, …
-
A038221: Triangle whose (i,j)-th entry is binomial(i,j)*3^(i-j)*3^j.
1 · 3, 3 · 9, 18, 9 · 27, 81, 81, 27 … row sums 1, 6, 36, 216, 1296, 7776, 46656, …
-
A152828: Triangle read by rows, A007318 rows repeated three times.
1 · 1 · 1 · 1, 1 … row sums 1, 1, 1, 2, 2, 2, 4, 4, …
-
A038326: Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*12^j.
1 · 11, 12 · 121, 264, 144 · 1331, 4356, 4752, 1728 … row sums 1, 23, 529, 12167, 279841, 6436343, …