B. F. Caviness (auth.), Bruno Buchberger (eds.)9783540159834, 3540159835
Table of contents :
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
Reviews
There are no reviews yet.