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

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

GRAPE
 Referenced in 77 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 290 articles
[sw02904]
 areas of finite semigroups, ternary Boolean algebra, logic calculi, combinatory logic, group theory, lattice theory...

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

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

coxeter
 Referenced in 19 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 19 articles
[sw00800]
 matrix representations. Let G be a finite group and χ a faithful irreducible character...

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...

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

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

Nilmat
 Referenced in 15 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...

Help
 Referenced in 13 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...

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

PyCox
 Referenced in 9 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...

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...

HadamardSearch
 Referenced in 10 articles
[sw18675]
 cocyclic Hadamard matrices over a finite group G for which a homological model...

NQ
 Referenced in 7 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...