A000165 -id:A000165 - cp's OEIS frontend

A001586 Generalized Euler numbers, or Springer numbers.

1, 1, 3, 11, 57, 361, 2763, 24611, 250737, 2873041, 36581523, 512343611, 7828053417, 129570724921, 2309644635483, 44110959165011, 898621108880097, 19450718635716001, 445777636063460643, 10784052561125704811, 274613643571568682777, 7342627959965776406281

Offset: 0

N. J. A. Sloane

From Peter Bala, Feb 02 2011: (Start)
The Springer numbers were originally considered by Glaisher (see references). They are a type B analog of the zigzag numbers A000111 for the group of signed permutations.
COMBINATORIAL INTERPRETATIONS
Several combinatorial interpretations of the Springer numbers are known:
1) a(n) gives the number of Weyl chambers in the principal Springer cone of the Coxeter group B_n of symmetries of an n dimensional cube. An example can be found in [Arnold - The Calculus of snakes...].
2) Arnold found an alternative combinatorial interpretation of the Springer numbers in terms of snakes. Snakes are a generalization of alternating permutations to the group of signed permutations. A signed permutation is a sequence (x_1,x_2,...,x_n) of integers such that {|x_1|,|x_2|,...,|x_n|} = {1,2,...,n}. They form a group, the hyperoctahedral group of order 2^n*n! = A000165(n), isomorphic to the group of symmetries of the n dimensional cube. A snake of type B_n is a signed permutation (x_1,x_2,...,x_n) such that 0 < x_1  > x_2 < ... x_n. For example, (3,-4,-2,-5,1,-6) is a snake of type B_6. a(n) gives the number of snakes of type B_n [Arnold]. The cases n=2 and n=3 are given in the Example section below.
3) The Springer numbers also arise in the study of the critical points of functions; they count the topological types of odd functions with 2*n critical values [Arnold, Theorem 35].
4) Let F_n be the set of plane rooted forests satisfying the following conditions:
... each root has exactly one child, and each of the other internal nodes has exactly two (ordered) children,
... there are n nodes labeled by integers from 1 to n, but some leaves can be non-labeled (these are called empty leaves), and labels are increasing from each root down to the leaves. Then a(n) equals the cardinality of F_n. An example and proof are given in [Verges, Theorem 4.5].
OTHER APPEARANCES OF THE SPRINGER NUMBERS
1) Hoffman has given a connection between Springer numbers, snakes and the successive derivatives of the secant and tangent functions.
2) For integer N the quarter Gauss sums Q(N) are defined by ... Q(N) := Sum_{r = 0..floor(N/4)} exp(2*Pi*I*r^2/N). In the cases N = 1 (mod 4) and N = 3 (mod 4) an asymptotic series for Q(N) as N -> inf that involves the Springer numbers has been given by Evans et al., see 1.32 and 1.33.
For a sequence of polynomials related to the Springer numbers see A185417. For a table to recursively compute the Springer numbers see A185418.
(End)
Similar to the way in which the signed Euler numbers A122045 are 2^n times the value of the Euler polynomials at 1/2, the generalized signed Euler numbers A188458 can be seen as 2^n times the value of generalized Euler polynomials at 1/2. These are the Swiss-Knife polynomials A153641. A recursive definition of these polynomials is given in A081658. - Peter Luschny, Jul 19 2012
a(n) is the number of reverse-complementary updown permutations of [2n]. For example, the updown permutation 241635 is reverse-complementary because its complement is 536142, which is the same as its reverse, and a(2)=3 counts 1324, 2413, 3412. - David Callan, Nov 29 2012
a(n) = |2^n G(n,1/2;-1)|, a specialization of the Appell sequence of polynomials umbrally formed by G(n,x;t) = (G(.,0;t) + x)^n from the Grassmann polynomials G(n,0;t) of A046802 enumerating the cells of the positive Grassmannians. - Tom Copeland, Oct 14 2015
Named "Springer numbers" after the Dutch mathematician Tonny Albert Springer (1926-2011). - Amiram Eldar, Jun 13 2021

			a(2) = 3: The three snakes of type B_2 are
  (1,-2), (2,1), (2,-1).
a(3) = 11: The 11 snakes of type B_3 are
  (1,-2,3), (1,-3,2), (1,-3,-2),
  (2,1,3), (2,-1,3), (2,-3,1), (2,-3,-1),
  (3,1,2), (3,-1,2), (3,-2,1), (3,-2,-1).

V. I. Arnold, Springer numbers and Morsification spaces. J. Algebraic Geom., Vol. 1, No. 2 (1992), pp. 197-214.
J. W. L. Glaisher, "On the coefficients in the expansions of cos x/cos 2x and sin x/cos 2x", Quart. J. Pure and Applied Math., Vol. 45 (1914), pp. 187-222.
J. W. L. Glaisher, On the Bernoullian function, Q. J. Pure Appl. Math., Vol. 29 (1898), pp. 1-168.
Ulrike Sattler, Decidable classes of formal power series with nice closure properties, Diplomarbeit im Fach Informatik, Univ. Erlangen - Nürnberg, Jul 27 1994.
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).
Tonny Albert Springer, Remarks on a combinatorial problem, Nieuw Arch. Wisk., Vol. 19, No. 3 (1971), pp. 30-36.

Matthew House, Table of n, a(n) for n = 0..432 (terms 0..100 from T. D. Noe)
Vladimir Igorevich Arnol'd, The calculus of snakes and the combinatorics of Bernoulli, Euler and Springer numbers of Coxeter groups, Uspekhi Mat. nauk., Vol. 47, No. 1 (1992), pp. 3-45; English version, Russian Math. Surveys, Vol. 47 (1992), pp. 1-51.
Marilena Barnabei, Flavio Bonetti, Niccolò Castronuovo and Matteo Silimbani, Ascending runs in permutations and valued Dyck paths, Ars Mathematica Contemporanea, Vol. 16, No. 2 (2019), pp. 445-463.
Paul Barry, A Note on Three Families of Orthogonal Polynomials defined by Circular Functions, and Their Moment Sequences, Journal of Integer Sequences, Vol. 15 (2012), Article 12.7.2.
Paul Barry, On a transformation of Riordan moment sequences, arXiv:1802.03443 [math.CO], 2018.
William Y. C. Chen, Neil J. Y. Fan and Jeffrey Y. T. Jia, Labeled Ballot Paths and the Springer Numbers, arXiv:1009.2233 [math.CO], Sep 12 2010. [From _Jonathan Vos Post_, Sep 13 2010]
Shaoshi Chen, Hanqian Fang, Sergey Kitaev, and Candice X.T. Zhang, Patterns in Multi-dimensional Permutations, arXiv:2411.02897 [math.CO], 2024. See p. 12.
Suyoung Choi, Boram Park and Hanchul Park, The Betti numbers of real toric varieties associated to Weyl chambers of type B, arXiv preprint arXiv:1602.05406 [math.AT], 2016.
Chak-On Chow and Shi-Mei Ma, Counting signed permutations by their alternating runs, Discrete Mathematics, Vol. 323 (28 May 2014), pp. 49-57.
D. Dumont, Further triangles of Seidel-Arnold type and continued fractions related to Euler and Springer numbers Adv. Appl. Math., Vol. 16, No. 3 (1995), pp. 275-296.
Ronald Evans, Marvin Minei and Bennet Yee, Incomplete higher order Gauss sums, J. Math. Anal. Appl., Vol. 281, No. 2 (2003), pp. 454-476. See 1.32 and 1.33.
Dominique Foata and Guo-Niu Han, Multivariable Tangent and Secant q-derivative Polynomials, arXiv:1304.2486 [math.CO], 2013; alternative link.
J. W. L. Glaisher, On a set of coefficients analogous to the Eulerian numbers, Proc. London Math. Soc., 31 (1899), 216-235.
Tian Han, Sergey Kitaev, and Philip B. Zhang, Distribution of maxima and minima statistics on alternating permutations, Springer numbers, and avoidance of flat POPs, arXiv:2408.12865 [math.CO], 2024. See p. 2.
Christopher R. H. Hanusa, Alejandro H. Morales, and Martha Yip, Column convex matrices, G-cyclic orders, and flow polytopes, arXiv:2107.07326 [math.CO], 2021.
Michael E. Hoffman, Derivative Polynomials, Euler Polynomials, and Associated Integer Sequences, The Electronic Journal of Combinatorics, Vol. 6 (1999), #R21 (see Th. 3.1).
Matthieu Josuat-Vergès, Enumeration of snakes and cycle-alternating permutations, arXiv:1011.0929 [math.CO], 2010.
Matthieu Josuat-Vergès, J.-C. Novelli and J.-Y. Thibon, The algebraic combinatorics of snakes, arXiv preprint arXiv:1110.5272 [math.CO], 2011.
Emanuele Munarini, Two-Parameter Identities for q-Appell Polynomials, Journal of Integer Sequences, Vol. 26 (2023), Article 23.3.1.
Igor Pak and Andrew Soffer, On Higman's k(U_n(F_q)) conjecture, arXiv preprint arXiv:1507.00411 [math.CO], 2015.
Daniel Shanks, Generalized Euler and class numbers, Math. Comp., Vol. 21, No. 100 (1967), pp. 689-694; Vol. 22, No. 103 (1968), p. 699. [Annotated scanned copy]
Daniel Shanks, Generalized Euler and class numbers. Math. Comp., Vol. 21, No. 100 (1967), pp. 689-694.
Daniel Shanks, Corrigenda to: "Generalized Euler and class numbers", Math. Comp. 22, No. 103 (1968), p. 699.
Alan D. Sokal, The Euler and Springer numbers as moment sequences, arXiv:1804.04498 [math.CO], 2018.
Zhi-Hong Sun, Congruences involving Bernoulli polynomials, Discr. Math., Vol. 308, No. 1 (2007), pp. 71-112.
Zhi-Wei Sun, Conjectures involving arithmetical sequences, Number Theory: Arithmetic in Shangri-La (eds., S. Kanemitsu, H.-Z. Li and J.-Y. Liu), Proc. the 6th China-Japan Sem. Number Theory (Shanghai, August 15-17, 2011), World Sci., Singapore, 2013, pp. 244-258; see Conjectures involving combinatorial sequences, arXiv preprint arXiv:1208.2683 [math.CO], 2012.
M. S. Tokmachev, Correlations Between Elements and Sequences in a Numerical Prism, Bulletin of the South Ural State University, Ser. Mathematics. Mechanics. Physics, Vol. 11, No. 1 (2019), pp. 24-33.
Andrei Vieru, Agoh's conjecture: its proof, its generalizations, its analogues, arXiv preprint arXiv:1107.2938 [math.NT], 2011.
Younghan Yoon, Cohomology of type B real permutohedral varieties, arXiv:2501.09496 [math.AT], 2025. See p. 2.

