Euler's Partition Theorem (Q7361399)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
AFP entry Euler_Partition
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Euler's Partition Theorem |
AFP entry Euler_Partition |
Statements
19 November 2015
0 references
Lukas Bulwahn
0 references
Euler's Partition Theorem (English)
0 references
Euler's Partition Theorem states that the number of partitions with only distinct parts is equal to the number of partitions with only odd parts. The combinatorial proof follows John Harrison's HOL Light formalization. This theorem is the 45th theorem of the Top 100 Theorems list.
0 references
