EUROCAL 85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 1: Invited Lectures - researchr publication

researchr

You are not signed in
Sign in
Sign up

Bruno Buchberger, editor, EUROCAL 85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 1: Invited Lectures. Volume 203 of Lecture Notes in Computer Science, Springer, 1985.

Conference: eurocal1985

Abstract is missing.

Computer Algebra: Past and FutureB. F. Caviness. 1-18

MACSYMA: Capabilities and Applications to Problems in Engineering and the SciencesRichard Pavelle. 19-32

A Preview of the Next IBM-PC Version of muMATHDavid R. Stoutmeyer. 33-44

Current Developments in LISPJulian A. Padget. 45-57

Computer Algebra as a Research Tool in PhysicsJ.-M. Drouffe. 58-67

Symbolic Computation and ChemistryAlexandru T. Balaban. 68-79

Computational Geometry: Selected Algorithms and ParadigmsThomas Ottmann. 80-92

Algebraic and Symbolic Computation in Digital Signal Processing, Coding and CryptographyThomas Beth. 93-101

Computer Algebra and Practical AnalysisN. Joachim Lehmann. 102-113

A New Arithmetic for Scientific Computation with Exact Evaluation of ExpressionsUlrich W. Kulisch. 114-123

Algorithmic Methods in Automatic ProgrammingAlan W. Biermann. 124-135

Proof Theory and the Synthesis of Programs: Potential and LimitationsG. Kreisel. 136-150

Constructions: A Higher Order Proof System for Mechanizing MathematicsThierry Coquand, Gérard P. Huet. 151-184

Scientific Computation: The Integration of Symbolic, Numeric and Graphic ComputationErwin Engeler, R. Mäder. 185-200

runs on WebDSL