DISCO 1992: Bath, UK

• Ken Rimey:
  Template-based Formula Editing in Kaava. 1-12
  
• Russell J. Bradford:
  Algebraic Simplification of Multiple-Valued Functions. 13-21
  
• Michael B. Monagan:
  In-place Arithmetic for Polinominals over Z_n. 22-34
  
• Brian D. Brunswick:
  LILK - Static Analysis of REDUCE Code. 35-43
  
• C. Faure, André Galligo, J. Grimm, Loic Pottier:
  The Extensions of the Sisyphe Computer Algebra System: ulysse and athena. 44-55
  
• Roman Maeder:
  AlgBench: An Object-Oriented Symbolic Core System. 56-64
  
• Philip S. Santas:
  SYMO2: Objects and Classes for Symbolic Computation Systems. 65-84
  
• Norbert Kajler:
  Building a Computer Algebra Environment by Composition of Collaborative Tools. 85-94
  
• Trudy Weibel, Gaston H. Gonnet:
  An Assume Facility for CAS, with a Sample Implementation for Maple. 95-103
  
• John Fitch:
  REDUCE Meets CAMAL. 104-115
  
• Karl Aberer:
  Combinatory Models and Symbolic Computation. 116-131
  
• Sergio Antoy, Paola Forcheri, Maria Teresa Molfino, Carlo Schenone:
  A Uniform Approach to Deduction and Automatic Implementation. 132-144
  
• M. Bayram, J. P. Bennett:
  A Simple General Purpose Technique for Interfacing Between Computer Algebra and Numerical Analysis Systems. 145-151
  
• Eugene V. Zima:
  Recurrent Relations and Speed-up of Computations Using Computer Algebra Systems. 152-161
  
• Gábor Simon:
  Design and Implementation of a Retargetable ALDES Compiler. 162-172
  
• Joachim Apel, Uwe Klaus:
  Data Representation and In-built Compilation in the Computer Algebra Program FELIX. 173-192
  
• A. Goodloe, Philippe Loustaunau:
  An Abstract Data Type Development of Graded Rings. 193-202
  
• Olga Caprotti:
  An Object-Oriented Approach to Indexed Mathematical Objects for the Manipulation of Sums and Series. 203-214