Table of contents : 1962–1992: The first 30 years of symbolic mathematical programming systems....Pages 1-1 Intelligent computer algebra system: Myth, fancy or reality?....Pages 2-11 Scratchpad II: An abstract datatype system for mathematical computation....Pages 12-37 Current trends in rewriting techniques and related problems....Pages 38-51 Applications of Gröbner bases in non-linear computational geometry....Pages 52-80 Factorisation of polynomials: Old ideas and recent results....Pages 81-91 Generalized Fourier Transforms....Pages 92-118 Representations of groups over finite fields....Pages 119-136 Computational methods in constructive Galois theory....Pages 137-155 On the computation of the Smith normat form....Pages 156-157 Application of scratchpad to problems in special functions and combinatorics....Pages 158-166 Programming with abstract data types: The symmetry package SPDE in scratchpad....Pages 167-176 Algebraic computation, numerical computation and verified inclusions....Pages 177-197