
Semigroups
 Referenced in 32 articles
[sw11877]
 semigroups, monoids, and inverse semigroups, principally of transformations, partial permutations, bipartitions, subsemigroups of regular Rees...

SgpDec
 Referenced in 5 articles
[sw07825]
 SgpDec: cascade (de)compositions of finite transformation semigroups and permutation groups. We describe ... composing and decomposing permutation groups and transformation semigroups hierarchically by directly constructing substructures of wreath...

MONOiD
 Referenced in 4 articles
[sw08361]
 elements, and testing membership in transformation semigroups. After MONOID has been loaded many of these ... methods for testing if a semigroup satisfies a particular property, such ... computing the automorphism group of a transformation semigroup; homomorphisms and isomorphism between some types ... functions to create some wellknown transformation semigroups. The MONOID package is written...

SubSemi
 Referenced in 1 article
[sw22009]
 package was the computational enumeration of transformation semigroups up to degree 4. Instructions for recomputing ... level in the preprint ’On Enumerating Transformation Semigroups’ http://arxiv.org/abs/1403.0274...

Citrus
 Referenced in 1 article
[sw08362]
 package version 0.9999 for computing with semigroups of transformations and partial permutations. Citrus ... than any other software) for creating semigroups of transformations and partial permutations, calculating their Green ... also methods for testing if a semigroup satisfies a particular property, such ... related to semigroups, and functions to read and write large collections of transformations or partial...

AG
 Referenced in 4 articles
[sw15652]
 manipulating finite state automata and finite semigroups. This software includes on the one hand ... Kleene closure,.) as well as the usual transformations (trimming, minimization,.) and on the other hand...

KAD
 Referenced in 2 articles
[sw32231]
 Hoare logics, dynamic logics or predicate transformer semantics. We formalise a modular hierarchy of algebras ... Isabelle/HOL that ranges from domain and antidomain semigroups to modal Kleene algebras and divergence Kleene...

ACL2
 Referenced in 291 articles
[sw00060]
 ACL2 is both a programming language in which...

cdd
 Referenced in 119 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

CoCoA
 Referenced in 659 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

FGb
 Referenced in 247 articles
[sw00286]
 FGb/Gb libraryGb is a program (191 420 lines...

GAP
 Referenced in 3221 articles
[sw00320]
 GAP is a system for computational discrete algebra...

Macaulay2
 Referenced in 1958 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Magma
 Referenced in 3363 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 5403 articles
[sw00545]
 The result of over 30 years of cutting...

MATCONT
 Referenced in 455 articles
[sw00551]
 MATCONT: Matlab software for bifurcation study of dynamical...

Mathematica
 Referenced in 6445 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 13702 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

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

PARI/GP
 Referenced in 655 articles
[sw00680]
 PARI/GP is a widely used Computer Algebra System...