Georg Struth

struth.jpg

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
G.Struth@dcs.shef.ac.uk

Research Interests

Events

Publications

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.

Current Teaching

Previous Teaching