EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings: Volume 1: Invited Lectures (Lecture Notes in Computer Science)

In this survey, I wish to recount some of the important accomplishments in computer algebra and to explore some of the significant directions for future research and development. Computer algebra: Past and future....Pages 1-18 MACSYMA: Capabilities and applications to problems in engineering and the sciences....Pages 19-32 A preview of the next IBM-PC version of muMATH....Pages 33-44 Current developments in LISP....Pages 45-57 Computer algebra as a research tool in physics....Pages 58-67 Symbolic computation and chemistry....Pages 68-79 Computational geometry: Selected algorithms and paradigms....Pages 80-92 Algebraic and symbolic computation in digital signal processing, coding and cryptography....Pages 93-101 Computer algebra and practical analysis....Pages 102-113 A new arithmetic for scientific computation with exact evaluation of expressions....Pages 114-123 Algorithmic methods in automatic programming....Pages 124-135 Proof theory and the synthesis of programs: Potential and limitations....Pages 136-150 Constructions: A higher order proof system for mechanizing mathematics....Pages 151-184 Scientific computation: The integration of symbolic, numeric and graphic computation....Pages 185-200