Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Computational group theory

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2005
Highly Cited
2005
History of Computational Group Theory BACKGROUND MATERIALS Fundamentals Group Actions Series Presentation of Groups Presentation… Expand
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Symmetries occur in different forms in concurrent programs. Such symmetries are induced by processes that behave similarly, and… Expand
  • figure 1
Is this relevant?
Highly Cited
2003
Highly Cited
2003
We introduce a novel approach for symmetry breaking by dominance detection (SBDD). The essence of SBDD is to perform 'dominance… Expand
  • figure 2
  • table 1
  • table 2
  • table 3
Is this relevant?
1998
1998
This note describes recent research using structural properties of finite groups to devise efficient algorithms for group… Expand
Is this relevant?
Highly Cited
1993
Highly Cited
1993
We show how to exploit symmetry in model checking for concurrent systems containing many identical or isomorphic components. We… Expand
Is this relevant?
Highly Cited
1992
Highly Cited
1992
contain th speciase l linea SL(rfr grou, q).pAmplifying the problem he said he would be happy to have a program that couldbe used… Expand
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Abstract This paper presents a general theory for modeling and designing fault-tolerant multiprocessor systems in a systematic… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1991
Highly Cited
1991
  • J. S. Leon
  • J. Symb. Comput.
  • 1991
  • Corpus ID: 206085946
A technique for computing in permutation groups of high degree is developed. The technique uses the idea of successive refinement… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1988
Highly Cited
1988
 
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… Expand
Is this relevant?