Pages that link to "Item:Q1202170"
From MaRDI portal
The following pages link to Fundamental algorithms for permutation groups (Q1202170):
Displayed 36 items.
- On the complexity of deduction modulo leaf permutative equations (Q556681) (← links)
- Reformulations in mathematical programming: automatic symmetry detection and exploitation (Q662305) (← links)
- The Canon package: a fast kernel for tensor manipulators (Q709478) (← links)
- xPerm: fast index canonicalization for tensor computer algebra (Q711101) (← links)
- Minimizing representations over number fields. II: Computations in the Brauer group. (Q731243) (← links)
- Permutative rewriting and unification (Q876048) (← links)
- On the constructive orbit problem (Q976988) (← links)
- Error-correcting codes from permutation groups (Q1043942) (← links)
- Algorithms for matrix groups and the Tits alternative (Q1288201) (← links)
- A use of ideal decomposition in the computer algebra of tensor expressions (Q1355117) (← links)
- A modular method for computing the Galois groups of polynomials (Q1358933) (← links)
- Automorphism group computation and isomorphism testing in finite groups (Q1401150) (← links)
- Computation of the decomposition group of a triangular ideal (Q1762559) (← links)
- On the construction of the finite simple groups with a given centralizer of a 2-central involution (Q1841848) (← links)
- Graph products of groups and group spaces (Q1895170) (← links)
- Faster tensor canonicalization (Q2102478) (← links)
- Canonical representation of polynomial expressions with indices (Q2216915) (← links)
- Towards a universal set of topologically protected gates for quantum computation with Pfaffian qubits (Q2461134) (← links)
- Symmetric ILP: Coloring and small integers (Q2471273) (← links)
- Computing maximal subgroups of finite groups. (Q2643528) (← links)
- Algorithmic Recognition of Group Actions on Orbitals (Q4252656) (← links)
- A database of groups of prime‐power order (Q4312789) (← links)
- NATURAL EXISTENCE PROOF FOR LYONS SIMPLE GROUP (Q4474468) (← links)
- CONSTRUCTING AUTOMORPHISM GROUPS OF <i>p</i>-GROUPS (Q4551080) (← links)
- Ground resolution with group computations on semantic symmetries (Q4647542) (← links)
- On the orbit-stabilizer problem for integral matrix actions of polycyclic groups (Q4806402) (← links)
- Computing in groups of Lie type (Q4813593) (← links)
- The Steiner triple systems of order 19 (Q4813625) (← links)
- On leaf permutative theories and occurrence permutation groups (Q4916222) (← links)
- Nonsingular cubic surfaces over F2k (Q5097730) (← links)
- Extending Symmetry Reduction Techniques to a Realistic Model of Computation (Q5178995) (← links)
- Algorithms for Function Fields (Q5472015) (← links)
- An adaptive prefix-assignment technique for symmetry reduction (Q5919303) (← links)
- Computing the subgroups of a permutation group (Q5928886) (← links)
- A new existence proof for \(Ly\), the sporadic simple group of R. Lyons (Q5928890) (← links)
- Computing projectors, injectors, residuals and radicals of finite soluble groups (Q5950984) (← links)