Skip to search formSkip to main contentSkip to account menu

Computational group theory

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

Related topics

Related topics

15 relations
AlgorithmBlack box groupCharles Sims (mathematician)Computational mathematics

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
On commuting involution graphs of certain finite groups
5 Copyright Statement 7 
2016
2016
Enumeration of Conformers of Octahedral [M(ABC)_{6}] Complex on the Basis of Computational Group Theory
Conformers of [M(ABC)6] complex have been enumerated on the basis of computational group theory, where M is the central metal… 
2010
2010
Algorithms for solving linear systems over cyclotomic fields
2009
2009
On the constructive orbit problem
Symmetry reduction techniques aim to combat the state-space explosion problem for model checking by restricting search to… 
2007
2007
Heuristic Symmetry Reduction for Invariant Verification
We describe techniques that use symmetry to perform efficient invariant checking. We start by developing the theory needed to… 
2007
2007
Symmetry-Breaking Formulas for Groups with Bounded Orbit Projections
This paper consider the problem of generating symmetry-breaking formulas for permutation groups acting on n points, where the… 
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… 
1995
1995
GAP/MPI: Facilitating parallelism
The goal of this work is to overcome the learning barriers faced when first using parallelism. Currently, in order to parallelize… 
1993
1993
Application of substring searching methods to group presentations
An important way for describing groups is by flnite presentations. Large presentations arise in practice which are poorly suited… 
1989
1989
An infinite Family of 4‐Arc‐Transitive Cubic Graphs Each with Girth 12
A l'aide de la theorie elementaire des graphes symetriques, on etudie une famille infinie de graphes cubiques 4-arc-transitifs de… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)