D. Holt

发表

Handbook of Computational Group Theory

E. O'Brien, B. Eick, D. Holt, 2005 .

Computational Group Theory

E. O'Brien, B. Eick, D. Holt, 2006 .

Groups that do and do not have context-sensitive word problem

Michael Shapiro, D. Holt, Sarah Rees, 2008 .

Groups with Context‐Free Co‐Word Problem

Claas E. Röver, Richard M. Thomas, D. Holt, 2005 .

GROUPS AND SEMIGROUPS WITH A ONE-COUNTER WORD PROBLEM

Richard M. Thomas, D. Holt, M. Owens, 2008, Journal of the Australian Mathematical Society.

The Maximal Subgroups of the Low-Dimensional Finite Classical Groups

D. Holt, J. Bray, C. Roney-Dougal, 2013 .

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

Derek F. Holt, D. Holt, 1985 .

Automaticity for graphs of groups

D. Holt, Sarah Rees, S. Hermiller, 2019, 1905.05943.

G R ] 2 6 M ay 2 01 9 Automaticity for graphs of groups

D. Holt, Sarah Rees, S. Hermiller, 2019 .

The generalised word problem in hyperbolic and relatively hyperbolic groups

L. Ciobanu, D. Holt, Sarah Rees, 2015, Journal of Algebra.

The generalised word problem for subgroups of hyperbolic groups

D. Holt, Sarah Rees, 2015, 1505.02397.

Rapid decay is preserved by graph products

L. Ciobanu, D. Holt, Sarah Rees, 2011, 1110.6831.

Generalising some results about right-angled Artin groups to graph products of groups

D. Holt, Sarah Rees, 2011, 1110.2708.

A computer-assisted analysis of some matrix groups

E. O'Brien, D. Holt, 2006 .

Constructing composition factors for a linear group in polynomial time

E. O'Brien, D. Holt, C. Leedham-Green, 2020 .

Finite presentation of fibre products of metabelian groups

M. Bridson, G. Baumslag, D. Holt, 2003 .

Artin groups of large type are shortlex automatic with regular geodesics

Sarah Rees, D. Holt, Sarah Rees, 2010, 1003.6007.

Multifraction reduction IV: Padding and Artin–Tits monoids of sufficiently large type

Patrick Dehornoy, D. Holt, Sarah Rees, 2017, Journal of Pure and Applied Algebra.

Computing in Matrix Groups, and Constructive Recognition

D. Holt, 2013 .

Transitive Permutation Groups in Which an Involution Central in a Sylow 2‐Subgroup Fixes a Unique Point

D. Holt, 1978 .

Enumerating subgroups of the symmetric group

D. Holt, 2010 .

Exact sequences in cohomology and an application

D. Holt, 1980 .

Interval groups related to finite Coxeter groups, Part II

D. Holt, Sarah Rees, B. Baumeister, 2022, 2206.09471.

Computation in Word-Hyperbolic Groups

D. Epstein, D. Holt, 1998, Int. J. Algebra Comput..

Combing Nilpotent and Polycyclic Groups

R. Gilman, D. Holt, Sarah Rees, 1999, Int. J. Algebra Comput..

Some challenging group presentations

G. Havas, D. Holt, Sarah Rees, 1999, Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics.

Contemporary Mathematics Enumerating subgroups of the symmetric group

D. Holt, 2009 .

On computing the subgroup lattice of O’N

D. Holt, D. Leemans, 2008 .

Recognizing badly presented Z-modules

G. Havas, D. Holt, Sarah Rees, 1993, math/9406205.

Testing modules for irreducibility

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

An Alternative Proof That the Fibonacci Group F (2; 9) Is Innnite. the Fibonnacci Groups F(2; N), for Integers N 2, Are Deened by the Presentations

D. Holt, 2007 .

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

D. Holt, 1995, Exp. Math..

Representing the Quotient Groups of a Finite Permutation Group

D. Holt, J. Walton, 2002 .

Algebra I – Advanced Linear Algebra (MA251) Lecture Notes

D. Holt, 2010 .

Generalising some results about right-angled Artin groups to graph products of groups

D. Holt, Sarah Rees, 2011, 1110.2708.

Certain classical groups are not well-defined

D. Holt, J. Bray, C. Roney-Dougal, 2008 .

CERTAIN CYCLICALLY PRESENTED GROUPS ARE INFINITE

M. Newman, G. Havas, D. Holt, 2001 .

Computing with Abelian Sections of Finitely Presented Groups

D. Holt, Sarah Rees, 1999 .

Isoperimetric inequalities for nilpotent groups

S. Gersten, D. Holt, T. Riley, 2002, math/0201261.

Word-Hyperbolic Groups Have Real-Time Word Problem

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

The Warwick automatic groups software

D. Holt, 1995, Geometric and Computational Perspectives on Infinite Groups.

Some closure results for C-approximable groups

D. Holt, Sarah Rees, 2016, 1601.01836.

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

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

