Michael Batty, Sam Braunstein, Andrew Duncan and Sarah Rees,
Quantum algorithms in group theory,
Computational and experimental group theory, 1--62, Contemp. Math., 349, Amer. Math. Soc., Providence, RI, 2004
an interactive graphics
package to compute and display quotients of a finitely present group,
and testisom, which attempts to test for isomorphism
between two finitely presented groups,
both developed jointly with Derek Holt, and
available from the Warwick mathematics
as a joint package isom_quotpic.
a suite of programs, developed with David Epstein
and Derek Holt, to constructively
verify that a finitely presented group is shortlex automatic. Now superceded
by Derek Holt's kbmag package, which is available from the
and contains my own code to test for automaticity with respect to
other word orders than shortlex.
matrix group algorithms developed jointly with
Derek Holt, Charles Leedham-Green and Eamonn O'Brien, and now part of
the matrix package within the
Home page for the Magic
consortium of UK universities, of which Newcastle is a member, which uses
techniques to supply lecture courses to educate postgraduate students in
mathematics and statistics.