Papers by Derek Holt

Back to Dave Benson's Preprint Archive

dvi; abstract

The Meataxe as a tool in computational group theory

In “The Atlas ten years on: Proceedings,” R. Curtis & R. Wilson (eds.), CUP 74-81 (1998).

dvi; abstract

Automatic groups, subgroups and cosets

In “The Epstein Birthday Schrift,” I. Rivin, C. Rourke and C. Series (eds.), Geometry and Topology Monographs, Volume 1, 249-260 (1998).

dvi; abstract

The Warwick automatic groups software

In: “Geometric and Computational Perspectives on Infinite Groups,” Gilbert Baumslag, David Epstein, Robert Gilman, Hamish Short, Charles Sims (eds.), DIMACS Series in Discrete Mathematics and Theoretical Computer Science 25, AMS 1995, 69-82.

dvi; abstract

Decision problems in finitely presented groups

To appear in Proceedings of the EUROCONFERENCE ‘Computational Methods for Representations of Groups and Algebras,’ Essen, April 1997.

dvi; abstract

Word-hyperbolic groups have real-time word problem

To appear in International Journal of Algebra and Computation

dvi; abstract

An alternative proof that the Fibonacci group F(2,9) is infinite.

Experimental Mathematics 4, 1995, 97-100.

dvi; abstract

Representing quotients of permutation groups

Quar. J. Maths (Oxford) 48 (1997), 347-350.

dvi; abstract

Computing automorphism groups of finite groups