Cf. A007836, A079858, A185417, A185418, A212435.
Row 2 of A349271.
Bisections are A000281 and A000464. Overview in A349264.
Related polynomials are given in A098432, A081658 and A153641.
Cf. A046802.

a := proc(n) local k; (-1)^iquo(n,2)*add(2^k*binomial(n,k)*euler(k),k=0..n) end; # Peter Luschny, Jul 08 2009
a := n -> (-1)^(n+iquo(n,2))*2^(3*n+1)*(Zeta(0,-n,1/8) - Zeta(0,-n,5/8)):
seq(a(n),n=0..21); # Peter Luschny, Mar 11 2015

n=21; CoefficientList[Series[1/(Cos[x]-Sin[x]), {x, 0, n}], x] * Table[k!, {k, 0, n}] (* Jean-François Alcover, May 18 2011 *)
Table[Abs[Numerator[EulerE[n,1/4]]],{n,0,35}] (* Harvey P. Dale, May 18 2011 *)

{a(n) = if(n<0, 0, n! * polcoeff( 1 / (cos(x + x * O(x^n)) - sin(x + x * O(x^n))), n))}; /* Michael Somos, Feb 03 2004 */

{a(n) = my(an); if(n<2, n>=0, an = vector(n+1, m, 1); for(m=2, n, an[m+1] = 2*an[m] + an[m-1] + sum(k=0, m-3, binomial(m-2, k) * (an[k+1] * an[m-1-k] + 2*an[k+2] * an[m-k] - an[k+3] * an[m-1-k]))); an[n+1])}; /* Michael Somos, Feb 03 2004 */

/* Explicit formula by Peter Bala: */
{a(n)=((1+I)/2)^n*sum(k=0,n,((1-I)/(1+I))^k*sum(j=0,k,(-1)^(k-j)*binomial(n+1,k-j)*(2*j+1)^n))}

@CachedFunction
def p(n,x) :
    if n == 0 : return 1
    w = -1 if n%2 == 0 else 0
    v =  1 if n%2 == 0 else -1
    return v*add(p(k,0)*binomial(n,k)*(x^(n-k)+w) for k in range(n)[::2])
def A001586(n) : return abs(2^n*p(n, 1/2))
[A001586(n) for n in (0..21)] # Peter Luschny, Jul 19 2012

E.g.f.: 1/(cos(x) - sin(x)).
Values at 1 of polynomials Q_n() defined in A104035. - N. J. A. Sloane, Nov 06 2009
a(n) = numerator of abs(Euler(n,1/4)). - N. J. A. Sloane, Nov 07 2009
Let B_n(x) = Sum_{k=0.. n*(n-1)/2} b(n,k)*x^k, where b(n,k) is number of n-node acyclic digraphs with k arcs, cf. A081064; then a(n) = |B_n(-2)|. - Vladeta Jovovic, Jan 25 2005
G.f. A(x) = y satisfies y'^2 = 2y^4 - y^2, y''y = y^2 + 2y'^2. - Michael Somos, Feb 03 2004
a(n) = (-1)^floor(n/2) Sum_{k=0..n} 2^k C(n,k) Euler(k). - Peter Luschny, Jul 08 2009
From Peter Bala, Feb 02 2011: (Start)
(1)... a(n) = ((1 + i)/2)^n*B(n,(1 - i)/(1 + i)), where i = sqrt(-1) and {B(n,x)}n>=0 = [1, 1 + x, 1 + 6*x + x^2, 1 + 23*x + 23*x^2 + x^3, ...] is the sequence of type B Eulerian polynomials - see A060187.
This yields the explicit formula
(2)... a(n) = ((1 + i)/2)^n*Sum_{k = 0..n} ((1 - i)/(1 + i))^k * Sum_{j = 0..k} (-1)^(k-j)*binomial(n+1,k-j)*(2*j + 1)^n.
The result (2) can be used to find congruences satisfied by the Springer numbers. For example, for odd prime p
(3)
... a(p) = 1 (mod p) when p = 4*n + 1
... a(p) = -1 (mod p) when p = 4*n + 3.
(End)
E.g.f.: 1/Q(0) where Q(k) = 1 - x/((2k+1)-x*(2k+1)/(x+(2k+2)/Q(k+1))); (continued fraction). - Sergei N. Gladkovskii, Nov 19 2011
E.g.f.: 2/U(0) where U(k) = 1 + 1/(1 + x/(2*k + 1 -x - (2*k+1)/(2 - x/(x+ (2*k+2)/U(k+1))))); (continued fraction, 5-step). - Sergei N. Gladkovskii, Sep 24 2012
E.g.f.: 1/G(0) where G(k) = 1 - x/(4*k+1 - x*(4*k+1)/(4*k+2 + x + x*(4*k+2)/(4*k+3 - x - x*(4*k+3)/(x + (4*k+4)/G(k+1) )))); (continued fraction, 3rd kind, 5-step). - Sergei N. Gladkovskii, Oct 02 2012
G.f.: 1/G(0) where G(k) = 1 - x*(2*k+1) - 2*x^2*(k+1)*(k+1)/G(k+1); (continued fraction). - Sergei N. Gladkovskii, Jan 11 2013
a(n) = | 2*4^n*lerchphi(-1, -n, 1/4) |. - Peter Luschny, Apr 27 2013
a(n) ~ 4 * n^(n+1/2) * (4/Pi)^n / (sqrt(Pi)*exp(n)). - Vaclav Kotesovec, Oct 07 2013
G.f.: T(0)/(1-x), where T(k) = 1 - 2*x^2*(k+1)^2/( 2*x^2*(k+1)^2 - (1-x-2*x*k)*(1-3*x-2*x*k)/T(k+1) ); (continued fraction). - Sergei N. Gladkovskii, Oct 15 2013
a(n) = (-1)^C(n+1,2)*2^(3*n+1)*(Zeta(-n,1/8)-Zeta(-n,5/8)), where Zeta(a,z) is the generalized Riemann zeta function. - Peter Luschny, Mar 11 2015
E.g.f. A(x) satisfies: A(x) = exp( Integral A(x)/A(-x) dx ). - Paul D. Hanna, Feb 04 2017
E.g.f. A(x) satisfies: A'(x) = A(x)^2/A(-x). - Paul D. Hanna, Feb 04 2017

More terms from Vladeta Jovovic, Jan 25 2005

A004123 Number of generalized weak orders on n points.

Original entry on oeis.org

1, 2, 10, 74, 730, 9002, 133210, 2299754, 45375130, 1007179562, 24840104410, 673895590634, 19944372341530, 639455369290922, 22079273878443610, 816812844197444714, 32232133532123179930, 1351401783010933015082

Offset: 1

N. J. A. Sloane

