Computational group theory

In mathematics, computational group theory is the study ofgroups by means of computers. It is concernedwith designing and analysing algorithms… (More)
Wikipedia

Related topics

Related topics

15 relations
AlgorithmBlack box groupCharles Sims (mathematician)Computational mathematics
(More)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2005
2005
Automatic Symmetry Detection for Model Checking Using Computational Group Theory
We present an automatic technique for the detection of structural symmetry in a model directly from its Promela specification… (More)
  • figure 1
  • figure 2
  • table 1
Is this relevant?
2005
2005
Quotient tests and random walks in computational group theory
For many decision problems on a finitely presented group G, we can quickly weed out negative solutions by using much quicker… (More)
Is this relevant?
2004
2004
New Developments in Symmetry Breaking in Search Using Computational Group Theory
Symmetry-breaking in constraint satisfaction problems (CSPs) is a well-established area of AI research which has recently… (More)
  • table 1
Is this relevant?
2003
2003
Generic SBDD Using Computational Group Theory
We introduce a novel approach for symmetry breaking by dominance detection (SBDD). The essence of SBDD is to perform ‘dominance… (More)
  • figure 2
  • table 1
  • table 2
  • table 3
Is this relevant?
Review
1998
Review
1998
Computational Group Theory
Computational group theory has a history going back more than 80 years. It is a collaborative e ort of researchers in a wide… (More)
Is this relevant?
1998
1998
Counting Complexity and Computational Group theory
  • 1998
Group theory, is a record of bonaade research work done during 1993-1998 under my supervision. The research work presented in… (More)
Is this relevant?
1998
1998
Simple Groups in Computational Group Theory
Thisnotedescrib esrecen tresearc h usingstructural propertiesofflnitegroupstodevise–cien talgorithms forgroupcomputation… (More)
Is this relevant?
Review
1997
Review
1997
An Introduction to Computational Group Theory
  • Akos Seress
  • 1997
C an one rotate only one corner piece in Rubik’s cube? What are the energy levels of the buckyball molecule? Are the graphs on… (More)
Is this relevant?
Review
1991
Review
1991
Combinatorial Tools for Computational Group Theory
A variety of elementary combinatorial techniques for permutation groups are reviewed. It is shown how to apply these techniques… (More)
Is this relevant?
Highly Cited
1983
Highly Cited
1983
Computational complexity and the classification of finite simple groups
We address the graph isomorphism problem and related fundamental complexity problems of computational group theory. The main… (More)
Is this relevant?