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

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.

---

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.

---

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.
Content:
Front Matter....Pages -
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

---

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.
Content:
Front Matter....Pages -
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
....