Number of bipartitional relations on a set of cardinality n. - Ralf Stephan, Apr 27 2003
From Peter Bala, Jul 08 2022: (Start)
Conjecture: Let k be a positive integer. The sequence obtained by reducing a(n) modulo k is eventually periodic with the period dividing phi(k) = A000010(k). For example, modulo 7 we obtain the sequence [1, 2, 3, 4, 2, 0, 0, 2, 3, 4, 2, 0, 0, 2, 3, 4, 2, 0, 0, ...] with an apparent period of 6 = phi(7) starting at a(2). Cf. A000670.
More generally, we conjecture that the same property holds for integer sequences having an e.g.f. of the form G(exp(x) - 1), where G(x) is an integral power series. (End)

L Santocanale, F Wehrung, G Grätzer, F Wehrung, Generalizations of the Permutohedron, in Grätzer G., Wehrung F. (eds) Lattice Theory: Special Topics and Applications. Birkhäuser, Cham, pp. 287-397; DOI https://doi.org/10.1007/978-3-319-44236-5_8
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

T. D. Noe, Table of n, a(n) for n = 1..100
Paul Barry, Eulerian-Dowling Polynomials as Moments, Using Riordan Arrays, arXiv:1702.04007 [math.CO], 2017.
Paul Barry, Three Études on a sequence transformation pipeline, arXiv:1803.06408 [math.CO], 2018.
P. Blasiak, K. A. Penson and A. I. Solomon, Dobinski-type relations and the log-normal distribution. arXiv:quant-ph/0303030, 2003.
C. G. Bower, Transforms
D. Foata and C. Krattenthaler, Graphical Major Indices, II, Seminaire Lotharingien de Combinatoire, B34k, 16 pp., 1995.
D. Foata and D. Zeilberger, The Graphical Major Index, arXiv:math/9406220 [math.CO], 1994.
Jacob Sprittulla, On Colored Factorizations, arXiv:2008.09984 [math.CO], 2020.
Carl G. Wagner, Enumeration of generalized weak orders, Arch. Math. (Basel) 39 (1982), no. 2, 147-152.
C. G. Wagner, Enumeration of generalized weak orders, Preprint, 1980. [Annotated scanned copy]
C. G. Wagner and N. J. A. Sloane, Correspondence, 1980

Cf. A004121, A004122, A000165, A000670, A032033.
Second row of array A094416 (generalized ordered Bell numbers).
Equals 2 * A050351(n) for n>0.

a[n_] := (1/3)*PolyLog[-n + 1, 2/3]; a[1]=1; Table[a[n], {n, 1, 18}] (* Jean-François Alcover, Jun 11 2012 *)
CoefficientList[Series[1/(3-2*Exp[x]), {x, 0, 20}], x]* Range[0, 20]! (* Vaclav Kotesovec, Aug 07 2013 *)

{a(n)=polcoeff(sum(m=0, n, 2^m*m!*x^(m+1)/prod(k=1, m, 1-k*x+x*O(x^n))), n)} /* Paul D. Hanna, Jul 20 2011 */

my(N=25,x='x+O('x^N)); Vec(serlaplace(1/(3 - 2*exp(x)))) \\ Joerg Arndt, Jan 15 2024

A004123 = lambda n: sum(stirling_number2(n-1,k)*(2^k)*factorial(k) for k in (0..n-1))
[A004123(n) for n in (1..18)] # Peter Luschny, Jan 18 2016

E.g.f. for sequence with offset 0: 1/(3-2*exp(x)).
a(n) = 2^n*A(n,3/2); A(n,x) the Eulerian polynomials. - Peter Luschny, Aug 03 2010
O.g.f.: Sum_{n>=0} 2^n*n!*x^(n+1)/Product_{k=0..n} (1-k*x). - Paul D. Hanna, Jul 20 2011
a(n) = Sum_{k>=0} k^n*(2/3)^k/3.
a(n) = Sum_{k=0..n} Stirling2(n, k)*(2^k)*k!.
Stirling transform of A000165. - Karol A. Penson, Jan 25 2002
"AIJ" (ordered, indistinct, labeled) transform of 2, 2, 2, 2, ...
Recurrence: a(n) = 2*Sum_{k=1..n} binomial(n, k)*a(n-k), a(0)=1. - Vladeta Jovovic, Mar 27 2003
a(n) ~ (n-1)!/(3*(log(3/2))^n). - Vaclav Kotesovec, Aug 07 2013
a(n) = log(3/2)*Integral_{x>=0} floor(x)^n * (3/2)^(-x) dx. - Peter Bala, Feb 14 2015
E.g.f.: (x - log(3 - 2*exp(x)))/3. - Ilya Gutkovskiy, May 31 2018
Conjectural o.g.f. as a continued fraction of Stieltjes type:  1/(1 - 2*x/(1 - 3*x/(1 - 4*x/(1 - 6*x/(1 - ... - 2*n*x/(1 - 3*n*x/(1 - ...))))))). - Peter Bala, Jul 08 2022

More terms from Christian G. Bower

A032031 Triple factorial numbers: (3n)!!! = 3^n*n!.

Original entry on oeis.org

1, 3, 18, 162, 1944, 29160, 524880, 11022480, 264539520, 7142567040, 214277011200, 7071141369600, 254561089305600, 9927882482918400, 416971064282572800, 18763697892715776000, 900657498850357248000, 45933532441368219648000, 2480410751833883860992000

Offset: 0

Christian G. Bower

For n >= 1 a(n) is the order of the wreath product of the symmetric group S_n and the elementary Abelian group (C_3)^n. - Ahmed Fares (ahmedfares(AT)my-deja.com), May 07 2001
Laguerre transform of double factorials 2^n*n! = A000165(n). - Paul Barry, Aug 08 2008
For positive n, a(n) equals the permanent of the n X n matrix consisting entirely of 3's. - John M. Campbell, May 26 2011
a(n) is the product of the positive integers <= 3*n that are multiples of 3. - Peter Luschny, Jun 23 2011
Partial products of A008585. - Reinhard Zumkeller, Sep 20 2013

Vincenzo Librandi, Table of n, a(n) for n = 0..100
CombOS - Combinatorial Object Server, Generate colored permutations
INRIA Algorithms Project, Encyclopedia of Combinatorial Structures 491
Alexsandar Petojevic, The Function vM_m(s; a; z) and Some Well-Known Sequences, Journal of Integer Sequences, Vol. 5 (2002), Article 02.1.7.
Michael Z. Spivey and Laura L. Steil, The k-Binomial Transforms and the Hankel Transform, Journal of Integer Sequences, Vol. 9 (2006), Article 06.1.1.

Cf. A000142, A007559, A008544, A051141, A000165, A092041, A092615.

Cf. Subsequence of A007661.

a032031 n = a032031_list !! n
a032031_list = scanl (*) 1 $ tail a008585_list
-- Reinhard Zumkeller, Sep 20 2013

[3^n*Factorial(n): n in [0..60]]; // Vincenzo Librandi, Apr 22 2011

with(combstruct):ZL:=[T,{T=Union(Z,Prod(Epsilon,Z,T), Prod(T,Z,Epsilon), Prod(T,Z))},labeled]:seq(count(ZL,size=i)/i,i=1..17); # Zerinvary Lajos, Dec 16 2007
A032031 := n -> mul(k, k = select(k-> k mod 3 = 0, [$1 .. 3*n])): seq(A032031(n), n = 0 .. 16); # Peter Luschny, Jun 23 2011

Table[3^n*Gamma[1 + n], {n, 0, 20}] (* Roger L. Bagula, Oct 30 2008 *)
Join[{1},FoldList[Times,3*Range[20]]] (* Harvey P. Dale, Feb 10 2019 *)
Table[Times@@Range[3n,1,-3],{n,0,20}] (* Harvey P. Dale, Apr 14 2023 *)

PARI
```
a(n)=3^n*n!;
```
PARI
```
a(n)=prod(k=1,n, 3*k );
```

def A032031(n) : return mul(j for j in range(3,3*(n+1),3))
[A032031(n) for n in (0..16)]  # Peter Luschny, May 20 2013

a(n) = 3^n*n!.
a(n) = Product_{k=1..n} 3*k.
E.g.f.: 1/(1-3*x).
a(n) = Sum_{k=0..n} C(n,k)*(n!/k!)*2^k*k!. - Paul Barry, Aug 08 2008
a(0) = 1, a(n) = 3*n*a(n-1). - Arkadiusz Wesolowski, Oct 04 2011
G.f.: 2/G(0), where G(k)= 1 + 1/(1 - 6*x*(k+1)/(6*x*(k+1) - 1 + 6*x*(k+1)/G(k+1))); (continued fraction). - Sergei N. Gladkovskii, May 30 2013
G.f.: G(0)/2, where G(k)= 1 + 1/(1 - x*(3*k+3)/(x*(3*k+3) + 1/G(k+1))); (continued fraction). - Sergei N. Gladkovskii, Jun 06 2013
G.f.: 1/Q(0), where Q(k) = 1 - 3*x*(2*k+1) - 9*x^2*(k+1)^2/Q(k+1); (continued fraction). - Sergei N. Gladkovskii, Sep 28 2013
From Amiram Eldar, Jun 25 2020: (Start)
Sum_{n>=0} 1/a(n) = e^(1/3) (A092041).
Sum_{n>=0} (-1)^n/a(n) = e^(-1/3) (A092615). (End)

