
Semigroups
 Referenced in 24 articles
[sw11877]
 containing methods for semigroups, monoids, and inverse semigroups, principally of transformations, partial permutations, bipartitions, subsemigroups ... regular Rees 0matrix semigroups, free inverse semigroups, and free bands. Semigroups contains more efficient ... software) for creating semigroups, monoids, and inverse semigroup, calculating their Green’s structure, ideals, size ... smaller degree partial permutation representations of inverse semigroups. There are functions for producing pictures...

MONOiD
 Referenced in 4 articles
[sw08361]
 simple, inverse, or completely regular; computing the automorphism group of a transformation semigroup; homomorphisms...

Citrus
 Referenced in 1 article
[sw08362]
 efficient than any other software) for creating semigroups of transformations and partial permutations, calculating their ... minimal ideal, and testing membership, finding the inverses of a regular element, and factorizing elements ... semigroup satisfies a particular property, such as if it is regular, simple, inverse, completely regular ... commonly used GAP library functions related to semigroups, and functions to read and write large...

libsemigroups
 Referenced in 2 articles
[sw19657]
 Github. Some of the features of Semigroupe 2.01 are not yet implemented in libsemigroups, this ... principal left/right ideals, or indeed any ideals; inverses; local submonoids; the kernel; variety tests...

JULIA
 Referenced in 1 article
[sw07660]
 function or semigroup of the allowable map types. 6) Forward and Inverse images (using...

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

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

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

KANT/KASH
 Referenced in 151 articles
[sw00481]
 KASH/KANT is a computer algebra system (CAS) for...

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

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

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

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

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

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

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

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

polymake
 Referenced in 273 articles
[sw00724]
 polymake is open source software for research in...

SageMath
 Referenced in 1414 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

SINGULAR
 Referenced in 1269 articles
[sw00866]
 SINGULAR is a Computer Algebra system (CAS) for...