Euler's partition theorem

DOI10.1515/FORMA-2015-0009zbMath1318.05012OpenAlexW2293991084MaRDI QIDQ491772

Karol Pąk

Publication date: 19 August 2015

Published in: Formalized Mathematics (Search for Journal in Brave)

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)

Cites Work

• Unnamed Item
• Unnamed Item
• Flexary operations
• Formalizing Arrow's theorem
• Semantics of MML Query - Ordering
• Preliminaries to Classical First Order Model Theory
• First Order Languages: Further Syntax and Semantics
• The Editor's Corner: Strings, Substrings, and the `Nearest Integer' Function

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