• 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 well-known 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 high-level language and interactive...
  • nauty

  • Referenced in 625 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • PARI/GP

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