| Vol-378 Copyright © 2008 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. Re-publication of material from this volume requires permission by the copyright owners.

# ESARM-08
Empirically Successful Automated Reasoning in Mathematics

### Proceedings of the CICM Workshop on
Empirically Successful Automated Reasoning in Mathematics
Birmingham, United Kingdom, July 27, 2008.

Edited by

### Geoff Sutcliffe1
Simon Colton2
Stephan Schulz3

1University of Miami, USA
2Imperial College London, United Kingdom
3Technische Universität München, Germany

## Table of Contents

1. Applications of a Global Workspace Framework to Mathematical Discovery
   John Charnley, Simon Colton
2. Proof Analysis with `HLK`, `CERES` and `ProofTool`: Current Status and Future Directions
   Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo
3. Automated Theorem Proving in Loop Theory
   J.D. Phillips, David Stanovský
4. Generating Loops with the Inverse Property
   John Slaney, Asif Ali

Complete proceedings

15-Aug-2008: submitted by Geoff Sutcliffe
15-Aug-2008: published on CEUR-WS.org
18-Aug-2008: corrected spelling of "United Kingdom"