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].
In this paper we use the Euler-Seidel method for deriving new identities for hyperharmonic and r-Stirling numbers. The exponential generating function is determined for hyperharmonic numbers, which result is a generalization of Gosper’s identity. A classification of second order recurrence sequences is also given with the help of this method.
1. Introduction. The study of divisor functions of matrices arose legitimately in the context of arithmetic of matrices, and the question of the number of (possibly weighted) inequivalent factorizations of an integer matrix was asked. However, till now only partial answers were available. Nanda [6] evaluated the case of prime matrices and Narang [7] gave an evaluation for 2×2 matrices. We obtained a recursion in the size of the matrices and the weights of the divisors [1,2] which helped us obtain...
The convolution sum, [...] ∑(l,m)∈N02αl+βm=nσ(l)σ(m), where αβ = 22, 44, 52, is evaluated for all natural numbers n. Modular forms are used to achieve these evaluations. Since the modular space of level 22 is contained in that of level 44, we almost completely use the basis elements of the modular space of level 44 to carry out the evaluation of the convolution sums for αβ = 22. We then use these convolution sums to determine formulae for the number of representations of a positive integer by...
The convolution sum is evaluated for and all . This completes the partial evaluation given in the paper of J. G. Huard, Z. M. Ou, B. K. Spearman, K. S. Williams.
The thrust of this article is to offer a new approach to the study of Galois’s Mémoire sur les conditions de résolubilité des équations par radicaux. Drawing on methodology developed by social and cultural historians, it contextualizes Galois’s work by situating it in the parisian mathematical milieu of the 1820s and 1830s. By reconstructing the social process whereby a young man became an established mathematician at the time, this article shows that Galois’s trajectory was far from unusual, and...