Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: Notesfiles; site smu.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!mhuxj!ihnp4!inuxc!pur-ee!uiucdcs!smu!leff
From: leff@smu.UUCP
Newsgroups: net.math.symbolic
Subject: Through nfpipe
Message-ID: <35800005@smu.UUCP>
Date: Mon, 17-Sep-84 17:49:00 EDT
Article-I.D.: smu.35800005
Posted: Mon Sep 17 17:49:00 1984
Date-Received: Tue, 25-Sep-84 05:50:20 EDT
Lines: 101
Nf-ID: #N:smu:35800005:000:4393
Nf-From: smu!leff    Sep 17 16:49:00 1984

Table of Contents for
EUROCAM '82 European Computer Algebra Conference
Marseille, France, April 1982
Springer Verlag Lecture Notes in Computer Science 144

0. INTRODUCTION ...........................................................  1

1. ALGORITHMS I
Asymptotically fast algorithms for the numerical multiplication and 
division of polynomials with complex coefficients.  (Invited) .............  3
A. Schonhage
An adaptive hybrid algorithm for multiplying dense polynomials ............ 16
D. Probst V. S. Alagar
The construction of multivariate polynomials with preassigned zeros ....... 24
H. M. Moller B. Buchberger
Lattices and factorization of polynomials over algebraic number fields .... 32
A. K. Lenstra

2. Algebraic Structures
Commutative Algebra and Computer Algebra (Invited) ........................ 40
D. Lazard
The Nielsen reduction as key problem to polynomial algorithms 
   in free groups ......................................................... 49
J. Avenhaus K. Madlener
The structure of near-rings of small order ................................ 57
J. Angerer G. Pilz
Computing double coset representatives for the generation of solvable 
  groups .................................................................. 65
R. Laue
On the determination of algebraic number fields of given discriminant ..... 71
M. Pohst

3. Abstract Data Types and Rewrite Rules
Rewrite rule theory and abstract data type analysis (Invited) ............. 77
D. R. Musser Deepak Kapur
Algebraic specifications: a constructive methodology in logic programming . 91
M. Bergman
A theorem-proving approach to the Knuth-Bendix completion algorithm .......101
W. Kuchlin
Solving symbolic equations with PRESS .....................................109
L. Sterling A. Bundy L. Byrd R. O'Keefe B. Silver

4. Algorithms II
Deterministic versus probabilistic factorization of integral polynomials.. 117
J. Calmet R. Loos
On polynomial factorization............................................... 126
D. Lazard
Hacijan's algorithm in VAXIMA: improvements and difficulties.............. 135
P. S. Wang
The parallel Risch algorithm (I).......................................... 144
J. H. Davenport
An algorithm to compute the equations of tangent cones.................... 158
F. Mora

5. Applications I
Computer algebra systems viewed by a notorious user (Invited)............. 166
J. A. van Hulzen
Implementation of differential geometric objects and functions with an
application to extended Maxwell equations................................. 181
P. K. H. Gragert P. H. M. Kersten
A sum-substitutor used as trigonometric simplifier........................ 188
L. Hornfeldt
Transformation of an intractable problem into a tractable problem:
  evaluation of a determinant in several variables ........................196
J. A. Campbell F. Gardin
Algebraic computation of the solution of some non linear differential   
  equations............................................................... 204
F. Lamnabhi-Lagarrigue M. Lamnabhi

6. Algorithms III
Factorization in cylindrical algebraic decomposition (Invited).............212
G. E. Collins
Cylindrical algebraic decomposition by quantifier elimination............. 215
D. S. Arnon S. McCallum
Algorithms for the computation of free lattices........................... 223
Z. Lomecky
Linear algebraic approach for computing polynomial resultant.............. 231
L. Bordoni A. Colagrossi A. Miola

7. Systems
The development of a vector-based algebra system (Invited)................ 237
A. C. Norman
NLARGEing a Z80 microprocessor............................................ 249
J. P. Fitch J. Marti
Escaping from intermediate expression swell: a continuing saga............ 256
J. A. Padget
REDUCE - A case study in algebra system development (Invited)............. 263
A. C. Hearn

8. Applications II
An algorithm to obtain formal solutions of a linear homogenous 
  differential equation at an irregular singular point.................... 273
J. Della Doro C. Di Crescenzo E. Tournier
Symbolic numeric methods in microwave technology.......................... 281
J. Smit J. A. van Hulzen
A program in REDUCE for finding explicit solutions to certain ordinary
  differential equations.................................................. 289
B. Malm
An application of MACSYMA to nonlinear systems decoupling................. 294
D. Claude P. Dufresne