(mathematics,combinatorics) For an odd integer, the result of multiplying all the odd integers from 1 to the given number; or for an even integer, the result of multiplying all the even integers from 2 to the given number; symbolised by a double exclamation mark (!!). For example, 9!! = 1 × 3 × 5 × 7 × 9 = 945.
1902, Arthur Schuster, “On some Definite Integrals and a New Method of reducing a Function of Spherical Co-ordinates to a Series of Spherical Harmonics”, inProceedings of the Royal Society of London, volume71,→DOI,→JSTOR, page99:
The symbolical representation of the results of this paper is much facilitated by the introduction of a separate symbol for the product of alternate factors,, if be odd, or if be odd[sic – meaningeven]. I propose to write for such products, and if a name be required for the product to call it the "alternate factorial" or the "double factorial." Full advantage of the new symbol is only gained by extending its meaning to the negative values of. Its complete definition may then be included in the equations
1948 September, B. E. Meserve, “Double Factorials”, inThe American Mathematical Monthly, volume55, number 7,→DOI,→JSTOR, page425:
Thedouble factorial notationmay be considered as a generalization of.
1958–1959, Kenneth W. Ford, E. J. Konopinski, “Evaluation of Slater integrals with harmonic oscillator wave functions”, inNuclear Physics, volume 9, number 2,→DOI, page219:
We prefer now to write the expansion in a slightly different way in order to exhibit more clearly the symmetry properties of the expansion coefficients:where, as above, is the average of and,, and thedouble factorial notation is used,.
2008 April, Adriana Pálffy, Jörg Evers, Christoph H. Keitel, “Electric-dipole-forbidden nuclear transitions driven by super-intense laser fields”, inPhysical Review C, volume77, number 4,→DOI, page044602-3:
The symbol in Eq. (9) denotes thedouble factorial given by, where is for odd and for even.
2012 June, Henry Gould, Jocelyn Quaintance, “Double Fun with Double Factorials”, inMathematics Magazine, volume85, number 3,→DOI, pages177–178:
Double factorials can also be defined recursively. Just as we can define the ordinary factorial by for with, we can define thedouble factorial byfor with initial values. With our convention that, the recursion is valid for all positive integers.