@MISC{EULRPART.MIZ,
  AUTHOR = {P\k{a}k, Karol},
  TITLE = {{E}uler's {P}artition {T}heorem},
  NOTE = {This work has been financed by the
    resources of the Polish National Science Centre granted by decision
    no. DEC-2012/07/N/ST6/02147.},
  SECTION1 = {Preliminaries},
  SECTION2 = {Euler Transformation},
  SECTION3 = {Main Theorem},
  DAY = {26},
  MONTH = {March},
  YEAR = {2015},
  ADDRESS1 = {Institute of Informatics\\University of Bia{\l}ystok\\Konstantego Cio{\l}kowskiego 1M, 15-245 Bia{\l}ystok\\Poland},
  SUMMARY = {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 \cite{HSWift} (see also \cite{Andrews}).
  \par
  {E}uler's {P}artition {T}heorem is listed as \#45 at Freek Wiedijk's
             list of ``Top 100 mathematical
             theorems" \cite{Freek-100-theorems}.}}


@BOOK{Andrews,
  AUTHOR =       {George E. Andrews and Kimmo Eriksson},
  TITLE =        {Integer Partitions},
  isbn =         {9780521600903}}
