EUROCAL 1985, Volume 1: Linz, Austria

@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
  
• 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 Fri May 25 05:59:02 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page