\documentstyle[11pt,german]{article}
%\documentstyle[11pt]{article}
\textwidth 175mm\textheight 252mm\columnwidth\textwidth
\hoffset-25mm\voffset-35mm
\newcommand\tm{$^{\rm tm}$}
\newcommand\ca{Com\-pu\-ter\-al\-ge\-bra}
\newcommand\elib{elib}
\renewcommand{\baselinestretch}{0.9}
 
 
\begin{document}
\begin{Huge}
\noindent
\framebox[175mm]{\bf Computeralgebra--Rundbrief}
\end{Huge}
 
 
\noindent
{\it Nummer 10  \hfill Fachgruppe 2.2.1 \hfill 28. 2. 1992}
\footnotetext{{\bf Impressum}\hspace*{3mm}
{\em Computeralgebra--Rundbrief}
\hspace*{3mm}Herausgegeben von der Fachgruppe 2.2.1
{\em Computeralgebra} der GI, DMV und GAMM, Redaktionsschlu{\ss}
28.02 und 31.08. \hbox{Anschrift:}
Dr.~J.~Grabmeier, IBM Wissenschaftliches Zentrum Heidelberg,
Tiergartenstra"se 15, Postfach 103068, 6900 Heidelberg.
Elektronische Adresse: grabm@dhdibm1.earn.
Telefax: 06221-404-296.
ISSN 0933-5994}
 
\vspace*{8mm}
 
