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