A047053 a(n) = 4^n * n!.

Original entry on oeis.org

1, 4, 32, 384, 6144, 122880, 2949120, 82575360, 2642411520, 95126814720, 3805072588800, 167423193907200, 8036313307545600, 417888291992371200, 23401744351572787200, 1404104661094367232000, 89862698310039502848000

Offset: 0

Joe Keane (jgk(AT)jgk.org)

Original name was "Quadruple factorial numbers".
For n >= 1, a(n) is the order of the wreath product of the cyclic group C_4 and the symmetric group S_n. - Ahmed Fares (ahmedfares(AT)my-deja.com), May 07 2001
Number of n X n monomial matrices with entries 0, +/-1, +/-i.
a(n) is the product of the positive integers <= 4*n that are multiples of 4. - Peter Luschny, Jun 23 2011
Also, a(n) is the number of signed permutations of length 2*n that are equal to their reverse-complements. (See the Hardt and Troyka reference.) - Justin M. Troyka, Aug 13 2011.
Pi^n/a(n) is the volume of a 2*n-dimensional ball with radius 1/2. - Peter Luschny, Jul 24 2012
Equals the first right hand column of A167557, and also equals the first right hand column of A167569. - Johannes W. Meijer, Nov 12 2009
a(n) is the order of the group U_n(Z[i]) = {A in M_n(Z[i]): A*A^H = I_n}, the group of n X n unitary matrices over the Gaussian integers. Here A^H is the conjugate transpose of A. - Jianing Song, Mar 29 2021

			G.f. = 1 + 4*x + 32*x^2 + 384*x^3 + 6144*x^4 + 122880*x^5 + 2949120*x^6 + ...

Vincenzo Librandi, Table of n, a(n) for n = 0..100
R. B. Brent, Generalizing Tuenter's Binomial Sums, J. Int. Seq. 18 (2015), # 15.3.2.
CombOS - Combinatorial Object Server, Generate colored permutations
R. Coquereaux and J.-B. Zuber, Maps, immersions and permutations, arXiv preprint arXiv:1507.03163 [math.CO], 2015-2016. Also J. Knot Theory Ramifications 25, 1650047 (2016), DOI.
Sylvie Corteel and Lauren Williams, Tableaux Combinatorics for the Asymmetric Exclusion Process II, arXiv:0810.2916 [math.CO], 2008-2009.
A. Hardt and J. M. Troyka, Restricted symmetric signed permutations, Pure Mathematics and Applications, Vol. 23 (No. 3, 2012), pp. 179-217.
A. Hardt and J. M. Troyka, Slides (associated with the Hardt and Troyka reference above).
INRIA Algorithms Project, Encyclopedia of Combinatorial Structures 492.
Alexsandar Petojevic, The Function vM_m(s; a; z) and Some Well-Known Sequences, Journal of Integer Sequences, 5 (2002), Article 02.1.7.
M. D. Schmidt, Generalized j-Factorial Functions, Polynomials, and Applications, J. Int. Seq. 13 (2010), Article 10.6.7, p. 39.
Michael Z. Spivey and Laura L. Steil, The k-Binomial Transforms and the Hankel Transform, Journal of Integer Sequences, 9 (2006), Article 06.1.1.

Cf. A000142, A000165, A007696, A008545, A032031, A047058, A087299, A092042, A092616.

a(n)= A051142(n+1, 0) (first column of triangle).

[4^n*Factorial(n): n in [0..20]]; // Vincenzo Librandi, Jul 20 2011

A047053:= n -> mul(k, k = select(k-> k mod 4 = 0, [$1..4*n])): seq(A047053(n), n = 0.. 16); # Peter Luschny, Jun 23 2011

a[n_]:= With[{m=2n}, If[ m<0, 0, m!*SeriesCoefficient[1 +Sqrt[Pi]*x*Exp[x^2]*Erf[x], {x, 0, m}]]]; (* Michael Somos, Jan 03 2015 *)
Table[4^n n!,{n,0,20}] (* Harvey P. Dale, Sep 19 2021 *)

PARI
```
a(n)=4^n*n!;
```

a(n) = 4^n * n!.
E.g.f.: 1/(1 - 4*x).
Integral representation as the n-th moment of a positive function on a positive half-axis: a(n) = Integral_{x=0..oo} x^n*exp(-x/4)/4, n >= 0. This representation is unique. - Karol A. Penson, Jan 28 2002 [corrected by Jason Yuen, May 04 2025]
Sum_{k>=0} (-1)^k/(2*k + 1)^n = (-1)^n * n * (PolyGamma[n-1, 1/4] - PolyGamma[n-1, 3/4]) / a(n) for n > 0. - Joseph Biberstine (jrbibers(AT)indiana.edu), Jul 27 2006
a(n) = Sum_{k=0..n} C(n,k)*(2k)!*(2(n-k))!/(k!(n-k)!) = Sum_{k=0..n} C(n,k)*A001813(k)*A001813(n-k). - Paul Barry, May 04 2007
E.g.f.: With interpolated zeros, 1 + sqrt(Pi)*x*exp(x^2)*erf(x). - Paul Barry, Apr 10 2010
From Gary W. Adamson, Jul 19 2011: (Start)
a(n) = sum of top row terms of M^n, M = an infinite square production matrix as follows:
  2, 2, 0, 0, 0, 0, ...
  4, 4, 4, 0, 0, 0, ...
  6, 6, 6, 6, 0, 0, ...
  8, 8, 8, 8, 8, 0, ...
  ... (End)
