1. Termination by completion

   • Françoise Bellegarde
   • Pierre Lescanne

   OriginalPaper Pages: 79 - 96

2. Symbolic constraint handling through unification in finite algebras

   • Wolfram Büttner
   • Klaus Estenfeld
   • Erik Tidén

   OriginalPaper Pages: 97 - 118

3. An enumeration formula for certain irreducible polynomials with an application to the construction of irreducible polynomials over the binary field

   • Harald Niederreiter

   OriginalPaper Pages: 119 - 124

4. Canonical bases for cyclotomic fields

   • Wieb Bosma

   OriginalPaper Pages: 125 - 134

5. Computing the irreducible real factors and components of an algebraic curve

   • Erich Kaltofen

   OriginalPaper Pages: 135 - 148

6. Evaluation of classes of definite integrals involving elementary functions via differentiation of special functions

   • K. O. Geddes
   • M. L. Glasser
   • T. C. Scott

   OriginalPaper Pages: 149 - 165