Forniamo un calcolo esplicito della funzione di partizione di Kostant per algebre di Lie complesse di rango . La tecnica principale consiste nella riduzione a casi più semplici ed all'uso di funzioni generatrici.
We obtain new q-series identities that have interesting interpretations in terms of divisors and partitions. We present a proof of a theorem of Z. B. Wang, R. Fokkink, and W. Fokkink, which follows as a corollary to our main q-series identity, and offer a similar result.
In this article we prove the Euler’s Partition Theorem which states that the number of integer partitions with odd parts equals the number of partitions with distinct parts. The formalization follows H.S. Wilf’s lecture notes [28] (see also [1]). Euler’s Partition Theorem is listed as item #45 from the “Formalizing 100 Theorems” list maintained by Freek Wiedijk at http://www.cs.ru.nl/F.Wiedijk/100/ [27].