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