Flexary operations

DOI10.1515/forma-2015-0008zbMath1318.05011OpenAlexW4241580923MaRDI QIDQ491771

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-0008

zbMATH Keywords

summation methodflexary plusmatrix generalization

Mathematics Subject Classification ID

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

Related Items (2)

Readable Formalization of Euler’s Partition Theorem in Mizar ⋮ Euler's partition theorem

Cites Work

• Unnamed Item
• 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: Flexary operations