IBM Symposium: Trends in Computer Algebra 1987: Bad Neuenahr, Germany

• Richard D. Jenks:
  1962-1992: The First 30 Years of Symbolic Mathematical Programming Systems. 1
  
• Jacques Calmet:
  Intelligent Computer Algebra System: Myth, Fancy or Reality? 2-11
  
• Richard D. Jenks, Robert S. Sutor, Stephen M. Watt:
  Scratchpad II: An Abstract Datatype System for Mathematical Computation. 12-37
  
• Pierre Lescanne:
  Current Trends in Rewriting Techniques and Related Problems. 38-51
  
• Bruno Buchberger:
  Applications of Gröbner Bases in Non-linear Computational Geometry. 52-80
  
• J. A. Abbott, Russell J. Bradford, James H. Davenport:
  Factorisation of Polynominals: Old Ideas and Recent Results. 81-91
  
• Thomas Beth:
  Generalized Fourier Transforms. 92-118
  
• Gerhard O. Michler:
  Representations of Groups over Finite Fields. 119-136
  
• B. Heinrich Matzat:
  Computational Methods in Constructive Galois Theory. 137-155
  
• Heinz Lüneburg:
  On the Computation of the Smith Normal Form. 156-157
  
• George E. Andrews:
  Application of Scratchpad to Problems in Special Functions and Combinatorics. 158-166
  
• Fritz Schwarz:
  Programming with Abstract Data Types: The Symmetry Package SPDE in Scratchpad. 167-176
  
• Siegfried M. Rump:
  Algebraic Computation, Numerical Computation and Verified Inclusions. 177-197