Derek F. Holt

According to our database, Derek F. Holt authored at least 44 papers between 1981 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2021

Polynomial-time proofs that groups are hyperbolic.

Derek F. Holt, Stephen A. Linton, Max Neunhöffer, Richard Parker, Markus Pfeiffer, Colva M. Roney-Dougal

J. Symb. Comput., 2021

Biautomatic structures in systolic Artin groups.

Derek F. Holt, Sarah Rees

Int. J. Algebra Comput., 2021

2020

A census of small transitive groups and vertex-transitive graphs.

Derek F. Holt, Gordon F. Royle

J. Symb. Comput., 2020

2019

The use of permutation representations in structural computations in large finite matrix groups.

John J. Cannon, Derek F. Holt, William R. Unger

J. Symb. Comput., 2019

Compressed Decision Problems in Hyperbolic Groups.

Derek F. Holt, Markus Lohrey, Saul Schleimer

Proceedings of the 36th International Symposium on Theoretical Aspects of Computer Science, 2019

2017

Algorithms for polycyclic-by-finite groups.

Shavak K. Sinanan, Derek F. Holt

J. Symb. Comput., 2017

Groups, Languages and Automata

Derek F. Holt, Sarah Rees, Claas E. Röver

London Mathematical Society Student Texts 88, Cambridge University Press, ISBN: 9781316588246, 2017

2015

A practical model for computation with matrix groups.

Henrik Bäärnhielm, Derek F. Holt, Charles R. Leedham-Green, Eamonn A. O'Brien

J. Symb. Comput., 2015

2013

The Conjugacy Problem in hyperbolic Groups for Finite Lists of Group Elements.

D. J. Buckley, Derek F. Holt

Int. J. Algebra Comput., 2013

Shortlex automaticity and geodesic regularity in Artin groups.

Derek F. Holt, Sarah Rees

Groups Complex. Cryptol., 2013

Computing Projective Indecomposable Modules and Higher Cohomology Groups.

John J. Cannon, Derek F. Holt

Exp. Math., 2013

2012

Semigroups with a Context-Free Word Problem.

Michael Hoffmann, Derek F. Holt, Matthew D. Owens, Richard M. Thomas

Proceedings of the Developments in Language Theory - 16th International Conference, 2012

2011

Groups with Context-Free Conjugacy Problems.

Derek F. Holt, Sarah Rees, Claas E. Röver

Int. J. Algebra Comput., 2011

2010

Constructing maximal subgroups of orthogonal groups.

Derek F. Holt, Colva M. Roney-Dougal

LMS J. Comput. Math., 2010

2008

Computing a Chief Series and the Soluble Radical of a Matrix Group Over a Finite Field.

Derek F. Holt, Mark J. Stather

LMS J. Comput. Math., 2008

Groups that do and do not Have Growing Context-Sensitive Word Problem.

Derek F. Holt, Sarah Rees, Michael Shapiro

Int. J. Algebra Comput., 2008

Groups whose Geodesics are Locally Testable.

Susan M. Hermiller, Derek F. Holt, Sarah Rees

Int. J. Algebra Comput., 2008

The Transitive Permutation Groups of Degree 32.

John J. Cannon, Derek F. Holt

Exp. Math., 2008

2007

Star-Free Geodesic Languages for Groups.

Susan M. Hermiller, Derek F. Holt, Sarah Rees

Int. J. Algebra Comput., 2007

2006

Groups with Indexed Co-word Problem.

Derek F. Holt, Claas E. Röver

Int. J. Algebra Comput., 2006

The Linearity of the Conjugacy Problem in Word-hyperbolic Groups.

David B. A. Epstein, Derek F. Holt

Int. J. Algebra Comput., 2006

2005

Constructing Maximal Subgroups of Classical Groups.

Derek F. Holt, Colva M. Roney-Dougal

LMS J. Comput. Math., 2005

Computing subgroups of bounded index in a finite group.

John J. Cannon, Derek F. Holt, Michael C. Slattery, Allan K. Steel

J. Symb. Comput., 2005

2004

Computing maximal subgroups of finite groups.

John J. Cannon, Derek F. Holt

J. Symb. Comput., 2004

2003

Automorphism group computation and isomorphism testing in finite groups.

John J. Cannon, Derek F. Holt

J. Symb. Comput., 2003

Regularity of Quasigeodesics in a Hyperbolic Group.

Derek F. Holt, Sarah Rees

Int. J. Algebra Comput., 2003

2001

Computing the Subgroups of a Permutation Group.

John J. Cannon, Bruce C. Cox, Derek F. Holt

J. Symb. Comput., 2001

Computation in Word-Hyperbolic Groups.

David B. A. Epstein, Derek F. Holt

Int. J. Algebra Comput., 2001

2000

Word-Hyperbolic Groups Have Real-Time Word Problem.

Derek F. Holt

Int. J. Algebra Comput., 2000

Computation in word-hyperbolic groups.

Derek F. Holt

Proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation, 2000

1999

Computing Automatic Coset Systems and Subgroup Presentations.

Derek F. Holt, D. F. Hurt

J. Symb. Comput., 1999

Combing Nilpotent and Polycyclic Groups.

Robert H. Gilman, Derek F. Holt, Sarah Rees

Int. J. Algebra Comput., 1999

1997

Constructing a Representation of the Group.

Derek F. Holt, Wilhelm Plesken, Bernd Souvignier

J. Symb. Comput., 1997

Computing Chief Series, Composition Series and Socles in Large Permutation Groups.

John J. Cannon, Derek F. Holt

J. Symb. Comput., 1997

Computing Sylow Subgroups in Permutation Groups.

John J. Cannon, Bruce C. Cox, Derek F. Holt

J. Symb. Comput., 1997

1996

Free Quotients of Finitely Presented Groups.

Derek F. Holt, Sarah Rees

Exp. Math., 1996

1995

An Alternative Proof That the Fibonacci Group F(2, 9) is Infinite.

Derek F. Holt

Exp. Math., 1995

1994

The Warwick automatic groups software.

Derek F. Holt

Proceedings of the Geometric and Computational Perspectives on Infinite Groups, 1994

1992

An Implementation of the Neumann-Praeger Algorithm for the Recognition of Special Linear Groups.

Derek F. Holt, Sarah Rees

Exp. Math., 1992

1991

The Computation of Normalizers in Permutation Groups.

Derek F. Holt

J. Symb. Comput., 1991

The Use of Knuth-Bendix Methods to Solve the Word Problem in Automatic Groups.

David B. A. Epstein, Derek F. Holt, Sarah Rees

J. Symb. Comput., 1991

A Graphics System for Displaying Finite Quotients of Finitely Presented Groups 113.

Derek F. Holt, Sarah Rees

Proceedings of the Groups And Computation, 1991

1985

The Mechanical Computation of First and Second Cohomology Groups.

Derek F. Holt

J. Symb. Comput., 1985

1981

A graph which is edge transitive but not arc transitive.

Derek F. Holt

J. Graph Theory, 1981