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: <35800003@smu.UUCP> Date: Mon, 17-Sep-84 17:48:00 EDT Article-I.D.: smu.35800003 Posted: Mon Sep 17 17:48:00 1984 Date-Received: Tue, 25-Sep-84 05:49:01 EDT Lines: 92 Nf-ID: #N:smu:35800003:000:3778 Nf-From: smu!leff Sep 17 16:48:00 1984 Table of Contents for Lecture Notes in Computer Science 142 Springer Verlag Computer Algebra EUROCAL '83 European Computer Algebra Conference London, England March 1983 Edited by J. A. Van Hulzen INTRODUCTION ............................................................. 1 Algorithms 1 - Miscellaneous Integration - What do We Want From the Theory? (Invited Paper) ........... 2 J. H. Davenport The Euclidean Algorithm for Gaussian Integers ............................ 12 H. Rolletschek MultiPolynomial Remainder Sequence and its Application to Linear Diophantine Equations .................................................. 24 A. Furukawa Applications - Miscellaneous Towards Mechanical Solution of the Kahan Ellipse Problem I ................ 36 D. S. Arnon S. F. Smith Automatically Determining Symmetries of Ordinary Differential Equations ... 45 F. Schwartz Algebraic Computation of the Statistics of the Solution of Some Nonlinear Stochastic Differential Equations ....................................... 55 F. Lamnabhi-Lagarrique Gif sur Yvette M. Lamnabhi Characterization of a Linear Differential System with a Regular Singularity 68 A. Hilali Systems and Language Features The Bath Concurrent Lisp Machine .......................................... 78 J. Marti J. P. Fitch The Ecology of Lisp or the case for the Preservation of the Environment ... 91 J. A. Padget The Design of Maple: A Compact, Portable and Powerful Computer Algebra System .................................................................101 B. W. Char, K. O. Geddes, W. M. Gentleman G. H. Gonnet Lisp Compilation Viewed as Provable Semantics Preserving Program Transformation ............................................................116 H. Stoyan Implementing Reduce on a Micro-Computer ...................................128 J. P. Fitch Algorithms 2 - Polynomial Ideal Bases A Note on the complexity of Constructing Grobner Bases ....................137 B. Buchberger Grobner Bases, Gaussian Elimination and Resolution of Systems of Algebraic Equations .................................................................146 D. Lazard The Computation of the Hilbert Function ...................................157 F. Mora H. M. Moller An Algorithm for Constructing Detaching Bases in the Ring of Polynomials Over a Field ..............................................................168 F. Winkler Algorithms 3 - Computational Number Theory On the Problem of Beha Eddin Amuli and the Computation of Height Functions (Invited Paper) .........................................................180 H. G. Zimmer A Procedure for Determining Algebraic Integers of Given Norm ..............194 U. Fincke and M. Pohst Computation of Integral Solutions of a Special Type of Systems of Quadratic Equations ...............................................................203 M. Pohst Algorithms 4 - Factorization Factorization of Sparse Polynomials .......................................214 J. H. Davenport Early Detection of True Factors in Univariate Polynomial Factorization ....225 P. S. Wang On the Complexity of Finding Short Vectors in Integer Lattices ............236 E. Kaltoren Factoring Polynomials Over Algebraic Number Fields ........................245 A. K. Lenstra System Oriented Applications The construction of a Complete Minimal Set of Contextual Normal Forms .....255 M. Rice A Knowledge-Based Approach to User-Friendliness in Symbolic Computing .....267 F. Gardin J. A. Campbell Computer Algebra and VLSI, Prospects for Cross Fertilization ..............275 J. Smit Code Optimization of Multivariate Polynomial schemes: A Pragmatic Approach.286 J. A. van Hulzen Appendix: The Conference Program ....................................................301