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

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

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.

Author(s): Richard D. Jenks (auth.), Rainer Janßen (eds.)
Series: Lecture Notes in Computer Science 296
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1988

Language: English
Pages: 204
Tags: Numerical Analysis

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