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

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

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

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

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

RCWA
 Referenced in 5 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 4 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 152 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

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

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

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

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

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

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

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

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