Derek F. Holt

Publication Activity (10 Years)

Years Active: 1981-2021
Publications (10 Years): 6

Top Topics

Decision Problems

Matrix Multiplication

Cluster Analysis

Top Venues

J. Symb. Comput.

Int. J. Algebra Comput.

Publications

Derek F. Holt, Sarah Rees
Biautomatic structures in systolic Artin groups. Int. J. Algebra Comput. 31 (3) (2021)
Derek F. Holt, Gordon F. Royle
A census of small transitive groups and vertex-transitive graphs. J. Symb. Comput. 101 (2020)
John J. Cannon, Derek F. Holt, William R. Unger
The use of permutation representations in structural computations in large finite matrix groups. J. Symb. Comput. 95 (2019)
Derek F. Holt, Markus Lohrey, Saul Schleimer
Compressed Decision Problems in Hyperbolic Groups. STACS (2019)
Shavak K. Sinanan, Derek F. Holt
Algorithms for polycyclic-by-finite groups. J. Symb. Comput. 79 (2017)
Henrik Bäärnhielm, Derek F. Holt, Charles R. Leedham-Green, Eamonn A. O'Brien
A practical model for computation with matrix groups. J. Symb. Comput. 68 (2015)
John J. Cannon, Derek F. Holt
Computing Projective Indecomposable Modules and Higher Cohomology Groups. Exp. Math. 22 (1) (2013)
D. J. Buckley, Derek F. Holt
The Conjugacy Problem in hyperbolic Groups for Finite Lists of Group Elements. Int. J. Algebra Comput. 23 (5) (2013)
Derek F. Holt, Sarah Rees
Shortlex automaticity and geodesic regularity in Artin groups. Groups Complex. Cryptol. 5 (1) (2013)
Michael Hoffmann, Derek F. Holt, Matthew D. Owens, Richard M. Thomas
Semigroups with a Context-Free Word Problem. Developments in Language Theory (2012)
Derek F. Holt, Sarah Rees, Claas E. Röver
Groups with Context-Free Conjugacy Problems. Int. J. Algebra Comput. 21 (1-2) (2011)
Derek F. Holt, Colva M. Roney-Dougal
Constructing maximal subgroups of orthogonal groups. LMS J. Comput. Math. 13 (2010)
Susan M. Hermiller, Derek F. Holt, Sarah Rees
Groups whose Geodesics are Locally Testable. Int. J. Algebra Comput. 18 (5) (2008)
Derek F. Holt, Sarah Rees, Michael Shapiro
Groups that do and do not Have Growing Context-Sensitive Word Problem. Int. J. Algebra Comput. 18 (7) (2008)
Derek F. Holt, Mark J. Stather
Computing a Chief Series and the Soluble Radical of a Matrix Group Over a Finite Field. LMS J. Comput. Math. 11 (2008)
John J. Cannon, Derek F. Holt
The Transitive Permutation Groups of Degree 32. Exp. Math. 17 (3) (2008)
Susan M. Hermiller, Derek F. Holt, Sarah Rees
Star-Free Geodesic Languages for Groups. Int. J. Algebra Comput. 17 (2) (2007)
David B. A. Epstein, Derek F. Holt
The Linearity of the Conjugacy Problem in Word-hyperbolic Groups. Int. J. Algebra Comput. 16 (2) (2006)
Derek F. Holt, Claas E. Röver
Groups with Indexed Co-word Problem. Int. J. Algebra Comput. 16 (5) (2006)
Derek F. Holt, Colva M. Roney-Dougal
Constructing Maximal Subgroups of Classical Groups. LMS J. Comput. Math. 8 (2005)
John J. Cannon, Derek F. Holt, Michael C. Slattery, Allan K. Steel
Computing subgroups of bounded index in a finite group. J. Symb. Comput. 40 (2) (2005)
John J. Cannon, Derek F. Holt
Computing maximal subgroups of finite groups. J. Symb. Comput. 37 (5) (2004)
Derek F. Holt, Sarah Rees
Regularity of Quasigeodesics in a Hyperbolic Group. Int. J. Algebra Comput. 13 (5) (2003)
John J. Cannon, Derek F. Holt
Automorphism group computation and isomorphism testing in finite groups. J. Symb. Comput. 35 (3) (2003)
John J. Cannon, Bruce C. Cox, Derek F. Holt
Computing the Subgroups of a Permutation Group. J. Symb. Comput. 31 (1/2) (2001)
David B. A. Epstein, Derek F. Holt
Computation in Word-Hyperbolic Groups. Int. J. Algebra Comput. 11 (4) (2001)
Derek F. Holt
Word-Hyperbolic Groups Have Real-Time Word Problem. Int. J. Algebra Comput. 10 (2) (2000)
Derek F. Holt
Computation in word-hyperbolic groups. ISSAC (2000)
Robert H. Gilman, Derek F. Holt, Sarah Rees
Combing Nilpotent and Polycyclic Groups. Int. J. Algebra Comput. 9 (2) (1999)
Derek F. Holt, D. F. Hurt
Computing Automatic Coset Systems and Subgroup Presentations. J. Symb. Comput. 27 (1) (1999)
John J. Cannon, Bruce C. Cox, Derek F. Holt
Computing Sylow Subgroups in Permutation Groups. J. Symb. Comput. 24 (3/4) (1997)
Derek F. Holt, Wilhelm Plesken, Bernd Souvignier
Constructing a Representation of the Group. J. Symb. Comput. 24 (3/4) (1997)
John J. Cannon, Derek F. Holt
Computing Chief Series, Composition Series and Socles in Large Permutation Groups. J. Symb. Comput. 24 (3/4) (1997)
Derek F. Holt, Sarah Rees
Free Quotients of Finitely Presented Groups. Exp. Math. 5 (1) (1996)
Derek F. Holt
An Alternative Proof That the Fibonacci Group F(2, 9) is Infinite. Exp. Math. 4 (2) (1995)
Derek F. Holt
The Warwick automatic groups software. Geometric and Computational Perspectives on Infinite Groups (1994)
Derek F. Holt, Sarah Rees
An Implementation of the Neumann-Praeger Algorithm for the Recognition of Special Linear Groups. Exp. Math. 1 (3) (1992)
Derek F. Holt, Sarah Rees
A Graphics System for Displaying Finite Quotients of Finitely Presented Groups 113. Groups And Computation (1991)
Derek F. Holt
The Computation of Normalizers in Permutation Groups. J. Symb. Comput. 12 (4/5) (1991)
David B. A. Epstein, Derek F. Holt, Sarah Rees
The Use of Knuth-Bendix Methods to Solve the Word Problem in Automatic Groups. J. Symb. Comput. 12 (4/5) (1991)
Derek F. Holt
The Mechanical Computation of First and Second Cohomology Groups. J. Symb. Comput. 1 (4) (1985)
Derek F. Holt
A graph which is edge transitive but not arc transitive. J. Graph Theory 5 (2) (1981)