1. The CADE-15 ATP System Competition

   • G. Sutcliffe
   • C. B. Suttner

   OriginalPaper Pages: 1 - 23

2. Completion for Multiple Reduction Orderings

   • Masahito Kurihara
   • Hisashi Kondo

   OriginalPaper Pages: 25 - 42

3. The Tail-Recursive SECD Machine

   • John D. Ramsdell

   OriginalPaper Pages: 43 - 62

4. Automatic Discovery of Theorems in Elementary Geometry

   • T. Recio
   • M. P. Vélez

   OriginalPaper Pages: 63 - 82

5. Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data

   • Alexander Brodsky
   • Catherine Lassez
   • Michael J. Maher

   OriginalPaper Pages: 83 - 104

6. Announcements

   OriginalPaper Pages: 105 - 105