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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2005
2005
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
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
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
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 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
  • 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
Thisnotedescrib esrecen tresearc h usingstructural propertiesofflnitegroupstodevise–cien talgorithms forgroupcomputation… (More)
Is this relevant?
Review
1997
Review
1997
  • 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
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
We address the graph isomorphism problem and related fundamental complexity problems of computational group theory. The main… (More)
Is this relevant?