Flexary operations

DOI10.1515/FORMA-2015-0008MaRDI QIDQ491771zbMATH 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-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)

Recommendations

• FINANCIAL HEDGING OF OPERATIONAL FLEXIBILITY
• Publication:4490313
• Flexible job shop scheduling with overlapping in operations
• scientific article; zbMATH DE number 5977028
• Operations research models in flexible manufacturing systems
• Operational flexibility quantification in a make-to-order assembly system
• Flexible Matchings

Cites work

• scientific article; zbMATH DE number 4197282 (Why is no real title available?)
• First order languages: further syntax and semantics
• 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

(6)

• Euler's partition theorem
• scientific article; zbMATH DE number 709400 (Why is no real title available?)
• The complexity of Euler's integer partition theorem
• FINANCIAL HEDGING OF OPERATIONAL FLEXIBILITY
• Flexary operators for formalized mathematics
• Readable formalization of Euler's partition theorem in Mizar

This page was built for publication: Flexary operations

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