
Rapide
 Referenced in 38 articles
[sw01249]
 distributed, timesensitive 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 hpolynomials. 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 AOCposet of a binary relation. Given a relation 𝓡 ... 𝓐 of attributes, the AOCposet (Attribute/Object Concept poset), is the partial order defined ... efficient algorithm for building an AOCposet which runs ... runtime of other algorithms computing the AOCposet: 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 handson 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 StanleyReisner 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 highlevel language and interactive...

MiniSat
 Referenced in 527 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

nauty
 Referenced in 549 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

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