Stream: Archive Mirror: Isabelle Users Mailing List

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

view this post on Zulip Email Gateway (Aug 22 2022 at 11:59):

From: Tobias Nipkow <nipkow@in.tum.de>
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.
smime.p7s

Last updated: Apr 26 2024 at 20:16 UTC