[CEUR Workshop Proceedings] 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.


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"