EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings

Inhaltsverzeichnis

• Computer algebra: Past and future.
• MACSYMA: Capabilities and applications to problems in engineering and the sciences.
• A preview of the next IBM-PC version of muMATH.
• Current developments in LISP.
• Computer algebra as a research tool in physics.
• Symbolic computation and chemistry.
• Computational geometry: Selected algorithms and paradigms.
• Algebraic and symbolic computation in digital signal processing, coding and cryptography.
• Computer algebra and practical analysis.
• A new arithmetic for scientific computation with exact evaluation of expressions.
• Algorithmic methods in automatic programming.
• Proof theory and the synthesis of programs: Potential and limitations.
• Constructions: A higher order proof system for mechanizing mathematics.
• Scientific computation: The integration of symbolic, numeric and graphic computation.