Displaying similar documents to “Srinivasa Ramanujan (1887-1920) and the theory of partitions of numbers and statistical mechanics. A centennial tribute.”

On a conjecture of Andrews.

Padmavathamma, Sudha, T.G. (1993)

International Journal of Mathematics and Mathematical Sciences

Similarity:

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].