%A B.F. Caviness
%T Computer algebra: past and future
%J Proceedings of Eurocal '85: the European Conference on Computer Algebra
%C Linz, Austria
%D April 1985
%E Bruno Buchberger
%O published as Lecture Notes in Computer Science 203
by Springer-Verlag
%K ec85
%P 1-18

%A R. Pavelle
%T MACSYMA: capabilities and applications
to problems in engineering and the sciences
%J Proceedings of Eurocal '85: the European Conference on Computer Algebra
%C Linz, Austria
%D April 1985
%E Bruno Buchberger
%O published as Lecture Notes in Computer Science 203
by Springer-Verlag
%K ec85
%P 19-32

%A D.R. Stoutemyer
%T A preview of the next IBM-PC version of muMATH
%J Proceedings of Eurocal '85: the European Conference on Computer Algebra
%C Linz, Austria
%D April 1985
%E Bruno Buchberger
%O published as Lecture Notes in Computer Science 203
by Springer-Verlag
%K ec85
%P 33-44

%A J. Padget
%T Current developments in Lisp
%J Proceedings of Eurocal '85: the European Conference on Computer Algebra
%C Linz, Austria
%D April 1985
%E Bruno Buchberger
%O published as Lecture Notes in Computer Science 203
by Springer-Verlag
%K ec85
%P 45-57

%A J.-M. Drouffe
%T Computer algebra as a research tool in physics
%J Proceedings of Eurocal '85: the European Conference on Computer Algebra
%C Linz, Austria
%D April 1985
%E Bruno Buchberger
%O published as Lecture Notes in Computer Science 203
by Springer-Verlag
%K ec85
%P 58-67

%A A.T. Balaban
%T SYmbolic computation and chemistry
%J Proceedings of Eurocal '85: the European Conference on Computer Algebra
%C Linz, Austria
%D April 1985
%E Bruno Buchberger
%O published as Lecture Notes in Computer Science 203
by Springer-Verlag
%K ec85
%P 68-79

%A Th. Ottman
%T Computational geometry: selected algorithms and paradigms
%J Proceedings of Eurocal '85: the European Conference on Computer Algebra
%C Linz, Austria
%D April 1985
%E Bruno Buchberger
%O published as Lecture Notes in Computer Science 203
by Springer-Verlag
%K ec85
%P 80-92

%A Th. Beth
%T Algebraic and symbolic computation
in digital signal processing, coding and cryptography
%J Proceedings of Eurocal '85: the European Conference on Computer Algebra
%C Linz, Austria
%D April 1985
%E Bruno Buchberger
%O published as Lecture Notes in Computer Science 203
by Springer-Verlag
%K ec85
%P 93-101

%A N.J. Lehmann
%T Computer algebra and practical analysis
%J Proceedings of Eurocal '85: the European Conference on Computer Algebra
%C Linz, Austria
%D April 1985
%E Bruno Buchberger
%O published as Lecture Notes in Computer Science 203
by Springer-Verlag
%K ec85
%P 102-113

%A U. Kulisch
%T A new arithmetic for scientific computation
with exact evaluation of expressions
%J Proceedings of Eurocal '85: the European Conference on Computer Algebra
%C Linz, Austria
%D April 1985
%E Bruno Buchberger
%O published as Lecture Notes in Computer Science 203
by Springer-Verlag
%K ec85
%P 114-123

%A A.W. Biermann
%T Algorithmic methods in automatic programming
%J Proceedings of Eurocal '85: the European Conference on Computer Algebra
%C Linz, Austria
%D April 1985
%E Bruno Buchberger
%O published as Lecture Notes in Computer Science 203
by Springer-Verlag
%K ec85
%P 124-135

%A G. Kreisel
%T Proof theory and the synthesis of programs: potential and limitations
%J Proceedings of Eurocal '85: the European Conference on Computer Algebra
%C Linz, Austria
%D April 1985
%E Bruno Buchberger
%O published as Lecture Notes in Computer Science 203
by Springer-Verlag
%K ec85
%P 136-150

%A T. Coquand
%A G. Huet
%T Constructions: a higher order proof system for mechanizing mathematics
%J Proceedings of Eurocal '85: the European Conference on Computer Algebra
%C Linz, Austria
%D April 1985
%E Bruno Buchberger
%O published as Lecture Notes in Computer Science 203
by Springer-Verlag
%K ec85
%P 151-184

%A E. Engeler
%A R. Mader
%T Scientific computation:
the integration of symbolic, numeric and graphic computation
%J Proceedings of Eurocal '85: the European Conference on Computer Algebra
%C Linz, Austria
%D April 1985
%E Bruno Buchberger
%O published as Lecture Notes in Computer Science 203
by Springer-Verlag
%K ec85
%P 185-200