• 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 0-matrix 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]
  • Knuth-Bendix completion program on finite semigroup, monoid or group presentations, and for attempting...
  • AutomGrp

  • Referenced in 9 articles [sw07727]
  • computations in self-similar 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 well-suited 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 well-known 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 Jean-Eric ... 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 one-dimensional ... using Hopcroft’s algorithm, generation of syntactic semigroups with D-class decomposition. The C++ code ... code allows one to generate machines and/or semigroups with several 10000 elements...