Euler's partition theorem

DOI10.1515/FORMA-2015-0009MaRDI QIDQ491772zbMATH OpenOpenAlexFDO

Authors Karol Pąk

Publication date 19 August 2015

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported

Full work available at URL https://doi.org/10.1515/forma-2015-0009

zbMATH Keywords

partition theorem

Mathematics Subject Classification ID

Combinatorial aspects of partitions of integers (05A17) Mechanization of proofs and logical operations (03B35) Elementary theory of partitions (11P81)

Recommendations

• Flexary operations
• Identically distributed pairs of partition statistics
• On the number of even parts in all partitions of \(n\) into distinct parts
• Readable formalization of Euler's partition theorem in Mizar
• On the combinatorics of the number of even parts in all partitions with distinct parts

Cites work

• scientific article; zbMATH DE number 2126631 (Why is no real title available?)
• scientific article; zbMATH DE number 4197282 (Why is no real title available?)
• First order languages: further syntax and semantics
• Flexary operations
• Formalizing Arrow's theorem
• Preliminaries to classical first-order model theory
• Semantics of MML query -- ordering
• The Editor's Corner: Strings, Substrings, and the `Nearest Integer' Function

Cited in

(7)

• The minimal odd excludant and Euler's partition theorem
• Euler partition rule
• The complexity of Euler's integer partition theorem
• A note on a finite version of Euler's partition identity
• Readable formalization of Euler's partition theorem in Mizar
• scientific article; zbMATH DE number 3893277 (Why is no real title available?)
• Euler's partition identity-finite version

This page was built for publication: Euler's partition theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q491772)