Trends in Computer Algebra

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.

Klappentext

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.

Inhalt
19621992: 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 Gröbner 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.