[isabelle] New AFP article: Spivey's Generalized Recurrence for Bell Numbers



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!

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



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