<abstract xmlns="http://www.w3.org/1999/xhtml"><p>In this article we introduce necessary notation and definitions to prove the Euler’s Partition Theorem according to H.S. Wilf’s lecture notes [31]. Our aim is to create an environment which allows to formalize the theorem in a way that is as similar as possible to the original informal proof. </p><p>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/ [30].</p></abstract>

In this article we introduce necessary notation and definitions to prove the Euler’s Partition Theorem according to H.S. Wilf’s lecture notes [31]. Our aim is to create an environment which allows to formalize the theorem in a way that is as similar as possible to the original informal proof. 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/ [30].

Flexary Operations

Institute of Informatics University of Białystok Ciołkowskiego 1M, 15-245 Białystok Poland

Formalized Mathematics

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

{"article-title":"Flexary Operations"}

In this article we introduce necessary notation and definitions to prove the Euler’s Partition Theorem according to H.S. Wilf’s lecture notes [31]. Our aim is...

Flexary Operations

Online veröffentlicht: 13. Aug. 2015

Seitenbereich: 81 - 92

Eingereicht: 26. März 2015

DOI: https://doi.org/10.1515/forma-2015-0008

Schlüsselwörter
summation method, flexary plus, matrix generalization

© by Karol Pąk

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Flexary Operations

Online veröffentlicht: 13. Aug. 2015

Seitenbereich: 81 - 92

Eingereicht: 26. März 2015

DOI: https://doi.org/10.1515/forma-2015-0008

Schlüsselwörtersummation method, flexary plus, matrix generalization

© by Karol Pąk

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Schlüsselwörter
summation method, flexary plus, matrix generalization