product iamge

EUROCAL '85: European Conference on Computer Algebra Linz, Austria, April 1–3 1985 Proceedings Vol. 1: Invited Lectures

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.

Download
Search on Amazon

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"

Author(s): B. F. Caviness (auth.), Bruno Buchberger (eds.)
Series: Lecture Notes in Computer Science 203
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1985

Language: English
Pages: 236
Tags: Mathematical Logic and Formal Languages

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