EUROCAL 1985,
Volume 2:
Linz,
Austria
B. F. Caviness (Ed.):
EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions.
Lecture Notes in Computer Science 204 Springer 1985, ISBN 3-540-15984-3 BibTeX
@proceedings{DBLP:conf/eurocal/1985-2,
editor = {B. F. Caviness},
title = {EUROCAL '85, European Conference on Computer Algebra, Linz, Austria,
April 1-3, 1985, Proceedings Volume 2: Research Contributions},
booktitle = {EUROCAL},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {204},
year = {1985},
isbn = {3-540-15984-3},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Algebraic Algorithms I
Demos of General Purpose Computer Algebra Systems
Automated Theorem Proving
Applications I
Algebraic Algorithms II
Demos of Special Purpose Computer Algebra Systems
Constructive and Combinatory Logic
Applications II
- D. M. Klimov:
Symbolic Algebra in Problems of Non-Linear Mechanics.
199-200 BibTeX
- Ph. Tombal, A. Moussiaux:
MACSYMA's Computation of Dirac-Bergmann Algorithm for Hamiltonian Systems with Constraints.
201-202 BibTeX
- Terje Wahl:
Infinite Dimensional Computer Lie Algebra?
203-204 BibTeX
- John F. Ogilvie:
Application of Computer Algebra to the Theory of the Vibration-Rotational Spectra of Diatomic Molecules.
205 BibTeX
Computational Group Theory
Algebraic Algorithms III
Algebraic Algorithms IV
Computer Algebra Systems Implementation I
Symbolic/Numeric Interface I
Rewrite Rules and the Completion Procedure
Applications III
Algebraic Algorithms V
Rewrite Rules and the Completion Procedure II
Computer Algebra Systems Implementation II
Automatic Programming I
Applications IV
Computational Number Theory
Algebraic Algorithms VI
Parallel Symbolic and Algebraic Computation
Automatic Programming II
Symbolic/Numeric Interface II
Computer Analysis
Copyright © Sat May 16 23:11:05 2009
by Michael Ley (ley@uni-trier.de)
