A3B3free.pdf Rubén Blasco-García, María Cumplido , Derek F. Holt, Rose Morris-Wright and Sarah Rees , Rewriting in Artin groups without A3 or B3 subdiagrams.
J. Algebra 703 (2026), 374-421
coet0l.pdf Raad Al Kohli, Derek F. Holt, and Sarah Rees, Groups with et0l co-word problem.
Internat. J. Algebra Comput. (2025).
MinGenSet.pdf Derek Holt and Gareth Tracey, Minimal sized generating sets of permutation groups.
J. Algebra 703 (2025), 128-139
IsomNonisom.pdf Barbara Baumeister, Derek Holt, Georges Neaime and Sarah Rees, Isomorphism and non-isomorphism for interval groups of type D.
compwphyp.pdf Derek Holt, Markus Lohrey, Saul Schleimer, Compressed decision problems in hyperbolic groups.
Groups Geom. Dyn. 18 (2024), no. 4, 1233–1273
J. Algebra 629 (2023), 399-423.
RegularOrbit4.pdf Derek Holt and Yong Yang, Regular orbits of finite primitive solvable groups, the final classification.
J. Symbolic Computation 116 (2023), 139-145.
BS1k.pdf Andrew Duncan, Alex Evetts, Derek Holt and Sarah Rees, Using edt0l systems to solve some equations in the solvable Baumslag-Solitar groups.
J. Algebra 630 (2023), 434-456.
cwp_relhyp.pdf Derek Holt and Sarah Rees, The compressed word problem in relatively hyperbolic groups.
J. Algebra 607, Part B (2022), 305-343.
trans48.pdf Derek Holt, Gordon Royle and Gareth Tracey, The transitive groups of degree 48 and some applications.
J. Algebra 607, Part A (2022), 372-386
systolic_biaut.pdf Derek Holt and Sarah Rees, Biautomatic structures in systolic Artin groups.
Internat. J. Algebra Comput. 31, No. 3 (2021), 365-391.
automaticgog.pdf Susan Hermiller, Derek Holt, Sarah Rees and Tim Susse Automaticity for graphs of groups,
Groups, Geometry, and Dynamics 15, No. 2 (2021), 503-551.
pregroups.pdf Derek Holt, Stephen Linton, Max Neunh\"offer, Richard Parker, Markus Pfeiffer, and Colva Roney-Dougal, Polynomial-time proofs that groups are hyperbolic,
J. Symbolic Computation 104 (2021), 419-475.
comptreepoly.pdf D.F. Holt, C.R. Leedham-Green, and E. A. O'Brien, Constructing composition factors for a linear group in polynomial time.
J. Algebra 561, (2020), 215-236
equations.pdf Laura Ciobanu, Derek Holt and Sarah Rees, Equations in groups that are virtually direct products.
J. Algebra 545 (2020), 88-99.
trans47.pdf Derek Holt and Gordon Royle, A census of small transitive groups and vertex-transitive graphs.
J. Symbolic Computation 101 (2020), 51-60.
lmg_revised.pdf J.J. Cannon, D.F. Holt and W.R. Unger, The use of permutation representations in structural computations in large finite matrix groups.
J. Symbolic Computation 95 (2019), 26-38.
Dix.pdf Patrick Dehornoy, Derek Holt and Sarah Rees, Multifraction reduction IV: padding and Artin–Tits monoids of sufficiently large type.
J. Pure Appl. Algebra 222 (2018), 4082-4098.
gwphyp.pdf Laura Ciobanu, Derek Holt and Sarah Rees, The generalised word problem in hyperbolic and relatively hyperbolic groups.
J. Algebra 516 (2018) 149-171.
pcfin.pdf Derek Holt and Shavak Sinanan, Algorithms for polycyclic-by-finite groups.
J. Symbolic Computation 79 (2017), 269-284.
CApprox.pdf Derek Holt and Sarah Rees, Some closure results for ${\mathcal C}$-approximable groups.
Pacific J. Math. 287-2 (2017), 393-409.
conjlang.pdf Laura Ciobanu, Susan Hermiller, Derek Holt and Sarah Rees, Conjugacy languages in groups.
Israel J. Math. 211 (2016), 311-348.
RapidDecay.pdf Laura Ciobanu, Derek Holt and Sarah Rees, Rapid decay and Baum-Connes for large type Artin groups,
Trans. Amer. Math. Soc. 368 (2016), 6103-6129.
artconj.pdf Derek Holt and Sarah Rees, Conjugacy in Artin groups of extra-large type.
J. Algebra 434 (2015), 12-26.
comptree.pdf H. Bäärnhielm, C.R. Leedham-Green, E.A. O'Brien A practical model for computation with matrix groups,
J. Symbolic Computation 68 (2015), 27-60.
autostack.pdf Mark Brittenham, Susan Hermiller and Derek Holt, Algorithms and topology of Cayley graphs for groups.
J. Algebra 415, no 1 (2014), 112-136.
sofic.pdf Laura Ciobanu, Derek Holt and Sarah Rees, Sofic groups: graph products and graphs of groups.
Pacific J. Math. 271, no 1 (2014), 53-64.
artin2.pdf Derek Holt and Sarah Rees, Shortlex automaticity and geodesic regularity in Artin groups.
Groups Complex. Cryptol. 05 (2013), 1-23.
graphprodRD.pdf Laura Ciobanu, Derek Holt and Sarah Rees, Rapid decay is preserved by graph products.
J. Topol. Anal. 05 (2013), 225-237.
projindec.pdf J.J. Cannon and D.F. Holt, Computing projective indecomposable modules and higher cohomology groups
Experiment. Math. 22 (2013), 51-59.
conjugacy.pdf D.J. Buckley and D.F. Holt, The conjugacy problem in hyperbolic groups for finite lists of group elements.
Internat. J. Algebra Comput. 23 (2013), 1127-1150.
lingens.pdf D.F. Holt and C.M. Roney-Dougal, Minimal and random generation of permutation and matrix groups.
J. Algebra 387 (2013), 195-214.
solsubs.pdf Tara Brough and Derek Holt, Finitely generated soluble groups and their subgroups.
Comm. Algebra 41 (2013), 1790-1799.
graphprod.pdf Derek Holt and Sarah Rees, Generalising some results about right-angled Artin groups to graph products of groups.
J. Algebra 371 (2012), 94--104.
artin.pdf Derek Holt and Sarah Rees, Artin groups of large type are shortlex automatic with regular geodesics.
Proc. London Math. Soc. 104 (2012), 486-512.
csconj.pdf D. Holt, S. Rees and C. Röver, Groups with context-free conjugacy problems.
Internat. J. Algebra Comput. 21 (2011), 193-216.
fftp.pdf Derek Holt, Garside groups have the falsification by fellow-traveller property.
Groups Geom. Dyn. 4 (2010), 777-784.
coxpres.pdf G. Havas and D. Holt, On Coxeter's families of group presentations.
Journal of Algebra 324 (2010), 1076-1082.
symsubs.pdf Derek Holt, Enumerating subgroups of the symmetric group.
In Computational Group Theory and the Theory of Groups, II, edited by L-C Kappe, A. Magidin and R. Morse,
AMS Contemporary Mathematics book series vol 511 (2010), pp 33-37.
maxorth.pdf D.F. Holt and C.M. Roney-Dougal, Constructing maximal subgroups of orthogonal groups.
LMS J. Comput. Math. 13 (2010), 164-191.
psigmau.pdf J. N. Bray, D. F. Holt and C. M. Roney-Dougal, Certain classical groups are not well-defined.
J. Group Theory 12 (2009), 171-180.
growingcwsp.pdf D. Holt, S. Rees and M. Shapiro, Groups that do and do not have growing context-sensitive word problem.
Internat. J. Algebra Comput. 18 (2008), 1179-1191.
onecounter.pdf D.F. Holt, M.D. Owens and R.M. Thomas, Groups and semigroups with a one-counter word problem.
J. Australian Math. Soc. 85 (2008), 197-209.
csmatgp.pdf D.F. Holt and M.J. Stather, Computing a chief series and the soluble radical of a matrix group over a finite field.
LMS J. Comput. Math. 11 (2008), 223 - 251.
trans32.pdf J.J. Cannon and D.F. Holt, The transitive groups of degree 32.
Experiment. Math. 17 (2008), 307-314.
loctest.pdf Susan Hermiller, Derek Holt and Sarah Rees, Groups whose geodesics are locally testable.
Internat. J. Algebra Comput. 18 (2008), 911-923.
locexclud.pdf R.H. Gilman, S. Hermiller, D.F. Holt and S. Rees, A characterisation of virtually free groups.
Arch. Math. 89 (2007), 289-295.
starfree.pdf Susan Hermiller, Derek Holt and Sarah Rees, Star-free geodesic languages for groups.
Internat. J. Algebra Comput. 17 (2007), 329-345
matgps.pdf D.F. Holt and E.A. O'Brien, A computer assisted analysis of some matrix groups.
J. Algebra 300 (2006), 199-212
classes.pdf J.J. Cannon and D.F. Holt, Computing conjugacy class representatives in permutation groups.
J. Algebra 300 (2006), 213-222.
coindex.pdf D.F. Holt and C. Röver, Groups with co-indexed word problem.
Internat. J. Algebra Comput.}16 (2006), 985-1014.
hypconj.pdf D.B.A. Epstein and D.F. Holt, The linearity of the conjugacy problem in word hyperbolic groups.
Internat. J. Algebra Comput. 16 (2006), 287-305.
maxclassgps.pdf D.F. Holt and C.M. Roney-Dougal, Constructing maximal subgroups of classical groups.
LMS J. Comput. Math. 8 (2005), 46 -79.
lowindex.pdf J.J. Cannon, D.F. Holt, M. Slattery and A.K. Steel, Computing subgroups of bounded index in a finite group.
J. Symbolic Computation 40 (2005), 1013-1022.
coCF.pdf D.F. Holt, C. Röver, S. Rees and R.M. Thomas, Groups with context-free co-word problem.
J. London Math. Soc. 71 (2005), 643-657.
maxsub.pdf J.J. Cannon and D.F. Holt, Computing maximal subgroups of finite groups.
J. Symbolic Computation 37 (2004), 589-609.
qg.pdf Derek Holt and Sarah Rees, Regularity of quasigeodesics in a hyperbolic group.
Internat. J. Algebra Comput. 13 (2003), 585-596.
nilpdehn.pdf S. Gersten, D.F. Holt and T. Riley, Isometric inequalities for nilpotent groups.
Geometric And Functional Analysis 13 (2003), 795-814.
rtwp.pdf D.F. Holt and C. Röver, On real-time word problems.
J. London Math. Soc. 67 (2003), 289--01.
metab.pdf G. Baumslag, M.R. Bridson, D.F. Holt and C.F. Miller III, Finite presentation of fibre products of metabelian groups.
J. Pure Appl. Algebra 181 (2003), 15-22.
autgp.pdf J.J. Cannon and D.F. Holt, Automorphism group computation and isomorphism testing in finite groups.
J. Symbolic Computation 35 (2003), 241-267.
permquot2.pdf D.F. Holt and J. Walton, Representing the quotient groups of a finite permutation group.
J. Algebra 248, (2002), 307-333.
cp.pdf G. Havas, D.F. Holt and M.F. Newman, Certain cyclically presented groups are infinite.
Comm. Algebra 29 (2001), 5175-5178.
rtwp2.pdf Derek Holt and Sarah Rees, Solving the word problem in real time.
J. London Math. Soc. 63, (2001), 623-639.
subgps.pdf J.J. Cannon, B. Cox and D.F. Holt, Computing the subgroup lattice of a permutation group.
J. Symbolic Computation 31, 2001, 149-161.
ohio.pdf Derek Holt, Computing automorphism groups of finite groups.
In Proceedings of Conference ``Groups and Computation III'', W. M. Kantor & A.Seress (eds.), de Gruyter 2001, 201-208.
realtimewp.pdf Derek Holt, Word-hyperbolic groups have real-time word problem.
Internat. J. Algebra Comput. 10, 2000, 221-227.
ed_98.pdf D.B.A. Epstein and D.F. Holt, Efficient computation in word-hyperbolic groups.
In ``Computational and Geometric Aspects of Modern Algebra'', M. Atkinson, N. Gilbert, J. Howie, S. Linton \& E. Robertson (eds.), CUP 2000, 66-77.
hhkr.pdf G. Havas, D.F. Holt, P.E. Kenne and S. Rees, Some challenging group presentations,
J. Australian Math. Soc. 67 (1999), 206-213.
combings.pdf R.H. Gilman, D.F. Holt and S. Rees, Combing nilpotent and polycyclic groups.
Internat. J. Algebra Comput. 9 (1999), 135-155.
quotpic2.pdf Derek Holt and Sarah Rees, Computing with abelian sections of finitely presented groups.
J. Algebra 214, 1999, 714-728.
essen97.pdf Derek Holt, Decision problems in finitely presented groups.
In "Computational Methods for Representations of Groups and Algebras" (Essen, 1997), 259-265, Progr. Math., 173, Birkhäauser, Basel, 1999.
autcos.pdf D.F. Holt and D.F. Hurt, Computing automatic coset systems and subgroup presentations.
J. Symbolic Computation 27, 1999, 1-19.
epstein.pdf Derek Holt, Automatic groups, subgroups and cosets.
In "The Epstein Birthday Schrift", I. Rivin, C. Rourke and C. Series (eds.), Geometry and Topology Monographs, Volume 1, 249-260 (1998).
bham95.pdf The Meataxe as a tool in computational group theory.
In "The Atlas of Finite Groups: Ten Year On'', R. Curtis \& R. Wilson (eds.), CUP 1998, 74-81.