- A Mathematical Theory of Co-Design
2015/12/25 by Andrea Censi, Censi, Andrea · 2 citations
Business, Management and Accounting · Computer Science · Engineering · Mathematics · #Antichain #Bounded function #Computer science #Covering problems #Discrete mathematics #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Manufacturing Process and Optimization #Mathematical optimization #Mathematics #Modular Robots and Swarm Intelligence #Monotone polygon #Optimization and Control (math.OC) #Partially ordered set #Product Development and Customization #Relation (database) #Robotics (cs.RO) #Space (punctuation) #Theoretical computer science #cs.LO #cs.RO #math.OC
- On the Homomorphism Order of Labeled Posets
2009/11/01 by Leonard Kwuida, Léonard Kwuida, Erkko Lehtonen · 1 citation
Computer Science · Mathematics · #Advanced Algebra and Logic #Combinatorics #Discrete mathematics #Distributive lattice #Distributive property #Distributivity #Homomorphism #Infimum and supremum #Logic, Reasoning, and Knowledge #Mathematics #Order (exchange) #Partially ordered set #Pure mathematics #Rough Sets and Fuzzy Logic #Star product #Total order #Universality (dynamical systems) #math.CO #msc:05C60 #msc:06A06
- The sorting order on a Coxeter group
2009/04/17 by Drew Armstrong · 1 citation
Computer Science · Mathematics · #Advanced Algebra and Logic #Advanced Combinatorial Mathematics #Algorithm #Artin group #Bruhat order #Combinatorics #Coxeter group #Discrete mathematics #Distributive lattice #Distributive property #Lattice (music) #Mathematics #Partially ordered set #Physics #Point group #Pure mathematics #Sorting #Symmetric group #semigroups and automata theory
- Polymorphic higher-order recursive path orderings
2007/03/01 by Jean-Pierre Jouannaud, Albert Rubio · 4 citations
Computer Science · Mathematics · #Combinatorics #Computer science #Discrete mathematics #Formal Methods in Verification #Function (biology) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematics #Monotonic function #Normalization (sociology) #Order (exchange) #Partially ordered set #Path (computing) #Type (biology)
- On Edge-maps whose Inverse Preserves Flows or Tensions
2006/12/20 by Matt DeVos, Jaroslav Nešetřil, André Raspaud · 1 citation
Computer Science · Mathematics · #Topological and Geometric Data Analysis #Homotopy and Cohomology in Algebraic Topology #Advanced Graph Theory Research #Conjecture #Combinatorics #Mathematics #Antichain #Vertex (graph theory) #Graph #Discrete mathematics #Inverse #Partially ordered set #Geometry
- On monotone permutations of`ℓ-cyclically ordered sets
2006/06/01 by Ján Jakubík · 1 citation
Computer Science · Mathematics · #Advanced Algebra and Logic #Advanced Topology and Set Theory #semigroups and automata theory #Mathematics #Combinatorics #Monotone polygon #Order (exchange) #Ternary operation #Set (abstract data type) #Partially ordered set #Bar (unit) #Cyclic group #Total order #Group (periodic table) #Ordered set #Rank (graph theory) #Discrete mathematics #Abelian group #Geometry #Physics #Computer science
- Combinatorics of Partial Derivatives
2006/01/07 by Michael Hardy · 2 citations
Mathematics · Physics and Astronomy · Chemistry · #Advanced Combinatorial Mathematics #Advanced Mathematical Theories and Applications #Advanced Mathematical Identities #Mathematics #Partial derivative #Combinatorics #Generalization #Enumeration #Cumulant #Operator (biology) #Derivative (finance) #Differential operator #Product (mathematics) #Partially ordered set #Pure mathematics #Mathematical analysis #Chemistry #Statistics
- Automated Lattice Drawing
2004/01/01 by Ralph Freese · 1 citation
Computer Science · Mathematics · #Computer science #Data Visualization and Analytics #Discrete mathematics #Hasse diagram #Lattice (music) #Mathematics #Partially ordered set #Physics #Programming language #Representation (politics) #Rough Sets and Fuzzy Logic #Software #Theoretical computer science #Topological and Geometric Data Analysis
- On the average rank of an element in a filter of the partition lattice
1994/01/01 by Konrad Engel · 2 citations
Mathematics · #Advanced Combinatorial Mathematics #Antichain #Combinatorics #Discrete mathematics #Element (criminal law) #Lattice (music) #Limits and Structures in Graph Theory #Mathematical Dynamics and Fractals #Mathematical analysis #Mathematics #Monochromatic color #Monotonic function #Partially ordered set #Partition (number theory) #Physics #Rank (graph theory)
- Combinatorial representation and convex dimension of convex geometries
1988/01/01 by PaulH. Edelman, MichaelE. Saks · 2 citations
Computer Science · Mathematics · #Advanced Algebra and Logic #Advanced Graph Theory Research #Combinatorics #Convex analysis #Convex body #Convex combination #Convex geometry #Convex hull #Convex optimization #Convex polytope #Convex set #Dimension (graph theory) #Distributive lattice #Distributive property #Geometry #Graph Labeling and Dimension Problems #Mathematics #Orthogonal convex hull #Partially ordered set #Pure mathematics #Regular polygon #Representation (politics) #Representation theorem #Subderivative
- The convexity lattice of a poset
1985/09/01 by Garrett Birkhoff, M. K. Bennett · 1 citation
Computer Science · Decision Sciences · Mathematics · #Advanced Algebra and Logic #Combinatorics #Complete lattice #Condensed matter physics #Convexity #Discrete mathematics #Distributive lattice #Distributive property #Fuzzy and Soft Set Theory #Geometry #Lattice (music) #Mathematics #Ordered set #Partially ordered set #Physics #Pure mathematics #Regular polygon #Rings, Modules, and Algebras
- Ordered Sets
1982/01/01 by Ivan Rival · 1 citation
Business, Management and Accounting · Computer Science · Economics, Econometrics and Finance · Engineering · Mathematics · #Combinatorics #Computer science #Constraint Satisfaction and Optimization #Defense, Military, and Policy Studies #Discrete mathematics #Geography #Lattice (music) #Lexicographical order #Library science #Mathematics #Military Defense Systems Analysis #Military Strategy and Technology #Optics and Image Analysis #Order (exchange) #Order theory #Order type #Partially ordered set #Principal (computer security) #Total order
- Cyclic ordering is NP-complete
1977/10/01 by Zvi Galil, Nimrod Megiddo · 1 citation
Computer Science · Engineering · Mathematics · #Constraint Satisfaction and Optimization #semigroups and automata theory #graph theory and CDMA systems #Combinatorics #Mathematics #NP-complete #Set (abstract data type) #Partially ordered set #Discrete mathematics #Computer science #Time complexity
- The dimension of planar posets
1977/02/01 by William T. Trotter, John I. Moore · 1 citation
Computer Science · Mathematics · #Topological and Geometric Data Analysis #Advanced Graph Theory Research #Advanced Combinatorial Mathematics #Partially ordered set #Mathematics #Hasse diagram #Combinatorics #Planar #Dimension (graph theory) #Bounded function #Planar graph #Discrete mathematics #Graph #Computer science #Mathematical analysis
- The structure of sperner k-families
1976/01/01 by Curtis Greene, Daniel J. Kleitman, Daniel J Kleitman · 1 citation
Computer Science · Engineering · Mathematics · #Advanced Algebra and Logic #Class (philosophy) #Combinatorics #Computer science #Discrete mathematics #Extension (predicate logic) #Family of sets #Intersection (aeronautics) #Lattice (music) #Mathematics #Partially ordered set #Physics #Set (abstract data type) #Submodular set function #Transversal (combinatorics) #graph theory and CDMA systems #semigroups and automata theory