EUROCAM 1982, Marseille, France

Algorithms I

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

Algebraic Structures

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

Abstract Data Types and Rewrite Rules

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

Algorithms II

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

Applications I

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

Algorithms III

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

Systems

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

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
  
• J. Smit, J. A. van Hulzen:
  Symbolic Numeric Methods in Microwave Technology. 281-288
  
• Bengt Malm:
  A Program in REDUCE for Finding Explicit Solutions to Certain Ordinary Differential Equations. 289-293
  
• Daniel Claude, Pierre Dufresne:
  An Application of MACSYMA to Nonlinear Systems Decoupling. 294-301
  

Last update Fri May 25 05:59:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page