Index: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Home > Computational group theory

In mathematics, computational group theory is the study of groups by means of computers. It is concerned

with designing and analysing algorithms and

data structures to compute information about groups. The subject

has attracted interest because for many interesting groups (including most of the sporadic groups) it is impractical to perform calculations by hand.

Important algorithms in computational group theory include:

the Schreier-Sims algorithm for finding the order of a permutation group
the Todd-Coxeter algorithm and Knuth-Bendix algorithm for coset enumeration
the product-replacement algorithm for finding random elements of a group

Two important computer algebra systems (CAS) used for group theory are

GAP and MAGMA. Historically, other systems such as CAS (for character theory) and CAYLEY (a pre-decessor of MAGMA) were important.

Some achievements of the field include:

complete enumeration of all finite groups of order less than 2000
computation of representations for all the sporadic groups

<Hide>

Topics: Computational Group Theory, Computational Linguistics...

Computational linguisticsComputational linguistics is an interdisciplinary field in which logical modeling of natural language from a computational perspective is a central tenet. This modeling is not limited to a particular field of linguistics. While often assumed to be a sub-f	Computational chemistryComputational chemistry is the branch of theoretical chemistry whose major goals are to create efficient computer programs that calculate the properties of molecules (such as total energy, dipole moment, vibrational frequencies) and to apply these program	Computational complexity theoryComplexity theory is part of the theory of computation dealing with the resources required during computation to solve a given problem. The most common resources are time (how many steps does it take to solve a problem) and space (how much memory does it
Computational physicsComputational physics is the study and implementation of numerical algorithms in order to solve problems in physics for which a quantitative theory already exists. Physicists often have a very precise mathematical theory describing how a system will behav	Computational archaeologyComputational archaeology describes computer-based analytical methods for the study of long-term human behaviour and behavioural evolution. As with other sub-disciplines that have prefixed 'computational' to their name (e. computational biology, computati	Computational geometryIn computer science, computational geometry is the study of algorithms to solve problems stated in terms of geometry. Some purely geometrical problems arise out of the study of computational geometric algorithms, and the study of such problems is also con
Computational neuroscience	Computational fluid dynamics	Computational learning theory
Computational semiotics	Computational number theory	Computational irreducibility
Computational group theory	Computational tree logic	Computational Linguistics (journal)

Non User