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