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 BibTeX

@proceedings{DBLP:conf/eurocal/1985-1,
  editor    = {Bruno Buchberger},
  title     = {EUROCAL '85, European Conference on Computer Algebra, Linz, Austria,
               April 1-3, 1985, Proceedings Volume 1: Invited Lectures},
  booktitle = {EUROCAL},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {203},
  year      = {1985},
  isbn      = {3-540-15983-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

B. F. Caviness: Computer Algebra: Past and Future. 1-18 BibTeX
Richard Pavelle: MACSYMA: Capabilities and Applications to Problems in Engineering and the Sciences. 19-32 BibTeX
David R. Stoutmeyer: A Preview of the Next IBM-PC Version of muMATH. 33-44 BibTeX
Julian A. Padget: Current Developments in LISP. 45-57 BibTeX
J.-M. Drouffe: Computer Algebra as a Research Tool in Physics. 58-67 BibTeX
Alexandru T. Balaban: Symbolic Computation and Chemistry. 68-79 BibTeX
Thomas Ottmann: Computational Geometry: Selected Algorithms and Paradigms. 80-92 BibTeX
Thomas Beth: Algebraic and Symbolic Computation in Digital Signal Processing, Coding and Cryptography. 93-101 BibTeX
N. Joachim Lehmann: Computer Algebra and Practical Analysis. 102-113 BibTeX
Ulrich W. Kulisch: A New Arithmetic for Scientific Computation with Exact Evaluation of Expressions. 114-123 BibTeX
Alan W. Biermann: Algorithmic Methods in Automatic Programming. 124-135 BibTeX
G. Kreisel: Proof Theory and the Synthesis of Programs: Potential and Limitations. 136-150 BibTeX
Thierry Coquand, Gérard P. Huet: Constructions: A Higher Order Proof System for Mechanizing Mathematics. 151-184 BibTeX
Erwin Engeler, R. Mäder: Scientific Computation: The Integration of Symbolic, Numeric and Graphic Computation. 185-200 BibTeX