Köchel catalogue Horn Concerto No. 1, K. (412+514)/386b. In the decades after Mozart's death there were several attempts to catalogue his compositions, for example by Franz Gleißner and Johann Anton André (published in 1833), but it was not until 1862 that Ludwig von Köchel succeeded in producing a comprehensive listing. Köchel's 551-page catalogue was titled "Chronologisch-thematisches Verzeichnis sämmtlicher Tonwerke W. A. Mozarts" ("Chronological-thematic Catalogue of the Complete Musical Works of W. A. Mozart"). Köchel attempted to arrange the works in chronological order, but many compositions written before 1784 could only be estimated, although Leopold Mozart had compiled a partial list of his
Stirling numbers of the second kind for Stirling numbers of the second kind. The brace notation formula_2 was used by Imanuel Marx and Antonio Salmeri in 1962 for variants of these numbers. This led Knuth to use it, as shown here, in the first volume of "The Art of Computer Programming" (1968). However, according to the third edition of "The Art of Computer Programming", this notation was also used earlier by Jovan Karamata in 1935. The notation "S"("n", "k") was used by Richard Stanley in his book "Enumerative Combinatorics". Since the Stirling number formula_15 counts set partitions of an "n"-element set into "k" parts, the sum