Displaying similar documents to “Flexary Operations”

Euler’s Partition Theorem

Karol Pąk (2015)

Formalized Mathematics

Similarity:

In this article we prove the Euler’s Partition Theorem which states that the number of integer partitions with odd parts equals the number of partitions with distinct parts. The formalization follows H.S. Wilf’s lecture notes [28] (see also [1]). Euler’s Partition Theorem is listed as item #45 from the “Formalizing 100 Theorems” list maintained by Freek Wiedijk at http://www.cs.ru.nl/F.Wiedijk/100/ [27].

Some finite generalizations of Euler's pentagonal number theorem

Ji-Cai Liu (2017)

Czechoslovak Mathematical Journal

Similarity:

Euler's pentagonal number theorem was a spectacular achievement at the time of its discovery, and is still considered to be a beautiful result in number theory and combinatorics. In this paper, we obtain three new finite generalizations of Euler's pentagonal number theorem.

Product of three numbers being a square as a Ramsey property

M. Skałba (2010)

Colloquium Mathematicae

Similarity:

For any partition of a set of squarefree numbers with relative density greater than 3/4 into two parts, at least one part contains three numbers whose product is a square. Also generalizations to partitions into more than two parts are discussed.