
coxeter
 Referenced in 16 articles
[sw07772]
 expressions, for generating permutation representations and irreducible characters of finite Coxeter groups, and for retrieving...

Semigroups
 Referenced in 12 articles
[sw11877]
 semigroup in a permutation group, the maximal subsemigroups of a finite semigroup, and smaller degree...

FinInG
 Referenced in 11 articles
[sw11587]
 FinInG  a GAP package for finite incidence geometry. FinInG is a package for computation ... facility with matrix and permutation groups...

SgpDec
 Referenced in 4 articles
[sw07825]
 cascade (de)compositions of finite transformation semigroups and permutation groups. We describe how the SgpDec...

Gpd
 Referenced in 8 articles
[sw08651]
 finite, connected groupoid: by permutation of the objects; by automorphism of the root group...

RCWA
 Referenced in 6 articles
[sw00786]
 methods for computing in certain inﬁnite permutation groups acting on the set of integers. This ... investigate the following types of groups and many more: • Finite groups, and certain divisible torsion...

FourTiTwo
 Referenced in 7 articles
[sw07615]
 Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals This paper ... rings that are invariant under a symmetric group action. The polynomial rings are increasing...

AutPGrp
 Referenced in 2 articles
[sw08640]
 compute the automorphism group of a finite $p$group. The underlying algorithm is a refinement ... MeatAxe for matrix groups and permutation group functions. We have compared our method ... performs all but the method designed for finite abelian groups. We note that our method...

TomLib
 Referenced in 3 articles
[sw07718]
 table of marks of a finite group G is a matrix whose rows and columns ... marks characterizes the set of all permutation representations of G. Moreover, the table of marks...

pg
 Referenced in 4 articles
[sw14995]
 environment for doing finite projective geometry in GAP. Researchers who want to look for examples ... group and quadrics and hermtian varieties. Because many functions in GAP deal with permutation groups...

ATENSOR
 Referenced in 5 articles
[sw00055]
 ATENSOR  REDUCE program for tensor simplification. Nature of...

AXIOM
 Referenced in 161 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

cdd
 Referenced in 94 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

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

Coq
 Referenced in 1348 articles
[sw00161]
 Coq is a formal proof management system. It...

FGb
 Referenced in 221 articles
[sw00286]
 FGb/Gb libraryGb is a program (191 420 lines...

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

gfun
 Referenced in 112 articles
[sw00344]
 The gfun package provides tools for determining and...

gmp
 Referenced in 209 articles
[sw00363]
 GMP is a free library for arbitrary precision...

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