PreprintAn automated proof theory approach to computation with permutation groupsArjeh M. Cohen, Scott H. MurrayAbstractThis is an introduction to data structures for permutation groups with a proof-theoretic flavour. This paper is available as a pdf (204kB) file.
|