European Conference on Computer Algebra (1)

Keyphrases

Publications

1985

Thierry Coquand, Gérard P. Huet
Constructions: A Higher Order Proof System for Mechanizing Mathematics. European Conference on Computer Algebra (1) (1985)
David R. Stoutmeyer
A Preview of the Next IBM-PC Version of muMATH. European Conference on Computer Algebra (1) (1985)
N. Joachim Lehmann
Computer Algebra and Practical Analysis. European Conference on Computer Algebra (1) (1985)
Thomas Beth
Algebraic and Symbolic Computation in Digital Signal Processing, Coding and Cryptography. European Conference on Computer Algebra (1) (1985)
Thomas Ottmann
Computational Geometry: Selected Algorithms and Paradigms. European Conference on Computer Algebra (1) (1985)
Georg Kreisel
Proof Theory and the Synthesis of Programs: Potential and Limitations. European Conference on Computer Algebra (1) (1985)
Erwin Engeler, Roman E. Mäder
Scientific Computation: The Integration of Symbolic, Numeric and Graphic Computation. European Conference on Computer Algebra (1) (1985)
Richard Pavelle
MACSYMA: Capabilities and Applications to Problems in Engineering and the Sciences. European Conference on Computer Algebra (1) (1985)
Julian A. Padget
Current Developments in LISP. European Conference on Computer Algebra (1) (1985)
Ulrich W. Kulisch
A New Arithmetic for Scientific Computation with Exact Evaluation of Expressions. European Conference on Computer Algebra (1) (1985)
J.-M. Drouffe
Computer Algebra as a Research Tool in Physics. European Conference on Computer Algebra (1) (1985)
Alexandru T. Balaban
Symbolic Computation and Chemistry. European Conference on Computer Algebra (1) (1985)
B. F. Caviness
Computer Algebra: Past and Future. European Conference on Computer Algebra (1) (1985)
Alan W. Biermann
Algorithmic Methods in Automatic Programming. European Conference on Computer Algebra (1) (1985)