\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 2  \hfill Fachgruppe 2.2.1 \hfill 15. Juni 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,
 
hier ist die zweite Ausgabe unseres Rundbriefs, der inzwischen in
mehr als 500 Exemplaren verschickt wird.
 
Um unsere Fachgruppe mit Leben zu erf"ullen, werden wir demn"achst
auf den Fachtagungen der sie tragenden Gesellschaften
Fachgruppentreffen und eigene Veranstaltungen organisieren. Wie Sie
unter den Hinweisen auf Konferenzen sehen, sind die Veranstaltungen
der Sektion {\em Computational Algebra} auf der DMV Tagung in
Regensburg ein erster Schritt in diese Richtung.  Wir w"urden uns
freuen, wenn bei dieser Gelegenheit W"unsche und Anregungen f"ur
weitere Aktivit"aten an uns herangetragen w"urden.  Auf der
Jahrestagung der GI in Hamburg (CCH Hamburg, 17.-19. Oktober 1988)
soll ebenfalls ein informelles Treffen der Fachgruppe stattfinden.
"Uber beide Veranstaltungen erhalten Sie im August noch eine
gesonderte Mitteilung.
 
Zum ersten Mal erscheint die Rubrik Computer-Algebra Literatur.
Darin soll in zwangloser Folge Literatur aufgef"uhrt werden, die
f"ur jemanden, der in diesem Gebiet arbeitet, von Interesse sein
k"onnte. Sie wird einf"uhrende Lehrb"ucher umfassen sowie
Tagungsberichte und sp\"{a}ter auch Zeitschriften.  F"ur Hinweise
auf weitere Titel, die in diess Rubrik aufgenommen werden k"onnten,
sind wir jederzeit dankbar.
 
 
\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 Algebraic Geometry and Computing}
 
Luminy/ Marseille, 27.6.-1.7.1988.
 
