Flexary operations

DOI10.1515/FORMA-2015-0008zbMATH Open1318.05011OpenAlexW4241580923MaRDI QIDQ491771FDOQ491771

Authors: 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

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

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)

Cites Work

• Semantics of MML query -- ordering
• Title not available (Why is that?)
• Formalizing Arrow's theorem
• 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

Cited In (6)

• Flexary operators for formalized mathematics
• The complexity of Euler's integer partition theorem
• Readable formalization of Euler's partition theorem in Mizar
• FINANCIAL HEDGING OF OPERATIONAL FLEXIBILITY
• Title not available (Why is that?)
• Euler's partition theorem

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)