Trends in Computer Algebra: International Symposium, Bad Neuenahr, May 19-21, 1987. Proceedings

1962-1992: The first 30 years of symbolic mathematical programming systems.- Intelligent computer algebra system: Myth, fancy or reality?.- Scratchpad II: An abstract datatype system for mathematical computation.- Current trends in rewriting techniques and related problems.- Applications of Groebner bases in non-linear computational geometry.- Factorisation of polynomials: Old ideas and recent results.- Generalized Fourier Transforms.- Representations of groups over finite fields.- Computational methods in constructive Galois theory.- On the computation of the Smith normat form.- Application of scratchpad to problems in special functions and combinatorics.- Programming with abstract data types: The symmetry package SPDE in scratchpad.- Algebraic computation, numerical computation and verified inclusions.