
KELLEY
 Referenced in 610 articles
[sw04829]
 author and his group. Implicit filtering methods use finite difference approximations of the gradient, which...

Cayley
 Referenced in 131 articles
[sw01053]
 order; a test for simplicity of finite groups; calculation of transfer; calculation of a presentation...

GRAPE
 Referenced in 86 articles
[sw07516]
 constructing and analysing graphs related to groups, finite geometries, and designs. The vast majority ... language, except for the automorphism group and isomorphism testing functions, which use Brendan McKay...

OTTER
 Referenced in 314 articles
[sw02904]
 areas of finite semigroups, ternary Boolean algebra, logic calculi, combinatory logic, group theory, lattice theory...

HAP
 Referenced in 38 articles
[sw04870]
 computations related to the cohomology of groups. Both finite and infinite groups are handled, with...

CAS
 Referenced in 22 articles
[sw07634]
 handling of characters of finite groups. CAS is a system for handling characters of finite...

coxeter
 Referenced in 22 articles
[sw07772]
 working with root systems and finite Coxeter groups. It provides facilities for manipulating roots, reflections ... permutation representations and irreducible characters of finite Coxeter groups, and for retrieving information such...

REPSN
 Referenced in 21 articles
[sw00800]
 matrix representations. Let G be a finite group and χ a faithful irreducible character...

BRAID
 Referenced in 18 articles
[sw04311]
 applications. Let G be a finite group. By Riemann’s existence theorem, braid orbits...

wedderga
 Referenced in 13 articles
[sw01019]
 decomposition of semisimple group algebras of finite groups over finite fields and over subfields ... finite cyclotomic extensions of the rationals. It also contains functions that produce the primitive central ... idempotents of semisimple group algebras and functions for computing Schur indices. Other functions of Wedderga...

QUOTPIC
 Referenced in 17 articles
[sw04937]
 plotting the finite quotients of a finitely presented group. It builds the quotients via descending ... system for displaying finite quotients of finitely presented groups’, Proc. DIMACS Workshop on Groups...

kbmag
 Referenced in 19 articles
[sw04845]
 KnuthBendix completion program on finite semigroup, monoid or group presentations ... attempting to compute automatic structures of finitely presented groups...

Help
 Referenced in 16 articles
[sw14497]
 partial augmentations of torsion units in integral group rings using a method developed by Luthar ... Prime Graph Question for finite groups, once characters are known. It uses an interface...

Nilmat
 Referenced in 18 articles
[sw08583]
 methods for checking whether a finitely generated matrix group over a finite field ... methods for computing with such nilpotent matrix groups and methods for contructing important classes...

PyCox
 Referenced in 12 articles
[sw09237]
 PyCox: computing with (finite) Coxeter groups and IwahoriHecke algebras. We introduce the computer algebra ... older CHEVIE system, for working with Coxeter groups and Hecke algebras. This includes ... graphs, which works efficiently for all finite groups of rank ⩽8 (except...

LAGUNA
 Referenced in 20 articles
[sw08650]
 modular group algebra of the finite pgroup and for investigation of Lie algebra associated...

NQ
 Referenced in 8 articles
[sw10503]
 computation of nilpotent factor groups of finitely presented groups. It requires the presence ... lower central series of a finitely presented group. Computation of nilpotent groups satisfying a given...

Modp group cohomology
 Referenced in 8 articles
[sw08638]
 computes modular cohomology rings of finite groups. It yields minimal presentations of the cohomology rings ... cohomology rings of all groups of order 128. It was also used to compute ... cohomology of various finite simple groups (for different primes p), including the first computation...

permut
 Referenced in 7 articles
[sw27996]
 package to deal with permutability in finite groups. This package provides functions for computing with ... permutability in finite groups...