Department of Computer Science
The University of Sheffield
Regent Court, 211 Portobello Street
Sheffield S1 4DP, UK
Tel: +44 (0)114 22 21846
Fax: +44 (0)114 22 21810
Most of my papers can be found at dblp or google scholar.
Mechanised Algebraic Reasoning
The following links lead to web sites with mechanised and automated proofs in algebraic structures.