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: <35800008@smu.UUCP>
Date: Tue, 18-Sep-84 17:05:00 EDT
Article-I.D.: smu.35800008
Posted: Tue Sep 18 17:05:00 1984
Date-Received: Tue, 25-Sep-84 07:47:46 EDT
Lines: 121
Nf-ID: #N:smu:35800008:000:4672
Nf-From: smu!leff    Sep 18 16:05:00 1984

Table of Contents for EUROSAM 84
International Symposium on Symbolic and Algebraic Computation
Cambridge, England July 1984
Springer Verlag Lecture Notes in Computer Sciences 174

Introduction ..............................................................  1

DIFFERENTIAL EQUATIONS

Homogenous Linear Difference Equation (Frobenius - Boole Method ) .........  2
J. Della Dora, E. Tournier
An Experiment Toward a General Quadrature for Second Order Linear Ordinary
Different Equations by Symbolic Computation ............................... 13
S. Watanabe
Operatioal Calculus Techniques for Solving Differential Equations ......... 23
M. Glinos, B. D. Saunders

APPLICATIONS 1

On the Application of Symbolic Computation to Nonlinear Control THeory .... 35
G. Cesareo, R. Marino
Quartic equations and Algorithms for Riemann Tenson Classification ........ 47
J. E. Aman, R. A. D'Inverno, G. C. Joly, M. A H. MacCallum
Symbolic Computation and the Dirichlet Problem ............................ 59
R. W. Wilkerson
Simplification of Polynomials in n Variables .............................. 64
G. Viry
On the Equivalence of Hierarchical and Non-Hierarchical Rewriting on 
Conditional Term Rewriting Systems ........................................ 74
M. Navarro, F. Orejas
Implemenation of a p-adic Package for Polynomial Factorization and Other 
Related Operations ........................................................ 86
P. S. Wang

ALGEBRAIC NUMBER COMPUTATION

Computations on Curves ....................................................100
C. Dicrescenzo, D. Duval
Detecting Torsion Divisors on Curves of Genus 2 ...........................108
T. G. Berry
Computation in Radical Extensions..........................................115
H. Najid-Zejli

Languages for Symbolic Computing

A Primer: 11 Keys to New Scratchpad .......................................123
R. D. Jenks
A Pure and Really Simple Initial Functional Algebraic Language ............148
J. P. Fitch J. A. Padget

GROEBNER BASIS ALGORITHMS

Some Effectivity Problems in Polynomial Ideal Theory ......................159
M. Giusti
Upper and Lower Bounds for the Degree of Groebner Bases....................172
H. M. Moller F. Mora
On the Complexity of the Groebner-Bases Algorithm over K[x,y,z]............184
F. Winkler
Algorithms for Computing Groebner Bases of Polynomial Ideals over Various
Euclidean Rings............................................................195
A. Kandri-Rody D. Kapur

COMPUTATIONAL GROUP THEORY

Computation with Rational Subsets of Confluent Groups .....................207
R. H. Gilman
CAMAC2: A Portable System for Combinatorial and Algebraic Computation......213
J. S. Leon
Polynomial Time Algorithms for Galois Groups...............................225
S. Landau

APPLICATIONS 2

Code Generation and Optimization for Finite element Analysis...............237
P. S. Wang, T. Y. P. Chang, J. A. van Hulzen
A Comparison of Algorithms for the Symbolic Computation of Pade 
Approximants...............................................................248
S. R. Czapor, K. O. Geddes
Automatic Error Cumulation Control.........................................260
R. J. A. Hulshof, J. A. van Hulzen

FACTORIZATION AND GCD COMPUTATIONS

Polynomial Factorization by Root Approximation.............................272
A. K. Lenstra
Effective Hilbert Irreducibility...........................................277
E. Kaltofen
GCDHEU: Heuristic Polynomial GCD Algorithm based on Integer GCD 
Computation ...............................................................285
B. W. Char K. O. Geddes G. H. Gonnet
A New Lifting Process for the Multivariate Polynomial Factorization .......297
D. Lugiez

NUMBER THEORY ALGORITHMS

Explicit Construction of the Hilbert Class Fields of Imaginary Quadratic
Fields iwth Class Numbers 7 and 11 ........................................310
E. Kaltofen, N. Yui
On a Simple Primality Testing Algorithm ...................................321
M. -D. A. Huang
A Criterion for the Equivalence of Two Ideals .............................333
J. Buchmann

INTEGRATION

y' + fy = g ...............................................................341
J. H. Davenport
Integration in Finite Terms with Special Functions: A Progress Report......351
G. W. Cherry B. F. Caviness
A Note on the Risch differential Equation..................................359
E. Kaltofen

SOLUTION OF EQUATIONS

Approximation by Continued Fraction of a Polynomial Real Root..............367
K. Thull
On the Automatic Resolution of Certain Diophantine Equations...............378
M. Mignotte
On Pseudo-Resultants.......................................................386
M. Rothstein