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

Some Publications

Mechanised Algebraic Reasoning

The following links lead to web sites with mechanised and automated proofs in algebraic structures.

Teaching

UG Projects

Master Projects