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.

Current Teaching

Previous Teaching

  • Automated Theorem Proving (slides from a lecture series at the Midlands Graduate School 2009/10)
  • Algebraic Methods (slides from a lecture series at the Midlands Graduate School 2008)

    UG Projects

    Master Projects