G.f.: 1/(1 - 4*x/(1 - 4*x/(1 - 8*x/(1 - 8*x/(1 - 12*x/(1 - 12*x/(1 - 16*x/(1 - ... (continued fraction). - Philippe Deléham, Jan 08 2012
G.f.: 2/G(0), where G(k) = 1 + 1/(1 - 8*x*(k + 1)/(8*x*(k + 1) - 1 + 8*x*(k + 1)/G(k+1))); (continued fraction). - Sergei N. Gladkovskii, May 30 2013
G.f.: 1/Q(0), where Q(k) = 1 - 4*x*(2*k + 1) - 16*x^2*(k + 1)^2/Q(k+1); (continued fraction). - Sergei N. Gladkovskii, Sep 28 2013
a(n) = A000142(n) * A000302(n). - Michel Marcus, Nov 28 2013
a(n) = A087299(2*n). - Michael Somos, Jan 03 2015
D-finite with recurrence: a(n) - 4*n*a(n-1) = 0. - R. J. Mathar, Jan 27 2020
From Amiram Eldar, Jun 25 2020: (Start)
Sum_{n>=0} 1/a(n) = e^(1/4) (A092042).
Sum_{n>=0} (-1)^n/a(n) = e^(-1/4) (A092616). (End)

Edited by Karol A. Penson, Jan 22 2002

A008542 Sextuple factorial numbers: Product_{k=0..n-1} (6*k+1).

Original entry on oeis.org

1, 1, 7, 91, 1729, 43225, 1339975, 49579075, 2131900225, 104463111025, 5745471106375, 350473737488875, 23481740411754625, 1714167050058087625, 135419196954588922375, 11510631741140058401875, 1047467488443745314570625, 101604346379043295513350625

Offset: 0

Joe Keane (jgk(AT)jgk.org)

nonn

a(n), n>=1, enumerates increasing heptic (7-ary) trees with n vertices. - Wolfdieter Lang, Sep 14 2007; see a D. Callan comment on A007559 (number of increasing quarterny trees).

Vincenzo Librandi, Table of n, a(n) for n = 0..300
Index entries for sequences related to factorial numbers.

Cf. A085158, A034689, A034723, A034724, A034787, A034788, A004993, A047058, A047657, A051151.

Cf. k-fold factorials: A000142, A001147 (and A000165, A006882), A007559 (and A032031, A008544, A007661), A007696 (and A001813, A008545, A047053, A007662), A008548 (and A052562, A047055, A085157), A045754 (and A084947, A114799), A045755.

List([0..20], n-> Product([0..n-1], k-> (6*k+1) )); # G. C. Greubel, Aug 17 2019

[1] cat [(&*[(6*k+1): k in [0..n-1]]): n in [1..20]]; // G. C. Greubel, Aug 17 2019

a := n -> mul(6*k+1, k=0..n-1);
G(x):=(1-6*x)^(-1/6): f[0]:=G(x): for n from 1 to 29 do f[n]:=diff(f[n-1],x) od: x:=0: seq(f[n],n=0..15); # Zerinvary Lajos, Apr 03 2009

Table[Product[(6*k+1), {k,0,n-1}], {n,0,20}] (* Vladimir Joseph Stephan Orlovsky, Nov 08 2008, modified by G. C. Greubel, Aug 17 2019 *)
FoldList[Times, 1, 6Range[0, 20] + 1] (* Vincenzo Librandi, Jun 10 2013 *)
Table[6^n*Pochhammer[1/6, n], {n,0,20}] (* G. C. Greubel, Aug 17 2019 *)

a(n)=prod(k=1,n-1,6*k+1) \\ Charles R Greathouse IV, Jul 19 2011

[product((6*k+1) for k in (0..n-1)) for n in (0..20)] # G. C. Greubel, Aug 17 2019

E.g.f.: (1-6*x)^(-1/6).
a(n) ~ 2^(1/2)*Pi^(1/2)*Gamma(1/6)^-1*n^(-1/3)*6^n*e^-n*n^n*{1 + 1/72*n^-1 - ...}. - Joe Keane (jgk(AT)jgk.org), Nov 24 2001
a(n) = Sum_{k=0..n} (-6)^(n-k)*A048994(n, k). - Philippe Deléham, Oct 29 2005
G.f.: 1+x/(1-7x/(1-6x/(1-13x/(1-12x/(1-19x/(1-18x/(1-25x/(1-24x/(1-... (continued fraction). - Philippe Deléham, Jan 08 2012
a(n) = (-5)^n*Sum_{k=0..n} (6/5)^k*s(n+1,n+1-k), where s(n,k) are the Stirling numbers of the first kind, A048994. - Mircea Merca, May 03 2012
G.f.: 1/Q(0) where Q(k) = 1 - x*(6*k+1)/(1 - x*(6*k+6)/Q(k+1) ); (continued fraction). - Sergei N. Gladkovskii, Mar 20 2013
a(n) = A085158(6*n-5). - M. F. Hasler, Feb 23 2018
D-finite with recurrence: a(n) +(-6*n+5)*a(n-1)=0. - R. J. Mathar, Jan 17 2020
Sum_{n>=0} 1/a(n) = 1 + (e/6^5)^(1/6)*(Gamma(1/6) - Gamma(1/6, 1/6)). - Amiram Eldar, Dec 18 2022

A045754 7-fold factorials: a(n) = Product_{k=0..n-1} (7*k+1).

Original entry on oeis.org

1, 1, 8, 120, 2640, 76560, 2756160, 118514880, 5925744000, 337767408000, 21617114112000, 1534815101952000, 119715577952256000, 10175824125941760000, 936175819586641920000, 92681406139077550080000, 9824229050742220308480000, 1110137882733870894858240000

Offset: 0

Wolfdieter Lang

nonn

G. C. Greubel, Table of n, a(n) for n = 0..338
Index entries for sequences related to factorial numbers.

Cf. k-fold factorials: A000142, A001147 (and A000165, A006882), A007559 (and A032031, A008544, A007661), A007696 (and A001813, A008545, A047053, A007662), A008548 (and A052562, A047055, A085157), A008542 (and A085158), A045755.
See also A113134.
Unsigned row sums of triangle A051186 (scaled Stirling1).
First column of triangle A132056 (S2(8)).
Cf. A114799, A084947, A144739, A144827, A147585, A049209, A051188.

List([0..20], n-> Product([0..n-1], k-> 7*k+1) ); # G. C. Greubel, Aug 21 2019

[1] cat [&*[7*j+1: j in [0..n-1]]: n in [1..20]]; // G. C. Greubel, Aug 21 2019

f := n->product( (7*k+1), k=0..(n-1));
G(x):=(1-7*x)^(-1/7): f[0]:=G(x): for n from 1 to 29 do f[n]:=diff(f[n-1],x) od: x:=0: seq(f[n],n=0..14); # Zerinvary Lajos, Apr 03 2009

FoldList[Times, 1, 7Range[0, 20] + 1] (* Harvey P. Dale, Jan 21 2013 *)

PARI
```
a(n)=prod(k=0,n-1,7*k+1)
```

[7^n*rising_factorial(1/7, n) for n in (0..20)] # G. C. Greubel, Aug 21 2019

a(n) = Sum_{k=0..n} (-7)^(n-k)*A048994(n, k), where A048994 = Stirling-1 numbers.
E.g.f.: (1-7*x)^(-1/7).
G.f.: 1/(1-x/(1-7*x/(1-8*x/(1-14*x/(1-15*x/(1-21*x/(1-22*x/(1-... (continued fraction). - Philippe Deléham, Jan 08 2012
a(n) = (-6)^n*Sum_{k=0..n} (7/6)^k*s(n+1,n+1-k), where s(n,k) are the Stirling numbers of the first kind, A048994. - Mircea Merca, May 03 2012
G.f.: 1/G(0), where G(k)= 1 - x*(7*k+1)/(1 - x*(7*k+7)/G(k+1)); (continued fraction). - Sergei N. Gladkovskii, Jun 05 2013
G.f.: G(0)/2, where G(k)= 1 + 1/(1 - x*(7*k+1)/(x*(7*k+1) + 1/G(k+1))); (continued fraction). - Sergei N. Gladkovskii, Jun 05 2013
a(n) = 7^n * Gamma(n + 1/7) / Gamma(1/7). - Artur Jasinski, Aug 23 2016
a(n) = A114799(7n-6). - M. F. Hasler, Feb 23 2018
D-finite with recurrence: a(n) +(-7*n+6)*a(n-1)=0. - R. J. Mathar, Jan 17 2020
Sum_{n>=0} 1/a(n) = 1 + (e/7^6)^(1/7)*(Gamma(1/7) - Gamma(1/7, 1/7)). - Amiram Eldar, Dec 19 2022

Additional comments from Philippe Deléham and Paul D. Hanna, Oct 29 2005
Edited by N. J. A. Sloane, Oct 16 2008 at the suggestion of M. F. Hasler, Oct 14 2008
Corrected by Zerinvary Lajos, Apr 03 2009

A010844 a(n) = 2na(n-1) + 1 with a(0) = 1.

Original entry on oeis.org

1, 3, 13, 79, 633, 6331, 75973, 1063623, 17017969, 306323443, 6126468861, 134782314943, 3234775558633, 84104164524459, 2354916606684853, 70647498200545591, 2260719942417458913, 76864478042193603043, 2767121209518969709549, 105150605961720848962863

Offset: 0

Simon Plouffe

Related to Incomplete Gamma Function at 1/2. - Michael Somos, Mar 26 1999
For positive n, a(n) is equal to 2^n times the permanent of the n X n matrix with 3/2's along the main diagonal, and 1's everywhere else. - John M. Campbell, Jul 09 2011
Number of ways to sort a spreadsheet with n columns. (A subset of columns is chosen to sort on. These columns are ordered from major to minor, and each designated as to whether to sort by ascending or descending order. For example a spreadsheet with columns A,B,C,D could be sorted by column D ascending, then by column B descending, or any of 632 other ways.) - Marc LeBrun, Dec 07 2013
a(n) is a specific instance of sequences having the form b(0) = x, b(n) = a*n*b(n-1) + k for n >= 1. (Here x = 1, a = 2, and k = 1). Sequences of this form have a closed form of b(n) = n!*a^n*x + k*Sum_{j=1..n} n!*a^(n-j)/j!. - Gary Detlefs, Mar 26 2018

			a(3) = 2*3*a(2) + 1 = 6*13 + 1 = 79.
G.f. = 1 + 3*x + 13*x^2 + 79*x^3 + 633*x^4 + 6331*x^5 + 75973*x^6 + 1063623*x^7 + ...

M. Abramowitz and I. A. Stegun, eds., Handbook of Mathematical Functions, National Bureau of Standards Applied Math. Series 55, Tenth Printing, 1972, p. 262.

Vincenzo Librandi, Table of n, a(n) for n = 0..400
M. Abramowitz and I. A. Stegun, eds., Handbook of Mathematical Functions, National Bureau of Standards, Applied Math. Series 55, Tenth Printing, 1972 [alternative scanned copy].
M. Abramowitz and I. A. Stegun, eds., Handbook of Mathematical Functions, National Bureau of Standards Applied Math. Series 55, Tenth Printing, 1972, p. 262.
Roland Bacher, Counting Packings of Generic Subsets in Finite Groups, Electr. J. Combinatorics, 19 (2012), #P7. - From _N. J. A. Sloane_, Feb 06 2013
Paul Barry, Eulerian-Dowling Polynomials as Moments, Using Riordan Arrays, arXiv:1702.04007 [math.CO], 2017.
Mathieu Guay-Paquet and Jeffrey Shallit, Avoiding Squares and Overlaps Over the Natural Numbers, Discrete Math., 309 (2009), 6245-6254. [From _N. J. A. Sloane_, Nov 27 2009]
Mathieu Guay-Paquet and Jeffrey Shallit, Avoiding Squares and Overlaps Over the Natural Numbers, arXiv:0901.1397 [math.CO], 2009.
Guo-Niu Han, Enumeration of Standard Puzzles [Wayback Machine link added by _Felix Fröhlich_, Mar 26 2018]
Guo-Niu Han, Enumeration of Standard Puzzles. [Cached copy]
Guo-Niu Han, Enumeration of Standard Puzzles, arXiv:2006.14070 [math.CO], 2020.
Michael Z. Spivey and Laura L. Steil, The k-Binomial Transforms and the Hankel Transform, Journal of Integer Sequences, Vol. 9 (2006), Article 06.1.1.

Cf. A000165, A000354, A000522, A007566, A010845, A019774, A097817, A097819.

G:=(x,a,k,n)-> n!*a^n*x + k*sum(n!*a^(n-j)/j!,j=1..n); seq(G(1,2,1,n), n = 0..20) # Gary Detlefs, Mar 26 2018
a := n -> 2^n*add((n!/k!)*(1/2)^k, k=0..n):
seq(a(n), n=0..19); # Peter Luschny, Jan 06 2020
seq(simplify(2^n*KummerU(-n, -n, 1/2)), n = 0..19); # Peter Luschny, May 10 2022

Table[ Gamma[ n, 1/2 ]*Exp[ 1/2 ]*2^(n-1), {n, 1, 24} ]
   and/or... s=1;lst={};Do[s+=s++n;AppendTo[lst, s], {n, 1, 5!, 2}];lst (* Vladimir Joseph Stephan Orlovsky, Oct 23 2008 *)
a[ n_] := If[ n<0, 0, Floor[ n! E^(1/2) 2^n ]] (* Michael Somos, Sep 04 2013 *)
nxt[{n_,a_}]:={n+1,2*a(n+1)+1}; NestList[nxt,{0,1},20][[All,2]] (* Harvey P. Dale, Jan 06 2022 *)
a[n_] := n! 2^n Hypergeometric1F1[-n, -n, 1/2];
Table[a[n], {n, 0, 19}] (* Peter Luschny, Jul 28 2024 *)

{a(n) = if( n<0, 0, n! * sum(k=0, n, 2^(n-k) / k!))} /* Michael Somos, Sep 04 2013 */

a(n) = floor(n! * e^(1/2) * 2^n) = n! * Sum_{k=0..n} 2^(n-k) / k! (i.e. binomial transform of (2n)!! = n!*2^n) = n! * (e^(1/2) * 2^n - Sum_{k >= n+1} 2^(n-k) / k!). - Michael Somos, Mar 26 1999
a(n) = A056541(n) + A000165(n). - Henry Bottomley, Jun 20 2000
E.g.f.: exp(x)/(1 - 2*x). - Vladeta Jovovic, Aug 11 2002
Sum_{n >= 1} 1/a(n) = 0.4246665348160769533082551230... - Cino Hilliard, Aug 19 2003
a(n) = Sum_{k=0..n} P(n, k)*2^k, where P(n,k) = n!/(n-k)!. - Ross La Haye, Aug 29 2005
G.f.: 1/(1 - x - 2*x/(1 - 2*x/(1 - x - 4*x/(1 - 4*x/(1 - x - 6*x/(1 - 6*x/(1 - x - 8*x/(1 - 8*x/(1 - x - 10*x/(1 - ... (continued fraction).
G.f.: 1/Q(0), where Q(k) = 1 - x*(4*k+3) - 4*x^2*(k+1)^2/Q(k+1); (continued fraction). - Sergei N. Gladkovskii, Sep 30 2013
a(n) = Sum_{k=0..n} C(n,k)*k!*2^k. - Marc LeBrun, Dec 07 2013
0 = a(n)*(2*a(n+1) - 5*a(n+2) + a(n+3)) + a(n+1)*(a(n+1) + a(n+2) - a(n+3)) + a(n+2)*a(n+2) if n > -2. - Michael Somos, Jan 02 2014
a(n) + (-2*n-1)*a(n-1) + 2*(n-1)*a(n-2) = 0. - R. J. Mathar, Jan 31 2014
a(n) = hypergeometric_U(1, n+2, 1/2)/2. - Peter Luschny, Nov 26 2014
From Peter Bala, Jan 30 2015: (Start)
a(n) = Integral_{x >= 0} (2*x + 1)^n*exp(-x) dx. (Cf. A000354.)
The e.g.f. y = exp(x)/(1 - 2*x) satisfies the differential equation (1 - 2*x)*y' = (3 - 2*x)*y. R. J. Mathar's recurrence above follows easily from this.
The sequence b(n) := 2^n*n! also satisfies R. J. Mathar's recurrence with b(0) = 1 and b(1) = 2. This leads to the continued fraction representation a(n) = 2^n*n!*( 1 + 1/(2 - 2/(5 - 4/(7 - ... - (2*n - 2)/(2*n + 1) )))) for n >= 2. Taking the limit gives the continued fraction representation exp(1/2) = 1 + 1/(2 - 2/(5 - 4/(7 - ... - (2*n - 2)/((2*n + 1) - ... )))). (End)
a(n) = 2^n*KummerU(-n, -n, 1/2). - Peter Luschny, May 10 2022
a(n) = n!*2^n*hypergeom([-n], [-n], 1/2). - Peter Luschny, Jul 28 2024

Better description and formulas from Michael Somos

A000354 Expansion of e.g.f. exp(-x)/(1-2*x).

Original entry on oeis.org

1, 1, 5, 29, 233, 2329, 27949, 391285, 6260561, 112690097, 2253801941, 49583642701, 1190007424825, 30940193045449, 866325405272573, 25989762158177189, 831672389061670049, 28276861228096781665, 1017967004211484139941, 38682746160036397317757

Offset: 0

N. J. A. Sloane

a(n) is the permanent of the n X n matrix with 1's on the diagonal and 2's elsewhere. - Yuval Dekel, Nov 01 2003. Compare A157142.
Starting with offset 1 = lim_{k->infinity} M^k, where M = a tridiagonal matrix with (1,0,0,0,...) in the main diagonal, (1,3,5,7,...) in the subdiagonal and (2,4,6,8,...) in the subsubdiagonal. - Gary W. Adamson, Jan 13 2009
a(n) is also the number of (n-1)-dimensional facet derangements for the n-dimensional hypercube. - Elizabeth McMahon, Gary Gordon (mcmahone(AT)lafayette.edu), Jun 29 2009
a(n) is the number of ways to write down each n-permutation and underline some (possibly none or all) of the elements that are not fixed points. a(n) = Sum_{k=0..n} A008290(n,k)*2^(n-k). - Geoffrey Critzer, Dec 15 2012
Type B derangement numbers: the number of fixed point free permutations in the n-th hyperoctahedral group of signed permutations of {1,2,...,n}. See Chow 2006. See A000166 for type A derangement numbers. - Peter Bala, Jan 30 2015

			G.f. = 1 + x + 5*x^2 + 29*x^3 + 233*x^4 + 2329*x^5 + 27949*x^6 + 391285*x^7 + ... - _Michael Somos_, Apr 14 2018

J. Riordan, An Introduction to Combinatorial Analysis, Wiley, 1958, p. 83.
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).

T. D. Noe, Table of n, a(n) for n = 0..100
Roland Bacher, Counting Packings of Generic Subsets in Finite Groups, Electr. J. Combinatorics, 19 (2012), #P7. - From _N. J. A. Sloane_, Feb 06 2013
Paul Barry, General Eulerian Polynomials as Moments Using Exponential Riordan Arrays, Journal of Integer Sequences, 16 (2013), #13.9.6.
Chak-On Chow, On derangement polynomials of type B, Séminaire Lotharingien de Combinatoire 55 (2006), Article B55b.
Gary Gordon and Elizabeth McMahon, Moving faces to other places: Facet derangements, arXiv:0906.4253 [math.CO], 2009.
Gary Gordon and Elizabeth McMahon, Moving faces to other places: facet derangements, Amer. Math. Monthly, 117 (2010), 865-88.
Édouard Lucas, Théorie des Nombres, Gauthier-Villars, Paris, 1891, Vol. 1, p. 223.
Édouard Lucas, Théorie des nombres (annotated scans of a few selected pages)
István Mezo, Victor H. Moll, José L. Ramírez, and Diego Villamizar, On the r-Derangements of type B, arXiv:2103.04151 [math.CO], 2021.
István Mező, Victor H. Moll, José Ramírez, and Diego Villamizar, On the r-derangements of type B, Online Journal of Analytic Combinatorics, Issue 16 (2021), #05.
Jean-Christophe Pain, A sum rule for r-derangements obtained from the Cauchy product of exponential generating functions, arXiv:2408.15927 [math.CO], 2024.
Simon Plouffe, Exact formulas for integer sequences
L. W. Shapiro & N. J. A. Sloane, Correspondence, 1976
Michael Z. Spivey and Laura L. Steil, The k-Binomial Transforms and the Hankel Transform, Journal of Integer Sequences, Vol. 9 (2006), Article 06.1.1.

Cf. A061714, A008290, A000166, A113012, A263895.

Column k=2 of A320032.

a := n -> (-1)^n*(1-2*n*hypergeom([1,1-n],[],2)):
seq(simplify(a(n)), n=0..18); # Peter Luschny, May 09 2017
a := n -> 2^n*add((n!/k!)*(-1/2)^k, k=0..n):
seq(a(n), n=0..23); # Peter Luschny, Jan 06 2020
seq(simplify(2^n*KummerU(-n, -n, -1/2)), n = 0..19); # Peter Luschny, May 10 2022

FunctionExpand @ Table[ Gamma[ n+1, -1/2 ]*2^n/Exp[ 1/2 ], {n, 0, 24}]
With[{nn=20},CoefficientList[Series[Exp[-x]/(1-2x),{x,0,nn}],x] Range[0,nn]!] (* Harvey P. Dale, Jul 22 2013 *)
a[n_] := 2^n n! Sum[(-1)^i/(2^i i!), {i, 0, n}]; Table[a[n], {n, 0, 20}] (* Gerry Martens, May 06 2016 *)
a[ n_] := If[ n < 1, Boole[n == 0], (2 n - 1) a[n - 1] + (2 n - 2) a[n - 2]]; (* Michael Somos, Sep 28 2017 *)
a[ n_] := Sum[ (-1)^(n + k) Binomial[n, k] k! 2^k, {k, 0, n}]; (* Michael Somos, Apr 14 2018 *)
a[ n_] := If[ n < 0, 0, (2^n Gamma[n + 1, -1/2]) / Sqrt[E] // FunctionExpand]; (* Michael Somos, Apr 14 2018 *)
a[n_] := n! 2^n Hypergeometric1F1[-n, -n, -1/2];
Table[a[n], {n, 0, 19}]   (* Peter Luschny, Jul 28 2024 *)

my(x='x+O('x^66)); Vec(serlaplace(exp(-x)/(1-2*x))) \\ Joerg Arndt, Apr 15 2013

vector(100, n, n--; sum(k=0, n, (-1)^(n+k)*binomial(n, k)*k!*2^k)) \\ Altug Alkan, Oct 30 2015

{a(n) = if( n<1, n==0, (2*n - 1) * a(n-1) + (2*n - 2) * a(n-2))}; /* Michael Somos, Sep 28 2017 */

Inverse binomial transform of double factorials A000165. - Paul Barry, May 26 2003
a(n) = Sum_{k=0..n} (-1)^(n+k)*C(n, k)*k!*2^k. - Paul Barry, May 26 2003
a(n) = Sum_{k=0..n} A008290(n, k)*2^(n-k). - Philippe Deléham, Dec 13 2003
a(n) = 2*n*a(n-1) + (-1)^n, n > 0, a(0)=1. - Paul Barry, Aug 26 2004
D-finite with recurrence a(n) = (2*n-1)*a(n-1) + (2*n-2)*a(n-2). - Elizabeth McMahon, Gary Gordon (mcmahone(AT)lafayette.edu), Jun 29 2009
From Groux Roland, Jan 17 2011: (Start)
a(n) = (1/(2*sqrt(exp(1))))*Integral_{x>=-1} exp(-x/2)*x^n dx;
Sum_{k>=0} 1/(k!*2^(k+1)*(n+k+1)) = (-1)^n*(a(n)*sqrt(exp(1))-2^n*n!). (End)
a(n) = round(2^n*n!/exp(1/2)), x >= 0. - Simon Plouffe, Mar 1993
G.f.: 1/Q(0), where Q(k) = 1 - x*(4*k+1) - 4*x^2*(k+1)^2/Q(k+1); (continued fraction). - Sergei N. Gladkovskii, Sep 30 2013
From Peter Bala, Jan 30 2015: (Start)
a(n) = Integral_{x = 0..inf} (2*x - 1)^n*exp(-x) dx.
b(n) := 2^n*n! satisfies the recurrence b(n) = (2*n - 1)*b(n-1) + (2*n - 2)*b(n-2), the same recurrence as satisfied by a(n). This leads to the continued fraction representation a(n) = 2^n*n!*( 1/(1 + 1/(1 + 2/(3 + 4/(5 +...+ (2*n - 2)/(2*n - 1) ))))) for n >= 2, which in the limit gives the continued fraction representation sqrt(e) = 1 + 1/(1 + 2/(3 + 4/(5 + ... ))). (End)
For n > 0, a(n) = 1 + 4*Sum_{k=0..n-1} A263895(n). - Vladimir Reshetnikov, Oct 30 2015
a(n) = (-1)^n*(1-2*n*hypergeom([1,1-n],[],2)). - Peter Luschny, May 09 2017
a(n+1) >= A113012(n). - Michael Somos, Sep 28 2017
a(0) = 1; a(n) = Sum_{k=1..n} binomial(n,k) * (2*k - 1) * a(n-k). - Ilya Gutkovskiy, Jan 17 2020
a(n) = 2^n*KummerU(-n, -n, -1/2). - Peter Luschny, May 10 2022
a(n) = 2^n*n!*hypergeom([-n], [-n], -1/2). - Peter Luschny, Jul 28 2024

A028338 Triangle of coefficients in expansion of (x+1)(x+3)...*(x + 2n - 1) in rising powers of x.

Original entry on oeis.org

1, 1, 1, 3, 4, 1, 15, 23, 9, 1, 105, 176, 86, 16, 1, 945, 1689, 950, 230, 25, 1, 10395, 19524, 12139, 3480, 505, 36, 1, 135135, 264207, 177331, 57379, 10045, 973, 49, 1, 2027025, 4098240, 2924172, 1038016, 208054, 24640, 1708, 64, 1, 34459425, 71697105, 53809164, 20570444, 4574934, 626934, 53676, 2796, 81, 1

Offset: 0

Bill Gosper

Exponential Riordan array (1/sqrt(1-2*x), log(1/sqrt(1-2*x))). - Paul Barry, May 09 2011

The o.g.f.s D(d, x) of the column sequences, for d, d >= 0,(d=0 for the main diagonal) are P(d, x)/(1 - x)^(2*d+1), with the row polynomial P(d, x) = Sum_{m=0..d} A288875(d, m)*x^m. See A288875 for details. - Wolfdieter Lang, Jul 21 2017

			G.f. for n = 4: (x + 1)*(x + 3)*(x + 5)*(x + 7) = 105 + 176*x + 86*x^2 + 16*x^3 + x^4.
The triangle T(n, k) begins:
n\k       0        1        2        3       4      5     6    7  8  9
0:        1
1:        1        1
2:        3        4        1
3:       15       23        9        1
4:      105      176       86       16       1
5:      945     1689      950      230      25      1
6:    10395    19524    12139     3480     505     36     1
7:   135135   264207   177331    57379   10045    973    49    1
8:  2027025  4098240  2924172  1038016  208054  24640  1708   64  1
9: 34459425 71697105 53809164 20570444 4574934 626934 53676 2796 81  1
...
row n = 10: 654729075 1396704420 1094071221 444647600 107494190 16486680 1646778 106800 4335 100 1.
...  reformatted and extended. - _Wolfdieter Lang_, May 09 2017
O.g.f.s of diagonals d >= 0: D(2, x) = (3 + 8*x + x^2)/(1 - x)^5 generating [3, 23, 86, ...] = A024196(n+1), from the row d=2 entries of A288875 [3, 8, 1]. - _Wolfdieter Lang_, Jul 21 2017
Boas-Buck recurrence for column k=2 and n=4: T(4, 2) = (4!/2)*(2*(1+4*(5/12))*T(2,2)/2! + 1*(1 + 4*(1/2))*T(3,2)/3!) = (4!/2)*(8/3*1 + 3*9/3!) = 86. - _Wolfdieter Lang_, Aug 11 2017

T. D. Noe, Rows n=0..50 of triangle, flattened
Priyavrat Deshpande, Krishna Menon, and Anurag Singh, A combinatorial statistic for labeled threshold graphs, arXiv:2103.03865 [math.CO], 2021.
Thomas Godland and Zakhar Kabluchko, Projections and angle sums of permutohedra and other polytopes, arXiv:2009.04186 [math.MG], 2020.
Thomas Godland and Zakhar Kabluchko, Projections and Angle Sums of Belt Polytopes and Permutohedra, Res. Math. (2023) Vol. 78, Art. No. 140.
Z. Kabluchko, V. Vysotsky, and D. Zaporozhets, Convex hulls of random walks, hyperplane arrangements, and Weyl chambers, arXiv preprint arXiv:1510.04073 [math.PR], 2015.
Wolfdieter Lang, On Generating functions of Diagonals Sequences of Sheffer and Riordan Number Triangles, arXiv:1708.01421 [math.NT], August 2017.
Bruce E. Sagan and Joshua P. Swanson, q-Stirling numbers in type B, arXiv:2205.14078 [math.CO], 2022.

A039757 is signed version.
Row sums: A000165.
Columns: A001147, A004041, A028339, A028340, A028341; A000012, A000290, A024196, A024197, A024198.
Diagonals: A000012, A000290(n+1), A024196(n+1), A024197(n+1), A024198(n+1).
A161198 is a scaled triangle version and A109692 is a transposed triangle version.
Central terms: A293318.
Cf. A286718, A002208(n+1)/A002209(n+1).

nmax:=8; for n from 0 to nmax do a(n, 0) := doublefactorial(2*n-1) od: for n from 0 to nmax do a(n, n) := 1 od: for n from 2 to nmax do for m from 1 to n-1 do a(n, m) := (2*n-1)*a(n-1, m) + a(n-1, m-1) od; od: seq(seq(a(n, m), m=0..n), n=0..nmax); # Johannes W. Meijer, Jun 08 2009, revised Nov 25 2012

T[n_, k_] := Sum[(-2)^(n-i) Binomial[i, k] StirlingS1[n, i], {i, k, n}] (* Woodhouse *)
Join[{1},Flatten[Table[CoefficientList[Expand[Times@@Table[x+i,{i,1,2n+1,2}]],x],{n,0,10}]]] (* Harvey P. Dale, Jan 29 2013 *)

Triangle T(n, k), read by rows, given by [1, 2, 3, 4, 5, 6, 7, ...] DELTA [1, 0, 1, 0, 1, 0, 1, 0, ...] where DELTA is the operator defined in A084938. - Philippe Deléham, Feb 20 2005
T(n, k) = Sum_{i=k..n} (-2)^(n-i) * binomial(i, k) * s(n, i) where s(n, k) are signed Stirling numbers of the first kind. - Francis Woodhouse (fwoodhouse(AT)gmail.com), Nov 18 2005
G.f. of row polynomials in y: 1/(1-(x+x*y)/(1-2*x/(1-(3*x+x*y)/(1-4*x/(1-(5*x+x*y)/(1-6*x*y/(1-... (continued fraction). - Paul Barry, Feb 07 2009
T(n, m) = (2*n-1)*T(n-1,m) + T(n-1,m-1) with T(n, 0) = (2*n-1)!! and T(n, n) = 1. - Johannes W. Meijer, Jun 08 2009
From Wolfdieter Lang, May 09 2017: (Start)
E.g.f. of row polynomials in y: (1/sqrt(1-2*x))*exp(-y*log(sqrt(1-2*x))) = exp(-(1+y)*log(sqrt(1-2*x))) = 1/sqrt(1-2*x)^(1+y).
E.g.f. of column m sequence: (1/sqrt(1-2*x))* (-log(sqrt(1-2*x)))^m/m!. For the special Sheffer, also known as exponential Riordan array, see a comment above. (End)
Boas-Buck type recurrence for column sequence k: T(n, k) = (n!/(n - k)) * Sum_{p=k..n-1} 2^(n-1-p)*(1 + 2*k*beta(n-1-p))*T(p, k)/p!, for n > k >= 0, with input T(k, k) = 1, and beta(k) = A002208(k+1)/A002209(k+1). See a comment and references in A286718. - Wolfdieter Lang, Aug 09 2017

A046643 From square root of Riemann zeta function: form Dirichlet series Sum b_n/n^s whose square is zeta function; sequence gives numerator of b_n.

Original entry on oeis.org

1, 1, 1, 3, 1, 1, 1, 5, 3, 1, 1, 3, 1, 1, 1, 35, 1, 3, 1, 3, 1, 1, 1, 5, 3, 1, 5, 3, 1, 1, 1, 63, 1, 1, 1, 9, 1, 1, 1, 5, 1, 1, 1, 3, 3, 1, 1, 35, 3, 3, 1, 3, 1, 5, 1, 5, 1, 1, 1, 3, 1, 1, 3, 231, 1, 1, 1, 3, 1, 1, 1, 15, 1, 1, 3, 3, 1, 1, 1, 35, 35, 1, 1, 3, 1, 1, 1, 5, 1, 3

Offset: 1

N. J. A. Sloane, Dec 11 1999

b(n) = A046643(n)/A046644(n) is multiplicative with b(p^n) = (2n-1)!!/2^n/n!. Dirichlet g.f. of A046643(n)/A046644(n) is sqrt(zeta(x)). - Christian G. Bower, May 16 2005

That is, b(p^n) = A001147(n) / (A000079(n)*A000142(n)) = A010050(n)/A000290(A000165(n)) = (2n)!/((2^n*n!)^2). - Antti Karttunen, Jul 08 2017

			b_1, b_2, ... = 1, 1/2, 1/2, 3/8, 1/2, 1/4, 1/2, 5/16, 3/8, 1/4, 1/2, 3/16, ...

Cf. A000079, A000165, A001147, A001790, A005187, A010050, A028234, A067029.

Cf. A046644, A046645.

b := proc(n) option remember; local c,i,t1; if n = 1 then 1 else c := 1; t1 := divisors(n);
for i from 2 to nops(t1)-1 do c := c-b(t1[ i ])*b(n/t1[ i ]); od; c/2; fi; end;

b[1] = 1; b[n_] := b[n] = (dn = Divisors[n]; c = 1;
Do[c = c - b[dn[[i]]]*b[n/dn[[i]]], {i, 2, Length[dn] - 1}]; c/2); a[n_] := Numerator[b[n]]; a /@ Range[90] (* Jean-François Alcover, Apr 04 2011, after Maple version *)

A046643perA046644(n) = { my(c=1); if(1==n,c,fordiv(n,d, if((d>1)&&(dA046643perA046644(d)*A046643perA046644(n/d)))); (c/2)); }
A046643(n) = numerator(A046643perA046644(n)); \\ After Maple-program, Antti Karttunen, Jul 08 2017

for(n=1, 100, print1(numerator(direuler(p=2, n, 1/(1-X)^(1/2))[n]), ", ")) \\ Vaclav Kotesovec, May 04 2025

(define (A046643 n) (if (= 1 n) n (* (A001790 (A067029 n)) (A046643 (A028234 n)))))
;; Or, after Christian G. Bower's May 16 2005 comment:
(definec (A046643perA046644 n) (if (= 1 n) n (* (/ (A010050 (A067029 n)) (A000290 (A000165 (A067029 n)))) (A046643perA046644 (A028234 n)))))
(define (A046643 n) (numerator (A046643perA046644 n)))
(define (A046644 n) (denominator (A046643perA046644 n)))
;; Antti Karttunen, Jul 08 2017

Sum_{b|d} b(d)b(n/d) = 1. Also b_{2^j} = A001790[ j ]/2^A005187[ j ].
From Antti Karttunen, Jul 08 2017: (Start)
Multiplicative with a(p^n) = A001790(n).
a(1) = 1; for n > 1, a(n) = A001790(A067029(n)) * a(A028234(n)).
(End)
Sum_{j=1..n} A046643(j)/A046644(j) ~ n / sqrt(Pi*log(n)) * (1 + (1 - gamma/2)/(2*log(n))), where gamma is the Euler-Mascheroni constant A001620. - Vaclav Kotesovec, May 04 2025

cp's OEIS Frontend

A001586 Generalized Euler numbers, or Springer numbers.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Maple

Mathematica

PARI

PARI

PARI

Sage

Formula

Extensions

A004123 Number of generalized weak orders on n points.

Views

Author

Keywords

Comments

References

Links

Crossrefs

Programs

Mathematica

PARI

PARI

Sage

Formula

Extensions

A032031 Triple factorial numbers: (3n)!!! = 3^n*n!.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Haskell

Magma

Maple

Mathematica

PARI

PARI

SageMath

Formula

A047053 a(n) = 4^n * n!.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Magma

Maple

Mathematica

PARI

Formula

Extensions

A008542 Sextuple factorial numbers: Product_{k=0..n-1} (6*k+1).

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

GAP

Magma

Maple

Mathematica

PARI

Sage

Formula

A010844 a(n) = 2na(n-1) + 1 with a(0) = 1.

A028338 Triangle of coefficients in expansion of (x+1)(x+3)...*(x + 2n - 1) in rising powers of x.