EUROCAL 1985, Volume 1:
Linz, Austria
Bruno Buchberger (Ed.):
EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 1: Invited Lectures.
Lecture Notes in Computer Science 203 Springer 1985, ISBN 3-540-15983-5 
- B. F. Caviness:
Computer Algebra: Past and Future.
1-18
- Richard Pavelle:
MACSYMA: Capabilities and Applications to Problems in Engineering and the Sciences.
19-32
- David R. Stoutmeyer:
A Preview of the Next IBM-PC Version of muMATH.
33-44
- Julian A. Padget:
Current Developments in LISP.
45-57
- J.-M. Drouffe:
Computer Algebra as a Research Tool in Physics.
58-67
- Alexandru T. Balaban:
Symbolic Computation and Chemistry.
68-79
- Thomas Ottmann:
Computational Geometry: Selected Algorithms and Paradigms.
80-92
- Thomas Beth:
Algebraic and Symbolic Computation in Digital Signal Processing, Coding and Cryptography.
93-101
- N. Joachim Lehmann:
Computer Algebra and Practical Analysis.
102-113
- Ulrich W. Kulisch:
A New Arithmetic for Scientific Computation with Exact Evaluation of Expressions.
114-123
- Alan W. Biermann:
Algorithmic Methods in Automatic Programming.
124-135
- G. Kreisel:
Proof Theory and the Synthesis of Programs: Potential and Limitations.
136-150
- Thierry Coquand, Gérard P. Huet:
Constructions: A Higher Order Proof System for Mechanizing Mathematics.
151-184
- Erwin Engeler, R. Mäder:
Scientific Computation: The Integration of Symbolic, Numeric and Graphic Computation.
185-200
Last update Mon May 20 22:55:20 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
