Preprint

An automated proof theory approach to computation with permutation groups

Arjeh M. Cohen, Scott H. Murray


Abstract

This is an introduction to data structures for permutation groups with a proof-theoretic flavour.

This paper is available as a pdf (204kB) file.

Tuesday, May 6, 2008