• KELLEY

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

  • Referenced in 111 articles [sw01053]
  • order; a test for simplicity of finite groups; calculation of transfer; calculation of a presentation...
  • GRAPE

  • Referenced in 68 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 225 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 27 articles [sw04870]
  • computations related to the cohomology of groups. Both finite and infinite groups are handled, with...
  • QUOTPIC

  • Referenced in 16 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...
  • wedderga

  • Referenced in 11 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...
  • coxeter

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

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

  • Referenced in 14 articles [sw04845]
  • Knuth-Bendix completion program on finite semigroup, monoid or group presentations ... attempting to compute automatic structures of finitely presented groups...
  • PyCox

  • Referenced in 8 articles [sw09237]
  • PyCox: computing with (finite) Coxeter groups and Iwahori-Hecke 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 14 articles [sw08650]
  • modular group algebra of the finite p-group and for investigation of Lie algebra associated...
  • 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...
  • Mod-p group cohomology

  • Referenced in 7 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 8 articles [sw18675]
  • cocyclic Hadamard matrices over a finite group G for which a homological model...
  • REPSN

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

  • Referenced in 7 articles [sw10662]
  • Maple package for invariant theory of finite groups...
  • RCWA

  • Referenced in 6 articles [sw00786]
  • types of groups and many more: • Finite groups, and certain divisible torsion groups which they...