Derek F. Holt

发表

Word-Hyperbolic Groups Have Real-Time Word Problem

Derek F. Holt, D. Holt, 2000, International journal of algebra and computation.

Computation in Word-Hyperbolic Groups

David B. A. Epstein, Derek F. Holt, 2001, Int. J. Algebra Comput..

Shortlex automaticity and geodesic regularity in Artin groups

Derek F. Holt, Sarah Rees, 2013, Groups Complex. Cryptol..

Computing subgroups of bounded index in a finite group

Derek F. Holt, John J. Cannon, Michael C. Slattery, 2005, J. Symb. Comput..

Free Quotients of Finitely Presented Groups

Derek F. Holt, Sarah Rees, 1996, Exp. Math..

Computing Projective Indecomposable Modules and Higher Cohomology Groups

Derek F. Holt, John J. Cannon, 2013, Exp. Math..

Computing maximal subgroups of finite groups

Derek F. Holt, John J. Cannon, D. Holt, 2004, J. Symb. Comput..

Algorithms for polycyclic-by-finite groups

Derek F. Holt, Shavak K. Sinanan, 2017, J. Symb. Comput..

Compressed Decision Problems in Hyperbolic Groups

Derek F. Holt, Markus Lohrey, Saul Schleimer, 2018, STACS.

Regularity of Quasigeodesics in a Hyperbolic Group

Derek F. Holt, Sarah Rees, 2003, Int. J. Algebra Comput..

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

Derek F. Holt, John J. Cannon, William R. Unger, 2019, J. Symb. Comput..

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

Derek F. Holt, Sarah Rees, D. Holt, 1992, Exp. Math..

Advanced Computations in Finite Groups

Derek F. Holt, Bettina Eick, E. A. O'Brien, 2005 .

The Computation of Normalizers in Permutation Groups

Derek F. Holt, 1991, J. Symb. Comput..

Rewriting Systems and the Knuth-Bendix Completion Process

Derek F. Holt, Bettina Eick, E. A. O'Brien, 2005 .

Groups with Context-Free Conjugacy Problems

Derek F. Holt, Sarah Rees, Claas E. Röver, 2011, Int. J. Algebra Comput..

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

Derek F. Holt, Sarah Rees, Michael Shapiro, 2008, Int. J. Algebra Comput..

Automorphism group computation and isomorphism testing in finite groups

Derek F. Holt, John J. Cannon, D. Holt, 2003, J. Symb. Comput..

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

David B. A. Epstein, Derek F. Holt, Sarah Rees, 1991, J. Symb. Comput..

Coresoft : a framework for student data

Derek F. Holt, Nathan Griffiths, Mike Joy, 2002 .

The Transitive Permutation Groups of Degree 32

Derek F. Holt, John J. Cannon, D. Holt, 2008, Exp. Math..

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

Derek F. Holt, 1995, Exp. Math..

Combing Nilpotent and Polycyclic Groups

Derek F. Holt, Sarah Rees, Robert H. Gilman, 1999, Int. J. Algebra Comput..

Groups with Indexed Co-word Problem

Derek F. Holt, Claas E. Röver, D. Holt, 2006, Int. J. Algebra Comput..

The Warwick automatic groups software

Derek F. Holt, 1994, Geometric and Computational Perspectives on Infinite Groups.

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

Derek F. Holt, D. J. Buckley, 2013, Int. J. Algebra Comput..

Constructing a Representation of the Group

Derek F. Holt, Wilhelm Plesken, Bernd Souvignier, 1997, J. Symb. Comput..

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

Derek F. Holt, John J. Cannon, D. Holt, 1997, J. Symb. Comput..

The Linearity of the Conjugacy Problem in Word-hyperbolic Groups

David B. A. Epstein, Derek F. Holt, 2006, Int. J. Algebra Comput..

A graph which is edge transitive but not arc transitive

Derek F. Holt, D. Holt, 1981, J. Graph Theory.

Star-Free Geodesic Languages for Groups

Derek F. Holt, Susan M. Hermiller, Sarah Rees, 2007, Int. J. Algebra Comput..

Semigroups with a Context-Free Word Problem

Derek F. Holt, Richard M. Thomas, Michael Hoffmann, 2012, Developments in Language Theory.

Computation in word-hyperbolic groups (invited talk abstract)

Derek F. Holt, 2000, ISSAC.

Computing the Subgroups of a Permutation Group

