A110556 -id:A110556 - cp's OEIS frontend

A001700 a(n) = binomial(2*n+1, n+1): number of ways to put n+1 indistinguishable balls into n+1 distinguishable boxes = number of (n+1)-st degree monomials in n+1 variables = number of monotone maps from 1..n+1 to 1..n+1.

1, 3, 10, 35, 126, 462, 1716, 6435, 24310, 92378, 352716, 1352078, 5200300, 20058300, 77558760, 300540195, 1166803110, 4537567650, 17672631900, 68923264410, 269128937220, 1052049481860, 4116715363800, 16123801841550, 63205303218876, 247959266474052

Offset: 0

N. J. A. Sloane

To show for example that C(2n+1, n+1) is the number of monotone maps from 1..n + 1 to 1..n + 1, notice that we can describe such a map by a nondecreasing sequence of length n + 1 with entries from 1 to n + 1. The number k of increases in this sequence is anywhere from 0 to n. We can specify these increases by throwing k balls into n+1 boxes, so the total is Sum_{k = 0..n} C((n+1) + k - 1, k) = C(2*n+1, n+1).
Also number of ordered partitions (or compositions) of n + 1 into n + 1 parts. E.g., a(2) = 10: 003, 030, 300, 012, 021, 102, 120, 210, 201, 111. - Mambetov Bektur (bektur1987(AT)mail.ru), Apr 17 2003
Also number of walks of length n on square lattice, starting at origin, staying in first and second quadrants. - David W. Wilson, May 05 2001. (E.g., for n = 2 there are 10 walks, all starting at 0, 0: 0, 1 -> 0, 0; 0, 1 -> 1, 1; 0, 1 -> 0, 2; 1, 0 -> 0, 0; 1, 0 -> 1, 1; 1, 0 -> 2, 0; 1, 0 -> 1, -1; -1, 0 -> 0, 0; -1, 0 -> -1, 1; -1, 0-> -2, 0.)
Also total number of leaves in all ordered trees with n + 1 edges.
Also number of digitally balanced numbers [A031443] from 2^(2*n+1) to 2^(2*n+2). - Naohiro Nomoto, Apr 07 2001
Also number of ordered trees with 2*n + 2 edges having root of even degree and nonroot nodes of outdegree 0 or 2. - Emeric Deutsch, Aug 02 2002
Also number of paths of length 2*d(G) connecting two neighboring nodes in optimal chordal graph of degree 4, G(2*d(G)^2 + 2*d(G) + 1, 2d(G) + 1), where d(G) = diameter of graph G. - S. Bujnowski (slawb(AT)atr.bydgoszcz.pl), Feb 11 2002
Define an array by m(1, j) = 1, m(i, 1) = i, m(i, j) = m(i, j-1) + m(i-1, j); then a(n) = m(n, n), diagonal of A165257 - Benoit Cloitre, May 07 2002
Also the numerator of the constant term in the expansion of cos^(2*n)(x) or sin^(2*n)(x) when the denominator is 2^(2*n-1). - Robert G. Wilson v
Consider the expansion of cos^n(x) as a linear combination of cosines of multiple angles. If n is odd, then the expansion is a combination of a*cos((2*k-1)*x)/2^(n-1) for all 2*k - 1 <= n. If n is even, then the expansion is a combination of a*cos(2k*x)/2^(n-1) terms plus a constant. "The constant term, [a(n)/2^(2n-1)], is due to the fact that [cos^2n(x)] is never negative, i.e., electrical engineers would say the average or 'dc value' of [cos^(2*n)(x)] is [a(n)/2^(2*n-1)]. The dc value of [cos^(2*n-1)(x)] on the other hand, is zero because it is symmetrical about the horizontal axis, i.e., it is negative and positive equally." Nahin[62] - Robert G. Wilson v, Aug 01 2002
Also number of times a fixed Dyck word of length 2*k occurs in all Dyck words of length 2*n + 2*k. Example: if the fixed Dyck word is xyxy (k = 2), then it occurs a(1) = 3 times in the 5 Dyck words of length 6 (n = 1): (xy[xy)xy], xyxxyy, xxyyxy, x(xyxy)y, xxxyyy (placed between parentheses). - Emeric Deutsch, Jan 02 2003
a(n+1) is the determinant of the n X n matrix m(i, j) = binomial(2*n-i, j). - Benoit Cloitre, Aug 26 2003
a(n-1) = (2*n)!/(2*n!*n!), formula in [Davenport] used by Gauss for the special case prime p = 4*n + 1: x = a(n-1) mod p and y = x*(2n)! mod p are solutions of p = x^2 + y^2. - Frank Ellermann. Example: For prime 29 = 4*7 + 1 use a(7-1) = 1716 = (2*7)!/(2*7!*7!), 5 = 1716 mod 29 and 2 = 5*(2*7)! mod 29, then 29 = 5*5 + 2*2.
The number of compositions of 2*n, say c_1 + c_2 + ... + c_k = 2n, satisfy that Sum_{i = 1..j} c_i < 2*j for all j = 1..k, or equivalently, the number of subsets, say S, of [2*n-1] = {1, 2, ..., 2*n-1} with at least n elements such that if 2k is in S, then there must be at least k elements in S smaller than 2k. E.g., a(2) = 3 because we can write 4 = 1 + 1 + 1 + 1 = 1 + 1 + 2 = 1 + 2 + 1. - Ricky X. F. Chen (ricky_chen(AT)mail.nankai.edu.cn), Jul 30 2006
The number of walks of length 2*n + 1 on an infinite linear lattice that begin at the origin and end at node (1). Also the number of paths on a square lattice from the origin to (n+1, n) that use steps (1,0) and (0,1). Also number of binary numbers of length 2*n + 1 with n + 1 ones and n zeros. - Stefan Hollos (stefan(AT)exstrom.com), Dec 10 2007
If Y is a 3-subset of an 2*n-set X then, for n >= 3, a(n-1) is the number of n-subsets of X having at least two elements in common with Y. - Milan Janjic, Dec 16 2007
Also the number of rankings (preferential arrangements) of n unlabeled elements onto n levels when empty levels are allowed. - Thomas Wieder, May 24 2008
Also the Catalan transform of A000225 shifted one index, i.e., dropping A000225(0). - R. J. Mathar, Nov 11 2008
With offset 1. The number of solutions in nonnegative integers to X1 + X2 + ... + Xn = n. The number of terms in the expansion of (X1 + X2 + ... + Xn)^n. The coefficient of x^n in the expansion of (1 + x + x^2 + ...)^n. The number of distinct image sets of all functions taking [n] into [n]. - Geoffrey Critzer, Feb 22 2009
The Hankel transform of the aerated sequence 1, 0, 3, 0, 10, 0, ... is 1, 3, 3, 5, 5, 7, 7, ... (A109613(n+1)). - Paul Barry, Apr 21 2009
Also the number of distinct network topologies for a network of n items with 1 to n - 1 unidirectional connections to other objects in the network. - Anthony Bachler, May 05 2010
Equals INVERT transform of the Catalan numbers starting with offset 1. E.g.: a(3) = 35 = (1, 2, 5) dot (10, 3, 1) + 14 = 21 + 14 = 35. - Gary W. Adamson, May 15 2009
The integral of 1/(1+x^2)^(n+1) is given by a(n)/2^(2*n - 1) * (x/(1 + x^2)^n*P(x) + arctan(x)), where P(x) is a monic polynomial of degree 2*n - 2 with rational coefficients. - Christiaan van de Woestijne, Jan 25 2011
a(n) is the number of Schroder paths of semilength n in which the (2,0)-steps at level 0 come in 2 colors and there are no (2,0)-steps at a higher level. Example: a(2) = 10 because, denoting U = (1,1), H = (1,0), and D = (1,-1), we have 2^2 = 4 paths of shape HH, 2 paths of shape HUD, 2 paths of shape UDH, and 1 path of each of the shapes UDUD and UUDD. - Emeric Deutsch, May 02 2011
a(n) is the number of Motzkin paths of length n in which the (1,0)-steps at level 0 come in 3 colors and those at a higher level come in 2 colors. Example: a(3)=35 because, denoting  U = (1,1), H = (1,0), and D = (1,-1), we have 3^3 = 27 paths of shape HHH, 3 paths of shape HUD, 3 paths of shape UDH, and 2 paths of shape UHD. - Emeric Deutsch, May 02 2011
Also number of digitally balanced numbers having length 2*(n + 1) in binary representation: a(n) = #{m: A070939(A031443(m)) = 2*(n + 1)}. - Reinhard Zumkeller, Jun 08 2011
a(n) equals 2^(2*n + 3) times the coefficient of Pi in 2F1([1/2, n+2]; [3/2]; -1). - John M. Campbell, Jul 17 2011
For positive n, a(n) equals 4^(n+2) times the coefficient of Pi^2 in Integral_{x = 0..Pi/2} x sin^(2*n + 2)x. - John M. Campbell, Jul 19 2011 [Apparently, the contributor means Integral_{x = 0..Pi/2} x * (sin(x))^(2*n + 2).]
a(n-1) = C(2*n, n)/2 is the number of ways to assign 2*n people into 2 (unlabeled) groups of size n. - Dennis P. Walsh, Nov 09 2011
Equals row sums of triangle A205945. - Gary W. Adamson, Feb 01 2012
a(n-1) gives the number of n-regular sequences defined by Erdős and Gallai in 1960 in connection with the degree sequences of simple graphs. - Matuszka Tamás, Mar 06 2013
a(n) is the sum of falling diagonals of squares in the comment in A085812 (equivalent to the Cloitre formula of Aug 2002). - John Molokach, Sep 26 2013
For n > 0: largest terms of Zigzag matrices as defined in A088961. - Reinhard Zumkeller, Oct 25 2013
Also the number of different possible win/loss round sequences (from the perspective of the eventual winner) in a "best of 2*n + 1" two-player game. For example, a(2) = 10 means there are 10 different win/loss sequences in a "best of 5" game (like a tennis match in which the first player to win 3 sets, out of a maximum of 5, wins the match); the 10 sequences are WWW, WWLW, WWLLW, WLWW, WLWLW, WLLWW, LWWW, LWWLW, LWLWW, LLWWW. See also A072600. - Philippe Beaudoin, May 14 2014; corrected by Jon E. Schoenfield, Nov 23 2014
When adding 1 to the beginning of the sequence: Convolving a(n)/2^n with itself equals 2^(n+1).  For example, when n = 4: convolving {1, 1/1, 3/2, 10/4, 35/8, 126/16} with itself is 32 = 2^5. - Bob Selcoe, Jul 16 2014
From Tom Copeland, Nov 09 2014: (Start)
The shifted array belongs to a family of arrays associated to the Catalan A000108 (t = 1), and Riordan, or Motzkin sums A005043 (t = 0), with the o.g.f. [1 - sqrt(1 - 4x/(1 + (1 - t)x))]/2 and inverse x*(1 - x)/[1 + (t - 1)*x*(1 - x)]. See A091867 for more info on this family. Here is t = -3 (mod signs in the results).
Let C(x) = [1 - sqrt(1-4x)]/2, an o.g.f. for the Catalan numbers A000108, with inverse Cinv(x) = x*(1-x) and P(x,t) = x/(1 + t*x) with inverse P(x, -t).
O.g.f: G(x) = [-1 + sqrt(1 + 4*x/(1 - 4*x))]/2 = -C[P(-x, 4)].
Inverse o.g.f: Ginv(x) = x*(1 + x)/(1 + 4*x*(1 + x)) = -P(Cinv(-x), -4) (shifted signed A001792). A088218(x) = 1 + G(x).
Equals A001813/2 omitting the leading 1 there. (End)
Placing n distinguishable balls into n indistinguishable boxes gives A000110(n) (the number of set partitions). - N. J. A. Sloane, Jun 19 2015
The sequence is the INVERTi transform of A049027: (1, 4, 17, 74, 326, ...). - Gary W. Adamson, Jun 23 2015
a(n) is the number of compositions of 2*n + 2 such that the sum of the elements at odd positions is equal to the sum of the elements at even positions. a(2) = 10 because there are 10 such compositions of 6: (3, 3), (1, 3, 2), (2, 3, 1), (1, 1, 2, 2), (1, 2, 2, 1), (2, 2, 1, 1), (2, 1, 1, 2), (1, 2, 1, 1, 1), (1, 1, 1, 2, 1), (1, 1, 1, 1, 1, 1). - Ran Pan, Oct 08 2015
a(n-1) is also the Schur function of the partition (n) of n evaluated at x_1 = x_2 = ... = x_n = 1, i.e., the number of semistandard Young tableaux of shape (n) (weakly increasing rows with n boxes with numbers from {1, 2, ..., n}). - Wolfdieter Lang, Oct 11 2015
Also the number of ordered (rooted planar) forests with a total of n+1 edges and no trivial trees. - Nachum Dershowitz, Mar 30 2016
a(n) is the number of sets (i1,...in) of length n so that n >= i1 >= i2 >= ...>= in >= 1. For instance, n=3 as there are only 10 such sets (3,3,3) (3,3,2) (3,3,1) (3,2,2) (3,2,1) (3,1,1) (2,2,2) (2,2,1) (2,1,1) (1,1,1,) 3,2,1 is each used 10 times respectively. - Anton Zakharov, Jul 04 2016
The repeated middle term in the odd rows of Pascal's triangle, or half the central binomial coefficient in the even rows of Pascal's triangle, n >= 2. - Enrique Navarrete, Feb 12 2018
a(n) is the number of walks of length 2n+1 from the origin with steps (1,1) and (1,-1) that stay on or above the x-axis. Equivalently, a(n) is the number of walks of length 2n+1 from the origin with steps (1,0) and (0,1) that stay in the first octant. - Alexander Burstein, Dec 24 2019
Total number of nodes summed over all Dyck paths of semilength n. - Alois P. Heinz, Mar 08 2020
a(n-1) is the determinant of the n X n matrix m(i, j) = binomial(n+i-1, j). - Fabio Visonà, May 21 2022
Let X_i be iid standard Gaussian random variable N(0,1), and S_n be the partial sum S_n = X_1+...+X_n. Then P(S_1>0,S_2>0,...,S_n>0) = a(n+1)/2^(2n-1) = a(n+1) / A004171(n+1). For example,  P(S_1>0) = 1/2, P(S_1>0,S_2>0) = 3/8, P(S_1>0,S_2>0,S_3>0) = 5/16, etc. This probability is also equal to the volume of the region x_1 > 0, x_2 > -x_1, x_3 > -(x_1+x_2), ..., x_n > -(x_1+x_2+...+x_(n-1)) in the hypercube [-1/2, 1/2]^n. This also holds for the Cauchy distribution and other stable distributions with mean 0, skew 0 and scale 1. - Xiaohan Zhang, Nov 01 2022
a(n) is the number of parking functions of size n+1 avoiding the patterns 132, 213, and 321. - Lara Pudwell, Apr 10 2023
Number of vectors in (Z_>=0)^(n+1) such that the sum of the components is n+1. binomial(2*n-1, n) provides this property for n. - Michael Richard, Jun 12 2023
Also number of discrete negations on the finite chain L_n={0,1,...,n-1,n}, i.e., monotone decreasing unary operators such that N(0)=n and N(n)=0. - Marc Munar, Oct 10 2023
a(n) is the number of Dyck paths of semilength n+1 having one of its peaks marked. - Juan B. Gil, Jan 03 2024
a(n) is the dimension of the (n+1)-st symmetric power of an (n+1)-dimensional vector space. - Mehmet A. Ates, Feb 15 2024
a(n) is the independence number of the twisted odd graph O^(sigma)(n+2). - _Miquel A. Fiol, Aug 26 2024
a(n) is the number of non-descending sequences with length n and the last number is less or equal to n. a(n) is also the number of integer partitions (of any positive integer) with length n and largest part is less or equal to n. - Zlatko Damijanic, Dec 06 2024
a(n) is the number of triangulations of a once-punctured (n+1)-gon [from Fontaine & Plamondon's Theorem 3.6]. - Esther Banaian, May 06 2025

			There are a(2)=10 ways to put 3 indistinguishable balls into 3 distinguishable boxes, namely, (OOO)()(), ()(OOO)(), ()()(OOO), (OO)(O)(), (OO)()(O), (O)(OO)(), ()(OO)(O), (O)()(OO), ()(O)(OO), and (O)(O)(O). - _Dennis P. Walsh_, Apr 11 2012
a(2) = 10: Semistandard Young tableaux for partition (3) of 3 (the indeterminates x_i, i = 1, 2, 3 are omitted and only their indices are given): 111, 112, 113, 122, 123, 133, 222, 223, 233, 333. - _Wolfdieter Lang_, Oct 11 2015

H. Davenport, The Higher Arithmetic. Cambridge Univ. Press, 7th ed., 1999, ch. V.3 (p. 122).
A. Frosini, R. Pinzani, and S. Rinaldi, About half the middle binomial coefficient, Pure Math. Appl., 11 (2000), 497-508.
Charles Jordan, Calculus of Finite Differences, Chelsea 1965, p. 449.
J. C. P. Miller, editor, Table of Binomial Coefficients. Royal Society Mathematical Tables, Vol. 3, Cambridge Univ. Press, 1954.
Paul J. Nahin, "An Imaginary Tale, The Story of [Sqrt(-1)]," Princeton University Press, Princeton, NJ 1998, p. 62.
L. W. Shapiro and C. J. Wang, Generating identities via 2 X 2 matrices, Congressus Numerantium, 205 (2010), 33-46.
N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

Matuszka Tamás, Table of n, a(n) for n = 0..1200 (first 100 terms from T. D. Noe)
J. Abate and W. Whitt, Brownian Motion and the Generalized Catalan Numbers, J. Int. Seq. 14 (2011), #11.2.6, theorem 4.
Ayomikun Adeniran and Lara Pudwell, Pattern avoidance in parking functions, Enumer. Comb. Appl. 3:3 (2023), Article S2R17.
José Agapito, Ângela Mestre, Maria M. Torres, and Pasquale Petrullo, On One-Parameter Catalan Arrays, Journal of Integer Sequences, Vol. 18 (2015), Article 15.5.1.
Martin Aigner, Enumeration via ballot numbers, Discrete Math., 308 (2008), 2544-2563.
Elena Barcucci, Andrea Frosini, and Simone Rinaldi, On directed-convex polyominoes in a rectangle, Discr. Math., 298 (2005), 62-78.
Elena Barcucci, Antonio Bernini, and Renzo Pinzani, Exhaustive generation of positive lattice paths, Semantic Sensor Networks Workshop 2018, CEUR Workshop Proceedings (2018), Vol. 2113.
Jean-Luc Baril, David Bevan, and Sergey Kirgizov, Bijections between directed animals, multisets and Grand-Dyck paths, arXiv:1906.11870 [math.CO], 2019.
Jean-Luc Baril, Pamela E. Harris, Kimberly J. Harry, Matt McClinton, and José L. Ramírez, Enumerating runs, valleys, and peaks in Catalan words, arXiv:2404.05672 [math.CO], 2024. See p. 5.
Jean-Luc Baril and Nathanaël Hassler, Intervals in a family of Fibonacci lattices, Univ. de Bourgogne (France, 2024). See p. 17.
Paul Barry, On Integer-Sequence-Based Constructions of Generalized Pascal Triangles, Journal of Integer Sequences, 9 (2006), Article 06.2.4.
Paul Barry, The Central Coefficients of a Family of Pascal-like Triangles and Colored Lattice Paths, J. Int. Seq., 22 (2019), Article 19.1.3.
Paul Barry, A Note on Riordan Arrays with Catalan Halves, arXiv:1912.01124 [math.CO], 2019.
Antonio Bernini, Filippo Disanto, Renzo Pinzani, and Simone Rinaldi, Permutations defining convex permutominoes, J. Int. Seq. 10 (2007), #07.9.7.
Ciprian Borcea and Ileana Streinu, On the number of embeddings of minimally rigid graphs, arXiv:math/0207126 [math.MG], 2002.
Mireille Bousquet-Mélou, New enumerative results on two-dimensional directed animals, Discr. Math., 180 (1998), 73-106. See Eq. (1).
M. Bousquet-Mélou and A. Rechnitzer, Lattice animals and heaps of dimers.
Jean-Paul Bultel and Samuele Giraudo, Combinatorial Hopf algebras from PROs, arXiv:1406.6903 [math.CO], 2014. [DOI]
Libor Caha and Daniel Nagaj, The pair-flip model: a very entangled translationally invariant spin chain, arXiv:1805.07168 [quant-ph], 2018.
David Callan, A Combinatorial Interpretation for a Super-Catalan Recurrence, Journal of Integer Sequences, 8 (2005), Article 05.1.8.
Peter J. Cameron, Sequences realized by oligomorphic permutation groups, J. Integ. Seqs., 3 (2000), #00.1.5.
Gi-Sang Cheon, Hana Kim, and Louis W. Shapiro, Mutation effects in ordered trees, arXiv:1410.1249 [math.CO], 2014.
Dennis E. Davenport, Lara K. Pudwell, Louis W. Shapiro, and Leon C. Woodson, The Boundary of Ordered Trees, Journal of Integer Sequences, 18 (2015), Article 15.5.8.
Nachum Dershowitz, 1700 Forests, arXiv:1608.08740 [cs.DM], 2016.
Leonard E. Dickson, On the Inscription of Regular Polygons, Annals of Mathematics, Vol. 9, No. 1/6 (1894 - 1895), pp. 73-84.
Leonard E. Dickson, Problem 44, The American Mathematical Monthly, Vol. 2, No. 7/8 (Jul. - Aug., 1895), pp. 229-230.
G. Dresden and Y. Li, Periodic Weighted Sums of Binomial Coefficients, arXiv:2210.04322 [math.NT], 2022.
Richard Ehrenborg, Gábor Hetyei, and Margaret Readdy, Catalan-Spitzer permutations, arXiv:2310.06288 [math.CO], 2023. See p. 20.
Miquel A. Fiol, E. Garriga, and J. L. A. Yebra, On twisted odd graphs, Combin. Probab. Comput. 9 (2000), 227-240.
Rigoberto Flórez, Leandro Junes, and José L. Ramírez, Further Results on Paths in an n-Dimensional Cubic Lattice, Journal of Integer Sequences, 21 (2018), Article 18.1.2.
B. Fontaine and P.-G. Plamondon, Counting friezes in type D_n, Journal of Algebraic Combinatorics, 44.2 (2016), 433-445; arXiv:1409.3698 [math.CO], 2014-2016.
Shishuo Fu and Yaling Wang, Bijective recurrences concerning two Schröder triangles, arXiv:1908.03912 [math.CO], 2019.
Juan B. Gil, Emma G. Hoover, and Jessica A. Shearer, Bijections between colored compositions, Dyck paths, and polygon partitions, arXiv:2403.04575 [math.CO], 2024. See p. 4.
N. Gromov and P. Vieira, Tailoring Three-Point Functions and Integrability IV. Theta-morphism, arXiv:1205.5288 [hep-th], 2012. - From _N. J. A. Sloane_, Oct 23 2012
R. K. Guy, Catwalks, sandsteps and Pascal pyramids, J. Integer Sequences, 3 (2000), Article #00.1.6.
Guo-Niu Han, Enumeration of Standard Puzzles, 2011. [Cached copy]
Guo-Niu Han, Enumeration of Standard Puzzles, arXiv:2006.14070 [math.CO], 2020.
INRIA Algorithms Project, Encyclopedia of Combinatorial Structures 145.
A. Ivanyi, L. Lucz, T. Matuszka, and S. Pirzada, Parallel enumeration of degree sequences of simple graphs, Acta Univ. Sapientiae, Informatica, 4(2) (2012) 260-288.
Milan Janjic, Two Enumerative Functions.
Christian Krattenthaler and Daniel Yaqubi, Some determinants of path generating functions, II, Adv. Appl. Math. 101 (2018), 232-265.
Dmitry Kruchinin, Superposition's properties of logarithmic generating functions, arXiv:1109.1683 [math.CO], 2011-2015.
Markus Kuba and Alois Panholzer, Stirling permutations containing a single pattern of length three, Australasian Journal of Combinatorics 74(2) (2019), 216-239.
Wolfdieter Lang, On generalizations of Stirling number triangles, J. Integer Seqs., 3 (2000), #00.2.4.
J. W. Layman, The Hankel Transform and Some of its Properties, J. Integer Sequences, 4 (2001), #01.1.5.
H. Li and T. MacHenry, Permanents and Determinants, Weighted Isobaric Polynomials, and Integer Sequences, J. Int. Seq. 16 (2013) #13.3.5, example 40.
Elżbieta Liszewska and Wojciech Młotkowski, Some relatives of the Catalan sequence, arXiv:1907.10725 [math.CO], 2019.
T. Mansour and M. Shattuck, A statistic on n-color compositions and related sequences, Proc. Indian Acad. Sci. (Math. Sci.) 124(2) (2014), pp. 127-140.
M. D. McIlroy, Letter to N. J. A. Sloane (no date).
Donatella Merlini and Massimo Nocentini, Algebraic Generating Functions for Languages Avoiding Riordan Patterns, Journal of Integer Sequences, 21 (2018), Article 18.1.3.
Hanna Mularczyk, Lattice Paths and Pattern-Avoiding Uniquely Sorted Permutations, arXiv:1908.04025 [math.CO], 2019.
M. Munar, S. Massanet, and D. Ruiz-Aguilera, On the cardinality of some families of discrete connectives, Information Sciences, Volume 621, 2023, 708-728.
A. Nkwanta, Riordan matrices and higher-dimensional lattice walks, J. Stat. Plann. Infer. 140 (2010), 2321-2334.
Asamoah Nkwanta and Earl R. Barnes, Two Catalan-type Riordan Arrays and their Connections to the Chebyshev Polynomials of the First Kind, Journal of Integer Sequences, 15 (2012), Article 12.3.3. - From _N. J. A. Sloane_, Sep 16 2012
Y. Puri and T. Ward, Arithmetic and growth of periodic orbits, J. Integer Seqs., 4 (2001), #01.2.1.
John Riordan, Letter to N. J. A. Sloane, Sep 26 1980 with notes on the 1973 Handbook of Integer Sequences. Note that the sequences are identified by their N-numbers, not their A-numbers.
Louis Shapiro, Problem 10753 Amer. Math. Monthly, 106(8) (1999), p. 777.
Louis Shapiro et al., Leaves of Ordered Trees: 10753, Amer. Math. Monthly, 108(9) (Nov., 2001), 873-874.
Paveł Szabłowski, Beta distributions whose moment sequences are related to integer sequences listed in the OEIS, Contrib. Disc. Math. (2024) Vol. 19, No. 4, 85-109. See pp. 96, 98-99.
Eric Weisstein's World of Mathematics, Binomial Coefficient.
Eric Weisstein's World of Mathematics, Odd Graph.
Index entries for "core" sequences.

Cf. A000110, A007318, A030662, A046097, A060897-A060900, A049027, A076025, A076026, A060150, A001263, A005773, A001405, A132813, A134285.
Equals A000984(n+1)/2.
a(n) = (2*n+1)*Catalan(n) [A000108] = A035324(n+1, 1) (first column of triangle).
Row sums of triangles A028364, A050166, A039598.
Bisections: a(2*k) = A002458(k), a(2*k+1) = A001448(k+1)/2, k >= 0.
Other versions of the same sequence: A088218, A110556, A138364.
Diagonals 1 and 2 of triangle A100257.
Second row of array A102539.
Column of array A073165.
Row sums of A103371. - Susanne Wienand, Oct 22 2011
Cf. A002054: C(2*n+1, n-1). - Bruno Berselli, Jan 20 2014
Cf. A005043, A091867, A001792, A001813, A166454.

List([0..30],n->Binomial(2*n+1,n+1)); # Muniru A Asiru, Feb 26 2019

a001700 n = a007318 (2*n+1) (n+1)  -- Reinhard Zumkeller, Oct 25 2013

[Binomial(2*n, n)/2: n in [1..40]]; // Vincenzo Librandi, Nov 10 2014

A001700 := n -> binomial(2*n+1,n+1); seq(A001700(n), n=0..20);
A001700List := proc(m) local A, P, n; A := [1]; P := [1];
for n from 1 to m - 2 do P := ListTools:-PartialSums([op(P), 2*P[-1]]);
A := [op(A), P[-1]] od; A end: A001700List(27); # Peter Luschny, Mar 24 2022

Table[ Binomial[2n + 1, n + 1], {n, 0, 23}]
CoefficientList[ Series[2/((Sqrt[1 - 4 x] + 1)*Sqrt[1 - 4 x]), {x, 0, 22}], x] (* Robert G. Wilson v, Aug 08 2011 *)

B(n,a,x):=coeff(taylor(exp(x*t)*(t/(exp(t)-1))^a,t,0,20),t,n)*n!;
makelist((-1)^(n)*B(n,n+1,-n-1)/n!,n,0,10); /* Vladimir Kruchinin, Apr 06 2016 */

PARI
```
a(n)=binomial(2*n+1,n+1)
```

z='z+O('z^50); Vec((1/sqrt(1-4*z)-1)/(2*z)) \\ Altug Alkan, Oct 11 2015

