Papers by Arjeh Cohen and Scott Murray
Back to Dave Benson's Preprint Archive
dvi;
abstract
An automated proof theory approach to computation
with permutation groups
dvi;
abstract
Algorithm for Lang's theorem
Preprint, 2005.
See also
Cohen, Haller and Murray
Cohen, Murray, Pollet and Sorge
Cohen, Murray and Taylor
Murray