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
Derek F. Holt, Sarah E. Rees, Claas E Röver, and Richard M. Thomas,
Groups with context-free co-word problem,
Journal of the London Mathematical Society 71 (2005) 643-- 657.
Sarah Rees,
How hard is the word problem?,
in Proceedings of Conference for European Women in Mathematics, Varna, Bulgaria, September 2002.
quotpic,
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
ftp-archive.
as a joint package isom_quotpic.
automata,
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
Warwick mathematics
ftp-archive.
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
GAP system
Maths e-Print archive (Southampton mirror site)
both to
submit papers and to
pick them up
Home page for the Magic
consortium of UK universities, of which Newcastle is a member, which uses
distance learning
techniques to supply lecture courses to educate postgraduate students in
mathematics and statistics.
Home page for the London Taught Course Centre (LTCC) , which provides lecture courses for postgraduate students from
a consortium of universities in an around London.