from _future_ import division
A001700_list, b = [], 1
for n in range(10**3):
    A001700_list.append(b)
    b = b*(4*n+6)//(n+2) # Chai Wah Wu, Jan 26 2016

[rising_factorial(n+1,n+1)/factorial(n+1) for n in (0..22)] # Peter Luschny, Nov 07 2011

a(n-1) = binomial(2*n, n)/2 = A000984(n)/2 = (2*n)!/(2*n!*n!).
D-finite with recurrence: a(0) = 1, a(n) = 2*(2*n+1)*a(n-1)/(n+1) for n > 0.
G.f.: (1/sqrt(1 - 4*x) - 1)/(2*x).
L.g.f.: log((1 - sqrt(1 - 4*x))/(2*x)) = Sum_{n >= 0} a(n)*x^(n+1)/(n+1). - Vladimir Kruchinin, Aug 10 2010
G.f.: 2F1([1, 3/2]; [2]; 4*x). - Paul Barry, Jan 23 2009
G.f.: 1/(1 - 2*x - x/(1 - x/(1 - x/(1 - x/(1 - ... (continued fraction). - Paul Barry, May 06 2009
G.f.: c(x)^2/(1 - x*c(x)^2), c(x) the g.f. of A000108. - Paul Barry, Sep 07 2009
O.g.f.: c(x)/sqrt(1 - 4*x) = (2 - c(x))/(1 - 4*x), with c(x) the o.g.f. of A000108. Added second formula. - Wolfdieter Lang, Sep 02 2012
Convolution of A000108 (Catalan) and A000984 (central binomial): Sum_{k=0..n} C(k)*binomial(2*(n-k), n-k), C(k) Catalan. - Wolfdieter Lang, Dec 11 1999
a(n) = Sum_{k=0..n} C(n+k, k). - Benoit Cloitre, Aug 20 2002
a(n) = Sum_{k=0..n} C(n, k)*C(n+1, k+1). - Benoit Cloitre, Oct 19 2002
a(n) = Sum_{k = 0..n+1} binomial(2*n+2, k)*cos((n - k + 1)*Pi). - Paul Barry, Nov 02 2004
a(n) = 4^n*binomial(n+1/2, n)/(n+1). - Paul Barry, May 10 2005
E.g.f.: Sum_{n >= 0} a(n)*x^(2*n + 1)/(2*n + 1)! = BesselI(1, 2*x). - Michael Somos, Jun 22 2005
E.g.f. in Maple notation: exp(2*x)*(BesselI(0, 2*x) + BesselI(1, 2*x)). Integral representation as n-th moment of a positive function on [0, 4]: a(n) = Integral_{x = 0..4} x^n * (x/(4 - x))^(1/2)/(2*Pi) dx, n >= 0. This representation is unique. - Karol A. Penson, Oct 11 2001
Narayana transform of [1, 2, 3, ...]. Let M = the Narayana triangle of A001263 as an infinite lower triangular matrix and V = the Vector [1, 2, 3, ...]. Then A001700 = M * V. - Gary W. Adamson, Apr 25 2006
a(n) = A122366(n,n). - Reinhard Zumkeller, Aug 30 2006
a(n) = C(2*n, n) + C(2*n, n-1) = A000984(n) + A001791(n). - Zerinvary Lajos, Jan 23 2007
a(n-1) = (n+1)*(n+2)*...*(2*n-1)/(n-1)! (product of n-1 consecutive integers, divided by (n-1)!). - Jonathan Vos Post, Apr 09 2007; [Corrected and shortened by Giovanni Ciriani, Mar 26 2019]
a(n-1) = (2*n - 1)!/(n!*(n - 1)!). - William A. Tedeschi, Feb 27 2008
a(n) = (2*n + 1)*A000108(n). - Paul Barry, Aug 21 2007
Binomial transform of A005773 starting (1, 2, 5, 13, 35, 96, ...) and double binomial transform of A001405. - Gary W. Adamson, Sep 01 2007
Row sums of triangle A132813. - Gary W. Adamson, Sep 01 2007
Row sums of triangle A134285. - Gary W. Adamson, Nov 19 2007
a(n) = 2*A000984(n) - A000108(n), that is, a(n) = 2*C(2*n, n) - n-th Catalan number. - Joseph Abate, Jun 11 2010
Conjectured: 4^n GaussHypergeometric(1/2,-n; 2; 1) -- Solution for the path which stays in the first and second quadrant. - Benjamin Phillabaum, Feb 20 2011
a(n)= Sum_{k=0..n} A038231(n,k) * (-1)^k * A000108(k). - Philippe Deléham, Nov 27 2009
Let A be the Toeplitz matrix of order n defined by: A[i,i-1] = -1, A[i,j] = Catalan(j-i), (i <= j), and A[i,j] = 0, otherwise. Then, for n >= 1, a(n) = (-1)^n * charpoly(A,-2). - Milan Janjic, Jul 08 2010
a(n) is the upper left term of M^(n+1), where M is the infinite matrix in which a column of (1,2,3,...) is prepended to an infinite lower triangular matrix of all 1's and the rest zeros, as follows:
   1, 1, 0, 0, 0, ...
   2, 1, 1, 0, 0, ...
   3, 1, 1, 1, 0, ...
   4, 1, 1, 1, 1, ...
   ...
Alternatively, a(n) is the upper left term of M^n where M is the infinite matrix:
   3, 1, 0, 0, 0, ...
   1, 1, 1, 0, 0, ...
   1, 1, 1, 1, 0, ...
   1, 1, 1, 1, 1, ...
   ...
- Gary W. Adamson, Jul 14 2011
a(n) = (n + 1)*hypergeom([-n, -n], [2], 1). - Peter Luschny, Oct 24 2011
a(n) = Pochhammer(n+1, n+1)/(n+1)!. - Peter Luschny, Nov 07 2011
E.g.f.: 1 + 6*x/(U(0) - 6*x); U(k) = k^2 + (4*x + 3)*k + 6*x + 2 - 2*x*(k + 1)*(k + 2)*(2*k + 5)/U(k+1); (continued fraction). - Sergei N. Gladkovskii, Nov 18 2011
a(n) = 2*A000984(n) - A000108(n). [Abate & Whitt]
a(n) = 2^(2*n+1)*binomial(n+1/2, -1/2). - Peter Luschny, May 06 2014
For n > 1: a(n-1) = A166454(2*n, n), central terms in A166454. - Reinhard Zumkeller, Mar 04 2015
a(n) = 2*4^n*Gamma(3/2 + n)/(sqrt(Pi)*Gamma(2+n)). - Peter Luschny, Dec 14 2015
a(n) ~ 2*4^n*(1 - (5/8)/n + (73/128)/n^2 - (575/1024)/n^3 + (18459/32768)/n^4)/sqrt(n*Pi). - Peter Luschny, Dec 16 2015
a(n) = (-1)^(n)*B(n, n+1, -n-1)/n!, where B(n,a,x) is a generalized Bernoulli polynomial. - Vladimir Kruchinin, Apr 06 2016
a(n) = Gamma(2 + 2*n)/(n!*Gamma(2 + n)). Andres Cicuttin, Apr 06 2016
a(n) = (n + (n + 1))!/(Gamma(n)*Gamma(1 + n)*A002378(n)), for n > 0. Andres Cicuttin, Apr 07 2016
From Ilya Gutkovskiy, Jul 04 2016: (Start)
Sum_{n >= 0} 1/a(n) = 2*(9 + 2*sqrt(3)*Pi)/27 = A248179.
Sum_{n >= 0} (-1)^n/a(n) = 2*(5 + 4*sqrt(5)*arcsinh(1/2))/25 = 2*(5*A145433 - 1).
Sum_{n >= 0} (-1)^n*a(n)/n! = BesselI(2,2)*exp(-2) = A229020*A092553. (End)
Conjecture: a(n) = Sum_{k=2^n..2^(n+1)-1} A178244(k). - Mikhail Kurkov, Feb 20 2021
a(n-1) = 1 + (1/n)*Sum_{t=1..n/2} (2*cos((2*t-1)*Pi/(2*n)))^(2*n). - Greg Dresden, Oct 11 2022
a(n) = Product_{1 <= i <= j <= n} (i + j + 1)/(i + j - 1). Cf. A006013. - Peter Bala, Feb 21 2023
Sum_{n >= 0} a(n)*x^(n+1)/(n+1) = x + 3*x^2/2 + 10*x^3/3 + 35*x^4/4 + ... =  the series reversion of exp(-x)*(1 - exp(-x)). - Peter Bala, Sep 06 2023

Name corrected by Paul S. Coombes, Jan 11 2012

Name corrected by Robert Tanniru, Feb 01 2014

A088218 Total number of leaves in all rooted ordered trees with n edges.

Original entry on oeis.org

1, 1, 3, 10, 35, 126, 462, 1716, 6435, 24310, 92378, 352716, 1352078, 5200300, 20058300, 77558760, 300540195, 1166803110, 4537567650, 17672631900, 68923264410, 269128937220, 1052049481860, 4116715363800, 16123801841550, 63205303218876, 247959266474052

Offset: 0

Michael Somos, Sep 24 2003

Essentially the same as A001700, which has more information.
Note that the unique rooted tree with no edges has no leaves, so a(0)=1 is by convention. - Michael Somos, Jul 30 2011
Number of ordered partitions of n into n parts, allowing zeros (cf. A097070) is binomial(2*n-1,n) = a(n) = essentially A001700. - Vladeta Jovovic, Sep 15 2004
Hankel transform is A000027; example: Det([1,1,3,10;1,3,10,35;3,10,35,126; 10,35,126,462]) = 4. - Philippe Deléham, Apr 13 2007
a(n) is the number of functions f:[n]->[n] such that for all x,y in [n] if xA045992(n). - Geoffrey Critzer, Apr 02 2009
Hankel transform of the aeration of this sequence is A000027 doubled: 1,1,2,2,3,3,... - Paul Barry, Sep 26 2009
The Fi1 and Fi2 triangle sums of A039599 are given by the terms of this sequence. For the definitions of these triangle sums see A180662. - Johannes W. Meijer, Apr 20 2011
Alternating row sums of Riordan triangle A094527. See the Philippe Deléham formula. - Wolfdieter Lang, Nov 22 2012
(-2)*a(n) is the Z-sequence for the Riordan triangle A110162. For the notion of Z- and A-sequences for Riordan arrays see the W. Lang link under A006232 with details and references. - Wolfdieter Lang, Nov 22 2012
From Gus Wiseman, Jun 27 2021: (Start)
Also the number of integer compositions of 2n with alternating (or reverse-alternating) sum 0 (ranked by A344619). This is equivalent to Ran Pan's comment at A001700. For example, the a(0) = 1 through a(3) = 10 compositions are:
  ()  (11)  (22)    (33)
            (121)   (132)
            (1111)  (231)
                    (1122)
                    (1221)
                    (2112)
                    (2211)
                    (11121)
                    (12111)
                    (111111)
For n > 0, a(n) is also the number of integer compositions of 2n with alternating sum 2.
(End)
Number of terms in the expansion of (x_1+x_2+...+x_n)^n. - César Eliud Lozada, Jan 08 2022

			G.f. = 1 + x + 3*x^2 + 10*x^3 + 35*x^4 + 126*x^5 + 462*x^6 + 1716*x^7 + ...
The five rooted ordered trees with 3 edges have 10 leaves.
..x........................
..o..x.x..x......x.........
..o...o...o.x..x.o..x.x.x..
..r...r....r....r.....r....

L. W. Shapiro and C. J. Wang, Generating identities via 2 X 2 matrices, Congressus Numerantium, 205 (2010), 33-46.

Vincenzo Librandi, Table of n, a(n) for n = 0..200
Anwar Al Ghabra, K. Gopala Krishna, Patrick Labelle, and Vasilisa Shramchenko, Enumeration of multi-rooted plane trees, arXiv:2301.09765 [math.CO], 2023.
Paul Barry, On Integer-Sequence-Based Constructions of Generalized Pascal Triangles, Journal of Integer Sequences, Vol. 9 (2006), Article 06.2.4.
B. Dasarathy and C. Yang, A transformation on ordered trees, Comput. J. 23 (1980) 161-164. - _Nachum Dershowitz_, Sep 01 2016
Toufik Mansour and Mark Shattuck, A statistic on n-color compositions and related sequences, Proc. Indian Acad. Sci. (Math. Sci.) Vol. 124, No. 2, May 2014, pp. 127-140.
Anthony Mansuy, Preordered forests, packed words and contraction algebras, J. Algebra 411 (2014) 259-311.
Mircea Merca, A Note on Cosine Power Sums, J. Integer Sequences, Vol. 15 (2012), Article 12.5.3.
A. Vogt, Resummation of small-x double logarithms in QCD: semi-inclusive electron-positron annihilation, arXiv preprint arXiv:1108.2993 [hep-ph], 2011.

Same as A001700 modulo initial term and offset.
First differences are A024718.
Main diagonal of A071919 and of A305161.
A signed version is A110556.
A000041 counts partitions of 2n with alternating sum 0, ranked by A000290.
A003242 counts anti-run compositions.
A025047 counts wiggly compositions (ascend: A025048, descend: A025049).
A103919 counts partitions by sum and alternating sum (reverse: A344612).
A106356 counts compositions by number of maximal anti-runs.
A124754 gives the alternating sum of standard compositions.
A345197 counts compositions by sum, length, and alternating sum.
Compositions of n, 2n, or 2n+1 with alternating/reverse-alternating sum k:
- k = 0:  counted by A088218 (this sequence), ranked by A344619/A344619.
- k = 1:  counted by A000984, ranked by A345909/A345911.
- k = -1: counted by A001791, ranked by A345910/A345912.
- k = 2:  counted by A088218 (this sequence), ranked by A345925/A345922.
- k = -2: counted by A002054, ranked by A345924/A345923.
- k >= 0: counted by A116406, ranked by A345913/A345914.
- k <= 0: counted by A058622(n-1), ranked by A345915/A345916.
- k > 0:  counted by A027306, ranked by A345917/A345918.
- k < 0:  counted by A294175, ranked by A345919/A345920.
- k != 0: counted by A058622, ranked by A345921/A345921.
- k even: counted by A081294, ranked by A053754/A053754.
- k odd:  counted by A000302, ranked by A053738/A053738.
Cf. A000027, A000070, A000097, A000108, A001622, A006232, A008965, A039599, A045992, A058696, A094527, A097070, A110162, A110555, A180662, A238279, A239830, A325534, A325535, A333213, A344607, A344611, A344617.

[Binomial(2*n-1, n): n in [0..30]]; // Vincenzo Librandi, Aug 07 2014

seq(binomial(2*n-1, n),n=0..24); # Peter Luschny, Sep 22 2014

a[ n_] := SeriesCoefficient[(1 - x)^-n, {x, 0, n}];
c = (1 - (1 - 4 x)^(1/2))/(2 x);CoefficientList[Series[1/(1-(c-1)),{x,0,20}],x] (* Geoffrey Critzer, Dec 02 2010 *)
Table[Binomial[2 n - 1, n], {n, 0, 20}] (* Vincenzo Librandi, Aug 07 2014 *)
a[ n_] := If[ n < 0, 0, With[ {m = 2 n}, m! SeriesCoefficient[ (1 + BesselI[0, 2 x]) / 2, {x, 0, m}]]]; (* Michael Somos, Nov 22 2014 *)

{a(n) = sum( i=0, n, binomial(n+i-2,i))};

{a(n) = if( n<0, 0, polcoeff( (1 + 1 / sqrt(1 - 4*x + x * O(x^n))) / 2, n))};

{a(n) = if( n<0, 0, polcoeff( 1 / (1 - x + x * O(x^n))^n, n))};

{a(n) = if( n<0, 0, binomial( 2*n - 1, n))};

{a(n) = if( n<1, n==0, polcoeff( subst((1 - x) / (1 - 2*x), x, serreverse( x - x^2 + x * O(x^n))), n))};

def A088218(n):
    return rising_factorial(n,n)/falling_factorial(n,n)
[A088218(n) for n in (0..24)]  # Peter Luschny, Nov 21 2012

G.f.: (1 + 1 / sqrt(1 - 4*x)) / 2.
a(n) = binomial(2*n - 1, n).
a(n) = (n+1)*A000108(n)/2, n>=1. - B. Dubalski (dubalski(AT)atr.bydgoszcz.pl), Feb 05 2002 (in A060150)
a(n) = (0^n + C(2n, n))/2. - Paul Barry, May 21 2004
a(n) is the coefficient of x^n in 1 / (1 - x)^n and also the sum of the first n coefficients of 1 / (1 - x)^n. Given B(x) with the property that the coefficient of x^n in B(x)^n equals the sum of the first n coefficients of B(x)^n, then B(x) = B(0) / (1 - x).
G.f.: 1 / (2 - C(x)) = (1 - x*C(x))/sqrt(1-4*x) where C(x) is g.f. for Catalan numbers A000108. Second equation added by Wolfdieter Lang, Nov 22 2012.
From Paul Barry, Nov 02 2004: (Start)
a(n) = Sum_{k=0..n} binomial(2*n, k)*cos((n-k)*Pi);
a(n) = Sum_{k=0..n} binomial(n, (n-k)/2)*(1+(-1)^(n-k))*cos(k*Pi/2)/2 (with interpolated zeros);
a(n) = Sum_{k=0..floor(n/2)} binomial(n, k)*cos((n-2*k)*Pi/2) (with interpolated zeros); (End)
a(n) = A110556(n)*(-1)^n, central terms in triangle A110555. - Reinhard Zumkeller, Jul 27 2005
a(n) = Sum_{0<=k<=n} A094527(n,k)*(-1)^k. - Philippe Deléham, Mar 14 2007
From Paul Barry, Mar 29 2010: (Start)
G.f.: 1/(1-x/(1-2x/(1-(1/2)x/(1-(3/2)x/(1-(2/3)x/(1-(4/3)x/(1-(3/4)x/(1-(5/4)x/(1-... (continued fraction);
E.g.f.: (of aerated sequence) (1 + Bessel_I(0, 2*x))/2. (End)
a(n + 1) = A001700(n). a(n) = A024718(n) - A024718(n - 1).
E.g.f.: E(x) = 1+x/(G(0)-2*x) ; G(k) = (k+1)^2+2*x*(2*k+1)-2*x*(2*k+3)*((k+1)^2)/G(k+1); (continued fraction). - Sergei N. Gladkovskii, Dec 21 2011
a(n) = Sum_{k=0..n}(-1)^k*binomial(2*n,n+k). - Mircea Merca, Jan 28 2012
a(n) = rf(n,n)/ff(n,n), where rf is the rising factorial and ff the falling factorial. - Peter Luschny, Nov 21 2012
D-finite with recurrence: n*a(n) +2*(-2*n+1)*a(n-1) = 0. - R. J. Mathar, Dec 04 2012
a(n) = hypergeom([1-n,-n],[1],1). - Peter Luschny, Sep 22 2014
G.f.: 1 + x/W(0), where W(k) = 4*k+1 - (4*k+3)*x/(1 - (4*k+1)*x/(4*k+3 - (4*k+5)*x/(1 - (4*k+3)*x/W(k+1)  ))) ; (continued fraction). - Sergei N. Gladkovskii, Nov 13 2014
a(n) = A000984(n) + A001791(n). - Gus Wiseman, Jun 28 2021
E.g.f.: (1 + exp(2*x) * BesselI(0,2*x)) / 2. - Ilya Gutkovskiy, Nov 03 2021
From Amiram Eldar, Mar 12 2023: (Start)
Sum_{n>=0} 1/a(n) = 5/3 + 4*Pi/(9*sqrt(3)).
Sum_{n>=0} (-1)^n/a(n) = 3/5 - 8*log(phi)/(5*sqrt(5)), where phi is the golden ratio (A001622). (End)
a(n) ~ 2^(2*n-1)/sqrt(n*Pi). - Stefano Spezia, Apr 17 2024

A110555 Triangle of partial sums of alternating binomial coefficients: T(n, k) = Sum_{j=0..k} binomial(n, j)*(-1)^j, for n >= 0, 0 <= k <= n.

Original entry on oeis.org

1, 1, 0, 1, -1, 0, 1, -2, 1, 0, 1, -3, 3, -1, 0, 1, -4, 6, -4, 1, 0, 1, -5, 10, -10, 5, -1, 0, 1, -6, 15, -20, 15, -6, 1, 0, 1, -7, 21, -35, 35, -21, 7, -1, 0, 1, -8, 28, -56, 70, -56, 28, -8, 1, 0, 1, -9, 36, -84, 126, -126, 84, -36, 9, -1, 0, 1, -10, 45, -120, 210, -252, 210, -120

Offset: 0

Reinhard Zumkeller, Jul 27 2005

			Triangle T(n, k) starts:
  [0] 1;
  [1] 1,  0;
  [2] 1, -1,  0;
  [3] 1, -2,  1,   0;
  [4] 1, -3,  3,  -1,  0;
  [5] 1, -4,  6,  -4,  1,   0;
  [6] 1, -5, 10, -10,  5,  -1,  0;
  [7] 1, -6, 15, -20, 15,  -6,  1,  0;
  [8] 1, -7, 21, -35, 35, -21,  7, -1,  0.

G. C. Greubel, Table of n, a(n) for the first 50 rows, flattened
Ângela Mestre and José Agapito, A Family of Riordan Group Automorphisms, J. Int. Seq., Vol. 22 (2019), Article 19.8.5.
Index entries for triangles and arrays related to Pascal's triangle

T(n,1)  = -n + 1 for n>0;
T(n,2)  =  A000217(n-2) for n > 1;
T(n,3)  = -A000292(n-4) for n > 2;
T(n,4)  =  A000332(n-1) for n > 3;
T(n,5)  = -A000389(n-1) for n > 5;
T(n,6)  =  A000579(n-1) for n > 6;
T(n,7)  = -A000580(n-1) for n > 7;
T(n,8)  =  A000581(n-1) for n > 8;
T(n,9)  = -A000582(n-1) for n > 9;
T(n,10) =  A001287(n-1) for n > 10;
T(n,11) = -A001288(n-1) for n > 11;
T(n,12) =  A010965(n-1) for n > 12;
T(n,13) = -A010966(n-1) for n > 13;
T(n,14) =  A010967(n-1) for n > 14;
T(n,15) = -A010968(n-1) for n > 15;
T(n,16) =  A010969(n-1) for n > 16.
Cf. A071919 (variant), A000007 (row sums), A110556 (central terms).
Cf. A008949, A007318.

T := (n, k) -> (-1)^k * binomial(n-1, k):
seq(print(seq(T(n, k), k = 0..n)), n = 0..7); # Peter Luschny, Apr 13 2023

T[0, 0] := 1;  T[n_, n_] := 0; T[n_, k_] := (-1)^k*Binomial[n - 1, k]; Table[T[n, k], {n, 0, 20}, {k, 0, n}] // Flatten (* G. C. Greubel, Aug 31 2017 *)

concat(1, for(n=1,10, for(k=0,n, print1(if(k != n, (-1)^k*binomial(n-1,k), 0), ", ")))) \\ G. C. Greubel, Aug 31 2017

T(n, 0) = 1, T(n, n) = 0^n, T(n, k) = -T(n-1, k-1) + T(n-1, k), for 0 < k < n.
T(n, k) = binomial(n-1, k)*(-1)^k, 0 <= k < n, T(n, n) = 0^n.
T(n, n-k-1) = -T(n, k), for 0 < k < n.
T(n, k) = A071919(n, k)*(-1)^k and A071919(n, k) = abs(T(n, k)).
Triangle T(n,k), 0 <= k <= n, read by rows, given by [1, 0, 0, 0, 0, 0, 0, 0, ...] DELTA [0, -1, 0, 0, 0, 0, 0, 0, ...] where DELTA is the operator defined in A084938. - Philippe Deléham, Sep 05 2005
G.f.: (1 + x*y) / (1 + x*y - x). - R. J. Mathar, Aug 11 2015

Typo in name corrected by Andrey Zabolotskiy, Feb 22 2022

Offset corrected by Peter Luschny, Apr 13 2023

A260878 Number of set partitions of {1, 2, ..., 2*n} with sizes in {[n, n], [2n]}.

Original entry on oeis.org

2, 2, 4, 11, 36, 127, 463, 1717, 6436, 24311, 92379, 352717, 1352079, 5200301, 20058301, 77558761, 300540196, 1166803111, 4537567651, 17672631901, 68923264411, 269128937221, 1052049481861, 4116715363801, 16123801841551, 63205303218877, 247959266474053

Offset: 0

Peter Luschny, Aug 02 2015

Third column in A260876.

			The set partitions counted by a(3) = 11 are: {{1, 2, 3, 4, 5, 6}},
{{1, 2, 4}, {3, 5, 6}}, {{1, 2, 3}, {4, 5, 6}}, {{1, 3, 4}, {2, 5, 6}},
{{1, 3, 5}, {2, 4, 6}}, {{1, 4, 5}, {2, 3, 6}}, {{1, 5, 6}, {2, 3, 4}},
{{1, 4, 6}, {2, 3, 5}}, {{1, 3, 6}, {2, 4, 5}}, {{1, 2, 6}, {3, 4, 5}},
{{1, 2, 5}, {3, 4, 6}}.

Alois P. Heinz, Table of n, a(n) for n = 0..1000
Hans Salié, Über die Koeffizienten der Blasiusschen Reihe, Math. Nachr. 1955, (14, 4-6), 241--248.

a(n) = A112849(n) for n >= 2. - Alois P. Heinz, Aug 06 2015
a(n) = A052473(n+2) - 1.
a(n) = A088218(n) + 1.
a(n) = (-1)^n*A110556(n) + 1.
a(n+1) - a(n) = A097613(n+1) for n > 0.
Cf. A260876, A001700.
Cf. A323230 (d=0), this sequence (d=1), A323229 (d=2).

a := proc(n) option remember;
if n < 2 then [2, 2][n+1] else ((4*n - 2)*a(n-1) - 3*n + 2)/n fi end:
seq(a(n), n=0..26); # Or:
egf := n -> exp(exp(x)*(1 - (GAMMA(n,x)/GAMMA(n)))):
a := n -> `if`(n<2, 2, (2*n)!*coeff(series(egf(n), x, 2*n+1), x, 2*n)):
seq(a(n), n=0..26); # Peter Luschny, Aug 02 2019

Table[Binomial[2 n - 1, n] + 1, {n, 0, 26}] (* or *)
CoefficientList[Series[(4 x^2 - 13 x + 3 + Sqrt[(1 - 4 x) (x - 1)^2])/(2 (4 x - 1) (x - 1)), {x, 0, 26}], x] (* Michael De Vlieger, Feb 26 2017 *)

Sage
```
print([A260876(n,2) for n in (0..30)])
```

# Alternative:
def A260878():
    a, f, s, n = 2, 2, 1, 1
    yield a
    while True:
        yield a
        f += 4; s += 3; n += 1
        a = (f*a - s)/n
a = A260878()
print([next(a) for n in range(27)]) # Peter Luschny, Aug 02 2019

G.f.: (4*x^2 - 13*x + 3 + sqrt((1 - 4*x)*(x - 1)^2))/(2*(4*x - 1)*(x - 1)). - Alois P. Heinz, Aug 06 2015
a(n) = Binomial(2*n-1, n) + 1. - Vladimir Kruchinin, Feb 26 2017
The generating function G(x) satisfies the differential equation x^3 + 2*x = (4*x^4 - 9*x^3 + 6*x^2 - x)*diff(G(x), x) + (2*x^3 - 4*x^2 + 2*x)*G(x). - Peter Luschny, Feb 12 2019
From Peter Luschny, Aug 02 2019: (Start)
a(n) = ((4*n - 2)*a(n-1) - 3*n + 2)/n for n >= 2.
a(n) = (2*n)! * [x^(2*n)] exp(exp(x)*(1 - (Gamma(n,x)/Gamma(n)))) for n >= 2.
a(n) ~ 4^n/sqrt(4*Pi*n). More precise asymptotic estimates are:
1 + (4^n/sqrt(n*Pi)) * (1/2 - 1/(16*n) * (1 - 1/(16*n))), and
1 + 4^n*(2 - 2/N^2 + 21/N^4 - 671/N^6) / sqrt(2*N*Pi) with N = 8*n + 2.
Let b(n) = binomial(2*(n-1), n-1) + 1 = A323230(n) for n >= 0. Then by Salié:
p divides a(p+k) - b(k+1) if p is a prime > k and 0 <= k <= 4.
Conjecture: p divides a(p+5) - b(6) if p is a prime > b(6).
If p is a prime divisor of n then a(n) == a(n/p) (mod p) (by Salié, theorem 2).
(End)
From Peter Bala, Apr 20 2024: (Start)
a(n) = Sum_{k = 0..n} (-1)^k * 3*n/(2*n + k) * binomial(2*n+k, n-k) for n >= 1.
a(n) = Sum_{k = 0..n} (-1)^k * 3*n/(n + 2*k) * binomial(2*n+k-1, n-k) for n >= 1.
(-1)^n * a(n) equals the n-th order Taylor polynomial (centered at 0) of 1/c(x)^(3*n) evaluated at x = 1, where c(x) = (1 - sqrt(1 - 4*x))/(2*x) is the o.g.f. of the Catalan numbers A000108. (End)

A350383 a(n) = [x^n] 1/(1 + x + x^2)^n.

Original entry on oeis.org

1, -1, 1, 2, -15, 49, -98, 48, 561, -2860, 8151, -12948, -9282, 149226, -594320, 1428952, -1448655, -5538975, 37450900, -122995950, 239589735, -37528755, -1886983020, 8939152560, -24579514050, 35197176924, 51580335366, -541312482256, 2033695030128, -4624358661240

Offset: 0

Seiichi Manyama, Dec 29 2021

Seiichi Manyama, Table of n, a(n) for n = 0..1000

Cf. A002426, A027907, A103779, A110556, A165817, A213684, A228960, A350406, A350407, A362087.

a := n -> (-1)^n*hypergeom([-n/3, 1/3 - n/3, 2/3 - n/3, n], [1/3, 2/3, 1], 1): seq(simplify(a(n)), n = 0..30); # Peter Bala, Apr 17 2023

a[n_] := Coefficient[Series[1/(1 + x + x^2)^n, {x, 0, n}], x, n]; Array[a, 30, 0] (* Amiram Eldar, Dec 29 2021 *)

a(n) = sum(k=0, n, (-1)^(n-k)*binomial(n-1+k, k)*binomial(n, 3*k));

a(n) = Sum_{k=0..n} (-1)^(n-k) * binomial(n-1+k,k) * binomial(n,3*k).
Recurrence: 3*(n-1)*n*(4*n - 7)*a(n) = -2*(n-1)*(28*n^2 - 63*n + 27)*a(n-1) - 3*(3*n - 5)*(3*n - 4)*(4*n - 3)*a(n-2). - Vaclav Kotesovec, Mar 18 2023
From Peter Bala, Apr 15 2023: (Start)
a(n) = (-1)^n*hypergeom([-n/3, 1/3 - n/3, 2/3 - n/3, n], [1/3, 2/3, 1], 1).
Conjecture: the supercongruence a(n*p^r) == a(n*p^(r-1)) (mod p^(2*r)) holds for positive integers n and r and all primes p >= 5. Cf. A228960.
More generally, let k be a positive integer, m an integer and let f(x) = g(x)/h(x), where g(x) and h(x) are both finite products of cyclotomic polynomials. Then we conjecture that the same supercongruences hold, except for a finite number of primes p depending on f(x), for the sequence {a_(k,m,f)(n): n >= 0} defined by a_(k,m,f)(n) = [x^(k*n)] f(x)^(m*n). (End)
From Peter Bala, Mar 11 2025: (Start)
G.f.: A(x) = 1 + x*d/dx(log(G(x)/x)), where G(x) = x - x^2 + x^3 - 4*x^5 + 14*x^6 - 30*x^7 + ... is the g.f. of A103779.
The following formulas hold for n >= 1:
a(n) = [x^n] T(2*n, (1 - x)/2), where T(n, x) denotes the n-th Chebyshev polynomial of the first kind.
a(n) = Sum_{k = 0..n} (-1)^(n+k) * n/(2*n-k) * binomial(2*n-k, k)*binomial(2*n-2*k, n).
a(n) = (1/2)*(-1)^n*binomial(2*n, n)*hypergeom([-n/2, (-n+1)/2], [-2*n+1], 4). Cf. A213684. (End)

A144859 Numerators of triangle T(n,k), n>=0, 0<=k<=n, read by rows: T(n,k) is the coefficient of x^(2k+1) in polynomial v_n(x), used to approximate x->sin(Pi*x)/Pi.

Original entry on oeis.org

0, 1, -1, 1, -10, 3, 1, -140, 21, -10, 1, -3360, 1638, -360, 35, 1, -25872, 63756, -2970, 385, -126, 1, -7303296, 720720, -845988, 23023, -9828, 462, 1, -80995200, 39969072, -65739960, 1286285, -114660, 6930, -1716, 1, -57839907840

Offset: 0

Alois P. Heinz, Sep 23 2008

All even coefficients of v_n are 0. Sum_{k=0..n} T(n,k) = 0. 1/v(n)(1/2) is an approximation to Pi, cf. A230144/A230145. D(v_n)(0) = 1 if n>0.

			0, 1, -1, 1, -10/7, 3/7, 1, -140/87, 21/29, -10/87, 1, -3360/2047, 1638/2047, -360/2047, 35/2047, 1, -25872/15731, 63756/78655, -2970/15731, 385/15731, -126/78655 ... = A144859/A144860
As triangle:
  0
  1,   -1
  1,  -10/7,   3/7
  1, -140/87, 21/29, -10/87

Alois P. Heinz, Rows n = 0..99, flattened
Alois P. Heinz, Animation of Pi*v_n(x) for n=0..15, x=-3..3

Denominators of T(n,k): A144860. Diagonal gives: A110556(n) for n>0 and (-1)^n A001700(n-1) for n>0. First column gives: A057427. Cf. A144846.

v:= proc(n) option remember; local f,i,x; f:= unapply(simplify(sum('cat(a||(2*i+1))*x^(2*i+1)', 'i'=0..n) ), x); unapply(subs(solve({f(1)=0, `if`(n=0,NULL,D(f)(0)=1), seq((D@@i)(f)(1)=-(D@@i)(f)(0), i=2..n)}, {seq(cat(a||(2*i+1)), i=0..n)}), sum('cat(a||(2*i+1))*x^(2*i+1)', 'i'=0..n) ), x); end: T:= (n,k)-> coeff(v(n)(x), x, 2*k+1): seq(seq(numer(T(n,k)), k=0..n), n=0..9);

v[n_] := v[n] = Module[{f, i, x, a}, f[x_] = Sum[a[2*i+1]*x^(2i+1), {i, 0, n}]; Function[x, Sum[a[2*i+1]*x^(2i+1), {i, 0, n}] /. First @ Solve [{f[1] == 0, If[n == 0, True, f'[0] == 1], Sequence @@ Table[Derivative[i][f][1] == -Derivative[i][f][0], {i, 2, n}]}, Table[a[2*i+1], {i, 0, n}]]]]; T[n_, k_] := Coefficient[v[n][x], x, 2*k+1]; Table[Table[Numerator[T[n, k]], {k, 0, n}], {n, 0, 9}] // Flatten (* Jean-François Alcover, Feb 12 2014, translated from Maple *)

See program.

A051404 Numbers k such that neither 4 nor 9 divides binomial(2k-1,k) (almost certainly finite).

Original entry on oeis.org

1, 2, 3, 4, 6, 9, 10, 12, 18, 33, 34, 36, 40, 64, 66, 192, 256, 264, 272, 513, 514, 516, 576, 768, 1026, 1056, 2304, 16392, 65664, 81920, 532480, 545259520

Offset: 1

David W. Wilson

Complete up to 2^64 = 18446744073709551616.
Complete up to 2^30000. - Don Reble, Oct 27 2013
A number n is in the sequence if and only if the following inequalities hold s_2(n) <= 2 and s_3(n) + s_3(n-1) - s_3(2*n-1) <= 2, where s_m(n) is sum of digits of n in base m. - Vladimir Shevelev, Oct 30 2013
Equivalently, a number n is in the sequence if and only if there is at most 1 "carry" when adding n and n-1 in both base-2 arithmetic and base-3 arithmetic. - Tom Edgar, Oct 31 2013

			For n = 64 we have s_2(64) = 1, s_3(n) = 4, s_3(64-1) = 3, s_3(2*64-1) = 5 and 4+3-5 = 2. So 64 is in the sequence. - _Vladimir Shevelev_, Oct 30 2013

Adrien-Marie Legendre, Théorie de Nombres, Firmin Didot Frères, Paris, 1830.

E. E. Kummer, Uber die Ergänzungssätze zu den allgemeinen Reciprocitätsgesetzen, J. Reine Angew Math. 44 (1852), 93-146.
Don Reble, A051404, SeqFan Post, Oct 30 2013.
Vladimir Shevelev, Binomial coefficient predictors, J. of Integer Sequences, Vol. 14 (2011), Article 11.2.8.
Vladimir Shevelev, Re: A051404, SeqFan Post, Oct 30 2013.
Wikipedia, Kummer's Theorem.

Cf. A000120, A001700, A053735, A110556.

s[n_] :=DigitSum[n, 3]; With[{emax = 30}, Select[Flatten@ Table[2^e1 + If[e2 < 0, 0, 2^e2], {e1, 0, emax}, {e2, -1, e1-1}], s[#] + s[#-1] - s[2*#-1] <= 2 &]] (* Amiram Eldar, Aug 26 2025 *)

isok(k) = my(b=binomial(2*k-1,k)); (b%4) && (b%9); \\ Michel Marcus, Jan 22 2025

s(n) = sumdigits(n, 3);
list(emax = 30) = {my(k); for(e1 = 0, emax, for(e2 = -1, e1-1, k = 1 << e1 + if(e2 >= 0, 1 << e2); if(s(k) + s(k-1) - s(2*k-1) <= 2, print1(k, ", "))));} \\ Amiram Eldar, Aug 26 2025

A380113 Triangle read by rows: The inverse matrix of the central factorials A370707, row n normalized by (-1)^(n - k)*A370707(n, n).

Original entry on oeis.org

1, 1, 1, 3, 4, 1, 10, 15, 6, 1, 35, 56, 28, 8, 1, 126, 210, 120, 45, 10, 1, 462, 792, 495, 220, 66, 12, 1, 1716, 3003, 2002, 1001, 364, 91, 14, 1, 6435, 11440, 8008, 4368, 1820, 560, 120, 16, 1, 24310, 43758, 31824, 18564, 8568, 3060, 816, 153, 18, 1

Offset: 0

Peter Luschny, Jan 12 2025

The inverse matrix of A370707 is a rational matrix and the normalization serves to make it a matrix over the integers. Note that the normalization factor A370707(n, n) = FallingFactorial(n, n) * RisingFactorial(n, n) extends A002674 to n = 0.

			Triangle starts:
  [0] [    1]
  [1] [    1,     1]
  [2] [    3,     4,     1]
  [3] [   10,    15,     6,     1]
  [4] [   35,    56,    28,     8,    1]
  [5] [  126,   210,   120,    45,   10,    1]
  [6] [  462,   792,   495,   220,   66,   12,   1]
  [7] [ 1716,  3003,  2002,  1001,  364,   91,  14,   1]
  [8] [ 6435, 11440,  8008,  4368, 1820,  560, 120,  16,  1]
  [9] [24310, 43758, 31824, 18564, 8568, 3060, 816, 153, 18, 1]
.
Row 3 of the matrix inverse of the central factorials is [-1/36, 1/24, -1/60, 1/360]. Normalized with (-1)^(n-k)*360 gives row 3 of T.

Paolo Xausa, Table of n, a(n) for n = 0..11475 (rows 0..150 of triangle, flattened).

Variant: A094527.

Cf. A370707, A002674, A008311, A088218 and A110556 (column 0), A081294 (row sums), A000007 (alternating row sums), A005810 (central terms).

T := (n, k) -> if n = k then 1 elif k = 0 then binomial(2*n, n - k)/2 else binomial(2*n, n - k) fi: seq(seq(T(n, k), k = 0..n), n = 0..9);

A380113[n_, k_] := Binomial[2*n, n - k]/(Boole[k == 0 && n > 0] + 1);
Table[A380113[n, k], {n, 0, 10}, {k, 0, n}] (* Paolo Xausa, Jan 13 2025 *)

def Trow(n):
    def cf(n, k): return falling_factorial(n, k)*rising_factorial(n, k)
    def w(n): return factorial(n)*rising_factorial(n, n)
    m = matrix(QQ, n + 1, lambda x, y: cf(x, y)).inverse()
    return [(-1)^(n-k)*w(n)*m[n, k] for k in range(n+1)]
for n in range(10): print(Trow(n))

T(n, k) = (-1)^(n - k) * ff(n, n) * rf(n, n) * M^(-1)(ff(n, k) * rf(n, k)) where ff denotes the falling factorial, rf the rising factorial and M^(-1)(t(n, k)) the matrix inverse to the matrix with entries t(n, k).
T(n, k) = binomial(2*n, n - k) for 0 < k < n. T(n, n) = 1; T(n, 0) = (-1)^n*binomial(-n, n).
Sum_{k=0..n} T(n, k)*cos(k*x) = 2^(n-1)*(cos(x)+1)^n. (After Philippe Deléham in A008311).

A367505 Triangle read by rows: row n gives the h-vector of the n-th halohedron.

Original entry on oeis.org

1, 1, 1, 1, 3, 1, 1, 7, 7, 1, 1, 13, 27, 13, 1, 1, 21, 76, 76, 21, 1, 1, 31, 175, 300, 175, 31, 1, 1, 43, 351, 925, 925, 351, 43, 1, 1, 57, 637, 2401, 3675, 2401, 637, 57, 1, 1, 73, 1072, 5488, 11956, 11956, 5488, 1072, 73, 1, 1, 91, 1701, 11376, 33516, 47628, 33516, 11376, 1701, 91, 1

Offset: 0

F. Chapoton, Nov 21 2023

Theorem 6.1.11 in Almeter's thesis gives the f-vector generating series. Then replacing x with x-1 gives the h-vector generating series.

			As a table:
  (1),
  (1,  1),
  (1,  3,  1),
  (1,  7,  7,  1),
  (1, 13, 27, 13,  1),
  (1, 21, 76, 76, 21,  1),
  ...

Jordan Grady Almeter, P-graph associahedra and hypercube graph associahedra, arXiv:2211.02113 [math.CO], 2022; Ph.D. thesis, North Carolina State University, 2022.
Forcey's Hedra Zoo, Halohedron.

Row sums are A051960(n-1) for n>=1.
Alternating sums form an aerated version of A110556.
Columns k=0-2 give A000012, A002061, A039623(n-1) for n>=2.

T[0,0]:=1;T[n_,k_]:= Binomial[n-1,n-k]*Binomial[n,n-k]+Binomial[n-1,n-k-1]^2;Flatten[Table[T[n,k],{n,0,10},{k,0,n}]] (* Detlef Meya, Nov 23 2023 *)

x = polygen(QQ, 'x')
t = x.parent()[['t']].0
F = (1 + (1+x) * t) / (2 * sqrt(1 - 2 * (x+1) * t + (x-1)**2 * t**2)) + 1/2
for poly in F.list(): print(poly.list())

G.f.: (1 + (1+x)*t)/(2*sqrt(1 - 2*(x+1)*t + (x-1)^2*t^2)) + 1/2.

T(0,0) = 1; T(n,k) = binomial(n-1,n-k)*binomial(n,n-k)+binomial(n-1,n-k-1)^2. - Detlef Meya, Nov 23 2023

cp's OEIS Frontend

A001700 a(n) = binomial(2*n+1, n+1): number of ways to put n+1 indistinguishable balls into n+1 distinguishable boxes = number of (n+1)-st degree monomials in n+1 variables = number of monotone maps from 1..n+1 to 1..n+1.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

GAP

Haskell

Magma

Maple

Mathematica

Maxima

PARI

PARI

Python

Sage

Formula

Extensions

A088218 Total number of leaves in all rooted ordered trees with n edges.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Magma

Maple

Mathematica

PARI

PARI

PARI

PARI

PARI

Sage

Formula

A110555 Triangle of partial sums of alternating binomial coefficients: T(n, k) = Sum_{j=0..k} binomial(n, j)*(-1)^j, for n >= 0, 0 <= k <= n.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Maple

Mathematica

PARI

Formula

Extensions

A260878 Number of set partitions of {1, 2, ..., 2*n} with sizes in {[n, n], [2n]}.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

Sage

Sage

Formula

A350383 a(n) = [x^n] 1/(1 + x + x^2)^n.

Views

Author

Keywords

Links

Crossrefs

Programs

Maple

Mathematica

PARI