
OTTER
 Referenced in 316 articles
[sw02904]
 open questions in the areas of finite semigroups, ternary Boolean algebra, logic calculi, combinatory logic...

numericalsgps
 Referenced in 129 articles
[sw00640]
 computer algebra system GAP and to numerical semigroups, this note provides a brief description ... package designed to work with numerical semigroups...

NumericalSemigroupsWithGenus
 Referenced in 58 articles
[sw06891]
 Constructing the set of all numerical semigroups containing a given numerical semigroup In order ... construct the set of numerical semigroups containing a fixed numerical semigroup S, one first constructs ... sets S∪{g} that are numerical semigroups with g a positive integer. This is achieved ... constructing the special gaps of the semigroup, and then adding each of them...

Semigroups
 Referenced in 31 articles
[sw11877]
 Semigroups package is a GAP package containing methods for semigroups, monoids, and inverse semigroups, principally ... bipartitions, subsemigroups of regular Rees 0matrix semigroups, free inverse semigroups, and free bands. Semigroups ... efficient than any other software) for creating semigroups, monoids, and inverse semigroup, calculating their Green ... also possible to test if a semigroup satisfies a particular property, such...

Pseudo Hoops
 Referenced in 42 articles
[sw29253]
 Bosbach under the name of complementary semigroups. In this formalization we prove some properties...

LANGAGE
 Referenced in 39 articles
[sw00501]
 Maple packages for processing automata and finite semigroups...

nsgtree
 Referenced in 21 articles
[sw15641]
 Exploring the tree of numerical semigroups In this paper we describe an algorithm visiting ... numerical semigroups up to a given genus using a wellsuited representation. The interest ... optimizations: we obtain the number of numerical semigroups of genus $gleq 67$ and we confirm...

Smallsemi
 Referenced in 18 articles
[sw07725]
 Smallsemi package is a data library of semigroups of small size. It provides all semigroups ... information about these objects. The reason that semigroups of higher orders are not included ... number of such objects. The numbers of semigroups of sizes 1 to 9 are given ... library are in italics). The number of semigroups of size 10 is not known...

TESTAS
 Referenced in 19 articles
[sw00957]
 minimal automaton or by its syntactic semigroup is locally testable, right or left locally testable ... order of local testability of transition semigroup are also found. For given...

kbmag
 Referenced in 21 articles
[sw04845]
 KnuthBendix completion program on finite semigroup, monoid or group presentations, and for attempting...

NumericMonoid
 Referenced in 21 articles
[sw34492]
 Hivert. 2016. Exploring the tree of numerical semigroups. Math. Comput...

AutomGrp
 Referenced in 12 articles
[sw07727]
 computations in selfsimilar groups and semigroups. The AutomGrp package provides methods for computations with ... groups and semigroups generated by finite automata or given by wreath recursion, as well...

AUTOMATE
 Referenced in 12 articles
[sw00059]
 computing package for automata and finite semigroups. AUTOMATE is a package written in the programming...

SgpViz
 Referenced in 7 articles
[sw07631]
 sgpviz, a package designed to visualize finite semigroups through their 𝒟classes or Cayley graphs ... usage of GAP when dealing with finite semigroups...

Semigroupe
 Referenced in 5 articles
[sw19658]
 Semigroupe 2.01 : a software for computing finite semigroups...

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 ... semigroup; and functions to create some wellknown transformation semigroups. The MONOID package is written...

brnoeth.lib
 Referenced in 8 articles
[sw10905]
 Algebraic Geometry codes. The computation of Weierstrass semigroups is also implemented. The procedures are intended...

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...

Sexpansion
 Referenced in 4 articles
[sw19245]
 algebra G with a finite abelian semigroup S in order to define new Sexpanded ... able to represent Lie algebras and semigroups, so we can perform Sexpansions ... algebras using arbitrary semigroups. We explain how the library methods has been constructed...

AG
 Referenced in 4 articles
[sw15652]
 Maple packages for manipulating automata and finite semigroups. AG is a set of packages ... manipulating finite state automata and finite semigroups. This software includes on the one hand...