This is the proceedings volume of the symposium entitled "Trends in Computer Algebra" held in Bad Neuenahr, Ma
235 68 1MB
English Pages 204 [202] Year 1988
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