• Rapide

  • Referenced in 38 articles [sw01249]
  • distributed, time-sensitive systems -- the ”timed poset model.” Posets provide the most detailed formal basis...
  • posets

  • Referenced in 18 articles [sw07773]
  • posets Package. The posets package contains 41 Maple programs that provide an environment for computations ... package is particularly useful for visualization of posets, for isomorphism testing, and for computing various ... poset invariants, such as Möbius functions or h-polynomials. Also included is a library containing ... posets with at most 8 vertices and all 7,372 lattices with at most...
  • Adinkras

  • Referenced in 10 articles [sw09383]
  • connections to other fields (homological algebra, poset theory, and polytopes), and solve some of these...
  • Orbiter

  • Referenced in 5 articles [sw12417]
  • finite geometry. It employs the method of poset classification to generate and classify various classes...
  • Posets

  • Referenced in 2 articles [sw14777]
  • sets in Macaulay2. We introduce the package Posets for Macaulay2. This package provides a data ... working with partially ordered sets, also called posets. In particular, the package implements methods ... enumerate many commonly studied classes of posets, perform operations on posets, and calculate various invariants ... associated to posets...
  • Hermes

  • Referenced in 2 articles [sw31692]
  • efficient algorithm for building the AOC-poset of a binary relation. Given a relation 𝓡 ... 𝓐 of attributes, the AOC-poset (Attribute/Object Concept poset), is the partial order defined ... efficient algorithm for building an AOC-poset which runs ... runtime of other algorithms computing the AOC-poset: Ares, Ceres and Pluton. We characterize...
  • POSETS

  • Referenced in 1 article [sw32240]
  • POSETS: A Mathematica Package for Studying Posets. This document describes a package designed to generate ... explore partially ordered sets (also known as ”posets”), with an emphasis on topics of current ... repertoire of standard examples (Boolean lattices, subword posets, lattices of partitions, distributive lattices, Young ... ability to generate a poset directly from its formal definition, i.e., from a Mathematica program...
  • Poset

  • Referenced in 1 article [sw31951]
  • Interactive Poset and Lattice Drawing Java Applet. The aim of this applet is to assist ... with visualizing posets of a few hundred elements that come up in research, and give ... have a hands-on experience of manipulating posets...
  • min_interval_posets

  • Referenced in 1 article [sw34468]
  • interval_posets: Python 3 library to find the ɛ-minimum intervals for a time series ... create a poset of the ɛ-minimal intervals for a collection of time series...
  • SimplicialPosets

  • Referenced in 1 article [sw35221]
  • Macaulay2 Package for Stanley Simplicial Poset Ideals. We give a description of a new Macaulay2 ... package provides functions for working with simplicial posets and calculating their generalized Stanley-Reisner ideals ... random model for a class of simplicial posets which generalizes existing models for random simplicial...
  • LatViz

  • Referenced in 2 articles [sw31670]
  • with expert, visualization of Pattern Structures, AOC posets, concept annotations, filtering concept lattice based...
  • CoCoA

  • Referenced in 615 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • GAP

  • Referenced in 2797 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • gfun

  • Referenced in 130 articles [sw00344]
  • The gfun package provides tools for determining and...
  • Macaulay2

  • Referenced in 1620 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Maple

  • Referenced in 4993 articles [sw00545]
  • The result of over 30 years of cutting...
  • Matlab

  • Referenced in 11784 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

  • Referenced in 527 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • nauty

  • Referenced in 549 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • Normaliz

  • Referenced in 147 articles [sw00630]
  • Normaliz is a tool for computations in affine...