cp's OEIS Frontend

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.

A035002 Square array read by antidiagonals: T(m,n) = Sum_{k=1..m-1} T(m-k,n) + Sum_{k=1..n-1} T(m,n-k).

This page as a plain text file.
%I A035002 #104 Jan 14 2025 12:49:56
%S A035002 1,1,1,2,2,2,4,5,5,4,8,12,14,12,8,16,28,37,37,28,16,32,64,94,106,94,
%T A035002 64,32,64,144,232,289,289,232,144,64,128,320,560,760,838,760,560,320,
%U A035002 128,256,704,1328,1944,2329,2329,1944,1328,704,256,512,1536,3104,4864,6266
%N A035002 Square array read by antidiagonals: T(m,n) = Sum_{k=1..m-1} T(m-k,n) + Sum_{k=1..n-1} T(m,n-k).
%C A035002 T(m,n) is the sum of all the entries above it plus the sum of all the entries to the left of it.
%C A035002 T(m,n) equals the number of ways to move a chess rook from the lower left corner to square (m,n), with the rook moving only up or right. - _Francisco Santos_, Oct 20 2005
%C A035002 T(m+1,n+1) is the number of nim games that start with two piles of stones of sizes m and n. - Martin J. Erickson (erickson(AT)truman.edu), Dec 05 2008
%C A035002 The same sequences arises from reading the following triangle by rows: Start with 1, then use a Pascal-like rule, where each new entry is the sum of all terms in the two diagonals that converge at that point. See example below. - _J. M. Bergot_, Jun 08 2013
%C A035002 T(n,k) is odd iff (n,k) = (1,1), k = n-1, or k = n+1. - _Peter Kagey_, Apr 20 2020
%H A035002 Peter Kagey, <a href="/A035002/b035002.txt">Table of n, a(n) for n = 1..10011</a> (first 141 antidiagonals, flattened)
%H A035002 C. Coker, <a href="http://dx.doi.org/10.1016/S0012-365X(03)00037-2">Enumerating a class of lattice paths</a>, Discrete Math., 271 (2003), 13-28.
%H A035002 M. Erickson, S. Fernando, and K. Tran, <a href="https://www.semanticscholar.org/paper/Enumerating-Rook-and-Queen-Paths-Erickson-Fernando/fc8d32756ec73ccae8b28ad93431c13c571c6f10">Enumerating Rook and Queen Paths</a>, Bulletin of the Institute for Combinatorics and Its Applications, Volume 60 (2010), 37-48.
%F A035002 G.f. T(n; x) for n-th row satisfies: T(n; x) = Sum_{k=1..n} (1+x^k)*T(n-k; x), T(0; x) = 1. - _Vladeta Jovovic_, Sep 03 2002
%F A035002 T(m+1,n+1) = 2*T(m+1,n) + 2*T(m,n+1) - 3*T(m,n); T(n,1) = T(1,n) = A011782(n). - _Francisco Santos_, Oct 20 2005
%F A035002 G.f.: ((x-1)*y-x+1)/((3*x-2)*y-2*x+1). - _Vladimir Kruchinin_, Apr 14 2015
%F A035002 T(n,m) = Sum_{i=0..m} C(m-1,m-i)*Sum_{k=0..n} C(k+i,i)*C(n-1,n-k). - _Vladimir Kruchinin_, Apr 14 2015
%F A035002 T(n,m) = T(m,n) for all n and m. - _Michael Somos_, Oct 04 2023
%F A035002 T(n,2) = (n+2)*2^(n-3) for n>1; T(n,3) = (n^2+11*n+14)*2^(n-5) for n>1 - _Erich Friedman_, Jan 14 2025
%e A035002 Table begins:
%e A035002   1  1  2   4   8  16   32   64 ...
%e A035002   1  2  5  12  28  64  144  320 ...
%e A035002   2  5 14  37  94 232  560 1328 ...
%e A035002   4 12 37 106 289 760 1944 4864 ...
%e A035002 Alternative construction as a triangle:
%e A035002                1
%e A035002              1   1
%e A035002            2   2   2
%e A035002          4   5   5   4
%e A035002        8  12  14  12   8
%e A035002     16  28  37  37  28  16
%p A035002 A035002 := proc(m,n)
%p A035002     option remember;
%p A035002     if n = 1 and m= 1 then
%p A035002         1;
%p A035002     elif m = 1 then
%p A035002         2^(n-2) ;
%p A035002     elif n = 1 then
%p A035002         2^(m-2) ;
%p A035002     else
%p A035002         add( procname(m-k,n),k=1..m-1) + add( procname(m,n-k),k=1..n-1) ;
%p A035002     end if;
%p A035002 end proc: # _R. J. Mathar_, Jun 06 2013
%t A035002 T[n_, 1] = 2^(n-2); T[1, n_] = 2^(n-2); T[1, 1] = 1; T[m_, n_] := T[m, n] = Sum[T[m-k, n], {k, 1, m-1}] + Sum[T[m, n-k], {k, 1, n-1}]; Flatten[Table[T[m-n+1 , n], {m, 1, 11}, {n, 1, m}]] (* _Jean-François Alcover_, Nov 04 2011 *)
%t A035002 nMax = 11; T = (((x - 1)*y - x + 1)/((3*x - 2)*y - 2*x + 1) + O[x]^nMax // Normal // Expand) + O[y]^nMax // Normal // Expand // CoefficientList[#, {x, y}]&; Table[T[[n - k + 1, k]], {n, 1, nMax}, {k, 1, n}] // Flatten (* _Jean-François Alcover_, Feb 18 2018, after _Vladimir Kruchinin_ *)
%t A035002 T[ n_, m_] := SeriesCoefficient[ (1 - x)*(1 - y)/( 1 - 2*x - 2*y + 3*x*y), {x, 0, n}, {y, 0, m}]; (* _Michael Somos_, Oct 05 2023 *)
%o A035002 (Maxima)
%o A035002 T(n,m):=sum(binomial(m-1,m-i)*sum(binomial(k+i,i)*binomial(n-1,n-k),k,0,n),i,0,m); /* _Vladimir Kruchinin_, Apr 14 2015 */
%Y A035002 Cf. A035001, A051708, A025192 (antidiagonal sums).
%K A035002 nonn,tabl,easy,nice
%O A035002 1,4
%A A035002 _Erich Friedman_