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].
Language: English
Page range: 81 - 92
Submitted on: Mar 26, 2015
Published on: Aug 13, 2015
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Related subjects:
© 2015 Karol Pąk, published by University of Białystok
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.