[isabelle] New AFP article: Euler's Partition Theorem



Euler's Partition Theorem
Lukas Bulwahn

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.

http://afp.sourceforge.net/entries/Euler_Partition.shtml

Many thanks!

Wishing you a wonderful relaxing weekend
Tobias N.

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.