{\footnotesize
Kontaktadresse: Andr\'{e} Galligo, D\'{e}partement de Math\'{e}matiques,
Universit\'{e} de Nice, Parc Valrose, 06034 Nice, cedex, Frankreich.}
 
\item{\bf Computer Algebra and Parallelism}
 
Grenoble, 29.6.-1.7.1988
 
{\footnotesize
Kontaktadresse: Jean Della Dora, ENSIMAG- laboratoire TIM3,
46 Avenue Felix Viallet, 38031 Grenoble cedex, Frankreich oder
John Fitch, School of Mathematical Science, University of Bath,
Bath BA2 7AY, England.}
 
\item {\bf First Joint International 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
 
{\footnotesize Conference Chairman: A.~ Miola
 
Kontaktadresse:
Dipartimento di Informatica e Sistemistica, Universit\`{a} di Roma
{\em La Sapienza}, Via Buonarroti 12, 00185 Roma, Italien}
 
\item
Sektion {\bf Computational Algebra} der Jahrestagung der DMV
 
Regensburg 19.~9.-23.~9 1988
 
{\footnotesize Tagungsleitung: R.~Mennicken, Regensburg
 
Sektionsleitung: J.~Neub\"user, Aachen
 
Kontaktadresse: Mathematisches Institut, Universit\"at Regensburg}
 
\item DMV Seminar {\bf Computer-Algebra}
 
Schlo\ss\ Mickeln, D\"usseldorf, 25.~9.-2.~10 1988
 
{\footnotesize Referenten: B.~Buchberger, Linz, J.~Davenport, Bath
 
Organisation: G.~Fischer, D\"usseldorf
 
Kontaktadresse: Gesch\"aftsstelle der DMV, Albertstra\ss e 24,
D-7800 Freiburg}
 
\item
{\bf Applicable Algebra}
 
Oberwolfach, 1.~1.-7.~1.1989
 
{\footnotesize Leitung: Th.~Beth, Karlsruhe, B.~Buchberger, Linz,
H.~L\"uneburg, Kaiserslautern
 
 Teilnahme auf Einladung
 
 Kontaktadresse: Mathematisches Forschungsinstitut Oberwolfach,
 Gesch\"aftsstelle: Albertstra\ss e 24, D-7800 Freiburg}
 
\end{enumerate}
 
{\Large\bf \hrule\vspace{1mm}
\centerline{Berichte von Konferenzen}\vspace{1mm}\hrule}
 
\begin{enumerate}
\item {\bf Computational Group Theory}
 
Oberwolfach, 15.5.-21.5.1988
 
Hauptthema der Tagung waren Algorithmen zum Rechnen mit endlichen
Pr\"asentationen, in endlichen aufl\"osbaren Gruppen, in {\it
p}-Gruppen und mit Darstellungen endlicher Gruppen. Zum ersten Mal
wurden f\"ur eine Tagung in Oberwolfach mehrere Computersysteme
installiert: Die Firmen MASSCOMP und SUN hatten einen MC 5600 bzw.
eine SUN 3/60 zur Verf\"ugung gestellt. Diese wurden durch zwei von
der Firma APPLE gestiftete MacIntosh II, einen ATARI und eine
HP-VEKTRA sowie Peripherie, die aus dem Lehrstuhl D f\"ur Mathematik
der RWTH Aachen mitgebracht wurden, erg\"anzt. Diese Ausstattung
diente vor allem dazu, Demonstration, Austausch und Anwendung von
Software f\"ur gruppentheoretische Untersuchungen zu erm\"oglichen.
 
In der Tat wurde die Tagung durch die Verf\"ugbarkeit eines breiten
Spektrums gruppentheoretischer Software bereichert:
\begin{itemize}
\item[-] das CAYLEY System von der Universit\"at Sydney, das derzeit
die reichste Auswahl gruppentheoretischer Algorithmen
umschlie{\ss}t,
\item[-] ein neues System GAP (RWTH Aachen), das vor allem der
Entwicklung neuer gruppentheoretischer Algorithmen dienen soll,
\item[-] das System SPAS, das eine Reihe von Implementationen zum
Umgang mit Pr"asentationen aus Canberra, St.~Andrews und Aachen
vereinigt,
\item[-] stand-alone Programme von C.~Sims und D.~Holt f\"ur den
Knuth-Bendix Algorithmus, f\"ur Restklassenabz\"ahlung und zur
Bestimmung von Untergruppen von kleinem Index,
\item[-] das SOGOS System (RWTH Aachen) zum Rechnen in endlichen
aufl\"osbaren G ruppen,
\item[-] die in Canberra entwickelten Nilpotent Quotient Programme
mit ihren Anwendungen auf die Klassifikation von {\em p}-Gruppen,
\item[-] neue Kommutator-Collecting Methoden von L.~Soicher (QMC),
\item[-] das CAS System (RWTH Aachen) zum Rechnen mit Charakteren
gew"ohnlicher Darstellungen,
\item[-] R.~Parker's MEAT-AXE zur Berechnung modularer
Darstellungen,
\item[-] das MOC-System (RWTH Aachen) zur interaktiven Berechnung
modularer Charaktere,
\item[-] D.~Holt's COHOMOLGY Programme zum Berechnen der ersten
und zweiten Kohomologie-Gruppe,
\item[-] das LIE System (CWI Amsterdam), das in Lie-Gruppen z.B.
Multiplizit\"aten, Tensorproduktzerlegungen und Weyl-Gruppen
berechnen kann,
\item[-] R.~Riley's PNCRE System, das Untergruppen von $SL_2({\bf
C})$ auf Diskretheit untersucht und Pr\"asentationen und
Fundamentalbereiche f\"ur solche berechnet,
\item[-] eine Reihe von Routinen zur Berechnung der Galoisgruppen eines
gegebenen Polynoms, die im ebenfalls vorhandenen MAPLE System geschrieben
waren.
\end{itemize}
 
Die von 55 eingeladenen Teilnehmern besuchte Tagung machte die rasche
Entwicklung dieses jungen Gebiets sehr deutlich.
 
\noindent Vortr\"age:
 
{\footnotesize R.~Brandl, W\"urzburg, {\em Finite varieties and a
finitely presented group}, C.M.~Campbell, St.~Andrews, {\em
Presentations for simple groups}, J.~Cannon, U. of Sydney, {\em
Cayley 4.0}, P.~le~Chenadec, Paris Sud, {\em Knuth-Bendix algorithm
and Dehn's algorithm}, M.~Clausen, Karlsruhe, {\em Fast Wedderburn
transforms}, A.~Cohen, M.C. Amsterdam, {\em Finite subgroups of
$E_8({\bf C})$}, J.D.~Dixon, Carleton U., Ottawa, {\em Computation
in number fields with application to Galois groups}, L.~Finkelstein,
Northeastern U., Boston, {\em Computing in groups using labelled
branching}, R.~Gilman, Stevens Tec., Hoboken, {\em The Knuth-Bendix
method for finitely presented groups}, S.~Glasby, U. of Sydney, {\em
Algorithms for finite soluble groups}, G.~Havas, Brisbane, {\em
Supercomputer applications} , G.~Hi{\ss}, Aachen, {\em MOC: a
modular character system - theoretical background}, D.F.~Holt,
Warwick, {\em Computing with infinite finitely presented groups},
D.~Johnson, Nottingham, {\em Power-series groups},  W.~Kantor , U.
of Oregon, {\em Short presentations}, A.~Kerber, Bayreuth, {\em
Algebraic combinatorics: The use of finite group actions},
C.~Leedham-Green, QMC London, {\em Computing in p-groups}, R.~List,
Birmingham, {\em Certain groups associated with finite projective
geometries}, E.M.~Luks, U. of Oregon, Eugene, {\em Parallel
computation for permutation groups}, K.~Lux, Aachen, {\em MOC: a
modular character system - description of some programs},
B.H.~Matzat, T.U. Berlin, {\em Zopfklassen von erzeugenden Systemen
endlicher Gruppen}, J.~McKay, Concordia U., Montreal, {\em Computing
Galois groups of polynomials}, F.~Menegazzo, Padova, {\em An
application of SOGOS}, J.~Neub\"user, Aachen, {\em Subgroup
presentations revisited}, J.~Neub\"user, Aachen, {\em Computation of
conjugacy classes of soluble groups}, M.F.~Newman, Canberra, {\em
Computing in groups of exponent four}, E.~O'Brien, Canberra, {\em
Algorithms for the determination of {\it p}-groups}, R.~Parker,
Cambridge, {\em Computing modular characters}, W.~Plesken, Aachen,
{\em A soluble quotient algorithm}, C.~Praeger, Perth, {\em
Algorithms for finite soluble groups and permutation groups},
S.~Rees, Warwick, {\em Constructing a machine for automatic groups},
R.~Riley, Binghampton, {\em Computation of discrete groups acting on
hyperbolic 3-space}, E.~Robertson, St.~Andrews, {\em Simplifying
group presentations}, A.~Ryba, U. of Michigan, Ann Arbor, {\em
Computation of representations of Hecke algebras}, G.J.A.~Schneider,
Essen, {\em Vertizes und Quellen}, M.~Sch\"onert, Aachen, {\em GAP},
S.~Sidki, Brasilia, {\em A generalization of the alternating
groups}, C.~Sims, Rutgers, {\em The Knuth-Bendix procedure
and coset enumeration} , M.~Slattery, Marquette U., Milwaukee {\em
Computation in finite soluble groups }, G.C.~Smith, Bath, {\em
Dirichlet series associated with groups}, L.~Soicher, QMC London,
{\em Collection}, M.~Vaughan-Lee, Oxford, {\em Collection from the
left}, Zaychenko, Acad. of Sc., Moskau, {\em Computational methods
in invariant relations algebras}.  \hfill  J.~Neub\"user}
\item {\bf First International Workschop on Computer Algebra and
Differential Equations}
 
Grenoble, 24.5.-27.5.1988.
 
Die beiden Schwerpunkte dieser Tagung waren 1. theoretische
Grundlagen f"ur die L"osung von Differentialgleichungen in
geschlossener Form (differentielle Galois Gruppe, erste Integrale,
Symmetrieanalyse, analytische Integration) und 2. die Einbindung von
numerischen und graphischen Methoden in ein System zur automatischen
L"osung ( Pr"asentation von DESIR).
 
Vortr"age.
 
{\footnotesize
Main lectures. J.~P.~Ramis, J.~Martinet, Stra\ss burg,
{\em Th\'{e}orie de Galois
differentielle et resommation},
M.~Singer, North Carolina,
{\em Tutorial in differential Galois theory with the
emphasis on computing Galois groups and formal solutions of linear
differential equations},
N.~Kamran, Waterloo/Canada,
{\em Cartan's method of equivalence, a method for deciding
if two systems of differential equations are equivalent under certain
representations of coordinates},
M.~Bronstein, Yorktown Heights,
{\em Symbolic integration: from decidability to
practical work}.
 
Short talks. A.~Duval, Grenoble,
{\em Les groupes de Galois des hyperg\'{e}ometriques
g\'{e}n\'{e}ralis\'{e}es},
R.~Zippel, Cambridge/USA (Symbolics),
{\em Determination of the phase space form of a differential
equation},
R.~Stokhamer, New York,
{\em Solving first order differential equations using first
integrals and the Prelle-Singer algorithm},
E.~Wagenf"uhrer, Regensburg,
{\em On the evaluation of formal fundamental solutions of linear
differential equations at a singular point},
F.~Schwarz, St.~Augustin (GMD),
{\em Symmetries of differential equations},
R.~Conte, Gif-sur-Yvette,
{\em Painlev\'{e} analysis of nonlinear PDE's and related topics: a
computer algebra program},
G.~Thiry, Namur,
{\em Differential equations of some orthogonal families}.
 
Special presentations. F.~Pham and his group, Nice,
{\em Semiclassical approximation},
J.~Della Dora, E.~Tournier, J.~Thomann, F.~Richard, Grenoble,
{\em Presentation of DESIR }.
 
Proceedings werden bei Academic Press erscheinen.
\hfill{\em F.~Schwarz}}
 
 
 
 
\item {\bf Konstruktive Zahlentheorie}
 
Oberwolfach, 22.5.-28.5.1988.
 
Vortr"age (in chronologischer Reihenfolge).
 
{\footnotesize
A.~Odlyzko, {\em Zeros of the Riemann zeta function},
M.~Huan, {\em Recognizing primes in random polynomial time (overview},
J.~Pila, {\em Generalization of Schoof's algorithm to abelian
varieties and applications},
K.~McCurley, {\em Algorithms for class numbers of imaginary
quadratic number fields},
H.~C.~Williams, {\em Some remarks concerning the computation
of the class number of a real quadratic number field},
D.~Buell, {\em Quadratic class groups and the Cohen-Lenstra
heuristics},
U.~Schr"oter, {\em Computational number theory system D"usseldorf},
M.~Reichert, {\em Simath, ein Computer Algebra System},
D.~B.~Zagier, {\em Polylogarithms and special values of zeta functions},
A.~Peth"o, {\em Representation of one binary form},
C.~P.~Schnorr, {\em Efficient perfect random number generators},
D.~Ford, {\em ALGEB, a computer algebra system},
G.~Gras und M.~N.~Gras, {\em Number fields without power basis},
D.~Cantor, {\em Computations in finite fields},
E.~Kaltofen, {\em Factoring sparse polynomials},
L.~M.~Adleman, {\em Testing primality in random polynomial time
(continued)},
L.~M.~Adleman, M.~Huang, {\em More details on primality tests},
J.~Cannon, {\em An overview of computational group theory},
J.~Martinet, {\em Small discriminants of number fields for a given
permutation group},
J.~Buchmann, {\em Algorithms in algebraic number theory and their
complexity},
H.~Cohen, {\em Heuristics in class groups},
J.~v.~Schmettow, {\em On the computation of class groups},
F.~Diaz y Diaz, {\em Utilisation des m\'{e}thodes de la
g\'{e}ometrie des nombres dans la construction explicite des
extensions relatives}.
H.~Zassenhaus, {\em Maximal orders of non commutative orders},
W.~Bosma, {\em Improvements of primality tests},
B.~H.~Matzat, {\em Neue Resultate der konstruktiven Galois Theorie},
S.~S.~Wagstaff, {\em New bound for the first case of Fermat's last
theorem},
D.~Bernardi, {\em The PARI librari},
E.~Kaltofen, {\em Computation of Hilbert class fields of imaginary
quadratic fields},
L.~Washington, {\em Large class numbers of real cyclotomic fields},
E.~Bach, {\em Some polynomials associated with the Pollard
$\rho$-method},
F.~Halter-Koch, {\em Principal factors in pure cubic fields},
B.~J.~Birch, {\em Hecke operators on ternary forms},
R.~Schoof, {\em Counting points on elliptic curves over finite fields},
J.~McKay, {\em Computing Galois groups},
J.~Cahal, {\em Congruent numbers and elliptic curves},
E.~Becker, {\em On the construction of large amicable numbers},
G.~Cornell, {\em Unramified extensions of fields containing many roots
of identity}.}
 
\end{enumerate}
 
\vspace*{8mm}
 
{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Neues \"uber Systeme und Hardware\vspace{1mm}}\hrule}
 
\vspace*{5mm}
\centerline{\large\bf REDUCE 3.3}
 
\centerline{Eberhard Schr"ufer}
{\footnotesize\centerline{GMD, Institut F1}
              \centerline{Postfach 1240, 5205 St.~Augustin}
              \centerline{Tel. 02241-142801, EARN: GF1013 @DBNGMD21 }}
 
REDUCE ist ein Programm f"ur allgemeine symbolische Berechnungen,
wie sie von besonderem Interesse f"ur Physiker, Mathematiker und
Ingenieure sind.  Seit Juli 1987 ist die Version 3.3 von REDUCE
erh"altlich. Die neueste Version (3.3 mit Updates) tr"agt das Datum
15. Januar 1988.  Als 'General Purpose System' erlaubt REDUCE die
Berechnung, Substitution, Expansion, Vereinfachung, Faktorisierung,
Differentation und Integration von Polynomen, rationalen Funktionen
und allgemeinen algebraischen Ausdr"ucken.  Der Bereich der
Konstanten sind exakte ganze und rationale Zahlen, modulare Zahlen,
Gau\ss'sche ganze Zahlen, reelle und komplexe Gleitkommazahlen
beliebiger Pr\"azision.  Ein Matrixpaket erlaubt die Berechnung von
Inversen und von Determinanten von Matrizen mit symbolischen
Elementen. Eine Solve-Funktion erm"oglicht das Aufl"osen einer
weiten Klasse von Gleichungen.  F"ur Anwendungen in der
Hochenergiephysik steht ein Paket f"ur Dirac-Matrizen zur
Verf"ugung.  Neben diesen spezifischen M"oglichkeiten enth"alt
REDUCE einen vielseitigen Pattern-Matcher zur Definition eigener
Vereinfachungsregeln und von Nebenrelationen. Der
Vereinfachungsproze{\ss}, wie z.B. die Kontrolle der Expansion von
Ausdr"ucken, das Berechnen gemeinsamer Teiler u.s.w, kann mit einer
Reihe von Softwareschaltern gesteuert werden. Ebenso erfolgt die
Steuerung des Outputformats, wie z.B. die Erzeugung von Fortran
Code.
 
Gegen"uber "alteren Versionen von REDUCE enth\"{a}lt die neue
Version Verbesserungen bereits implementierter Algorithmen wie
Solve, Matrix, Integrator, Resultanten etc., und eine Reihe neuer
M"oglichkeiten. Sie beinhalten das Finden von Eigenvektoren und
Eigenwerten von Matrizen, Arithmetik und Faktorisierung von
Polynomen "uber Gau\ss'schen ganzen Zahlen, 2-dimensionales Drucken
von rationalen Funktionen und als neuen Datentyp Listen.  Zum ersten
Mal wird mit REDUCE 3.3 eine Library von sechs 'User-Paketen'
verteilt.  Diese enth"alt:
 
\begin{quote}
{\em Algint:} Unbestimmte Integration von Ausdr"ucken,
die Wurzeln enthalten.\\
{\em Anum:} Algebraische K"orpererweiterungen\\
{\em Excalc:} Differentialgeometrie (Differentialformenkalk"ul)\\
{\em Gentran:} Code-Generator f"ur Fortran, Ratfor und C\\
{\em Gr"obner:} Berechnung von Gr"obner Basen\\
{\em Spde:} Berechnung von Symmetrien partieller
Differentialgleichungen\\
\end{quote}
 
Das {\em volle} REDUCE System ist nun auch auf {\em Personal
Computern} erh"altlich und eignet sich daher besonders gut zum
Einsatz in der Lehre und Ausbildung. F"ur einzelne bzw. Server
Maschinen der Fabrikate
%
\begin{quote}
{\bf
VAX/VMS, VAX/UNIX, \\
SUN-3/UNIX, APOLLO/UNIX,\\
IBM-PC/MS-DOS, MACINTOSH/MACOPSYS}
\end{quote}
%
k"onnen REDUCE Versionen bezogen werden von
 
Northwest Computer Algorithms, P.O. Box 1747, Novato, CA 94948, U.S.A.
\centerline{Telefon: (415) 897-1302}
 
\noindent
Der Preis betr"agt US\$ 495 (+US\$ 15 Versandgeb"uhren) und
beinhaltet die notwendige Lisp Software und Dokumentation.  Es
besteht auch die M"oglichkeit eine {\em Site License f"ur eine
Universit"at} zu erwerben. Die verwaltende Stelle, z.B. das
Rechenzentrum oder eine andere offizielle Stelle, erh"alt f"ur
\hbox{US\$ 2500} die komplette Software (einschlie\ss lich der
Quellprogramme und Dokumentation) und kann dann gegen eine Geb"uhr
von US\$ 75 Kopien ohne Quelltext und Dokumentation an
eingeschriebene Studenten weitergeben.
 
Die Konditionen bei den folgenden Versionen sind "ahnlich, sollten
aber bei den entsprechenden Distributoren nachgefragt werden:
 
\noindent
Versionen f"ur {\bf IBM/MVS} und {\bf IBM/CMS}, sowie {\bf CDC/NOS}
Maschinen bei:
%
\begin{quote}
Volker Winkelmann, Rechenzentrum, Universit"at zu K"oln\\
Robert-Koch-Strasse 10, D-5000 K"oln 41\\
Telefon: (0221) 478-5526, Earn: a0078@dk0rrzk0
\end{quote}
%
Eine {\bf IBM/CMS} Version, die auf Portable
Standard Lisp aufgebaut ist, bei:
%
\begin{quote}
Tryg A. Ager, Institute for Mathematical Studies in the Social Sciences\\
Ventura Hall, Stanford University,  Stanford, CA 94305\\
USA, Telefon: (415) 723-4117, BITNET: Tryg@suwatson
\end{quote}
%
F"ur {\bf Cray 1, Cray X-MP/COS, UNICOS} sind
Versionen erh"altlich von:
%
\begin{quote}
Herbert Melenk, Konrad-Zuse-Zentrum f\"{u}r Informationstechnik Berlin\\
Heilbronner Str. 10, D 1000 Berlin 31\\
Earn: zb6260@db0zib21
\end{quote}
%
Versionen f"ur den {\bf Atari 1040 ST, Atari Mega}, sowie {\bf ICL/VM   E}
k\"{o}nnen bezogen werden bei
%
\begin{quote}
Fitch-Norman Partnership, ``Alta``, Horsecombe Vale, Combe Down,\\
Bath BA2 5QR, UNITED KINGDOM\\
Telefon: (0225) 837430
\end{quote}
 
\noindent
F"ur {\bf Acorn} Personal Computer gibt es REDUCE von:
\begin{quote}
Sales Department, Acorn Computers Limited, Cambridge Technopark,\\
Newmarket Road, Cambridge CB5 8PD, UNITED KINGDOM\\
Telefon: (0223) 214411,  Telex:     81152 ACNNMR G
\end{quote}
%
Eine Implementierung f\"{u}r {\bf Siemens/BS} Maschinen ist
erh\"{a}ltlich von
%
\begin{quote}
Dr. H.G. Kruse, Rechenzentrum der Universit"at Mannheim, L15,16,
D-6800 Mannheim\\
EARN: \$32@DHDURZ1
\end{quote}
%
Neben den obengenannten Implementierungen gibt es weitere f\"{u}r eine
Vielzahl von Computern.
Ausk\"{u}nfte erteilt
%
\begin{quote}
Dr. A.C. Hearn, RAND Corp., P.O. Box 2138, Santa Monica, CA 90406-2138, USA\\
E-mail: reduce@rand-unix.arpa
\end{quote}
und der Autor (nach M\"{o}glichkeit via elektronischer Post, keine
Bestellungen beim Autor).
 
{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Publikationen "uber Computer-Algebra
\vspace{1mm}}\hrule}
 
D.~E.~Knuth, {\em The Art of Computer Programming vol. II,
Seminumerical Algorithms, Addison Wesley, 1981.}
 
{\footnotesize Die Reihe {\em The Art of Computer Programming} von
D.~Knuth geh"ort wohl unbestritten zu den am sorgf"altigsten und
kompetentesten geschriebenen Lehrb"uchern, die es im Grenzbereich
zwischen Informatik und Mathematik gibt. Von besonderem Interesse
f"ur die Computer-Algebra ist der zweite Band (von drei bisher
erschienenen) mit dem Untertitel {\em Seminumerical Algorithms}.
Insbesondere das Kapitel 4 "uber Arithmetik von Zahlen und Polynomen
kann man geradezu als Pflichtlekt"ure f"ur jeden ernsthaften
Interessenten der Computer-Algebra bezeichnen.  \hfill F.~Schwarz}
 
J.~D.~Lipson, {\em Elements of Algebra and Algebraic Computing},
Addison-Wesley, 1981.
 
{\footnotesize Das Ziel dieses Bandes ist es, grundlegende Begriffe
der Algebra zu vermitteln und zu zeigen, wie sie zum konkreten
Rechnen verwendet werden. (aus dem Vorwort)
 
Inhalt. Part One. Mathematical Foundations: Sets and Integers (Sets,
Relations, Functions, The Integers). Part Two.  Algebraic Systems (
Semigroups, Monoids and Groups; Rings, Integral Domains and Fields;
Quotient Algebras; Elements of Field Theory).  Part Three. Algebraic
Computing (Arithmetic in Euclidean Domains; Computation by
Homomorphic Images; The Fast Fourier Transform: Its Role in Computer
Algebra). }
 
J.~H.~Davenport, {\em On the Integration of Algebraic Functions},
Springer-Verlag, LNCS 102, 1981.
 
{\footnotesize Das zentrale Thema dieses Bandes ist die Frage: {\em
Wann ist eine algebraische Funktion integrierbar?} Das Ziel ist es,
einen Algorithmus zu entwickeln, der als Input eine algebraische
Funktion erwartet und das unbestimmte Integral, ausgedr"uckt durch
algebraische Funktionen, Exponentialfunktionen und Logarithmen
zur"uckgibt, oder die Antwort, da\ss\ ein solcher Ausdruck nicht
existiert. Die zugrunde liegende Theorie ist algebraische Geometrie
und Zahlentheorie.  Am Schlu\ss\ sind zahlreiche Beispiele in REDUCE
gegeben.  \hfill F.~Schwarz}
 
B.~Buchberger, G.~E.~Collins und R.~Loos, ed., {\em Computer Algebra,
Symbolic and Algebraic Computation}, Springer-Verlag, 1982.
 
{\footnotesize Dieser Sammelband mit Beitr"agen von 13 Autoren gibt
einen "Uberblick "uber den Stand der wichtigsten Teilgebiete der
Computer-Algebra bis etwa 1982. Die behandelten Themen sind unter
anderem algebraische Vereinfachung, Integration und Summation,
polynomiale Restfolgen, Faktorisierung und Gruppentheorie.  Als
Referenz, zum Einstieg in diese Gebiete und als Begleitmaterial f"ur
Lehrveranstaltungen wird es f"ur lange Zeit unentbehrlich bleiben.
\hfill F.~Schwarz}
 
M.~D.~Atkinson, ed. {\em Computational Group Theory}, Proceedings of
a 1983 LMS Symposium, Durham, Academic Press 1984.
 
{\footnotesize Da z.Zt. noch kein Lehrbuch "uber das Gebiet der
gruppentheoretischen Algorithmen und ihrer Implementation existiert,
gibt dieser Proceedings- Band derzeit den besten "Uberblick "uber
den Stand der Entwicklung auf diesem Gebiet. In drei Abschnitten
{\em Finitely presented groups}, {\em Finite groups} und {\em
Permutation groups and combinatorics} sind insgesamt 31 Arbeiten
zusammengefa\ss t, darunter auch einige, die eingeladene
Hauptvortr"age in der Form von Surveys wiedergegeben, u.a. "uber das
Todd-Coxeter Verfahren, "uber das Rechnen in aufl"osbaren Gruppen,
Umgang mit Charakteren und "uber das Cayley System und seine
Sprache. \hfill J.~Neub"user}
 
G.~Rayna, {\em REDUCE Software for Algebraic Computation},
Springer-Verlag, 1987.
 
{\footnotesize Dieser Band enth"alt eine gute Einf"uhrung in die
algebraische Version von REDUCE vom gleichen Autor, der schon das
Manual geschrieben hat, das zusammen mit dem REDUCE System verteilt
wird, geht im Umfang aber erheblich dar"uber hinaus.
\hfill F.~Schwarz}
 
J.~Davenport, Y.~Siret und E.~Tournier, {\em Computer Algebra},
Academic Press, 1988.
 
{\footnotesize Dies ist die englische Ausgabe des urspr"unglich bei
Masson 1987 erschienen Buches {\em Calcul Formel}. Es ist die erste
Monographie "uber Computeralgebra.  Es wird in etwa die Theorie
behandelt, die  heute in den gr"o{\ss}eren Systemen wie MACSYMA,
MAPLE, REDUCE oder SCRATCHPAD II realisiert ist. Das erste Kapitel
ist der Diskussion verschiedener Computer-Algebra Systeme mit
Beispielen gewidmet. Die wichtige Frage der Repr"asentation der
mathematischen Objekte  auf einem Computer ist das Thema des zweiten
Kapitels. Der Algorithmus von Buchberger, zylindrische
Dekomposition, Berechnung von gr"o\ss ten gemeinsamen Teilern,
p-adische  Methoden und Faktorisierung, Differentialgleichungen  und
Stammfunktionen sind die wichtigsten behandelten Gegenst"ande des
Buches, das mit einer ausf"uhrlichen Bibliographie und einer
Beschreibung von REDUCE im Anhang endet.  \hfill J.~Grabmeier}
 
R.~Jan\ss en, ed. {\em Trends in Computer Algebra}, International
Symposium  Bad Neuenahr, May 19-21, 1987, Proceedings; Springer-Verlag,
1988.
 
{\footnotesize Die Beitr"age in diesem Band geben einen guten
"Uberblick "uber den aktuellen Stand der Forschung in verschiedenen
f"ur die Computer-Algebra wichtigen Teilgebieten, so z.B.
Faktorisierung von Polynomen, konstruktive Galois Theory,
Termersetzungssysteme und das System Scratchpad II. \hfill
F.~Schwarz}
 
T.~Beth und M.~Clausen, {\em Computer-Algebra und Komplexit"at}.
 
{\footnotesize Dies ist eine Vorlesungsausarbeitung einer
einf"uhrenden Vorlesung "uber algebraische Algorithmen-Entwicklung
mit Anwendungen in Arithmetik, Signalverarbeitung und VLSI Design.
\hfill T.~Beth}
 
{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Lehrveranstaltungen "uber Computer-Algebra im SS 1988
\vspace{1mm}}\hrule}
 
{\bf Universit"at Bonn.}
 
{\em Computer-Algebra II: Polynome und rationale Funktionen},
F. Schwarz, 2 Stunden mit "Ubungen.
 
{\bf Universit"at Karlsruhe.}
 
{\em Proseminar: Symbolisches Rechnen}, F.~Bundschuh und J.~Calmet,
2 Stunden.
 
{\em Computer-Algebra}, Beth/Calmet, Rechnen in verschiedenen
Zahl-und Polynombereichen, Polynomfaktorisierung, Gr"obnerbasen,
algebraische FFT, symbolische Integration, symbolische L"osung von
Differentialgleichungen.
 
{\em Praktikum zur Computer-Algebra}, Beth/Calmet, Bearbeitung
m"oglichst praxisnaher Probleme mit g"angigen Computer-Algebra
Systemen (MACSYMA, SAC-2, Maple, Cayley).
 
{\em Faktorisierungsalgorithmen} (mit Praktikum), Clausen,
Algorithmen zur Faktorisierung ganzer Zahlen.
 
{\bf Universit"at K"oln.}
 
{\em Einf"uhrung in die Computer-Algebra}, F.~Hehl, 2 Stunden
mit "Ubungen.
 
{\bf Universit"at Passau}
 
{\em Computer-Algebra II} und {\em Seminar "uber Computer-Algebra},
Weispfennig.
 
{\bf Universit"at T"ubingen.}
 
{\em Computer-Algebra II}, Loos/Simon, 2 Stunden mit "Ubungen.
 
{\em Quantorenelimination und Entscheidungsverfahren}, Felgner/Loos,
Seminar, 2 Stunden.
 
{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Offene Stellen}\vspace{1mm}\hrule}
 
\begin{center}
 
\framebox[172mm]{\parbox{170mm}{
\begin{center}
{\large RISC LINZ}
 
Am Research Institute f"ur Symbolic Computation der Johannes Kepler
Universit"at Linz \hbox{(RISC LINZ)} ist eine zeitlich begrenzte
Stelle eines
 
{\bf Forschungsassistenten}
 
 
\end{center}
 
zu besetzen. Der/Die Bewerber(in) sollte m"oglichst ein
abgeschlossenes Diplom bzw. Doktorat in Informatik oder Mathmatik
besitzen und Interesse, wom"oglich Erfahrung, an wissenschaftlicher
Arbeit im Bereich Entwicklung paralleler Algorithmen f"ur
symbolisches Rechnen (Computer-Algebra, Computaional Logic,
Computational Geometry, etc.) besitzen.  Die Arbeit ist im Rahmen
eines in RISC-LINZ laufenden Forschungsprojektes {\em Parallele
Sprache und Parallele Algorithmen f"ur Symbolic Computation}
geplant.
 
F"ur Ausk"unfte steht der Institutsleiter Prof.~Dr.~ Bruno Buchberger,
Johannes Kepler Universit"at, RISC-LINZ, Altenbergstra\ss e 69,
4040 Linz, Tel.: "Osterreich (732) 2468-9219 zur Verf"ugung. Auch
Bewerbungen sind an diese Adresse zu richten.}}
 
\framebox[172mm]{\parbox{170mm}{
Am Institut f"ur Algorithmen und Kognitive Systeme der Universit"at
Karlsruhe ist in der Arbeitsgruppe von Prof. Dr. Jacques Calmet die
Stelle eines
 
\centerline{\bf wissenschaftlichen Mitarbeiters}
 
zu besetzen. Voraussetzung f"ur die Bewerbung ist ein abgeschlossenes
Hochschulstudium der Informatik oder Mathematik. Neben den "ublichen
Verpflichtungen im Bereich der Lehre wird von dem (der) Berwerber(in)
erwartet, auf einem der folgenden Gebiete wissenschaftlich
mitzuarbeiten:
 
     \hspace*{5mm}- Computer-Algebra,
 
     \hspace*{5mm}- Algebraische Algorithmen und ihre Implementierung,
 
     \hspace*{5mm}- Mathematische Wissensrepr"asentation.
 
Die Stelle ist auf maximal 5 Jahre befristet. Interessenten wenden
sich mit den "ublichen Unterlagen an Prof. Dr. Jacques Calmet,
Universit"at Karslruhe, Institut f"ur Algorithmen und Kognitive
Systeme, Haid-und-Neu-Str. 7, 7500 Karlsruhe 1}}
 
\end{center}
 
{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Kurze Mitteilungen}\vspace{1mm}\hrule}
 
Bei der {\bf GMD in St.~Augustin} l"auft seit kurzem Scratchpad II
auf der IBM 3090. Dies ist die erste Installation in Deutschland
au\ss erhalb einer IBM eigenen Anlage. --- Am 12.10.1988 findet in
Saarbr"ucken die Abschlussveranstaltung des Gemeinschaftsprojekts
{\em Innovative Informations Infrastrukturen} der {\bf Universit"at
des Saarlandes} und der Siemens AG M"unchen statt.  N"ahere
Informationen dazu sind "uber den Vizepr"asidenten f"ur Forschung
der Universit"at des Saarlandes, Im Stadtwald, 6600 Saarbr"ucken,
Tel. 0681-302-2651, zu erhalten. --- Als G"aste befinden sich an der
{\bf Universit"at T"ubingen} Prof.~G.~E.~Collins und
Prof.~A.~Colmerauer vom 15.8.-9.9.1988.
 
 
\end{document}
