Computational Group Theory
Finitely Presented Groups, Geometric Group Theory
Finite Permutation Groups
Finite Matrix Groups, Representation Theory
Cohomology of Finite Groups
Pdf and dvi files for some of my recent papers and joint papers
can be downloaded from
The Handbook of Computational Group Theory
by myself, Bettina Eick
and Eamonn O'Brien,
published by Chapman & Hall/CRC, appeared in January 2005.
Click here to read more about it and to order
yourself a copy.
to see a list of errors and misprints that have come to light.
I am Editor-in-Chief of:
LMS Journal of Computation and
and I am on the editorial board of the journals:
Archiv der Mathematik.
The following standalone software can be downloaded:
- Version 2 of a recent package for Knuth-Bendix in monoids, and automatic
This is now also avaialable as a
GAP4 package, and is
also implemented in Magma.
(written with S Rees) - a package for isomorphism testing between finitely
presented groups, and for plotting parts of the finite quotient lattice
(using X-windows) of a finitely presented group.
I have contributed a substantial body of package code to Magma.
See here for
My cohomology package, for calculating Schur multipliers and covering
groups of finite groups, and first and second cohomology groups of finite
groups on finite modules, is available as a standalone on request.
However, it is now accessible from both of the systems
and is probably best accessed from one of them.
Derek Holt, Room B1.27,
University of Warwick,
Coventry CV4 7AL, UK.
Phone: +44 2476 523480
Fax: +44 2476 524182