Normal view MARC view ISBD view

EUROCAL '85 European Conference on Computer Algebra Linz, Austria, April 1–3 1985 Proceedings Vol. 1: Invited Lectures / [electronic resource] : edited by Bruno Buchberger. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1985. - VIII, 236 p. online resource. - Lecture Notes in Computer Science, 203 0302-9743 ; . - Lecture Notes in Computer Science, 203 .

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.

ISBN: 9783540396840

Standard No.: 10.1007/3-540-15983-5 doi

Subjects--Topical Terms:
Computer science.
Computer Science.
Mathematical Logic and Formal Languages.

LC Class. No.: QA8.9-QA10.3

Dewey Class. No.: 005.131