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

Description

This is the proceedings volume of the symposium entitled "Trends in Computer Algebra" held in Bad Neuenahr, May 19-21, 1987. Computer algebra is a very active research area on the borderline between mathematics and computer science, which will strongly influence mathematical and physical research in the near future. The intention of this symposium was to bring together specialists in computer algebra with researchers in related areas of mathematics and computer science as well as potential users of the developed tools and techniques in order to discuss present issues and future trends of this topic. The thirteen invited talks of the symposium were organized into the following groups: Languages and Systems, Symbolic Computations, Computing in Algebraic Structures, and Applications. 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