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 
@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
- Ph. Tombal, A. Moussiaux:
MACSYMA's Computation of Dirac-Bergmann Algorithm for Hamiltonian Systems with Constraints.
201-202
- Terje Wahl:
Infinite Dimensional Computer Lie Algebra?
203-204
- John F. Ogilvie:
Application of Computer Algebra to the Theory of the Vibration-Rotational Spectra of Diatomic Molecules.
205
Computational Group Theory
Algebraic Algorithms III
Algebraic Algorithms IV
Computer Algebra Systems Implementation I
Symbolic/Numeric Interface I
Rewrite Rules and the Completion Procedure
- Emmanuel Kounalis:
Completeness in Data Type Specifications.
348-362
- E. Paul:
On Solving the Equality Problem in Theories Defined by Horn Clauses.
363-377
- Franz Winkler:
Reducing the Complexity of the Knuth-Bendix Completion-Algorithm: A "Unification" of Different Approaches.
378-389
- Wolfgang Küchlin:
A Confluence Criterion Based on the Generalised Neman Lemma.
390-399
- A. J. J. Dick:
ERIL - Equational Reasoning: an Interactive Laboratory.
400-401
- Claude Kirchner, Hélène Kirchner:
Implementation of a General Completion Procedure Parameterized by Built-in Theories and Strategies.
402-404
Applications III
Algebraic Algorithms V
- Patrizia M. Gianni, Barry M. Trager:
GCD's and Factoring Multivariate Polynominals Using Gröbner Bases.
409-410
- Marc Giusti:
A Note on the Complexity of Constructing Standard Bases.
411-412
- André Galligo:
Some Algorithmic Questions of Constructing Standard Bases.
413-421
- W. Trinks:
On Improving Approximate Results of Buchberger's Algorithm by Newton's Method.
608-612
Rewrite Rules and the Completion Procedure II
Computer Algebra Systems Implementation II
Automatic Programming I
Applications IV
Computational Number Theory
- U. Fincke, Michael Pohst:
A New Method of Computing Fundamental Units in Algebraic Number Fields.
470-478
- Johannes Buchmann:
The Generalized Voronoi-Algorithm in Totally Real Algebraic Number Fields.
479-486
- H. Ong, D. Golke:
An Algorithm for the Computation of Perfect Polyhedral Cones over Real Quadratic Number Fields.
487-488
- M. A. Reichert:
Explicit Determination of Non-Trivial Torsion Structures of Elliptic Curves over Quadratic Number Fields.
489-490
- Karin Lamprecht, Horst Günter Zimmer:
P-Adic Algorithms and the Computation of Zeros of P-Adic L-Functions.
491-502
- Attila Pethö:
On the Solution of the Diophantine Equation Gn=pz.
503-512
Algebraic Algorithms VI
Parallel Symbolic and Algebraic Computation
- Stephen M. Watt:
A System for Parallel Computer Algebra Programs.
537-538
- Ricardo Caferra, Philippe Jorrand:
Unification in Parallel with Refined Linearity Test: An Example of Recursive Network Structure in FP2, A Functional Parallel Programming Language.
539-540
- Bruno Buchberger:
The Parallel L-Machine for Symbolic Computation.
541-542
Automatic Programming II
- Heinrich Hußmann:
Unification in Conditional Equational Theories.
543-553
- Robert Paige, Fritz Henglein:
Mechanical Translation of Set Theoretic Problem Specifications into Efficient RAM Code - A Case Study.
554-567
- Marta Franová:
A Methodology for Automatic Programming Based on the Constructive Matching Strategy.
568-569
- Alexander Sakharov:
The Structural Synthesis of Programs: New Means.
570-571
Symbolic/Numeric Interface II
Computer Analysis
- Michael Karr:
Canonical Form for Rational Exponential Expressions.
585-594
- Michael F. Singer, James H. Davenport:
Elementary and Liouvillian Solutions of Linear Differential Equations.
595-596
- Thomas Wolf:
Analytical Decoupling, Decision of Compatibility and Partial Integration of Systems of Non-Linear Ordinary and Partial Differential Equations.
597-598
- Klaus Nehrkorn:
Symbolic Integration of Exponential Polynominals.
599-600
- Fritz Schwarz:
A REDUCE Package for Determining First Integrals of Autonomous Systems of Ordinary Differential Equations.
601-602
- M. Arcieri, Alfonso Miola, F. Panasiti:
A Package of Tools for Manipulation of Sums and Series.
603-604
- Michael Karr:
Theory of Summation in Finite Terms.
605-606
Copyright © Mon Nov 2 20:35:04 2009
by Michael Ley (ley@uni-trier.de)
