Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] New AFP article: Spivey's Generalized Recurren...

Email Gateway (Aug 22 2022 at 13:17):

From: Tobias Nipkow <nipkow@in.tum.de>
Spivey's Generalized Recurrence for Bell Numbers
Lukas Bulwahn

This entry defines the Bell numbers as the cardinality of set partitions for a
carrier set of given size, and derives Spivey's generalized recurrence relation
for Bell numbers following his elegant and intuitive combinatorial proof.

http://www.isa-afp.org/entries/Bell_Numbers_Spivey.shtml

Thanks, Lukas!
smime.p7s

Last updated: Apr 18 2024 at 12:27 UTC