Two-person symmetric whist.
Wästlund, Johan (2005)
The Electronic Journal of Combinatorics [electronic only]
Similarity:
Wästlund, Johan (2005)
The Electronic Journal of Combinatorics [electronic only]
Similarity:
Spivey, Michael Z. (2010)
Integers
Similarity:
Wästlund, Johan (2005)
The Electronic Journal of Combinatorics [electronic only]
Similarity:
Knopfmacher, Arnold, Prodinger, Helmut (2001)
The Electronic Journal of Combinatorics [electronic only]
Similarity:
Karol Pąk (2006)
Formalized Mathematics
Similarity:
In this paper, we define sequence dominated by 0, in which every initial fragment contains more zeroes than ones. If n ≥ 2 · m and n > 0, then the number of sequences dominated by 0 the length n including m of ones, is given by the formula [...] and satisfies the recurrence relation [...] Obviously, if n = 2 · m, then we obtain the recurrence relation for the Catalan numbers (starting from 0) [...] Using the above recurrence relation we can see that [...] where [...] and hence [...]...
Bersani, Alberto Maria (2010)
Integers
Similarity:
Antonín Lešanovský (1988)
Časopis pro pěstování matematiky
Similarity:
Jan Hanák (1970)
Archivum Mathematicum
Similarity:
Marco Riccardi (2008)
Formalized Mathematics
Similarity:
The goal of this article is to formalize two versions of Ramsey's theorem. The theorems are not phrased in the usually pictorial representation of a coloured graph but use a set-theoretic terminology. After some useful lemma, the second section presents a generalization of Ramsey's theorem on infinite set closely following the book [9]. The last section includes the formalization of the theorem in a more known version (see [1]).MML identifier: RAMSEY 1, version: 7.9.01 4.101.1015 ...