{\em
\noindent
Liebe Kolleginnen und Kollegen,

am Ende dieses Jahres stehen bereits wieder Neuwahlen der 
\ca-Fachgruppenleitung an. 
Je ein Mitglied der Fachgruppenleitung wird von DMV, GAMM und GI bestimmt.
Sie, die Mitglieder der Fachgruppe, w"ahlen 9 weitere Mitglieder der
Fachgruppenleitung. Sie werden gebeten, f"ur diese Wahl bis zum
1.7.92 Vorschl"age an Prof. Dr. V. Weispfenning, 
Universit"at Passau - Lehrstuhl f"ur Mathematik,
Postfach 2540,
W-8390 Passau, zu senden.

Alle Vorgeschlagenen werden danach gefragt werden, ob sie sich zur Wahl
stellen.\ Mit der Nr.~11 des Rundbriefs werden Sie dann im September/Oktober 1992eine
Liste der Kandidaten und Wahlunterlagen erhalten. Sie k"onnen dann bis zu
9 Kandidaten aus der Kandidatenliste anstreichen (Kumulierung ist nicht
zul"assig). F"ur die R"ucksendung der Wahlumschl"age wird eine Frist von
ca.~4 Wochen gesetzt werden. Diejenigen 9 Kandidaten, die die meisten
Stimmen auf sich vereinen, bilden zusammen mit den 3 von DMV, GAMM und GI
benannten Delegierten die neue Fachgruppenleitung, die ihre Arbeit am
01.03.93 aufnehmen soll. 

Da sich der zweij"ahrige Wahlmodus doch als sehr kurz herausgestellt
hat, haben wir die Satzung diesbez"uglich ge"andert. Die Amtszeit 
der Fachgruppenleitung wird deshalb ab dieser Wahl 3 Jahre betragen.

Bitte machen Sie von Ihrem Recht auf Mitbestimmung der Fachgruppenleitung
Gebrauch, zun"achst durch Benennung von Kandidaten, von denen Sie erwarten,
da"s sie die Sache der \ca\ tatkr"aftig unterst"utzen werden.

Aus gegebenem Anla"s haben wir eine Rubrik {\sl Leserbriefe}
eingef"ugt und hoffen auf viele Beitr"age Ihrerseits.
"Uber die aktive \ca-Gruppe CAMASA in Italien finden Sie
einen Bericht in dieser Ausgabe.

\vspace*{3mm}
 
\hspace*{70mm} V.~Weispfenning \hspace*{15mm} J.~Grabmeier}
\vspace*{5mm}
 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     Konferenzen                                                 %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
%{\vspace*{5mm}\Large\bf\hrule\vspace{1mm}
{\Large\bf\hrule\vspace{1mm}
\centerline{Hinweise auf Konferenzen}\vspace{1mm}\hrule}



\begin{enumerate} 
\item {\bf Partial Differential Equations and Group Theory}

Advanced 5-day course by INRIA and GMD,
Bonn, 06--10.04.1992.
 
\marginpar{ {\scriptsize Schwarz ?}}
 
{\footnotesize Kontaktadresse: GMD, M. Dresen, Institut f"ur 
methodische Grundlagen (F1 P), Postfach 1316,
W. 5205 Sankt Augustin 1}


\item {\bf MEGA-92 -- Effective Methods in Algebraic Geometry}
 
Nizza, Frankreich, 20.-24.04.1992.
 
%%\marginpar{ {\scriptsize ??}}
 
{\footnotesize Kontaktadresse: Teo Mora, Dipartimento di Matematica,
Via L.B. Alberti 2, I-16100 Genova,\hfill\linebreak theomora@igecuniv.bitnet.}

\item {\bf DISCO 92, Design and Implementation of
Symbolic Computation Systems}
 
Bath, England, 23.--24.04.1992.
 
%%\marginpar{ {\scriptsize ??}}

{\footnotesize  Organisation:
J.H.~Davenport (Bath), J.P.~Fitch (Bath),
jhd=disco@maths.bath.ac.uk, +44-225-826181, \hfill\linebreak
jpff@maths.bath.ac.uk, +44-225-826820,
School of Mathematical Sciences, U Bath, GB-Bath BA2 7AY.}
 
\item {\bf Computational Group Theory}
 
Mathematisches Forschungsinstitut Oberwolfach, 07.--13.06.1992.
 
%%\marginpar{ {\scriptsize Neub"user}}

{\footnotesize  Tagungsleitung:
J.~Neub"user (Aachen), C.~Sims (New Brunswick).
Teilnahme nur auf Einladung.}

\item {\bf Deutsch-Franz"osische Tagung \ca\  und Anwendung}
 
Saint-Louis(Ober-Elsa"s), Frankreich, 15.-17.06.1992

Achtung, diese Konferenz wurde verschoben, bitte beachten Sie 
den neuen Termin.
 
%%\marginpar{ {\scriptsize ??}}
 
{\footnotesize Kontaktadresse: L.R.Oudin, A.Carriere, Deutsch-Franz"osisches
Forschungsinstitut Saint-Lous, Postfach 1260. D-7858 Weil am Rhein 1}
\item {\bf Formal power series and algebraic combinatorics}
 
University of Quebec at Montreal, 15.--19.06.1992.

%%\marginpar{ {\scriptsize Strehl}}

{\footnotesize Kontaktadresse: P.~Leroux,  LACIM, Univ. du Quebec,
Case Postale 8888, Succursale A, Montreal, Canada H3C 3P8,
elektr. Adr.: lacim@lacim.uqam.ca.}

\item {\bf RISC-LINZ Summer School in Computer Algebra}
 
Universit\"at Linz, Austria,   06.--11.07.1992.
 
\marginpar{ {\scriptsize Winkler ?}}
 
{\footnotesize Kontaktadresse: F.~Winkler, RISC-LINZ, Universit\"at Linz,
A-4040 Linz, Austria,
elektr. Adr.: winkler@risc.uni-linz.ac.at}
 

 
\item {\bf RISC-LINZ Summer Course on Quantifier Elimination}
 
Universit\"at Linz, Austria,  13.--17.07.1992.
 
\marginpar{ {\scriptsize Collins ?}}
 
{\footnotesize Kontaktadresse: G.E.~Collins, RISC-LINZ, Universit\"at Linz,
A-4040 Linz, Austria,
elektr. Adr.: gcollins@risc.uni-linz.ac.at}



\item {\bf International Workshop on Mathematics
Mechanization: Theories and Applications of Algebraic Equation
Solving.}
 
Academia Sinica, Peking, China, 16.--18.07.1992.

%%\marginpar{ {\scriptsize ??}}

{\footnotesize Kontaktadresse: Wu Wen-ts"u, 
Mathematics Mechanization Research Center, Institute of Systems Science,
Peking, 100080, Volksrepublik China,
elektr. Adr.: bmadis@ica.beijing.canet.cn.}


\item {\bf ISSAC'92}
 
Berkeley, Kalifornien, USA, 27.--29.07.1992.

%%\marginpar{ {\scriptsize ??}}

{\footnotesize Kontaktadresse: R.~Fateman, 
EECS Dept., Comput. Sci. Div., 571 Evans Hall,
U of California, USA-Berkeley, CA 94720, elektr. Adr.:
fateman@cs.berkeley.edu, +1-510-642-1879 
or E.~Kaltofen, Dept. Comput. Sci., Rensselaer Polytechnic Institute,
USA-Troy, NY 12180-3590, elektr. Adr.: kaltofen@cs.rpi.edu, +1-528-276-6907.}

\item {\bf Computational Mathematics and Artificial Intelligence}

Karlsruhe, 03.--06.08.1992.

\marginpar{ {\scriptsize Calmet}}

{\footnotesize Kontaktadresse: J. Calmet, Universit"at Karlsruhe, 
elektr. Adr.: KG05@DKAUNI2.BITNET.}

\item {\bf Symbolic, algebraic and validated numerical computation}

Dagstuhl Seminar, 03.--07.08.1992.

\marginpar{ {\scriptsize Rump}}

{\footnotesize Organisatoren: James\ H.  Davenport,
F. Kr"uckeberg, R.~E.~Moore, S.~M.~.Rump. Teilnahme nur auf Einladung.}

{\footnotesize Kontaktadresse: Prof. Dr. S. M. Rump, Technische Informatik III,
TU Hamburg--Harburg, Ei"sendorfer Stra"se 38, D--2100 Hamburg 90.}

 
\item {\bf Workshop on ``Algebraic Approaches to Geometric Reasoning''}
 
Universit\"at Linz, Austria,  17.--19.08.1992.
 
\marginpar{ {\scriptsize Hong ?}}
 
{\footnotesize Kontaktadresse: H.~Hong, RISC-LINZ, Universit\"at Linz,
A-4040 Linz, Austria,
elektr. Adr.: hhong@risc.uni-linz.ac.at}

\item {\bf DMV-Jahrestagung: Sektion Wissenschaftliches Rechnen}
 
Humboldt-Universit"at Berlin, 14.--18.09.1992.

%%\marginpar{ {\scriptsize ??}}
 
{\footnotesize Sektionsleitung: P.~Deuflhard, Berlin, V.~Weispfenning, Passau
} 

 



\end{enumerate}
 
%\newpage
\vspace*{5mm}
 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     Berichte von Konferenzen                                    %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Berichte von Konferenzen}\vspace{1mm}\hrule}
\begin{enumerate}


\item {\bf CAMASA '91, Convegno Nazionale di Calcolo Algebrico e Simbolico}\\
Cagliari, Italy, 21.03.--23.03.1991.\\

{\footnotesize
Die Liste der Vortr"age dieser Konferenz (siehe auch den Beitrag
in der Rubrik {\sl Berichte von den Arbeitsgruppen}: 


A. Miola: {\it          TASSO, A system
for mathematical problem solving};
G. Attardi, C. Traverso: {\it   A network
implementation of Buchberger algorithm};
M.E. Alonso, T. Mora, M. Raimondo: {\it  
        Local decomposition algorithms};
M. Grieco, B.Zucchetti: {\it   The tangent cone
algorithm for modules and resolutions over local rings};
E. Strickland: {\it     An algorithm
related to the structure of the center of a quantized enveloping
algebra at a root of 1};
G.M. Piace: {\it        Computation of
co-characters and codimensions of relatively free algebras};
Rene Schoof: {\it      Algorithms for
integer factorization (invited)};
I. Del Corso, R. Dvornicich: {\it     A converse of
Artin's density theorem:  the case of cubic fields};
G. Niesi: {\it          CoCoA updates to
version 1.4 and goes on};
M. Caboara: {\it        Dynamic
evaluation of Groebner bases};
Dominique Duval: {\it   Applications of
dynamic evaluation to geometry (invited)};
S. Audoly, A.Buttu, G. Bellu, L. D'Angio': {\it  
        Procedures to investigate injectivity of
polynomial maps and to compute the inverse};
P. Cellini: {\it        Real solutions of
zero-dimensional systems};
F. P. Pierantonio: {\it         An
algebraic viex of inheritance and subtyping in Object Oriented
Programming};
M. Regio, M. Temperini: {\it     Object oriented
methodology for the specification and treatment of
mathematical objects};
G. Forcellese, M. Temperini: {\it       The use of a
deductive method into an oramework};
T. Krick, A. Logar: {\it        An algoritm for
the computation of the radical of an ideal in the ring of
polynomials};
L. De Floriani, E. Puppo: {\it   An on-line
algorithm for constrained Delaunay triangulation};
L. Cerlienco, F. Piras: {\it     On the cofinite
ideals of a polynomial algebra};
G. Carra' Ferror: {\it   Minimal Hilbert
polynomials in algebraic geometry and differential algebra};
A.M. Bigatti, M. Caboara, L. Robbiano: {\it       On
the computation of Hilbert Poincare series};
A. Bertoni, P. Massazza: {\it    Algorithms for the
Hadamard product of holonomic formal series};
M. Torelli: {\it        Combinatorial
manipulation of symmetric functions};
Claude Kirchner: {\it   Constrained
deduction (invited)};
G. Gallo: {\it          Some remarks
about the membership problem for differential ideals};
S. Anelli, E. Damiani, O. D'Antona, D. Loeb: {\it  
        Tiling bricks with... Mathematica};
E. Sernesi, C.Traverso: {\it    Absolute
factorization and absolute irreducibility tests, a review};
F. Rossi, W. Spangher: {\it      Some computation
of the openness of loci for modules};
V. Cutello: {\it        A note on the
decidability problem for a topological syllogistic involving the
notion of topological product};
R. Ru: {\it     A sorted logic with
union and partition of sorts};
H. Michael Moeller : {\it       Linear bases and
Groebner bases (invited)};
P. Conti: {\it          Groebner bases and
diphantine linear systems};
C. Limongelli, A. Miola: {\it    Abstract
specification of numeric and algebraic computation methods};
S. Bonamico, G. Cioni, A. Colagrossi: {\it        A
Gentzen based deduction method for mathematical problem
solving};
L. Cerlienco, M. Mureddu: {\it   Algebraic
interpolation in higher dimension:  a combinatorial approach};
L. Robbiano: {\it       Bounds for degrees
and number of elements in Groebner bases};
M.G. Marinari, H.M. Moeller, T. Mora: {\it  
        Groebner bases of ideals defined by
functionals with an application to ideals of projective points}.

}
\begin{flushright}
Teo Mora, Genua
\end{flushright}

\item {\bf Programming Enviroments for High Level Scientific Problem
Solving}
 
Karlsruhe, 23.--27.9.1991
 
Dies war die sechste ``Working Conference'' der WG (working group) 2.5 der
IFIP, die sich mit Scientific Computing besch"aftigte. Sie wurde von dem
Institut f"ur angewandte Mathematik der Universit"at Karlsruhe mit organisiert.
Den Vorsitz des Programmkommitees teilten sich B.~Einarsson und L.D.~Fosdick.
Die Proceedings werden bei North-Holland erscheinen und von P.~Gaffney und
E.~Houstis herausgegeben werden. U.~Kulisch und A.~Schreiner waren die lokalen
Organisatoren. Wie "ublich bei den Arbeitskonferenzen der IFIP war die Teilnahme
nur auf Einladung m"oglich. Das Gleiche galt f"ur die Vortragenden, die
ausgew"ahlt wurden, um folgende Gebiete abzudecken: Intelligent Assistants,
Mathematical Methods, Systems and Tools, Interaction and Visualization and
System Engineering (2 Sitzungen). Die Teilnehmerzahl wurde gering gehalten
(unter 100), um eine Arbeitsatmosph"are herzustellen. Aus demselben Grund gab
es nach jedem Vortrag gen"ugend Zeit f"ur ausgedehnte Diskussionen. Zus"atzlich
schlo"s sich an jede Sitzung eine f"unfzehnmin"utige Diskussion an.
Die Konferenz war interdisziplin"ar angelegt und von einem Programmkommitee
vor"-be"-rei"-tet, das seine
Arbeit bereits 1988 aufnahm (Treffen in Stanford 1988, Beijing 1989, Jerusalem
1990). Die Vortr"age im einzelnen in zeitlicher Reihenfolge:
 
{\footnotesize
S.~S.~Tong: {\it Integration of Symbolic and Numerical Methods for
Optimizing Complex Engineering Systems},
W.M.~Gentleman: {\it Symbiotic Computation: Opportunities and  Complications},
P.C.~Abbott: {\it Problem Solving Using Mathematica},
S.~Rump: {\it Accuracy Control and Estimation,  Self-Validating Systems and
Software Environments  for  Scientific Computation},
W.~Schoenauer: {\it Polyalgorithms with Automatic Method Selection for the
Iterative Solution of Linear Equations and Eigenproblems},
J.A.~Nelder: {\it The Computer as Statistical Assistant },
R.F.~Boisvert: {\it Toward an Intelligent System for Mathematical Software
Selection},
M.~Shimasaki: {\it Fractals in Quaternions and their Application to Computer
Graphics},
V.P.~Gerdt: {\it Computer Algebra Tools for Higher Symmetry Analysis of
Nonlinear Evolution Equations},
B.~Buchberger: {\it Groebner Bases in Mathematica: Enthusiasm and Frustration},
D.~Duval: {\it Examples of Problem Solving using Computer Algebra},
S.~Feldman: {\it Environments for Large-Scale Scientific Computation},
H.~Zima: {\it Software Tools for Parallel Program Development},
W.R.~Dyksen: {\it Fortran Interface Blocks as an Interface Description
Language for Remote Procedure Call},
N.~Hurley: {\it An Integrated Problem Solving Environment for Numerical
Simulation of Engineering Problems},
M.~Clarkson: {\it Expert System as an Intelligent User Interface for
Symbolic Algebra},
A.~Miola: {Design and Implementation of Symbolic Computation Systems},
E.~Houstis: {\it Parallel Ellpack},
J.~Purtilo: {\it Dynamic Software Reconfiguration Supports Scientific Problem
Solving Activities},
Y.~Umetani: {\it Visual DEQSOL: A Visual and Interactive Environment for
Numerical Simulation},
E.~Grosse: {\it Display of Functions of Three Space  Variables and Time Using
Shaded Polygons and Sound},
H.J.W.~Spoelder: {\it Distributed Visual Programming  Environment: an Attempt
to Integrate Third Generation Languages  with Advanced User Environments},
P.M.~Dew: {\it Visualization and its Use in Scientific Computation},
J.A.~van~Hulzen: {\it Automated Generation of Optimized Numerical Code for
Jacobians and Hessians},
N.~Holsti: {\it Transcript Editing, A Simple User Interface Tool},
A.~Bonadio: {\it Mathematical User Interfaces for Graphical Workstations},
D.~Gay: {\it Toward an Environment for Mathematical Programming},
J.~Reid: {\it The Fortran 90 Standard},
K.~Broughan: {\it SENAC: Lisp as a Platform for Constructing a Problem
Solving Environment},
J.~Rice: {\it Future Research Directions in Scientific Problem Solving
Environments},
C.W.~Cryer: {\it The ESPRIT Project FOCUS},
S.J.~Hague: {\it Use of Knowledge Bases for Problem Solving --
The FOCUS Approach}
}
 
\begin{flushright}
J. Calmet, Karslsruhe
\end{flushright}
 
 

\item {\bf Parallel Computation, Special Session: Parallel Symbolic
Computation}\\
Salzburg, Austria, Europe,  30.09.--02.10.1991.
 
Im Rahmen der ``{\it Ersten internationalen Konferenz des ACPC (Austrian Center
 for
Parallel Computation)}'' gab es auch eine gut besetzte Sitzung "uber
`Parallel Symbolic Computation'. Der Schwerpunkt lag bei dieser Sitzung
auf Computer Algebra. Als eingeladener Vortragender sprach Dr.\ P.\ Wang
(Kent State University) "uber seine Erfahrungen mit der Parallelisierung von
\ca-Algorithmen. Der Themenbereich der weiteren Vortr"age
reichte von paralleler Multiplikation, "uber Probleme aus der Graphentheorie
bis zu einem Ansatz der Parallelisierung des `Buchberger Algorithmus' und
zur Verwendung einer Bibliothek von parallelen C-Routinen zur Berechnung
und Manipulation von Polynomen. Die gro{"s}e thematische Bandbreite dieser
Vortr"age unterstreicht die Bedeutung von `Symbolic Computation' innerhalb
des stark wachsenden Gebietes der `Parallel Computation'.
 
 
Die Vortr"age im einzelnen in zeitlicher Reihenfolge mit kurzen Inhaltsangaben:
 
{\footnotesize
P.~Wang: {\it Symbolic Computation and Parallel Software},
in diesem eingeladenen Vortrag befa"ste sich Dr.\ Wang mit der Parallelisierung
von zwei grundlegenden \ca-Algorithmen, n"amlich mit einem Algorithmus
zur Parallelisierung der Faktorisierung univariater Polynome, sowie mit einer
parallelen Version des Berlekamp-Algorithmus. Au"serdem zeigte der
Vortragende die M"oglichkeit der automatischen Erzeugung von parallelem
Code auf;
D.~Wang: {\it On the Parallelization of Characteristic-Set-Based Algorithms},
dieser Vortrag zeigte die Verwendung eines Ansatzes grobk"orniger Parallelit"at
zur Parallelisierung von Algorithmen, die auf dem Prinzip der charakteristischen
Mengen basieren. Zur Realisierung der Parallelit"at wurde hier das \ca-System
Maple verwendet;
P.~Lippitsch: {\it Multiplication as Parallel as Possible},
dieser Vortrag zeigte die M"oglichkeit, Methoden aus dem Bereich der \ca\
auch f"ur Problem im Bereich des Hardwaredesigns anzuwenden.
Konkret wurde die M"oglichkeit einer VLSI-Implementierung eines bekannten,
parallelen Multiplikationsalgorithmus betont;
J.~Zerovnik: {\it On the Existence of an Efficient Parallel Algorithm for a
                  Graph Theoretic Problem},
in diesem Vortrag diskutierte der Vortragende einen parallelen Algorithmus,
mit dessen Hilfe man eine Reihe interessanter und wichtiger Fragestellungen
der Graphentheorie an konkreten Graphen beantworten kann;
D.~Hawley: {\it A Buchberger Algorithm for Distributed Memory Multi-Processors},
dieser Vortrag besch"aftigte sich, startend vom Bereich des `Constraint Logic
Programming', mit einer M"oglichkeit der Parallelisierung des
Buchberger-Algorithmus. Die Bedeutung dieses Ansatzes liegt darin, da"s
beim `Constraint Logic Programming' der Buchberger-Algorithmus zur L"osung
sehr rechenintensiver Subprobleme herangezogen werden kann;
W.~K"uchlin: {\it On the Multi-Threaded Computation of Modular Polynomial
                  Greatest Common Divisors},
das Hauptgewicht in diesem Vortrag lag in der Vorstellung einer
Bibliothek von parallelen C-Routinen (basierend auf dem parallelen
Betriebssystem Mach), mit deren Hilfe eine sehr effiziente Parallelisierung
von \ca-Algorithmen m"oglich wird. Au"serdem ist durch die
Verwendung des Betriebssystems Mach eine gro"se Portabilit"at gegeben.
Ferner wurde die Verwendung dieser Bibliothek am Beispiel eines
Algorithmus zur Berechnung des gr"osten gemeinsamen Teilers von
Polynomen benutzt.
} %footnotesize
 
\begin{flushright}
Hans Wolfgang Loidl, Linz
\end{flushright}

\item {\bf AAECC-9, Ninth International Symposium on Applied Algebra,
Algebraic Algorithms, and Error Correcting Codes}
 
New Orleans, 07.--10.10.1991
 
Diese neunte Konferenz wurde von T.R.N.~Rao, T.~Mora und Skip~Mattson
organisiert. Sie sind auch die Herausgeber der Proceedings, die als
Band~359 der Lecture Notes in Computer Sciences beim Springer-Verlag
erschienen. Die Hauptthemen der Konferenz gibt bereits der Name an mit
Ausnahme der Kryptographie, die ebenfalls gut vertreten war. Die
Teilnehmerzahl war ungew"ohnlich gering (ca.~90--100). Der Hauptgrund lag
darin, da"s die Konferenz in einem teuren Hotel (das Monteleone) in der
Innenstadt von New Orleans stattfand. In Zukunft wird sie alle zwei Jahre
organisiert werden, um einen hohen Standard der akzeptierten Arbeiten zu
sichern. Die n"achste Konferenz wird im M"arz 93 in Puerto Rico mit
Unterst"utzung des Mathematischen Institut der University of Cornell
abgehalten werden. Die endg"ultigen Daten werden gegen Ende des Jahres
feststehen. Als letztes sei angemerkt, da"s es in Zukunft keine informellen
Vortr"age (d.h. solche, die nicht in den Proceedings erscheinen) mehr geben
wird. Die Vortr"age in zeitlicher Reihenfolge:
{\footnotesize
P.~Cellini,~P. Gianni, C.~Traverso:
{\it Algorithms for the Shape of Semialgebraic Sets. A New Approach},
H.~Janwa:
{\it On the Parameters of Algebraic Geometric Codes},
E.~Kaltofen, B.D.~Saunders:
{\it On Wiedemann's Method of Solving Sparse Linear Systems},
S.N.~Litsyn:
{\it Fast Algorithms for Decoding Orthogonal and Related Codes},
W.V.~Vasconcelos:
{\it Jacobian Matrices and Constructions in Algebra},
T.~Becker:
{\it Homogenity, Pseudo-Homogenity, and Gr"obner Basis Computations},
T.~Beth, F.~Schaefer:
{\it Arithmetic on Non-Supersingular Elliptic Curves},
G.~Butler:
{\it Implementing Some Algorithms of Kantor},
J.F.~Canny:
{\it Computing Roadmaps of General Semi-Algebraic Sets},
J.F.~Canny:
{\it An Improved Sign Determination Algorithm},
H.~Chung:
{\it The 2-nd Generalized Hamming Weight of Double-Error Correcting Binary
BCH Codes and Their Dual Codes},
P.~Conti, C.~Traverso:
{\it Buchberger Algorithm and Integer Programming},
M.~Diab:
{\it New Systolic Architectures for Cyclic Code Encoding},
M.J.~Dinneen, M.R.~Fellows, V.~Faber:
{\it Algebraic Constructions of Efficient Broadcast Networks},
C.~van~Eijl, G.~Cohen, G.~Z\'emor:
{\it Error-Correction for WIMs and WUMs},
G.~Gallo, B.~Mishra, F.~Ollivier:
{\it Some Constructions in Rings of Differential Polynomials},
L.P.~Holmquist, L.L.~Kinney:
{\it Concurrent Error Detection in Sequential Circuits Using Convolutional
Codes},
T.~Krick, A.~Logar:
{\it An Algorithm for the Computation of the Radical of an Ideal in the Ring
of Polynomials},
W.~Kuechlin, D.~Lutz, N.~Nevin:
{\it Integer Multiplication in PARSAC-2 on Stock Microprocessors},
G.~Lachaud, J.~Stern:
{\it Polynomial-Time Construction of Spherical Codes},
L.~Langemyr:
{\it Algorithms for a Multiple Algebraic Extension II},
P.~Langevin:
{\it On the Orphans and Covering Radius of the Reed-Muller Codes},
Y.~Li, X.~Wang:
{\it A Joint Authentication and Encryption Scheme Based on Algebraic
Coding Theory},
A.C.~Lobstein, P.~Sol\'e:
{\it Arithmetic Codes --- Survey, Recent and New Results},
R.~Morelos-Zaragoza, S.~Lin:
{\it Some Results on Linear Unequal-Error-Protection Codes Specified
by their Generator Matrix},
G.~Moreno Socias:
{\it An Ackermannian Polynomial Ideal},
T.~Mostowski, E.~Rannou:
{\it Complexity of the Computation of the Canonical Whitney Stratification
of an Algebraic Set in Cn},
F.~Otto:
{\it Some Undecidability Results for Weakly Confluent Monadic
String-Rewriting Systems},
P.~Pedersen:
{\it Calculating Multidimensional Symmetric Functions Using Jacobi's Formula},
P.~Pedersen:
{\it Multivariate Sturm Theory},
M.~Perret:
{\it Binary Spherical Geometric Codes},
A.~Poli, M.~Belkasmi:
{\it An Algebraic Construction of Generalized Beenker's Codes},
J.~Rif\`a, J.~Borrell:
{\it Improving the Time Complexity of the Computation of Irreducible and
Primitive Polynomials in Finite Fields},
J.~Rif\`a, J.~Pujol:
{\it Completely Transitive Codes and Distance Transitive Graphs},
J.-J.~Risler :
{\it Placement of Curved Polygons},
F.~Rodier:
{\it On the Weights of the Elements of the Duals of Binary BCH Codes},
F.~Rossi, W.~Spangher:
{\it Computation of the Openness of Some Loci of Modules},
Y.~Saitoh, H.~Imai:
{\it Random and Byte Error Correcting Codes for Asymmetric or Unidirectional
Error Control},
S.~Sakata:
{\it Finding a Minimal Polynomial Vector Set of a Vector of nD Arrays},
P.~Sol\'e:
{\it Covering Codes and Combinatorial Optimization},
O.N.~U\c an, "U.~Ayg"ol"u, E.~Panayirci:
{\it Decoding of Quadrature Partial Response-Trellis Coded Signals (QPR-TCM)
in the Presence of Intersymbol Interference and Noise},
F.~Ulmer:
{\it On Algebraic Solutions of Linear Differential Equations with Primitive
Unimodular Galois Group},
F.S.~Vainstein:
{\it Error Detection and Correction in Numerical Computations by Algebraic
Methods},
K.~Zeng, D.-Y.~Wei, T.R.N.~Rao:
{\it d-Functions in Vk(F2) and Self-Decimation of m-Sequences},
L.~Zhang, B.~Vuketic:
{\it Multilevel Modulation Codes for Rayleigh Fading Channels}
 
}
\begin{flushright}
J. Calmet, Karlsruhe
\end{flushright}
 
\item {\bf DIMACS Workshop on Computation in Groups}

Rutgers, NJ, USA, 07.-10.10.1991.

Da"s dies bereits die zweite in diesem Jahr von DIMACS organisierte Konferenz
zum Thema Computeralgebra war (vgl.~Bericht Nr.~2 in Nr.~9 des Rundbriefs),
unterstreicht die Bedeutung, die man dort unserem Arbeitsgebiet beimi"st.
 
In der Computational group theory gibt es seit ca.~10 Jahren neben
schon l"anger bestehenden
Arbeitsgruppen, die Algorithmen mit dem direkten Zweck der Anwendung auf
gruppentheoretische Probleme entwickeln und implementieren, eine wachsende
Zahl von Mathematikern, die die Komplexit"at von gruppentheoretischen
Algorithmen insbesondere f"ur Permutationsgruppen untersuchen, sehr oft ohne
jeden Bezug zu konkreten Implementationen oder sogar
Implementationsm"oglichkeiten. Diese Entwicklung wurde vor allem durch
die Entdeckung von G.~Luks (Oregon) ausgel"ost, da"s Algorithmen von
Ch.~Sims (Schreier-Sims Methode) zur Konstruktion von Permutationsgruppen
zugleich den Beweis der polynomialen L"osbarkeit gewisser
Isomorphieprobleme von Graphen dienen k"onnen. (Siehe Ch.M. Hoffmann,
{\it Group-Theoretic Algorithms and Graph Isomorphism}. Lecture Notes in
Computer Science 136, Springer, 1982.)\\ \\
In der Folgezeit haben eine Reihe von Gruppentheoretikern (L.~Babai,
W.~Kantor, P.~Neumann, u.a.) erkannt, da"s die Klassifikation der
endlichen einfachen Gruppen und die O'Nan-Scott Klassifikation der
primitiven Permutationsgruppen Verbesserungen von worst-case
Komplexit"atsabsch"atzungen f"ur Permutationsgruppenalgorithmen
liefern.
 
Ein offensichtliches Ziel der Tagung war es, diese sehr theoretischen
Untersuchungen und konkrete Implementationen und Systementwicklungen
wieder in engeren, gegenseitig n"utzlichen Kontakt zu bringen. Man
kann sagen, da"s in vielen Vortr"agen und einer Panel-Diskussion
erfreuliche Ans"atze zur Erreichung dieses Ziels sichtbar wurden;
wir hoffen insbesondere - und haben dazu bereits einige Verabredungen
getroffen - da"s das Aachener Gruppentheoriesystem GAP bei solchen
Bem"uhungen eine Rolle spielen wird, auch wenn man sicher hinzuf"ugen
mu"s, da"s
hier noch eine Menge Arbeit zu tun ist.

Die Vortr"age im einzelnen in zeitlicher Reihenfolge:

{\footnotesize
L.~Babai: {\it Combinatorial Methods for Algorithms in Finite Groups},
J.~Dixon: {\it Computing Ordinary representations of finite groups},
J.~Neub"user: {\it Coxeter Group, some GAP, some remarks},
P.~Neumann, C.~Praeger: {\it Algorithms for Computing Matrix Groups},
A.~Rosenberg: {\it Almost all Cayley Graphs are almost direct product
graphs and why we care},
D.~Holt: {\it Computing Quotients of finitely presented groups},
K.~Blaha: {\it Minimum Bases for Permutation Groups. The Greedy
Algorithm},
C.~Sims: {\it Complexity Issues in Infinite Group Theory},
E.~Luks: {\it Polynomial time Computation and Permutation Groups},
L.~Soicher: {\it Computing with Graphs and Groups},
A.A.~Ivanov: {\it Package for computing with Coherent Configurations},
L.~Pyber: {\it Generation and Enumeration of Permutation Groups},
G.~Cooperman: {\it New tools for Computational Group Theory},
L.~Finkelstein: {\it New tools for Computational Group Theory},
I.~Weisz: {\it PERM-A program for computing Strong Generating Sets},
B.~York: {\it Implications of Parallel Architectures for Group
Computations},
C.~Lam: {\it Application of Group Theory to Combinatorial Searches},
G.~Schneider: {\it Computing Loewy Series of $Sz(8)$},
D.~Rockmore: {\it Computing of Isotypic Projections for Data on
Homogeneous Spaces},
M.~Clausen: {\it FFT on non-abelian groups},
L.~Ronyai: {\it Computations in Associative Algebras},
N.~Sarawagi: {\it Group Membership for Primitive Groups},
A.~Goodman: {\it Subdirectly reducible groups and edge minimal graphs with
a given automorphism group},
W.~Kantor: {\it Orders of elements},
A.~Seress: {\it Composition factors in Primitive Groups},
R.~Beals: {\it Structure forest in nearly linear time for small
base groups},
P.~Mark: {\it Parallel Algorithms for Sylow's Theorem},
J.H.~Conway: {\it Infinite reflection groups as a tool for computing}.\\ \\
An einem Abend fand eine Demonstration von gruppentheoretischen Programmen
statt. Hierbei wurden vorgestellt:\\ \\
D.~Holt and S.~Rees: {\it Computing with quotients of finitely presented
groups},
J.~Leon: {\it Partition backtrack algorithms for permutation groups},
J.~Neub"user and F.~Celler: {\it GAP},
L.~Soicher: {\it Computing with graphs and groups},
G.~Havas: {\it Algorithms for computing with finitely presented groups},
C.~Lam: {\it ISOM},
A.~Seress and I.~Weiss: {\it PERM: Computing strong generating sets for
permutation groups},
A.A.~Ivanov: {\it Computing with coherent configurations},
A.~Cohen: {\it  LIE: A system for computing with Lie groups}. 
}%footnotesize
\begin{flushright}
J. Neub"user, Aachen
\end{flushright}
 
\item {\bf Algorithmen der Computeralgebra}
 
Dagstuhl Seminar, 16.--20.12.1991.
 
Vom 16. bis zum 20. Dezember 1991 fand das erste Seminar "uber Computer
Algebra in Dagstuhl statt. Die Oberwolfach "ahnliche Atmosph"are war f"ur die
etwa 25
Teilnehmer eine ideale Umgebung f"ur Diskussionen am Rande des Tagungsprogramms.
Ein "ahnliches Seminar soll in etwa zwei Jahren wiederholt werden.
Es folgt eine Aufstellung der Vortragenden und ihrer Vortragsthemen:\\[0.8cm]

{\footnotesize
 
M. Singer: {\it Bounds and necessary conditions for Liouvillian solutions of linear
differential equations},
M. Bronstein: {\it Algorithms for symbolic solution of differential equations},
E. Kaltofen: {\it Factoring polynomials over the algebraic closure},
A. Sch"onhage: {\it Real and complex high precision squareroot computations},
C. Traverso: {\it Gr"obner bases and integer programming},
A. Peth"o: {\it Computation of all non-equivalent, irreducible cubic polynomials up to discriminant 50.000},
D. Lazard: {\it Steward Platform},
M. M"oller: {\it Gr"obner bases computation using syzygies},
M. Giusti: {\it The dimension of an algebraic variety can be computed in polynomial time},
G. Michler: {\it Fast fourier transformations on groups and statistical ranking pro- blems},
J. v. z. Gathen: {\it Factoring polynomials over finite fields},
H. Grassmann: {\it Identities of 2 x 2 matrices},
V. Weispfenning: {\it Parametric Gr"obner bases - Theory and practice},
B. Sturmfels: {\it Sparse resultants II},
G. Gonnet: {\it New algorithms for asymptotic and series computations},
W. La"ssner: {\it Computer algebra and lie algebras: classification and identification of lie algebras},
F. Schwarz: {\it Reduction and completion algorithms for partial differential equations},
H. G. Zimmer: {\it Algorithms for elliptical curves},
W. Krandick: {\it Isolation of polynomial complex roots}.
}%footnotesize
\begin{flushright}
F.~Schwarz, St.Augustin
\end{flushright}

\end{enumerate}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     Systeme                                                     %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Neues \"uber Systeme und Hardware\vspace{1mm}}\hrule}
\vspace*{0.5cm}
 
\renewcommand{\arraystretch}{1.3}

\begin{center}
{\Large {\bf Maple V}}\\
\smallskip
\end{center}

\noindent
Ab sofort ist Scientific Computers alleiniger autorisierter
Distributor f"ur das Softwarepaket MAPLE V.

MAPLE V ist ein interaktives Werkzeug f"ur \ca,
ausgelegt f"ur Wissenschaftler, Ingenieure, Forscher, Professoren
und Studenten, um numerische und symbolische mathematische Probleme
zu verstehen und zu l"osen.

MAPLE V beinhaltet mehr als 2.000 Funktionen, u.a. aus den Bereichen
Allgemeine Mathematik, Objektmanipulation, Kombinatorik,
Differentiation, Geometrie, Gruppentheorie, lineare Algebra, lineare
Optimierung, Zahlentheorie, Polynome, Statistik.

Weitgehende Grafikm"oglichkeiten, wie eine Vielzahl von 2D und 3D
Plotfunktionen, erlauben ausgekl"ugelte Darstellungen der Rechner"-ergebnisse.

Gegen"uber der im \ca-Rundbrief Nr. 3 vom 25.10.1988
vorgestellten MAPLE 4.2 Version beinhaltet MAPLE V erheblich mehr
Funktionen und graphische Darstellungsm"oglichkeiten.

MAPLE V wird f"ur alle g"angigen Computerplattformen angeboten; als
User-Interface stehen je nach Rechner MS-DOS, X-Windows-MacIntosh-
UNIX-, VMS-, CMS-Versionen zur Verf"ugung.

F"ur Hochschulen kann MAPLE V in Form von attraktiven Multi-User-,
Site- und Campus-Lizenzen angeboten werden.

Auf Anforderung "ubersendet Scientific Computers GmbH eine Demo"-diskette
und bietet MAPLE V f�r die beim Kunden vorhandene Plattform
an.

Unterlagen, Demodiskette und Angebote sind erh"altlich bei:

{\footnotesize
\begin{center}
Scientific Computers GmbH\\
Franzstra�e 107, Postfach 18 65\\
5100 Aachen\\
Tel.: 0241-26041, Fax.: 0241-44983
\end{center}
}

\begin{flushright}
Scientific Computers GmbH, Aachen
\end{flushright}



\begin{center}
{\Large {\bf 
GP/Pari Calculator Version 1.35.01
}}\\
\smallskip
\end{center}

\noindent
Der GP/Pari-Calculator (kurz: GP) der Autoren C.Batut, D.Bernardi,
H.Cohen und M.Olivier stellt ein interaktives \ca-System
dar, wie man es von Maple, Mathematica udgl. kennt. Der Umfang der 
verf"ugbaren Routinen ist zwar bei weitem nicht so gro"s wie der der 
Standardsoftware, enth"alt aber insbesondere f"ur Algebraiker und 
Zahlentheoretiker interessante Routinen (Klassenzahl und 
Grundeinheiten quadratischer Zahlk"orper,LLL-Algorithmus, Prozeduren
zu elliptischen Kurven) sowie eine recht komfortable 
Grundaussstattung an Routinen aus der linearen Algebra (Matrizen- und
Polynomkalk"ul). Neben den sehr effizient programmierten 
Arithmetikroutinen f"ur ganze, rationale und reelle Zahlen verf"ugt 
GP auch "uber die M"oglichkeit, p-adische Zahlen (mit vorgegebener 
Pr"azision) zu verarbeiten. GP enth"alt zus"atzlich die M"oglichkeit,
eigene Funktionen zu definieren, und besitzt mit 4 (vier!) 
for-Schleifen-Konstrukten (for, fordiv, forprime, forstep) sowie den 
weiteren Kontrollstrukturen if, until und while sehr komfortable 
Features.\\

S"amtliche Routinen sind in C programmiert (f"ur einige Rechner - 
insbesondere f"ur Sun-Workstations - wurden zus"atzlich sehr
schnelle Assembler-Routinen f"ur einige rechenintensive Prozeduren 
angefertigt), und zwar so, da"s sie ohne Schwierigkeiten in eigene 
C-Programme eingebunden werden k"onnen. Allerdings ist die von diesen
Routinen geforderte Verwaltung des internen Rechnerspeichers 
gew"ohnungsbed"urftig, speziell trifft dies auf die die Funktion gerepile zu, 
die f"ur die garbage collection verantwortlich ist. 
Die Funktionsweise dieser und 
anderer Routinen ist in einem "uber 70 Seiten starken Users Guide 
(englisch) gut erl"autert und mit einem Programmbeispiel eingehend 
erl"autert.\\

Das wichtigste Faktum zum Schlu"s: GP/Pari ist frei erh"altlich per 
anonymous ftp aus Frankreich (Internet-Addresse: 192.33.148.32) oder 
aus den USA (Internet-Addresse: 128.97.64.16, in /pub/pari als 
komprimierter tar-Archiv-File pari-1.35a.tar.Z).

\begin{flushright}
D. Berntzen, M"unster
\end{flushright}

\begin{center}
{\Large {\bf 
CAIS: das Computeralgebra-Informationssystem
}}\\
\smallskip
\end{center}
Wie schon im letzten Rundbrief Nr. 9 angek{\"u}ndigt wurde, ist am
Konrad-Zuse-Institut
in Berlin das Computeralgebra-Informationssystem in Betrieb genommen worden.
 Damit
soll allen an der \ca-Interessierten die M{\"o}glichkeit gegeben
 werden,
sich {\"u}ber neuere Entwicklungen --- sowohl in der \ca-Fachgruppe
als auch bei der Software --- zu informieren.
 
Insbesondere sind die folgenden Rubriken eingerichtet:

\begin{enumerate} 
\item[1]: Mitteilungen der Fachgruppenleitung
\item[2]: \ca-Rundbriefe
\item[3]: \ca-Systeme --- Beschreibungen
\item[4]: Anfragen/Antworten/Diskussionen
\end{enumerate} 
 
Beim Punkt 4 handelt es sich - im Gegensatz zu anderen Diskussionsgruppen -
um eine moderierte Diskussionsliste. Schicken Sie daher Nachrichten, die ins
CAIS unter 4. abgelegt werden sollen, bitte an mich. Meine elektronische
Adresse ist {\tt mat420@de0hrz1a.bitnet}.

Zur Benutzung des Systems sind schon verschiedene allgemeine Einf{\"u}hrungen
ver{\"o}ffentlicht worden. Ich m{\"o}chte daher lieber eine kurze
Beispielsitzung
wiedergeben, um den Einstieg zu erleichtern.
 
Der Zugang ist sowohl offline ({\"u}ber electronic mail) als auch interaktiv
m{\"o}glich, und dabei gibt es auch wieder zwei Wahlm{\"o}glichkeiten: entweder
per {\tt X.29} oder via {\tt telnet}.
Da die meisten Nutzer selbst keinen {\tt X.29}-Anschlu{\ss}
haben und deshalb {\"u}ber ein gateway am Rechenzentrum gehen m{\"u}ssen, will
ich mich auf die zweite M{\"o}glichkeit des Zugangs beschr{\"a}nken, den {\tt
 telnet}-Zugriff.
Dieser ist von jeder am Internet angeschlossenen Workstation
m{\"o}glich und es m{\"u}ssen keine Parameter eingestellt werden. Daher ist die
Benutzung denkbar einfach.
 
Zum Zugriff auf die \elib\ geben Sie bitte von Ihrem Terminal das Kommando
 
\centerline{\tt telnet elib.zib-berlin.de}
 
Dann wird Ihr Rechner versuchen, eine Verbindung nach Berlin aufzubauen.
Es kommt ziemlich schnell (manchmal aber auch nicht) die Meldung {\tt connected}
und dann der Login-prompt. Geben Sie als Userid {\tt elib} ein; ein Pa{\ss}wort
 ist
nicht erforderlich. Nun erscheint ein Menu, in dem die verschiedenen Dienste
der \elib\ aufgef{\"u}hrt sind - neben der \ca gibt es noch eine
Reihe weiterer interessanter Punkte! Um zur \ca-Unterabteilung
zu kommen, geben Sie bitte die Zahl {\tt 10} ein und dr{\"u}cken {\tt <return>}.
 
Wenn Sie sich nun die alten Ausgaben des \ca-Rundbriefes ansehen
wollen, so geben Sie jetzt die Zahl {\tt 2} ein und im n{\"a}chsten Menupunkt
die Nummer des gew{\"u}nschten Rundbriefes - dann wird dieser auf dem
Bildschirm ausgegeben.
 
Um zum n{\"a}chsth{\"o}heren Menupunkt zur{\"u}ckzukehren, gen{\"u}gt das
 Kommando {\tt up},
und mit {\tt quit} k{\"o}nnen Sie die \elib\ an jeder Stelle verlassen. Das
 Kommando
{\tt top} bringt Sie sofort zur{\"u}ck zum Einstiegsmenu.
 
Wenn Sie jedoch eine Information nicht nur ansehen wollen, sondern auch
in {\tt hardcopy} auf Ihrem Rechner haben wollen, ist {\bf einmalig} etwas mehr
Vorarbeit erforderlich. Da die \elib\ keine Benutzer-Zugangs-Kontrolle
hat, kann man auch nicht feststellen, wer sich gerade eingeloggt hat.
Es ist daher sinnvoll, sich selbst erst einmal zu registieren. Dann
kann man sich Daten auch per {\tt email} zuschicken lassen, um sie
 anschlie{\ss}end
auf dem eigenen Rechner weiterverarbeiten zu k{\"o}nnen.
 
Zuerst teilen Sie der \elib\ Ihren Bildschirmtyp mit, dann ist die Steuerung
etwas komfortabler. Falls Sie an einem {\tt VT100}-Terminal sitzen (oder einem
anderen, das {\tt vt100} emuliert, z.B. eine {\tt X-Windows}-Sitzung), geben Sie
 bitte das Kommando
 
\centerline{\tt term vt100}
 
- analog f{\"u}r andere Bildschirmtypen. Wenn die \elib\ Ihr Terminal nicht
 kennt,
so werden Sie entsprechend infomiert.
 
Anschlie{\ss}end w{\"a}hlen Sie im Hauptmenu den Punkt {\tt 2} an: {\tt check-in
 menu}.
Nun erhalten Sie detaillierte Ausf{\"u}hrungen und schlie{\ss}lich die
 Aufforderung,
sich zu registieren. W{\"a}hlen Sie irgendeine Userid (vielleicht Ihre eigene
auf Ihrem eigenen Rechner - die ist einfacher zu merken) und {\"a}ndern
Sie das Standard-Pa{\ss}wort in ein Pa{\ss}wort, an das Sie sich erinnern
 k{\"o}nnen.
Als n{\"a}chstes sollten Sie die Anweisungen befolgen und eine Testmail
an {\tt elib@sc.zib-berlin.de} schicken, die genauso aussieht wie im
Text beschrieben. Der Grund: die \elib\ ist dann in der Lage, festzustellen,
wie Sie elektronisch erreichbar sind. Die Userid, die Ihnen die \elib\
zugewiesen hat, wird intern mit Ihrer email-Anschrift verkn{\"u}pft und Sie
erhalten automatisch eine Best{\"a}tigung. Damit ist eigentlich alles
getan, Sie k{\"o}nnen jedoch die weiteren Menupunkte ausf{\"u}llen f{\"u}r die
interne Datenbank.
 
Geben Sie nun - und bei allen weiteren Sitzungen - das Kommando
 
\centerline{\tt password <userid> }
 
und beantworten Sie die Frage nach dem Pa{\ss}wort, dann sind Sie der \elib\
als individueller Nutzer bekannt. Wenn Sie sich nun aus einem Menu
Dateien zuschicken lassen wollen, gen{\"u}gt das Kommando
 
\centerline{\tt send <nummer>}
 
und die Datei wird Ihnen elektronisch zugesandt.
 
Da die \elib\ sehr gut dokumentiert ist - Sie k{\"o}nnen an jeder Stelle das
Kommando 'help' geben - k{\"o}nnen Sie weitere M{\"o}glichkeiten, die Ihnen
das System bietet (und das sind sehr viele) selbst erforschen.
 
Ich w{\"u}nsche Ihnen viel Spa{\ss} bei der Benutzung des CAIS und bin f{\"u}r
Anregungen jederzeit dankbar.

\begin{flushright}
Gerhard Schneider, Essen
\end{flushright}

\begin{center}
{\LARGE \bf REDUCE Version 3.4}
\end{center}
%\begin{center}
%Herbert Melenk\\ Konrad-Zuse-Zentrum f"ur Informationstechnik Berlin
%\end{center}
 
Zum 15. Juli 1991 w"ahrend ISSAC91 hat Tony Hearn die
Version 3.4 des Computeralgebra-Systems {\small REDUCE} freigegeben.
Die vorausgegangene Entwicklungsphase war erstmalig dadurch
gekennzeichnet, da"s in der seit
Anfang 1989 "uber electronic Mail zug"anglichen {\small REDUCE}
Library schon fr"uhzeitig neue oder fortgeschriebene Moduln
"offentlich zugreifbar waren, was sich f"ur Entwickler und Anwender
als gleicherma"sen f"orderlich erwiesen hat.
Die {\small REDUCE} Library hat auch zu einer verst"arkten
Bereitstellung von Anwenderpaketen gef"uhrt. Die meisten
der bis Mitte 1991 in der Library versammelten Moduln sind nun
Bestandteil von {\small REDUCE 3.4}, allerdings meist in integrierter
Form. Das Paket Gr"obner z.B. entspricht leistungsm"a"sig seinem
letzten Stand in der Library, jedoch bedient sich nun
der SOLVE Modul von {\small REDUCE} intern dieses Paketes, wenn die
$\bullet$ L"osung nichtlinearer Gleichungssysteme - eine neue Leistung -
verlangt wird.
 
Zwei weitere neue Aspekte sind: $\bullet$ Ein neuer Modus
${\bf rounded}$ gestattet einheitlich die numerische
Auswertung von Ausdr"ucken (reell und komplex) in Gleitkommaarithmetik
mit einer frei w"ahlbaren  Genauigkeit, die auch dynamisch (adaptiv)
variiert werden kann und auch f"ur die Berechnung elementarer
Funktionen gilt.  $\bullet$ F"ur die schon lange in {\small REDUCE}
unterst"utzten LET-Regeln ist mit dem  {\bf Ruleset} eine neue
syntaktische Basis angelegt worden. Ein Ruleset ist eine als
Liste zusammengefasste Folge von Regeln, die insgesamt aktiviert oder
deaktiviert werden kann, und zwar sowohl global als auch lokal
(d.h. auf eine einzelne Auswertung bezogen). Rulesets sind
ein geeignetes Hilfsmittel zur Codierung von Kalk"ulsystemen, da sie
Pattern-Matching, Fallunterscheidung und Kontrolle der
Auswertungsabfolge vereinen.
 
F"ur die "ubrigen Leistungsmerkmale sei auf einschl"agige
Schriften verwiesen, insbesondere auf die Library selbst:
man schicke an $redlib @ elib . zib-berlin.de$
je einen Brief mit dem Subject $send\  info-package $ bzw.
$send\  intro.tex\  from\  documents$ (Antwort in \LaTeX\ ).
Diese Informationen  k"onnen zusammen mit Angaben zum Bezug von
{\small REDUCE} auch in gedruckter Form direkt vom ZIB angefordert
werden (Tel: 030-89604-205, Email: $melenk @ sc.zib-berlin.de $).
Ein Wermutstropfen bleibt die Graphik: zwar schon w"ahrend
ISSAC 91 vorab zu besichtigen, ist sie immer noch nicht
fertiggestellt. Als "Ubergangsl"osung gibt es derweil ein
Interface zu dem sehr h"ubschen GNUPLOT Paket.
 
Mit {\small REDUCE 3.4} bleibt die Entwicklung nicht stehen: die mit
der Freigabe zun"achst obsolet gewordene Library enth"alt schon
wieder neue und erweiterte Moduln.
 
Zum Abschlu"s noch ein Blick auf die technische Front:
{\small REDUCE} ist f"ur (fast) alle im
Wissenschaftsbetrieb eingesetzten Rechner erh"altlich,
vom kompatiblen AT386 (bald auch unter Windows 3.0) bis hinauf
zur Cray Y. Novit"aten: $\bullet$ Auf dem Urgestein IBM /370 Nachf.
l"auft {\small REDUCE} jetzt im XA-Mode, d.h. mit erheblich
erweitertem Speichervolumen $\bullet$ Auch VAX {\small REDUCE}
wurde mit einem dynamischen Arbeitsspeicher aufger"ustet
$\bullet$ Unter den {\small REDUCE} Workstations nehmen derzeit
die RISC-Schlangen HP9000-7x0  leistungsm"a"sig die
Spitzenposition ein: sie schaffen den  Standardtest in 1.7 Sekunden
bzw. darunter (IBM ES/9000: 2.1 sec, IBM RS/6000-550: 2.4 sec,
SPARC2: 2.7 sec, IRIS310: 2.84 sec, AT486: 7.7 sec) und werden
nur von den Cray's signifikant "ubertroffen; $\bullet$ unsere
Kollegen in England arbeiten an einer Implementierung f"ur MACs;
$\bullet$ f"uer die Kleinrechner (z.b. 386/DOS) wird es demn"achst
ein $personal$ {\small REDUCE} zu einem deutlich reduzierten Preis
geben.
\begin{flushright}
%Herbert Melenk, Konrad-Zuse-Zentrum f"ur Informationstechnik Berlin
Herbert Melenk, Berlin
\end{flushright}
 
 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     Arbeitsgruppen                                              %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Berichte \"uber Arbeitsgruppen}\vspace{1mm}\hrule}
\vspace*{3mm}
 
\noindent
{\bf The CAMASA group in Italy}

\smallskip
%{\small
 
CAMASA (the acronym stands for {\bf C}alcolo
{\bf A}lgebrico: {\bf M}etodi, {\bf A}lgoritmi,
{\bf S}istemi, {\bf A}pplicazioni)
is the Italian Research Group in Symbolic
Computation.
It is funded by MURST (Board for the University and
Scientific-Technological Research)
at a national level and coordinates other projects or
contracts funded by research agencies in Italy.
Its aim is the coordination of the research activity in
Symbolic Computation and the diffusion of this discipline
through the organization of schools and meetings, also at
an international level.
\par
The most
recent Project (October 90) collects 76 researchers and 10
units (Cagliari, Catania, Genova, L'Aquila, Milano, Pavia,
Pisa, Roma La Sapienza, Roma Tor Vergata, Trieste).
Moreover other researchers are involved in Symbolic
Computation which are
not part of CAMASA. \par
The italian activity in Symbolic Computation  covers a wide
spectrum of research areas: commutative algebra,
polynomial equation solving, differential algebra and
differential equations, real algebraic geometry,
invariant theory, theory of algebraic group
representations, combinatorics, automatic deduction,
rewriting techniques, languages and systems for Symbolic
Computation,
applications to mechanics and robotics, applications to
system theory, applications to didactics, production of
systems for Symbolic Computation , parallelization, numerical
- symbolical
integration.
\par
Since its birth in 1985, CAMASA has organized several
international meetings and workshops (COCOA I,
 Genova, 1986; Computing Tools for Research and
Develoment in Science and Engineerings, Capri, 1987;
ISSAC 88 and AAECC 6, Roma, 1988; COCOA II, Genova,
1989;
DISCO '90, Capri, 1990; MEGA '90, Castiglioncello, 1990)
and two international schools (International course on
automated reasoning in geometry, Catania 1987;
International course on computational real geometry,
Catania, 1988). There has been also a continuous activity
of formation through the organization of schools for a
national audience.
 \par
CAMASA organizes periodical meetings; the first one was
held in Pavia in December 1986 and its abstracts are
published in the SIGSAM Bulletin; a second one was held
in Trieste in April 1989. The third one was held in
Cagliari, March 21-23, 1991.
The program of this meeting, whose 
abstracts are available too in the SIGSAM Bulletin,
can be find in the section {\sl Berichte von Konferenzen}. 
 
%
\begin{flushright}
Teo Mora, Genua
\end{flushright}
\vspace*{6mm}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     Publikationen                                               %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
\vspace*{5mm}
{\Large\bf 
\hrule\vspace{1mm}
\centerline{Publikationen "uber Computeralgebra}
\vspace{1mm}
}\hrule

\begin{itemize}
\item
T.~Mora, C.~Traverso (ed.)
{\em Effective Methods in Algebraic Geometry}
1991, ISBN 0-8176-3546-7, Birkh"auser.
\item
K.~R.~Meyer, D.~S.~Schmidt
{\em Computer Aided Proofs in Analysis}
1990, ISBN 3-540-97426-1, Springer.
\item
L.~Bachmair
{\em Canonical Equational Proofs}
1991, ISBN 0-8176-3555-6, Birkh"auser.
\item
A.~Griewank, G.~F.~Corliss (ed.)
{\em Automatic Differentiation of Algorithms: Theory, Implementation,
and Application,  Proceedings in Applied Mathematics 53}
1991, ISBN 0-89871-284-X, SIAM 
List Price $48.50/SIAM Member Price $38.80
Order Code PR53
1992,  Proceedings in Applied Mathematics 53

\smallskip
{\small
An introduction and reference on techniques for evaluating
derivatives of functions given by computer programs.  By applying
variants of the chain rule, first and higher derivatives are
obtained efficiently and accurately. 
A survey of 28 software implementations and an extensive bibliography are
included.
 
This volume is appropriate for developers and users of numerical
packages for nonlinear computational problems, e.g. optimization,
nonlinear equations, ODE's, implicit ODE's, PDE's, computer
manufacturing, and system development.  A knowledge of
differential calculus and some programming experience will assist
appreciation of the material.
\begin{flushright}
SIAM
\end{flushright}
} 
\item
M.~Mignotte
{\em Matematics for Computer Algebra}
1992, ISBN 0-387-97675-2, Springer.
\item
Besprechung von mathPAD sollte hier rein

\end{itemize}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     Lehrveranstaltungen                                         %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
{\Large\bf \hrule\vspace{1mm}
%{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Lehrveranstaltungen "uber Computeralgebra im WS 1991/92
\vspace{1mm}}\hrule}
{\small
\begin{itemize}

\item
{\bf RWTH Aachen}\\
{\em Einf"uhrungspraktikum in MAPLE}, Neub"user, Klein, Dietrich,
Blockpraktikum.

\item
{\bf Universit"at  Augsburg}\\
%{\em Einf"uhrung in die \ca}, K"ulshammer, V2+"U2.

\item
{\bf Universit"at Bayreuth}\\
%{\em Diskrete Strukturen und Computeralgebra}, A.~Kerber, V2+Praktikum.

\item
{\bf Universit"at Basel}\\
%{\em \ca}, Ch.~Ullrich, V2+P1.

\item
{\bf Universit"at Bonn}\\
\item
{\bf Universit"at Bonn}\\
{\em Effiziente Numerische Algorithmen}, A. Sch"onhage, V4.\\
{\em Seminar Computeralgebra}, A. Sch"onhage, O. Geupel, S2.\\

\item
{\bf Universit"at Clausthal-Zellerfeld}\\
{\em Projektgruppe \ca}, Lex, S"oding, P2.

\item
{\bf Universit"at D"usseldorf}\\
%{\em Konstruktive Zahlentheorie II}, M.~Pohst, V4 + \"U2.\\
%{\em Algorithmen und Software (-entwicklung) in der algebraischen
%Zahlentheorie}, M.~Pohst, S2.

\item
{\bf Universit"at Erlangen-N"urnberg}\\
{\em Computeralgebra: Polynomarithmetik}, H. Meyn , K. Kalb , V2+P2. \\

\item
{\bf Universit"at-Gesamthochschule Essen, Institut f"ur Experimentelle
Mathematik}\\
{\em Effektive Algorithmen}, T.V. Tran, V2.\\
{\em Paralleles Rechnen}, W. Happle, P2.

\item
{\bf Universit"at Heidelberg}\\
{\em Computeralgebra}, G.~Malle. V2+P2.

\item
{\bf Universit"at Karlsruhe}
 
{\em Applications of Algebra in Cryptology}, Beth, Nyberg. V3.\\
{\em Algorithmische Zahlentheorie}, Beth, Geiselmann, Schaefer-Lorinser. S2.\\
{\em \ca: Algorithmische Zahlentheorie},
     Beth, Geiselmann, Schaefer-Lorinser. P4.\\
 
{\em Computeralgebra: Algebraische Algorithmen}, Calmet. V3.\\
{\em KI und mathematisches Wissen}, Calmet, Homann, Tjandra. S2.\\
{\em Entwurf von Computeralgebra-Systemen},
     Calmet, Homann, Seiler, Tjandra. P4.
{\bf Universit"at Karlsruhe}\\
{\em Computeralgebra}, Th.~Beth, W.~Geiselmann, F.~Schaefer-Lorinser, P2.
{\em Angewandte Kombinatorik}, Th.~Beth, V2.

\item
{\bf Universit"at Leipzig}\\
{\em Einf"uhrung in die Computeralgebra}, W. La"sner, V2.\\
{\em Grundlagen der Computeralgebra}, W. La"sner, V2.\\
{\em Fachpraktikum: Symbolisches Rechnen II}, W. La"sner, St. Forner, P 2.\\
{\em Forschungsseminar \ca}, W. La"sner, H.-G. Gr"abe, S 2.\\

\item
{\bf RISC Linz}\\
 
{\em Logik fUr Mathematiker und Informatiker II}, J. Pfalzgraf, V2 \\
{\em "Uberblick "uber Symbolic Computation}, B. Buchberger, V2 \\
{\em Computer Algebra f"ur Fortgeschrittene}, F. Winkler, V2 \\
{\em Analytische Kombinatorik}, P. Paule, V2 \\
{\em Funktionales Programmieren (LISP)}, F. Winkler, V2 \\
{\em Formale Spezifikation und Verifikation}, H. Rolletschek, V2 \\
{\em Algorithmische Algebraische Geometrie}, S. Stifter, V2\\
{\em Geometrische Grundlagen f"ur Symbolic Computation}, S. Stifter, V2\\
{\em Algorithmische Kombinatorik}, P. Paule, V2\\
{\em Automatisches Beweisen B}, D. Wang, V2 \\
{\em Rewriting in Mathematik und Logik}, H. Hong, V2 \\
{\em Theoretical Foundations of Parallel Computation}, T. Jebelean, V2\\
{\em Parallel Algorithms for Symbolic Computation}, H. Hong, V2 \\
{\em Konnektionistische Systeme/ Neuronale Netze}, J. Pfalzgraf, V2\\
{\em Selected Topics in Computer Algebra II}, G. Collins, V2 \\
{\em Privatissimum Quantifier Elimination}, G. Collins, PV2 \\
{\em Diplomanden- und Dissertantenstunde II}, G. Collins, S3 \\
{\em Praktikum Paralleles Rechnen}, W. Schreiner, P2 \\
{\em Softautomation: Simulation und Programmierung}, M. Mayr, J. Heinzelreiter,
 V2
\\
{\em Projektseminar: Algorithmen f"ur CAD und Roboterprogrammierung},
     B. Buchberger, S. Stifter, S2 \\
{\em Projektseminar: Software und Hardware f"ur paralleles Rechnen},
     B. Buchberger, S2 \\
{\em Projektseminar: Algorithmische und algebraische Geometrie},
     B. Buchberger, F. Winkler, S2 \\
{\em Projektseminar: Software-Technik im Bereich Symbolic Computation},
     B. Buchberger, F. Lichtenberger, S2 \\
{\em Projektseminar: Algorithmische Kombinatorik},
     B. Buchberger, P. Paule, S2 \\
{\em Programmierprojekt parallele Software II (Transputersystem,
 Workstationnetz)},
     B. Buchberger, W. Schreiner, P4  \\
{\em Literaturseminar Symbolic Computation II}, B. Buchberger + Assistenten, S2
 \\
{\em Programmierprojekt Symbolic Computation II}, B. Buchberger + Assistenten,
 P4\\
{\em Vortragsreihe Symbolic Computation}, B. Buchberger, F. Winkler, V1 \\
{\em Praktische Beweistechnik und wissenschaftliches Arbeiten in Symbolic
     Computation}, B. Buchberger, V2 \\
{\em Diplomanden- und Dissertantenstunde II}, B. Buchberger + Assistenten, S3 \\


\item
{\bf Technische Universit"at M"unchen}\\
%{\em Einf"uhrung in die Computeralgebra}, M.~Kaplan, V3.

\item
{\bf Universit"at Passau} \\
{\em Oberseminar Computeralgebra}, V.Weispfenning, Th. Becker, H. Kredel, S3.

\item
{\bf Universit"at-Gesamthochschule Paderborn}\\
%{\em Mathematik am Computer, Lsg. math. Probleme mit Hilfe von Maple},
%Chr. Nelius, V2+"U2.\\
%{\em Arbeitsseminar MuPAD: Entwicklung eines Computeralgebra--Systems},
%B. Fuchssteiner et al., S2.

\item
{\bf Universit"at des Saarlandes, Saarbr\"ucken}

\item
%{\bf Universit"at T"ubingen}\\
%{\em Computeralgebra}, R.~Loos, V2+"U1.

\item
{\bf Eidgen\"ossische Technische Hochschule Z\"urich}\\
{\em Aufbau symbolischer Rechensysteme}, R. M\"ader, V2+P1.\\
{\em Probleml\"osen mit Mathematica}, R. M\"ader, S3.\\
{\em Symbolic Integration}, M. Bronstein, V2+P1.


\end{itemize}
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     Leserbriefe                                                 %%   
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Leserbriefe}
\vspace{1mm}\hrule}
\begin{itemize}

\item
Im Bericht "uber die DMV-Jahrestagung im Rundbrief Nr. 9 erw"ahnt
Herr Hering, da"s wir zwei HP 700 aus Aachen mitgebracht haben.
Das stimmt so nicht ganz, denn leider haben auch wir keine zwei
HP 700. Die beiden Maschinen waren vielmehr eine freundliche
Leihgabe der Firma Hewlett Packard, f"ur die ich mich hier noch
einmal sehr herzlich bedanken m"ochte. Richtig ist allerdings,
da"s wir die beiden Maschinen {\sl auftreiben} mu"sten, weil die
Bielefelder Tagungsleitung dazu nicht in der Lage war. Eine haben
wir von Aachen aus in Bielefeld {\sl gefunden}, wo sie gerade zu einer
Demonstration in chemischen Institut eingesetzt war, die andere
haben wir in der Tat im Privat-PKW aus Aachen mitgebracht, wo sie
im hiesigen Institut f"ur Mechanik im Probebetrieb war. Wir
hoffen allerdings, zum Jahresende unsere erste HP 730 f"ur die
Mathematik in Aachen anschaffen zu k"onnen.
\begin{flushright}
J. Neub"user, Aachen
\end{flushright}

\end{itemize}






%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     Kurze Mitteilungen                                          %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Kurze Mitteilungen}\vspace{1mm}\hrule}
 
\vspace*{2mm}
{\small

\begin{itemize}


\item
Die elektronischen Adressen folgender Mitglieder der Fachgruppenleitung 
haben sich ge"andert:
Prof. Dr. H.G. Zimmer: zimmer@math.uni-sb.de.
Prof. Dr. M. Pohst: ?????.

\item

Die Institute ICM (Institute de Calcul Mathematique, Paris, Frankreich)
und Kent State Univ, Ohio, USA bieten Promotionsstipendien
f"ur Studenten aus der Europ"aischen Gemeinschaft und den USA
auf dem Gebiet {\sl Quantitative  estimates for polynomials 
in one or several variables} mit Anwendungen u.a. in \ca\ an. 
Das Programm wird von der National Science Foundation (USA), der
C.N.R.S. (Frankreich), dem franz"osischen Verteidungsministerium 
und der DIGITAL Eq. Corp. unterst"utzt.

{\footnotesize Kontaktadressen: 
Prof. B. Beauzamy, ICM, Universite de Paris 7, 2 Place Jussieu 75251 Paris CEDEX 05, Frankreich und
Prof. Per Enflo, Prof. Paul Wang, Dept. of Math, Sciences,
Kent State Univ., Kent, Ohio 44242, USA. }


\item
Das Release 3.1 von GAP aus Aachen soll demn"achst
fertiggestellt sein. Die genaue Ank"undigung werden Sie im
sci.math und  sci.math.symbolic sowie nat"urlich im CAIS 
finden.  Die Entwickler bitten von Vorabanfragen abzusehen.
\item
Gro"ses Interesse fanden die beiden von IBM und NAG gemeinsam 
durchgef"uhrten AXIOM-In"-for"-ma"-tions"-ver"-an"-stal"-tun"-gen in M"unchen 
und Heidelberg. Zwei weitere solche Informationstage sind 
f"ur den 06.05.1992 in D"usseldorf und f"ur den 08.05.1992
in Berlin geplant. Auskunft und Anmeldung bei 
U.~Harris, NAG GmbH, Schleissheimerstr. 5, 8046 Garching bei M\"unchen,
Tel.: 089-3207395, Telefax: 089-3207396.

\end{itemize}
}%\small

\end{document}
