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

numericalsgps
 Referenced in 78 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 38 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 19 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...

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

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

Smallsemi
 Referenced in 13 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 12 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 16 articles
[sw04845]
 KnuthBendix completion program on finite semigroup, monoid or group presentations, and for attempting...

AutomGrp
 Referenced in 9 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...

nsgtree
 Referenced in 7 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...

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

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

SgpDec
 Referenced in 4 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...

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

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

libsemigroups
 Referenced in 2 articles
[sw19657]
 libsemigroups  C++ library for semigroups and monoids. This is the source code documentation for libsemigroups ... standard. libsemigroups is a C++ library for semigroups and monoids; it is partly based ... Algorithms for computing finite semigroups, Expository Slides, and Semigroupe 2.01 by JeanEric ... libsemigroups library is used in the Semigroups package for GAP. The development version is available...

Automata
 Referenced in 2 articles
[sw19148]
 manipulates finites state machines and their syntactic semigroups. A number of operations on onedimensional ... using Hopcroft’s algorithm, generation of syntactic semigroups with Dclass decomposition. The C++ code ... code allows one to generate machines and/or semigroups with several 10000 elements...