The following pages link to Derek F. Holt (Q169336):
Displaying 50 items.
- (Q273097) (redirect page) (← links)
- Conjugacy languages in groups (Q273099) (← links)
- Algorithms and topology of Cayley graphs for groups. (Q404175) (← links)
- Sofic groups: graph products and graphs of groups. (Q471287) (← links)
- A practical model for computation with matrix groups. (Q480641) (← links)
- Algorithms for polycyclic-by-finite groups (Q507137) (← links)
- Some closure results for \(\mathcal{C}\)-approximable groups (Q521741) (← links)
- Garside groups have the falsification by fellow-traveller property. (Q531913) (← links)
- On Coxeter's families of group presentations. (Q606655) (← links)
- (Q801031) (redirect page) (← links)
- A computer program for the calculation of a covering group of a finite group (Q801032) (← links)
- An interpretation of the cohomology groups \(H^ n(G,M)\) (Q912984) (← links)
- The mechanical computation of first and second cohomology groups (Q1072655) (← links)
- The triviality of the multiplier of Thompson's group \(F_ 3\) (Q1080943) (← links)
- Exact sequences in cohomology and an application (Q1142281) (← links)
- A criterion for the conjugacy of Sylow subgroups in periodic locally soluble groups (Q1148388) (← links)
- The use of Knuth-Bendix methods to solve the word problem in automatic groups (Q1192222) (← links)
- The computation of normalizers in permutation groups (Q1192230) (← links)
- Doubly transitive groups in which \(O(G_\alpha)\) is transitive (Q1222712) (← links)
- Doubly transitive groups with a solvable one point stabilizer (Q1233069) (← links)
- Computing automatic coset systems and subgroup presentations (Q1284217) (← links)
- Computing with Abelian sections of finitely presented groups (Q1291087) (← links)
- Recognizing badly presented \(Z\)-modules (Q1311319) (← links)
- The \(p\)-coclass of a group (Q1320205) (← links)
- On products of Sylow subgroups in finite groups (Q1325103) (← links)
- Computing chief series, composition series and socles in large permutation groups (Q1369791) (← links)
- Computing Sylow subgroups in permutation groups (Q1369792) (← links)
- Constructing a representation of the group \((2,3,7;11)\) (Q1369808) (← links)
- Automorphism group computation and isomorphism testing in finite groups (Q1401150) (← links)
- Isoperimetric inequalities for nilpotent groups. (Q1413653) (← links)
- Representing the quotient groups of a finite permutation group (Q1604392) (← links)
- Multifraction reduction. IV: Padding and Artin-Tits monoids of sufficiently large type (Q1651499) (← links)
- The generalised word problem in hyperbolic and relatively hyperbolic groups (Q1799015) (← links)
- Testing matrix groups for primitivity (Q1815003) (← links)
- Computing matrix group decompositions with respect to a normal subgroup (Q1815004) (← links)
- Finite presentation of fibre products of metabelian groups (Q1874525) (← links)
- Generalising some results about right-angled Artin groups to graph products of groups. (Q1952131) (← links)
- The use of permutation representations in structural computations in large finite matrix groups (Q2000260) (← links)
- Regular orbits of finite primitive solvable groups, the final classification (Q2100049) (← links)
- Comparing the order and the minimal number of generators of a finite irreducible linear group (Q2134028) (← links)
- The transitive groups of degree 48 and some applications (Q2153317) (← links)
- The compressed word problem in relatively hyperbolic groups (Q2153344) (← links)
- A census of small transitive groups and vertex-transitive graphs (Q2188974) (← links)
- Constructing composition factors for a linear group in polynomial time (Q2193255) (← links)
- Polynomial-time proofs that groups are hyperbolic (Q2229726) (← links)
- Automaticity for graphs of groups (Q2245017) (← links)
- Block designs with block size two (Q2266554) (← links)
- Equations in groups that are virtually direct products (Q2282983) (← links)
- Conjugacy in Artin groups of extra-large type. (Q2343503) (← links)
- Minimal and random generation of permutation and matrix groups. (Q2438897) (← links)