Derek F. Holt, John J. Cannon, Bruce C. Cox, 2001, J. Symb. Comput..

Groups whose Geodesics are Locally Testable

Derek F. Holt, Susan M. Hermiller, Sarah Rees, 2008, Int. J. Algebra Comput..

Computing Automatic Coset Systems and Subgroup Presentations

Derek F. Holt, D. F. Hurt, D. Holt, 1999, J. Symb. Comput..

Finite State Automata and Automatic Groups

Derek F. Holt, Bettina Eick, E. A. O'Brien, 2005 .

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

Derek F. Holt, Sarah Rees, D. Holt, 1991, Groups And Computation.

Computation with Polycyclic Groups

Derek F. Holt, Bettina Eick, E. A. O'Brien, 2005 .

A Historical Review of Computational Group Theory

Derek F. Holt, Bettina Eick, E. A. O'Brien, 2005 .

Efficient computation in word-hyperbolic groups

David B. A. Epstein, Derek F. Holt, Steve Linton, 2000 .

The Mechanical Computation of First and Second Cohomology Groups

Derek F. Holt, D. Holt, 1985, J. Symb. Comput..

Groups, Languages and Automata

Derek F. Holt, Sarah Rees, Claas E. Röver, 2017, London Mathematical Society Student Texts.

A practical model for computation with matrix groups

Derek F. Holt, Charles R. Leedham-Green, Henrik Bäärnhielm, 2015, J. Symb. Comput..

Computing Sylow Subgroups in Permutation Groups

Derek F. Holt, John J. Cannon, Bruce C. Cox, 1997, J. Symb. Comput..

Biautomatic structures in systolic Artin groups

Derek F. Holt, Sarah Rees, 2021, Int. J. Algebra Comput..

Minimal and random generation of permutation and matrix groups

Derek F. Holt, Colva M. Roney-Dougal, D. Holt, 2013 .

Cohomology and group extensions in Magma

Derek F. Holt, D. Holt, 2006 .

CONSTRUCTING MAXIMAL SUBGROUPS OF CLASSICAL GROUPS

Derek F. Holt, Colva M. Roney-Dougal, D. Holt, 2005 .

Computing Matrix Group Decompositions with Respect to a Normal Subgroup

Derek F. Holt, Sarah Rees, C. R. Leedham-Green, 1996 .

A cohomological criterion for a finitely presented group to be infinite

Derek F. Holt, Wilhelm Plesken, W. Plesken, 1992 .

Computing conjugacy class representatives in permutation groups

Derek F. Holt, John Cannon, 2006 .

Recognizing badly presented Z-modules

Derek F. Holt, George Havas, Sarah Rees, 1993 .

Constructing maximal subgroups of orthogonal groups

Derek F. Holt, Colva M. Roney-Dougal, D. Holt, 2010, LMS J. Comput. Math..

Decision Problems in Finitely Presented Groups

Derek F. Holt, 1999 .

On Real-Time Word Problems

Derek F. Holt, Claas E. Röver, 2003 .

Groups, Combinatorics & Geometry: Testing for isomorphism between finitely presented groups

Derek F. Holt, Sarah Rees, D. Holt, 1992 .

Testing modules for irreducibility

Derek F. Holt, Sarah Rees, D. Holt, 1994, Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics.

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

Derek F. Holt, D. Holt, M. Stather, 2008 .

Computing the subgroup lattice of a permutation group

Derek F. Holt, John Cannon, Benjamin P. Cox, 1990 .

REPRESENTING QUOTIENTS OF PERMUTATION GROUPS

Derek F. Holt, 1997 .

Garside groups have the falsification by fellow-traveller property

Derek F. Holt, 2010 .

An interpretation of the cohomology groups Hn(G, M)

Derek F. Holt, D. Holt, 1979 .

Solving the Word Problem in Real Time

Derek F. Holt, Sarah Rees, 2001 .

A characterisation of virtually free groups

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

A computer program for the calculation of a covering group of a finite group

Derek F. Holt, D. Holt, 1985 .

Classification of Cyclic Steiner Quadruple Systems

Derek F. Holt, Patric R. J. Östergård, Tao Feng, 2017 .

On Coxeter's families of group presentations

Derek F. Holt, George Havas, 2010 .

Testing Matrix Groups for Primitivity

Derek F. Holt, Sarah Rees, C. R. Leedham-Green, 1996 .