Papers by Derek Holt and Sarah Rees

Back to Dave Benson's Preprint Archive

dvi; abstract; isomtestfig1.ps; isomtestfig2.ps

Testing for isomorphism between finitely presented groups

In “Groups, Combinatorics and Geometry,” ed. M.W. Liebeck & J. Saxl, CUP 1992, 459-475.

dvi; abstract

Testing modules for irreducibility

J. Australian Math. Soc. 57 (1994), 1-16.
J. Algebra 184 (1996), 795-817.

dvi; abstract

Solving the word problem in real time

J. London Math. Soc. (2) 63 (2001), 623-639.

dvi; abstract

Computing with abelian sections of finitely presented groups

J. Algebra 214, 714-728 (1999).

dvi; fig1 (ps); fig2 (ps); fig3 (ps); abstract

A graphics system for displaying finite quotients of finitely presented groups

In: “Groups and Computation,” Larry Finkelstein and William M. Kantor (eds.), DIMACS Series in Discrete Mathematics and Theoretical Computer Science 11, AMS 1993, 113-126.

dvi; abstract

An implementation of the Neumann-Praeger algorithm for the recognition of special linear groups

Experimental Mathematics, 1 (1992), 237-242.

dvi; abstract

Software for automatic groups, isomorphism testing and finitely presented groups

in: “Geometric Group Theory, Vol. 1,” G. A. Niblo and M. A. Roller (eds.), CUP 1993, 120-125.