Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,101,961 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
15 relations
Algorithm
Black box group
Charles Sims (mathematician)
Computational mathematics
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
On commuting involution graphs of certain finite groups
A. Aubad
2017
Corpus ID: 125701022
5 Copyright Statement 7
2010
2010
Algorithms for solving linear systems over cyclotomic fields
Liang-Ting Chen
,
M. Monagan
Journal of symbolic computation
2010
Corpus ID: 2613230
2007
2007
Heuristic Symmetry Reduction for Invariant Verification
W. Hung
,
A. Aziz
,
K. McMillan
2007
Corpus ID: 14255821
We describe techniques that use symmetry to perform efficient invariant checking. We start by developing the theory needed to…
Expand
2005
2005
Small Base Groups , Large Base Groups and the Case of Giants
J. Cohen
2005
Corpus ID: 5537674
Let G be a finite permutation group acting on a set Γ. A base for G is a finite sequence of elements of Γ whose pointwise…
Expand
2003
2003
On Leaf Permutative Theories and Occurrence Permutation Groups
Thierry Boy de la Tour
,
M. Echenim
International Workshops on First Order Theorem…
2003
Corpus ID: 13489775
2001
2001
Group-theoretic Approach for Symbolic Tensor Manipulation: II. Dummy Indices
L. Manssur
,
R. Portugal
2001
Corpus ID: 18084942
Computational Group Theory is applied to indexed objects (tensors, spinors, and so on) with dummy indices. There are two groups…
Expand
1997
1997
Computing Maximal Subgroups and Wyckoff Positions of Space Groups
B. Eick
,
F. Gähler
,
Werner Nickel
1997
Corpus ID: 14077535
This paper describes algorithms for the computation of conjugacy classes of maximal subgroups and the Wyckoff positions of a…
Expand
1995
1995
GAP/MPI: Facilitating parallelism
G. Cooperman
Groups and Computation
1995
Corpus ID: 15549484
The goal of this work is to overcome the learning barriers faced when first using parallelism. Currently, in order to parallelize…
Expand
1993
1993
Application of substring searching methods to group presentations
G. Havas
,
M. Ollila
1993
Corpus ID: 8159274
An important way for describing groups is by flnite presentations. Large presentations arise in practice which are poorly suited…
Expand
1989
1989
An infinite Family of 4‐Arc‐Transitive Cubic Graphs Each with Girth 12
M. Conder
1989
Corpus ID: 18326808
A l'aide de la theorie elementaire des graphes symetriques, on etudie une famille infinie de graphes cubiques 4-arc-transitifs de…
Expand
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)
ACCEPT & CONTINUE
or Only Accept Required