• 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 9 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 6 articles [sw00786]
  • methods for computing in certain infinite 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 155 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • cdd

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

  • Referenced in 498 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

  • Referenced in 1207 articles [sw00161]
  • Coq is a formal proof management system. It...
  • FGb

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

  • Referenced in 1900 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • gfun

  • Referenced in 109 articles [sw00344]
  • The gfun package provides tools for determining and...
  • gmp

  • Referenced in 169 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • KANT/KASH

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