Symbolic and Algebraic Computation: EUROSM '79, An International Symposium on Symbolic and Algebraic Manipulation, Marseille, France, June 1979

572 Pages·1979·14.44 MB·English

by  B. Buchberger (auth.)

erutceL Notes ni
retupmoC ecneicS
detidE yb .G Goos dna .J sinamtraH
27
II II I I
cilobmyS
dna ciarbeglA noitatupmoC
MASORUE '79, nA lanoitanretnI muisopmyS
no Symbolic dna Algebraic ,noitalupinaM
,elliesraM ,ecnarF enuJ 9791
detidE yb Edward .W gN
galreV-regnirpS
Berlin Heidelberg NewYork 1979
Editorial Board
.P Brinch Hansen .D Gries C. Moler .G Seegm~ller
.J Stoer .N Wirth
Editor
Edward W. Ng
teJ Propulsion Laboratory
California Institute
of Technology
4800 Oak Grove Drive
Pasadena, CA 91103/USA
SMA Subject noitacifissalC :)0791( 69A15
RC Subject snoitacifissalC :)4791( 5.25, 7.5
ISBN 3-540-09519-5 Springer-Verlag Berlin Heidelberg NewYork
ISBN 0-38?-09519-5 Springer-Verlag NewYork Heidelberg Berlin
This work is subject to copyright, All rights are reserved, whether the whole or part
of the material is concerned, specifically those of translation, reprinting, re-use of
illustrations, broadcasting, reproduction by photocopying machine or similar ,snaem
and storage in data banks. Under § 54 of the German Copyright Law where copies
are made for other than private use, a fee is payable to the publisher, the amount of
the fee to be determined by agreement with the publisher.
© by Springer-Verlag Berlin Heidelberg 1979
Printed ni Germany
Printing and binding: Bettz Offsetdruck, Hemsbach/Bergstr.
012345-0413/1412
UE ROSAM 1979
Colloque International
SUF
sel M6thodes de Calcul Symbolique et AIg6brique
Marseille, Juin 1979

ECAFERP
This is the second Symposium to be held in Europe which SIGSAM
has cosponsored. The first such meeting, EUROSAM 74, was held in Stockholm
in August 1974 just five years ago. International Symposia of this scope
involve planning over a considerable period of time and the services of many
individuals. It was on July 14, 1977 that Bobby Caviness, who had just
become SIGSAM Chairman, wrote to various members of the symbolic and
algebraic manipulation community in Europe about the possibility of. holding a
meeting there in 1979. As a result, a number of excellent proposals to host
the meeting were received.
It is parti~cularly appropriate that Marseille was finally chosen as the
host city in view of the long involvement of the Centre de Physique Th~orique
with computational physics colloquia. Under Tony Visconti's guidance, these
have always included many papers on symbolic and algebraic manipulation. As
anticipated, his local arrangements committee, and especially Anne Litman,
have done o superb job n~ setting up this current meeting.
The technical program has also required the help of many people.
Edward Ng's work as Proceedings Editor has involved much painstaking and
dedicated effort. The two program committee chairmen, David Yun and Hans
van Hulzen, together with their committees, have spent many hours in
preparing the fine program you see in these Proceedings. nI this regard, !
would also like to acknowledge the help of Joachim Neubuser who, while not
on official member of the Program Committees, provided important support at
various stages of their deliberations.
Sincere thanks are also due to the U.S. Army Research Office~for
providing financial support for Symposium attendees in addition to the French
sources of support mentioned in Tony Visconti's Preface. Finally, I would
especially like to acknowledge the efforts of Bobby Coviness who not only
initiated this meeting, as I mentioned earlier, but has also been responsible
for guiding many of its facets during the past two years. To all these
individuals end to the many others who have contributed to this program 1
would like to express my deepest appreciation.
Anthony .C Hearn
lithe views, opinions, and/or findings contained in this report ore those of the author(s)
and should not be construed as on official Deportment of the Army position, policy, or
decision, unless so designated by other documentotlon.

TNEMESSITREVA
Lorsqu'il ~ @t@ d@cid6 d'organiser ~ Marseille le
Colloque EUROSAM 79, nous ayahs pens@ qu'il serait effectivement
possible de fondre le V@me Colloque International sur les M6thodes
Avanc~es de Calcul en Physique Th~orique avec le Colloque qui nous
f~tait propos&
Nous avons &gatement choisi d'infl~chir la ligne
scientifique traditionnelle des Colloques de Marseille en dormant la
priorit~ aux th6mes qui sont plus sp6cifiques au SIGSAM. II semble
qua ce choix a ~t(~ heureux si I'on consid~re le hombre et le haut
niveau des communications pr@sent@es.
L'organization d'une telle manifestation a demands
un effort financier important, qu'il me salt permis de remercier ici
I'Universit~ d'Aix-Marseille II ainsi que la Direction des Recherches
Etudes et Techniques comme aussi le Centre National de la
Recherche Scientifique et le Centre de Physique Th~orique, Section II
de Marseille.
Antoine ITNOCSIV
Professeur ~ I'Universit~ de Provence

ORGAN! ZING COMMITTEE
B.F. Caviness, MASGIS Chairman
ECNEREFNOC CHAIRMEN
A. Visconti, Marseilles, ecnarF A.C. Hearn, Utah, U.S.A.
PROGRAM CHAIRMEN
J. nav Hulzen, ,etnewT Netherlands D.Y.Y. Yun, IBM/Stanford,U.S.A.
PROGRAM EETTIMMOC
J. Calmet, ,SRNC ecnarF .G .E Collins, Wisconsin, U.S.A.
.R ,sooL Karisruhe, ynamreG M. Griss, Utah, U.S.A.
A. Miola, IAC, Italy .V ,sseIP ,sionillI U.S.A.
A. Norman, ,egdirbmaC Great Britain .D .R U.S.A. Ha~ii, Stoutemyer,
D.Y.Y. Yun, IBM/Stanford, U.S.A. .B M. ,regarT ,yelekreB U.S.A.
J. nav ,etnev~T,nezluH sdnalrehteN
YTICILBUP CHAIRMAN & RERUSAERT
.R .D Jenks, IBM, U.S.A.
LACOL STNEMEGNARRA
M. Marseilles Bergman, .J Calmet, SRNC .A Utman, Marseilles
SGNIDEECORP ROTIDE
drawdE oW ,gN teJ Propulsion ,baL U.S.A.
X
Symbolic and Algebraic Computation
Calcul Symbolique et Algdbrique
Calcolo Simbolico Automatico
Formule Manipulatie
Computer Algebra
Automatisk Symbol Behandling
Calculo Simbolico y Algebraico
' A,Vy~/3ptKot XELptO'/~Ot
EtIHCEHM1JOBMHC EH tIHCEqMP6ErlJA RNHElJCIIRbB