\documentstyle[11pt,german]{article}
%\input{latlib}
\textwidth 175mm\textheight 252mm\columnwidth\textwidth
\hoffset-25mm\voffset-20mm
\newcommand\tm{$^{\rm tm}$}
\begin{document}
\begin{Huge}
\noindent
\framebox[175mm]{\bf Computer-Algebra Rundbrief}
\end{Huge}
 
 
\noindent
{\it Nummer 3  \hfill Fachgruppe 2.2.1 \hfill 25. Oktober 1988}
\footnotetext{{\bf Impressum}\hspace*{3mm}
{\em Computer-Algebra Rundbrief}
\hspace*{3mm}Herausgegeben von der Fachgruppe 2.2.1
{\em Computer-Algebra} der GI. \hbox{Anschrift:}
Dr.~F.~Schwarz, GMD, Institut F1, Postfach 1240, 5205 St.Augustin.
ISSN 0933-5994}
 
\vspace*{5mm}
 
{\em Liebe Kolleginnen und Kollegen,
 
mit dieser dritten Ausgabe hat der Computer-Algebra Rundbrief sein
erstes Jahr "uberlebt: ein Rythmus von zwei Ausgaben im Jahr hat sich
als zweckm"a\ss ig erwiesen und soll auch f"ur die absehbare Zukunft
beibehalten werden.
 
Die inzwischen auf fast 500 angestiegene Zahl der Mitglieder der
Fachgruppe zeigt das lebhafte Interesse an Information "uber das
Gebiet.  Wegen zahlreicher R"uckfragen noch einmal: Jedes Mitglied
der Fachgruppe erh"alt den Rundbrief, Mitglied der Fachgruppe wird
man durch formlose Beitrittserkl"arung an die Gesch"aftsstelle der
GI, Godesberger Allee 99, 5300 Bonn 1.  Die Mitgliedschaft steht
Mitgliedern wie Nichtmitgliedern der GI offen und ist vorl"aufig
nicht mit irgendwelchen Kosten verbunden.
 
Die Gr"undungsfachgruppenleitung hat mittlerweile eine Satzung
entworfen, die in diesem Winter von den gr"undenden Gesellschaften
DMV, GAMM und GI genehmigt werden soll und dann den Mitgliedern
zugesandt werden wird.  Danach werden erstmals 1990 und danach alle
2 Jahre die Mitglieder der Fachgruppe deren Leitung w"ahlen.
 
Inhalt und Gestaltung der Rundbriefe m"ochten wir weiter verbessern.
Dazu bitten wir nochmals alle Leser, uns Informationen zuzusenden,
insbesondere "uber Lehrveranstaltungen in CA an den Hochschulen,
aber auch "uber Literatur, etc.
 
Zu Inhalt und Funktion der Spalte "`Berichte "uber Systeme und
Hardware"' stellen wir folgendes klar: Die hier abgedruckten
Berichte sollen vor allem Informationen "uber Funktionen und
Verf"ugbarkeit geben; nat"urlich k"onnen wir nur nach und nach das
weite Spektrum von allgemeinen und spezialisierten Systemen
abgrasen, so da"s wir eine Auswahl treffen m"ussen.  Die Herausgeber
nehmen jedoch keinen Einflu"s auf den Inhalt der Berichte, deren
Autor jeweils genannt wird.
 
Da ein globaler Leistungsvergleich von Systemen "uber eine
Beschreibung ihrer Funktionen hinaus kaum m"oglich ist, jeder
Benutzer andererseits daran interessiert ist, Rat zu erhalten,
welches System er f"ur eine bestimmte Aufgabe benutzen sollte,
w"urden wir gern fundierte kritische Vergleiche der
Leistungsf"ahigkeit von Systemen f"ur spezifizierte Aufgaben
bringen.  Wir bitten dazu alle Mitglieder, die solche
Leistungsvergleiche angestellt haben, uns ihre Ergebnisse zur
Verf"ugung zu stellen. Auch diese w"urden in der Form von namentlich
gezeichneten Referaten erscheinen.
 
Tagungberichte z"ahlen zu den wichtigsten Ver"offentlichungen im
Bereich der Computer-Algebra. Wir haben deswegen in der Spalte
Publikationen "uber Computer-Algebra die bibliographischen Daten von
etwa einem Dutzend solcher Proceedings zusammengestellt, ohne einen
Anspruch auf Vollst"andigkeit zu erheben. Wie immer sind wir auch
hier f"ur Erg"anzungen dankbar.
 
Mit den besten W"unschen f"ur 1989
 
\hspace*{70mm} F.~Schwarz \hspace*{15mm} J.~Neub\"user}
 
{\vspace*{5mm}\Large\bf\hrule\vspace{1mm}
\centerline{Hinweise auf Konferenzen}\vspace{1mm}\hrule}
 
\begin{enumerate}
 
\item{\bf Computer-Algebra Tag}
 
Twente, Niederlande, 3.11.1988.
 
{\footnotesize Kontaktadresse: Prof. H. van Hulzen, Department of
Computer Science, Twente University of Technology, P.O.Box
217, 7500 AE Enschede, The Netherlands.}
 
\item{\bf Third CAYLEY Users Conference}
 
Essen, 17.11-19.11.1988.
 
{\footnotesize Kontaktadresse: Dr.~G.~Schneider, Fachbereich
Mathematik, Universit"at Essen, Universit"atsstra\ss e 3, D-4300 Essen,
Tel. 0201-1832540.}
 
\item {\bf International Course on Computational Geometry}
 
Catania, 12.-17. Dezember 1988.
 
{\footnotesize
Kontaktadresse: Prof. Teo Mora, Dipartimento di Matematica,
Universit\'{a}, Via L.~B.~Alberti 4,  16132 Genova,
Italien.}
 
\item {\bf Applicable Algebra}
 
Oberwolfach, 1.1.-7.1.1989, Leitung Th.~Beth, Karlsruhe, B.~Buchberger,
Linz, H.~L"uneburg, Kaiserslautern.
 
{\footnotesize Kontakadresse: Mathematisches Forschungsinstitut
Oberwolfach, Gesch"aftsstelle, Albertstra\ss e 24, D-7800 Freiburg;
Teilnahme nur auf Einladung.}
 
\item {\bf Computational Group Theory}, Special Session beim
Jahrestreffen der AMS
 
Phoenix, Arizona, 11.1-14.1.1989.
 
{\footnotesize
Kontaktadresse: Prof. Larry Grove, Department of Mathematics,
University of Arizona, Tucson, Arizona 85721.}
 
\item {\bf Workshop on Algorithms, Word Problems and Classification
in Combinatorial Group Theory}
 
Mathematical Sciences Research Institute, Berkeley, California,
23.1-27.1.1989.
 
{\footnotesize
Kontaktadresse: Algorithms Committee, Matematical Sciences
Research Institute.}
 
\item {\bf Computers \& Mathematics}
 
Cambridge, Mass., 12.6.-16.6.1989.
 
{\footnotesize
Kontaktadresse: Computers \& Mathematics 1989, 62 Eastview,
Pleasantville, New York, 10570, U.S.A., Tel. (914) 769-2725.}
 
\item {\bf ISSAC-89}
 
Portland, Oregon, 17.7.-19.7.1989.
 
{\footnotesize
Kontaktadresse: Dennis Arnon, Xerox Palo Alto Research Center,
3333 Coyote Hill Road, Palo Alto, CA 94304, U.S.A., Tel.(415)
494-4425.}
 
\item {\bf First Brazilian School on Computer Algebra}
 
Rio de Janeiro, 24.7. - 11.8.1989.
 
{\footnotesize Kontaktadresse:  Dr. Marcelo J.Reboucas, Departemento
de Relatividade e Particulas, Centro Brasileiro de Pesquisas
Fisicas, Av. Xavier Sgaud, 150, Urca 22.290 Rio de Janeiro (RJ)
Brasilien.}
 
 
\item {\bf Colloquium on Computational Number Theory}
 
Debrecen, Ungarn, 4.9.-8.9.1989.
 
{\footnotesize Kontaktadresse: Istvan Gaal, Kossuth Lajos
University, Mathematical Institute, 4010 Debrecen Pf.12., Hungary.}
 
\end{enumerate}
 
{\Large\bf \hrule\vspace{1mm}
\centerline{Berichte von Konferenzen}\vspace{1mm}\hrule}
 
\begin{enumerate}
 
\item{Computer Algebra and Parallelism}
 
Grenoble, 29.6.-1.7.1988
 
Auf dieser Tagung wurden sowohl algorithmische als auch
Hardware-spezifische Aspekte der Parallelisierung von
Computer-Algebra Problemen behandelt. Dar\"{u}berhinaus befa{\ss}ten
sich einige Vortr\"{a}ge mit der Generierung von numerischen
Programmen f\"{u}r Parallelrechner mittels Computer Algebra
Programmen. Erfahrungsberichte und eine Demonstration (PAC) rundeten
die Tagung ab.
 
\noindent Vortr\"{a}ge:
 
{\footnotesize M. Cosnard, Lyon, {\em An Overview on Parallel
Algorithms}; P. Wang, Kent, {\em Automatic Generation of Parallel
Code for the Warp Computer}; J.M. Muller, F. Siebert-Roch, Grenoble,
{\em VLSI Manipulation of Polynomials}; W. Neun, Berlin (ZIB), {\em
Implementation of the LISP Arbitrary Precision Arithmetic for Vector
Processors}; H. Melenk, Berlin (ZIB), {\em Parallel Polynomial
Operators in the Buchberger Algorithms}; J. Johnson, Colombus (Ohio
State), {\em Some Issues in Designing Algebraic Algorithms for the
CRAY X-MP}; D. Weeks, San Jose (CONVEX), {\em Adaption of SAC-1
Algorithms for an SIMD Machine}; J. Fitch, Bath, {\em Compiling for
Parallelism}; C. Ponder, Berkeley, {\em Evaluation of Performance
Enhancements in Algebraic Manipulation Systems}; R. Loos, S. Seitz,
T\"{u}bingen, {\em Parallel Algorithm Development}; A. Norman, J.
Mitchell, Cambridge, UK, {\em Programming Polynomial Factorization
in a Pure Functional Style}; V. Goldman, J.A. Van Hulzen, Twente,
{\em Automatic Code Vectorization of Arithmetic Expressions by
Bottom-Up structure Recognition: A Heuristic Approach}; J.L. Roch,
Grenoble, {\em The PAC Project}; F. Siebert, Grenoble, {\em Solving
Diophantine Equations and Normal Forms of Matrices}; P. Senechaud,
Grenoble, {\em Gr\"{o}bner Basis}; G. Villard, Grenoble, {\em Formal
Linear Algebra}.
 
Proceedings werden bei Academic Press erscheinen.\hfill E.~Schr"ufer}
 
\item {\bf First International Joint Conference of
ISSAC ( International Symposium on Symbolic and Algebraic
Computation) and AAECC ( International Conference on Applied
Algebra, Algebraic Algorithms and Error Correcting Codes)}
 
Rom 4.~7.-8.~7. 1988
 
Es war das erste Mal, da\ss\ die j\"{a}hrlich von SIGSAM und SAME
gemeinsam veranstaltete Konferenz \"{u}ber Computer-Algebra zusammen
mit der AAECC veranstaltet wurde. Obwohl dadurch das Angebot an
Vortr"agen f"ur die Teilnehmer vergr"o\ss ert wurde, schien die
Meinung "uber die Zweckm"a\ss igkeit dieser Zusammenlegung geteilt
zu sein.
 
Plenarvort"age (in chronologischer Reihenfolge):
 
{\footnotesize
H.~T.~Kung, Carnegie Mellon, {\em Parallel Algebraic Algorithms};
E.~F.~Assmus, Lehigh University, {\em The Coding Theory of Finite
Geometries and Designs};
F.~Michon, Paris, {\em Codes and Curves};
D.R.~Musser, Rensselaer Polytechnic Institute, {\em Generic
Programming};
C.~P.~Schnorr, Frankfurt, {\em On the Multiplicative Complexity
of Boolean Functions};
F.~Sergeraerdt, Institut Fourier, {\em From a Noncomputability
Result to new Interesting Definitions of Computability Results};
G.~Ausiello, Rom, {\em Amortized Analysis of Algorithms: Application to
Dynamic Graphs and Other Dynamic Structures};
G.L.Feng, Lehigh University, {\em A Generalized Euclidean Algorithm
for Minimal Partial Realization of Matrix Sequences};
J.~H.~VanLint, Eindhoven, {\em Recent Results on Conversting Problems};
L.~Robbiano, Genova, {\em Computer and Commutative Algebra};
P.~Wang, Kent State University, {\em Symbolic Derivation and Automatic
Generation of Parallel Routines for Finite Element Analysis};
A.~Salwicki, Warschau, {\em On Algorithmic Spezifications of
Algebraic Structures};
S.~Micali, Cambridge/Massachsetts, {\em Interactive Proofs Zero
Knowledge and Applications};
J.~Hong, Courant Institute, {\em Proving by Examples}.
 
Proceedings sollen bei Springer erscheinen. \hfill F.~Schwarz}
 
\item {\bf Sektion Computational Algebra der Jahrestagung der DMV}
 
Regensburg, 19.9.-23.9.1988
 
Die Sektion tagte an den Nachmittagen des 19. und 20.9. Vor der
Sitzung am 20.9. fand ein kurzes Treffen von Mitgliedern und
Interessenten an der Fachgruppe Computer-Algebra statt, in dem Herr
Schwarz "uber Ziele und Pl"ane derselben berichtete.
 
Vortr"age (in chronologischer Reihenfolge):
 
{\footnotesize
F.~Schwarz, GMD, {\it Differentialgleichungen und Computer-Algebra};
W.~Oevel, Paderborn, {\it Anwendung der Computer-Algebra zur
Konstruktion von Invarianten integrabler Systeme}; V.~Dietrich,
Aachen, {\it Analyse linearer Differentialgleichungssysteme};
S.~D"ullmann, D"usseldorf, {\it Software in der konstruktiven
algebraischen Zahlentheorie}; R.~Sch"on, Heidelberg, {\it Effektiv
berechenbare Gruppenerweiterungen}; U.~Hartmann, MPI f.Kernphysik,
Heidelberg, {\it Rechnungen mit antikommutierenden Variablen -
Erfahrungen mit REDUCE und epicGRASS}; J.~Grabmeier, IBM Heidelberg,
{\it Ein Darstellungstheoriepaket f"ur SCRATCHPAD II}; G.~
Schneider, Essen, {\it Berechnung von Untermodulverb"anden};
W.~Nickel, Aachen, {\it Groups and Programming - GAP}; A.~Niemeyer,
Aachen, {\it Die Programmierumgebung von GAP}; D.~Mertens,
Wuppertal, {\it Ein Programmpaket zur Klassifikation farbiger
Parkette}; V. Weispfenning, Passau, {\it Computer Algebra und
Algebraische Geometrie}; H.~Kredel, Passau, {\it Kanonische Basen
f"ur Moduln "uber Polynomringen}; H.M.~M"oller, Hagen, {\it Zur
L"osung algebraischer Gleichungssysteme mit Gr"obner-Basen}.  \hfill
J. Neub"user}
 
\item {\bf DMV-Seminar Computer-Algebra}
 
Schlo\ss\ Mickeln, D"usseldorf, 25.9.-2.10.88.
 
{\footnotesize
In 10 zweist"undigen Vortr"agen gaben B.~Buchberger, J.~Davenport
und R.~Bradford einen "Uberblick "uber das gesamte Gebiet, dessen
Spannweite die Vortragsthemen verdeutlichen:  B.B., {\it Einf"uhrung
in die CA}, J.D., {\it CA-Systeme}, B.B., {\it Arithmetik}, J.D.,
{\it GGT-Methoden}, J.D., {\it Faktorisierung}, R.B., {\it
Algebraische Erweiterungen}, J.D., {\it Integration I}, B.B., {\it
Algebraische Gleichungssysteme}, J.D., {\it Integration II}, B.B.,
{\it CA und Logik}. In zwei Erg"anzungsvortr"agen wurde "uber
Computational group theory (J.~Neub"user) und Computational
algebraic number theory (M.~Pohst) berichtet. Die Nachmittage
dienten dem Kennenlernen von Systemen. Es wurden vorgestellt:
CAYLEY, KANT, MACSYMA, MAPLE, MUMATH mit GROEBNER, REDUCE,
Scratchpad II, SIMATH.
 
Das Seminar war mit ca. 40 Teilnehmern stark besucht.
\hfill J.  Neub"user}
 
\end{enumerate}
 
{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Neues \"uber Systeme und Hardware\vspace{1mm}}\hrule}
 
\vspace*{2mm}
 
\centerline{\large\bf Maple 4.2}
 
\centerline{Martin Sch"onert}
 
{\footnotesize
\centerline{Lehrstuhl D f"ur Mathematik, RWTH Aachen}
\centerline{Templergraben 64}
\centerline{5100 Aachen}}
 
Maple ist ein interaktives System f"ur Computer Algebra.  Der Name
ist keine Abk"urzung, sondern ist als Name mit kanadischer
Identit"at gew"ahlt.  Maple wird seit etwa 1980/81 von der {\em
Symbolic Computation Group} an der University of Waterloo, Kanada
entwickelt.  Das gegenw"artig neueste Release ist Maple 4.2, ein
neues Release ist in Vorbereitung. Ein Maple Newsletter, von dem im
Juli 1988 Nr.\@ 3 erschienen ist (\copyright\  by Symbolic
Computation Group, University of Waterloo, edited by J.S. Devitt,
Univ. of Saskatchewan) berichtet sowohl "uber neue Funktionen in
Maple 4.2 wie "uber Pl"ane f"ur den weiteren Ausbau in Maple 4.3.
 
Maple erm"oglicht dem Benutzer, mit beliebig langen Zahlen und
Br"uchen umzugehen. Maple kann mit Polynomen rechnen, z.B. den
gr"o"sten gemeinsamen Teiler von zwei Polynomen in mehreren
Ver"anderlichen bestimmen oder solche Polynome in ihre irreduziblen
Faktoren zerlegen.  Rationale Funktionen k"onnen auf viele Arten
umgeformt und vereinfacht werden. Maple kann eine Klasse von
Funktionen differenzieren, die die elementaren Funktionen umfa"st,
sowie eine gro"se Klasse von Funktionen mit Hilfe des Risch
Algorithmus integrieren.  Darauf basierend kann Maple auch
Differentialgleichungen l"osen.  Au"serdem kann Maple Grenzwerte
bestimmen, sowie lineare und nichtlineare Gleichungssysteme l"osen.
In diesem Zusammenhang ist insbesondere das inzwischen verf"ugbare
Gr"obner Basen Paket erw"ahnenswert.  Dar"uberhinaus sind andere
Pakete f"ur Lineare Algebra, Zahlentheorie, Orthogonale Polynome,
Formale Potenzreihen, Lineare Optimierung, Grafik und vieles mehr
vorhanden.  Maple "uberdeckt damit den gr"o"sten Teil des
gegenw"artigen Spektrums von Computer-Algebra Methoden, und steht
bez"uglich seiner Effizienz in einer Linie mir vergleichbaren
gro"sen Systemen.
 
Maple besteht aus einem Kern und einer Library.  Der in der Sprache
C implementierte Kern enth"alt Speicherverwaltung,
Langzahlarithmetik und einen Interpreter f"ur die Pascal "ahnliche
Maple Programmiersprache, in der die meisten der in der Library
vorhandenen Algorithmen geschrieben sind.  Somit stehen diese
Programme dem Benutzer zum Lesen und gegebenenfalls Ver"andern zur
Verf"ugung.  Au"serdem kann der Benutzer nat"urlich in dieser
Sprache eigene neue Algorithmen implentieren, wobei er auf die schon
vorhandenen Funktionen in der Library zur"uckgreifen kann. Das
rasche Wachsen von Maple wird durch folgende Liste illustriert.
 
\begin{center}
\begin{tabular}{|c|c|c|c|c|} \hline
Version & Release Datum & \parbox{2cm}{Anzahl von Funktionen} &
\parbox{2cm}{Anzahl von Zeilen} & \parbox{2cm}{Gr"o"se des Kernes} \\ \hline
3.2a & April 84 & 235 & 14294 & 131 Kb \\
3.3  & March 85 & 433 & 25111 & 131 Kb \\
4.0  & April 86 & 735 & 43989 & 135 Kb \\
4.1  & Mai 87   & 876 & 60500 & 160 Kb \\
4.2  & Januar 88 & 1012 & 90406 & 164 Kb \\
\hline
\end{tabular}
\end{center}
 
Da der Kern mit zur Zeit 164K Bytes relativ kompakt ist und
Funktionen aus der externen Library nur bei Bedarf geladen werden,
l"auft Maple auch auf kleineren Computern zufriedenstellend.  Dies
ist wesentlich, da Maple im Unterricht eingesetzt wird, also einer
gro"sen Zahl von Benutzern entweder auf kleinen Computern oder im
time-sharing Betrieb zur Verf"ugung stehen soll.  Au"serdem ist
Maple durch die Teilung von Kern und Library, sowie die Wahl der
Sprache C als Implentierungssprache f"ur den Kern sehr gut portabel,
was sich in der langen Liste unterst"utzter Computersysteme
wiederspiegelt.
 
\begin{center}
\begin{tabular}{|llcl|}
\hline
Computer & Betriebssystem & Version & Kontakt \\ \hline
Amdahl Systeme & UTS & 4.1 & SCG \\
Amiga & Amiga DOS & 4.2 & SCG \\
Apollo & Domain IX & 4.1 & SCG \\
ATT 7300 & UNIX V.2 & 4.1 & SCG \\
Convex C-1 & UNIX V6.1 & 4.2 & SCG \\
Cray 2 & Unicos & 4.0 & SCG \\
DEC Microvax & Ultrix 32m & 4.2 & Watcom \\
DEC Vax 11 & 4.2 oder 4.3 BSD UNIX & 4.2 & Watcom \\
DEC Vax 11 & VMS 4.4 oder 4.5 & 4.1 & Watcom \\
Gould 9050,9080 & UNIX & 4.1 & SCG \\
HP 9000/200 & HP-UX & 4.0 & SCG \\
HP 9000/300 & HP-UX & 4.0 & SCG \\
HP 9000/500 & HP-UX & 4.0 & SCG \\
HP 9000/800 & HP-UX & 4.2 & SCG \\
IBM 43xx & VM/SP CMS Rel 4 & 4.2 & Watcom \\
IBM PC/RT & AIX & 4.2 & SCG \\
Macintosh Plus,SE,II & MPW & 4.2 & SCG \\
Macintosh Plus,SE,II & Finder & 4.2 & Brooks/Cole \\
                &               &    & available Q4 88 \\
Masscomp 5xxx & RTU & 4.2 & SCG \\
PCS Cadmus & Munix & 4.0 & SCG \\
Pyramid 96xx & UNIX & 4.1 & SCG \\
Sequent Balance & Dynix & 4.1 & SCG \\
Sequent Symmetry & Dynix & 4.1 & SCG \\
Siemens PC MX2 & Sinix 2.0 & 4.2 & SCG \\
SM-90 & UNIX & 4.1 & SCG \\
Sun 3 & Sun UNIX 3.0 & 4.2 & SCG \\
Sun 4 & Sun UNIX 3.0 & 4.2 & SCG \\ \hline
\end{tabular}
\end{center}
 
In der letzten Spalte ist jeweils eine Abk"urzung der Adresse
angegeben, von der das System bezogen werden kann. Die
vollst"andigen Adressen k"onnen folgender Tabelle entnommen werden.
 
\begin{center}
\begin{tabular}{|p{53mm}|p{53mm}|p{53mm}|}
\hline
SCG & Watcom & Brooks/Cole \\
\hline
\parbox{53mm}{
Symbolic Computation Group \\
The University of Waterloo \\
Waterloo, Ontario \\
Canada, N2L 3G1 \\
(519)888-4474 }  &
 
\parbox{53mm}{
Watcom Products Inc. \\
415 Phillips Street \\
Waterloo, Ontario \\
Canada N2L 3X2 \\
(519)886-3700 }  &
 
\parbox{53mm}{
Robert Evans \\
Brooks/Cole Publishing Co. \\
511 Forest Lodge Road \\
Pacific Grove, CA 93950-5098 \\
(408)373-0728 }\\
\hline
\end{tabular}
\end{center}
 
Der Autor ist zu weiteren Ausk"unften "uber Maple gerne bereit,
weist jedoch ausdr"ucklich darauf hin, da"s Maple nur von den oben
angegebenen Addressen, nicht von ihm bezogen werden kann.  Auch kann
er keine Angaben "uber Preise und Verf"ugbarkeit von Campus Lizenzen
machen.
 
\newpage
 
{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Publikationen "uber Computer-Algebra
\vspace{1mm}}\hrule}
 
J.~Leech, Ed., Proceedings der {\em Conference on Computational
Problems in Abstract Algebra} in Oxford, 1967; Pergamon, 1970.
 
S.~R.~Petrick, Ed.,
{\em Second Symposium on Symbolic and Algebraic Manipulation},
Proceedings der gleichnamigen Tagung in Los Angeles, 1971; ACM 1971.
 
G.~Birkhoff, M.~Hall jr., Eds., {\em Computers in Algebra and Number
Theory}, Proceedings des gleichnamigen Symposiums in New York, 1970;
vol. 4 der SIAM AMS Proceedings, AMS, 1971.
 
E.~W.~Ng, Ed., {\em Symbolic and Algebraic Computation},
Proceedings der {\em EUROSAM'79} in Marseille; Springer, LNCS 72,
1979.
 
{\em EUROSAM'74},
Special Issue des {\em SIGSAM Bulletin}:
Proceedings der EUROSAM 1974 in Stockholm;
{\em SIGSAM Bulletin {\bf 8}}, Nr. 3, 1974.
 
R.~D.~Jenks, Ed., {\em SYMSAC'76},
Proceedings des {\em 1976 ACM Symposium on Symbolic and Algebraic
Computation} in Yorktown Heights/USA; ACM 1976.
 
P.~Wang, Ed., {\em SYMSAC'81},
Proceedings des 1981 ACM Symposium on Symbolic and Algebraic
Computation, Snowbird, Utah/USA; ACM, 1981.
 
J.~Calmet, Ed., {\em Computer Algebra EUROCAM'82},
Proceedings der {\em European Computer Algebra Conference} in
Marseille; Springer, LNCS 144, 1982.
 
J.~A.~van Hulzen, Ed., {\em EUROCAL'83},
Proceedings der {\em European Computer Algebra Conference} in
London, LNCS 162, Springer, 1983.
 
B.~Buchberger, Ed., {\em EUROCAL'85},
Proceedings der {\em European Conference on Computer Algebra} in
Linz; Band 1: Invited Lectures, LNCS 203; Band 2: Research
Contributions, LNCS 204, 1985.
 
B.~Char, Ed., {\em Symsac'86},
Proceedings of {\em The 1986 Symposium on Symbolic and Algebraic
Computation} in Waterloo/Canada, ACM, 1986.
 
R.~Jan\ss en, Ed., {\em Trends in Computer Algebra},
Proceedings des gleichnamigen Symposiums in Bad Neuenahr 1987;
Springer, LNCS 296, 1987.
 
{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Lehrveranstaltungen "uber Computer-Algebra im WS 1988/89
\vspace{1mm}}\hrule}
 
{\bf RWTH Aachen}
 
{\em Methoden der Computer-Algebra}, Neub"user, Sch"onert, Klein,
3 Std., 2 Std. "Ubungen.
 
{\em Einf"uhrungspraktikum in MAPLE}, Neub"user, Klein, Dietrich,
Blockpraktikum, 6 Nachmittage.
 
{\bf Universit"at Bielefeld}
 
{\em Konstruktive Idealtheorie}, G.~Schiffels, 4 Std. Vorlesung,
2 Std. Seminar, 2 Std. "Ubungen.
 
{\bf Universit"at Bonn}
 
{\em Seminar: Spezielle Probleme der Computer-Algebra},
F.~Kr\"{u}ckeberg und F. Schwarz, 2 Std.
 
{\bf Universit"at Karlsruhe}
 
{\em Algorithmen}, Beth und Clausen, 2 Std.
 
{\em Komplexit"at von Algorithmen}, Clausen, 2 Std. mit 2 Std. "Ubungen.
 
{\em Computer-Algebra}, Calmet, 4 Std. mit 2 Std. "Ubungen.
 
{\bf Universit"at Linz/"Osterreich}
 
{\em Computer Algebra I (algebraische Grundalgorithmen)}, F. Winkler,
2 Std.
 
{\em Automatisches Beweisen III (Beweisverfahren f"ur spezielle
Theorien)}, F. Winkler, 2 Std.
 
{\em Algorithmische Geometrie III (Geometrisches Modellieren und
CAD)}, S. Stifter, 2 Std.
 
{\em Software-Systeme f"ur Symbolic Computation I (Computeralgebra)},
M. Rothstein, 2 Std.
 
{\em Automatisches Programmieren I (Computerunterst"utzte
Programmverifikation)}, H. Rolletschek, 2 Std.
 
{\em Programmiersprachen f"ur Symbolic Computation I (Logisches
Programmieren)}, B. Kutzler, 2 Std.
 
{\em Projektseminar: Algorithmische algebraische Geometrie}, F.
Winkler, 2 Std.
 
{\em Monomiale Unabh"angigkeit und symbolische Integration
elementarer Funktionen}, M. Rothstein, 2 Std.
 
{\bf Universit"at Passau}
 
{\em Arbeitsgemeinschaft "uber Computer-Algebra}, V.~Weispfennig,
T.~Becker, H.~Kredel, 3 Std.
 
{\em Einf"uhrung in das Computer-Algebra System REDUCE},
H.~Kredel, V.~Weispfennig, 2 Std.
 
{\bf Universit"at Ulm}
 
{\em Algorithmen zur Faktorisierung von Polynomen}, Jurkat und Zwiesler,
2 Std.
 
 
 
{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Offene Stellen}\vspace{1mm}\hrule}
 
\begin{center}
 
\framebox[172mm]{\parbox{170mm}{
 
Die Gesellschaft f"ur Mathematik und Datenverarbeitung mbH ist eine
Gro\ss forschungseinrichtung auf dem Gebiet der Informationstechnik
mit Sitz in Sankt Augustin bei Bonn und weiteren Standorten in
Berlin, Darmstadt, Karlsruhe und K"oln. Wir besch"aftigen "uber
1300 Mitarbeiter. Gesellschafter sind die Bundesrepublik Deutschland
sowie die L"ander Nordrhein-Westfalen und Hessen.
 
Wir suchen f"ur unser Institut f"ur Methodische Grundlagen zur
Mitarbeit im Projekt {\em COMAL} (Computer-Algebra) zum
n"achstm"oglichen Zeitpunkt eine(n)
 
\centerline{\bf Nachwuchswissenschaftler(in)}
 
Der (die) Berwerber(in) soll bei der Entwicklung und Implementierung
von Algorithmen im Computer-Algebra System Scratchpad mitarbeiten.
Voraussetzungen f"ur die Bewerbung sind ein abgeschlossenes
Hochschulstudium der Mathematik oder Informatik, gute Kenntnisse in
Algebra, Theorie der Differentialgleichungen, Komplexit"atstheorie
und Software Engineering. Dar"uberhinaus w"aren Erfahrung in LISP
und weiteren h"oheren Programmiersprachen wie PASCAL, MODULA oder
Ada von Vorteil.
 
\vspace*{1mm}
 
Die Stelle ist auf 3 Jahre befristet. Die M"oglichkeit zur Promotion
ist gegeben. Die Verg"utung richtet sich nach dem BAT
(Bundesangestellten-Tarif). Daneben werden die "ublichen
Sozialleistungen des "offentlichen Dienstes gew"ahrt.
 
Ihre schriftliche Bewerbung richten Sie bitte an die Personalabteilung
der Gesellschaft f"ur Mathematik und Datenverarbeitung mbH,
Schlo\ss\ Birlinghoven, Postfach 1240, 5205 St.~Augustin 1.}}
 
\end{center}
 
 
 
{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Kurze Mitteilungen}\vspace{1mm}\hrule}
 
In den {\bf Niederlanden} ist in diesem Sommer ebenfalls eine
Arbeitsgruppe Computer-Algebra gegr\"undet worden. $***$\3
Dr. S.~M.~Watt von der Computer-Algebra Gruppe am Th.~J.~Watson
Research Center in Yorktown Heights wird im November vier Wochen
als Gast der Computer-Algebra Gruppe der GMD verbringen. $***$\3
Das Dept. of Mathematics, Colby College, Waterville, ME 04901 gibt
den CASE \hbox{NEWSLETTER} heraus; CASE steht f"ur {\bf C}omputer
{\bf A}lgebra {\bf S}ystems in {\bf E}ducation. Anforderungen k"onnen
an die angegebene Adresse geschickt werden.
 
\end{document}
