[isabelle] Discrete Summation



Hi out there,

here at TUM we plan to start a student project formalizing factorial
chains, Stirling numbers, discrete summation and related stuff, which
seems yet underrepresented in the formal area, at least according to
Google and the Isabelle repositories.  However, to avoid work in
parallel, I would like to ask whether somebody out there is working in
that direction or has some related stuff in the drawer.

Any feedback welcome,
    Florian

-- 

Home:
http://www.in.tum.de/~haftmann

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

Attachment: signature.asc
Description: OpenPGP digital signature



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