Finite State Automata and Automatic Groups

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

Compressed Decision Problems in Hyperbolic Groups

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

Compressed Decision Problems in Hyperbolic Groups.

S. Schleimer, Markus Lohrey, D. Holt, 2018 .

Constructing maximal subgroups of orthogonal groups

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

Cohomology and group extensions in Magma

Derek F. Holt, D. Holt, 2006 .

A Historical Review of Computational Group Theory

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

Combing Nilpotent and Polycyclic Groups

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

Groups, Languages and Automata

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

Advanced Computations in Finite Groups

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

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

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

A cohomological criterion for a finitely presented group to be infinite

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

Computation with Polycyclic Groups

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

Minimal and random generation of permutation and matrix groups

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

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

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

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

Derek F. Holt, D. Holt, 1979 .

Rapid decay and Baum-Connes for large type Artin groups

Sarah Rees, Laura Ciobanu, L. Ciobanu, 2012, 1203.1198.

A census of small transitive groups and vertex-transitive graphs

Derek Holt, Gordon Royle, G. Royle, 2018, J. Symb. Comput..

Conjectures in Arithmetic Algebraic Geometry

D. Holt, 2006 .

Nilpotent orbits of exceptional Lie algebras over algebraically closed fields of bad characteristic

D. Holt, N. Spaltenstein, 1985, Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics.

The Cohomological Dimensions of Locally Finite Groups

D. Holt, 1981 .

ON THE COHOMOLOGY OF LOCALLY FINITE GROUPS

D. Holt, 1981 .

Equations in groups that are virtually direct products

L. Ciobanu, D. Holt, Sarah Rees, 2018, Journal of Algebra.

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..

AN INTRODUCTION TO THE THEORY OF GROUPS (Third Edition)

D. F. Holt, D. Holt, 1985 .

The transitive groups of degree 48 and some applications

Derek Holt, Gordon Royle, Gareth Tracey, 2021, Journal of Algebra.

The Transitive Permutation Groups of Degree 32

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

Efficient computation in word-hyperbolic groups

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

A practical model for computation with matrix groups

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

Computing maximal subgroups of finite groups

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

Automorphism group computation and isomorphism testing in finite groups

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

CONSTRUCTING MAXIMAL SUBGROUPS OF CLASSICAL GROUPS

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

Regular orbits of finite primitive solvable groups, the final classification

Derek Holt, Yong Yang, D. Holt, 2021, J. Symb. Comput..

Star-Free Geodesic Languages for Groups

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

Testing Matrix Groups for Primitivity

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

Computing Matrix Group Decompositions with Respect to a Normal Subgroup

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

The Mechanical Computation of First and Second Cohomology Groups

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

Computing Automatic Coset Systems and Subgroup Presentations

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

Linear Algebra Linear Algebra and Matrices

Robert W. Bradshaw, T. Gautier, J. Dumas, 2015 .

A graph which is edge transitive but not arc transitive

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

Enumerating Perfect Groups

D. Holt, 1989 .

A characterisation of virtually free groups

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

Automatic groups, subgroups and cosets

D. Holt, 1998, math/9810190.

Rewriting Techniques in Finitely Presented Groups

D. Holt, 1997 .

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

D. Holt, Sarah Rees, 1992 .

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..

Groups with Context-Free Conjugacy Problems

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

Groups with Indexed Co-word Problem

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

Computing Sylow Subgroups in Permutation Groups

Derek F. Holt, John J. Cannon, Bruce C. Cox, 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..

Computing the Subgroups of a Permutation Group

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

Block designs with block size two

R. A. Bailey, D. Holt, D. Goldrei, 1984 .

ON THE SECOND COHOMOLOGY GROUP OF A FINITE GROUP

D. Holt, 1987 .

The triviality of the multiplier of Thompson's group F3

D. Holt, 1985 .

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

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

Computational Group Theory

Cheryl E. Praeger, Marston Conder, Max Neunhöffer, 2022, Oberwolfach Reports.

Classification of Cyclic Steiner Quadruple Systems

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

Conjugacy languages in groups

L. Ciobanu, D. Holt, Sarah Rees, 2016, Israel Journal of Mathematics.

Conjugacy languages in groups

Sarah Rees, Derek Holt, Laura Ciobanu, 2014, 1401.7203.

Certain maximal characteristic subgroups of the free group of rank 2

D. Holt, Murray Macbeath, 1997 .

Comparing the order and the minimal number of generators of a finite irreducible linear group

Derek Holt, Gareth Tracey, D. Holt, 2021, Journal of Algebra.

Constructing a Representation of the Group

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

Interval groups related to finite Coxeter groups Part II

D. Holt, Sarah Rees, B. Baumeister, 2022, Transactions of the London Mathematical Society.

Computing maximal subgroups of finite groups

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

The möbius function of the lattice of closed subsystems of a root system

D. Holt, D. I. Derizlotis, 1993 .

Presentation of Groups

D. Holt, F. Bouyer, 2013 .