1. A perspective on symbolic mathematical computing and artificial intelligence

   • J. Calmet
   • J.A. Campbell

   OriginalPaper Pages: 261 - 277

2. On geometric and topological reasoning in robotics

   • J. Pfalzgraf

   OriginalPaper Pages: 279 - 318

3. Heuristic search and pruning in polynomial constraints satisfaction

   • Hoon Hong

   OriginalPaper Pages: 319 - 334

4. On the topological structure of configuration spaces

   • Jürgen Sellen

   OriginalPaper Pages: 335 - 354

5. Model-based and qualitative reasoning: An introduction

   • Peter Struss

   OriginalPaper Pages: 355 - 381

6. Fast algebraic methods for interval constraint problems

   • Peter B. Ladkin
   • Alexander Reinefeld

   OriginalPaper Pages: 383 - 411