EUROCAM 1982, Marseille, France

Jacques Calmet (Ed.): Computer Algebra, EUROCAM '82, European Computer Algebra Conference, Marseille, France, 5-7 April, 1982, Proceedings. Lecture Notes in Computer Science 144 Springer 1982, ISBN 3-540-11607-9 BibTeX

Algorithms I

Arnold Schönhage: Asymptotically Fast Algorithms for the Numerical Multiplication and Division of Polynomials with Complex Coeficients. 3-15 BibTeX
David K. Probst, Vangalur S. Alagar: An Adaptive Hybrid Algorithm for Multiplying Dense Polynomials. 16-23 BibTeX
H. Michael Möller, Bruno Buchberger: The Construction of Multivariate Polynomials with Preassigned Zeros. 24-31 BibTeX
Arjen K. Lenstra: Lattices and Factorization of Polynomials over Algebraic Number Fields. 32-39 BibTeX

Algebraic Structures

Daniel Lazard: Commutative Algebra and Computer Algebra. 40-48 BibTeX
Jürgen Avenhaus, Klaus Madlener: The Nielsen Reduction as Key Problem to Polynomial Algorithms in Free Groups. 49-56 BibTeX
Josef Angerer, Günter Pilz: The Structure of Near-Rings of Small Order. 57-64 BibTeX
Reinhard Laue: Computing Double Coset Representatives for the Generation of Solvable Groups. 65-70 BibTeX
Michael Pohst: On the Determination of Algebraic Number Fileds of Given Discriminant. 71-76 BibTeX

Abstract Data Types and Rewrite Rules

David R. Musser, Deepak Kapur: Rewrite Rule Theory and Abstract Data Type Analysis. 77-90 BibTeX
Marc Bergman: Algebraic Specifications: Constructive Methodology in Logic Programming. 91-100 BibTeX
Wolfgang Küchlin: A Theorem-Proving Approach to the Knuth-Bendix Completion Algorithm. 101-108 BibTeX
Leon Sterling, Alan Bundy, Lawrence Byrd, Richard A. O'Keefe, Bernard Silver: Solving Symbolic Equations with PRESS. 109-116 BibTeX

Algorithms II

Jacques Calmet, Rüdiger Loos: Deterministic Versus Probabilistic Factorization of Integral Polynomials. 117-125 BibTeX
Daniel Lazard: On Polynomial Factorization. 126-134 BibTeX
Paul S. Wang: Hacijan's Algorithm in VAXIMA: Improvements and Difficulties. 135-143 BibTeX
James H. Davenport: The Parallel Risch Algorithm (I). 144-157 BibTeX
Ferdinando Mora: An Algorithm to Compute the Equations of Tangent Cones. 158-165 BibTeX

Applications I

J. A. van Hulzen: Computer Algebra Systems Viewed by a Notorious User. 166-180 BibTeX
Peter K. H. Gragert, P. H. M. Kersten: Implementation of Differential Geometric Objects and Functions with an Application to Extended Maxwell Equations. 181-187 BibTeX
Lars Hörnfeldt: A Sum-Substitutor Used as Trigonometric Simplifier. 188-195 BibTeX
John A. Campbell, Francesco Gardin: Transformation of an Intractable Problem into a Tractable Problem: Evaluation of a Determinant in Several Variables. 196-203 BibTeX
F. Lamnabhi-Lagarrigue, M. Lamnabhi: Algebraic Computation of the Solution of Some NonLinear Differential Equations. 204-211 BibTeX

Algorithms III

George E. Collins: Factorization in Cylindrical Algebraic Decomposition. 212-214 BibTeX
Dennis S. Arnon, Scott McCallum: Cylindrical Algebraic Decomposition by Quantifier Elimination. 215-222 BibTeX
Z. Lomecky: Algorithms for the Computation of Free Lattices. 223-230 BibTeX
Luciana Bordoni, Attilio Colagrossi, Alfonso Miola: Linear Algebraic Approach for Computing Polynomial Resultant. 231-236 BibTeX

Systems

A. C. Norman: The Development of a Vector-based Algebra System. 237-248 BibTeX
John Fitch, Jed Marti: NLARGEing a z80 Microprocessor. 249-255 BibTeX
Julian A. Padget: Escaping from Intermediate Expression Swell: A Continuing Saga. 256-262 BibTeX
Anthony C. Hearn: REDUCE - A Case Study in Algebra System Development. 263-272 BibTeX

Applications II

Jean Della Dora, Claire Dicrescenzo, Evelyne Tournier: An Algorithm to Obtain Formal Solutions of a Linear Homogeneous Differential Equation at an Irregular Singular Point. 273-280 BibTeX
J. Smit, J. A. van Hulzen: Symbolic Numeric Methods in Microwave Technology. 281-288 BibTeX
Bengt Malm: A Program in REDUCE for Finding Explicit Solutions to Certain Ordinary Differential Equations. 289-293 BibTeX
Daniel Claude, Pierre Dufresne: An Application of MACSYMA to Nonlinear Systems Decoupling. 294-301 BibTeX