\documentstyle[11pt,german]{article}
\textwidth 175mm\textheight 252mm\columnwidth\textwidth
%\addtolength{\textheight}{-0.8cm}
%\hoffset-25mm\voffset-20mm
\hoffset-25mm\voffset-35mm
\newcommand\tm{$^{\rm tm}$}
\newcommand\ca{Com\-pu\-ter\-al\-ge\-bra}
\renewcommand{\baselinestretch}{0.9}
%
%
%\documentstyle[11pt, german, dina4]{article}
%\textwidth 175mm\textheight 252mm\columnwidth\textwidth
%%\addtolength{\textheight}{-0.8cm}
%\hoffset-25mm\voffset-20mm
%\newcommand\tm{$^{\rm tm}$}
%\renewcommand{\baselinestretch}{0.9}
 
 
 
\begin{document}
\begin{Huge}
\noindent
\framebox[175mm]{\bf Computeralgebra--Rundbrief}
\end{Huge}
 
 
\noindent
{\it Nummer 8  \hfill Fachgruppe 2.2.1 \hfill 8.4. 1991}
\footnotetext{{\bf Impressum}\hspace*{3mm}
{\em Computeralgebra--Rundbrief}
\hspace*{3mm}Herausgegeben von der Fachgruppe 2.2.1
{\em Computeralgebra} der GI, DMV und GAMM. \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,
 
die konstituierende Sitzung der erstmals von den Mitgliedern
der Fachgruppe gew"ahlten Leitung fand am 10.11.1990 in Heidelberg
statt. Zum neuen Sprecher wurde V. Weispfenning (Passau) gew"ahlt,
zum stellvertretenden
Sprecher J. Grabmeier (Heidelberg), der auch die Redaktion des Rundbriefes
"ubernimmt.  Die neue Fachgruppenleitung dankt den Mitgliedern
der alten Fachgruppenleitung, insbesondere den ausgeschiedenen Mitgliedern
B.~Buchberger (Linz), R.~Jan"sen (Heidelberg), H.~Stoyan (Konstanz)
und den beiden Sprechern F. Schwarz (St. Augustin) und J. Neub"user (Aachen)
f"ur die geleistete Arbeit beim Aufbau und in den ersten Jahren dieser
Fachgruppe.
 
Zur Erm"oglichung besserer Kommunikation der Mitglieder mit der
Fachgruppenleitung
ver"offentlichen wir hier  eine ausf"uhrliche  Adressenliste,  die
insbesondere auch die elektronischen Adressen enth"alt.
 
Anmeldungen f"ur Mitgliedschaft und Zusendung des Rundbriefes  bitten
wir Sie formlos direkt an die Gesch"aftsstelle der GI, Godesberger Allee 99,
5300 Bonn 2, zu richten.
Diese Mitgliedschaft ist unabh"angig von der Mitgliedschaft in DMV, GI oder
GAMM und mit keinerlei Kosten verbunden.
 
Auch bitten wir Sie durch Beitr"age f"ur den Rundbrief, Redaktionsschlu"s
jeweils 28.02 und 31.08, diesen noch attraktiver und vollst"andiger
zu machen. Beitr"age sollten m"oglichst in \TeX\ und mit elektronischer
Post an den Herausgeber geschickt werden. Denken Sie bitte auch an
Routineinformationen wie Vorlesungen und "Ubungen, Literatur "uber
\ca\ (m"oglichst mit kurzen Besprechungen), Hinweise auf Konferenzen etc..
 
\vspace*{3mm}
 
\hspace*{70mm} V.~Weispfenning \hspace*{15mm} J.~Grabmeier}
 
{\vspace*{5mm}\Large\bf\hrule\vspace{1mm}
 
\centerline{
Fachgruppenleitung Computeralgebra
}\vspace{1mm}\hrule}
\vspace*{2mm}
{\scriptsize
\noindent
 
 
\begin{tabular}{lll}
\begin{tabular}{l}
Prof. Th.~Beth \\
Universit\"at Karlsruhe \\
Fakult\"at f\"ur Informatik \\
7500 Karlsruhe 1 \\
Tel. 0721-608-4213, -4205 (Sekr.)\\
%Tel. 07243-69828 (privat)\\
Telefax 0721-696893\\
\end{tabular}
 
&
 
\begin{tabular}{l}
Prof. J.~Calmet\\
Universit\"at Karlsruhe\\
Fakult\"at f\"ur Informatik\\
7500 Karlsruhe 1\\
Tel. 0721-608-4208 \\
%Tel. 0721-67501 (privat)\\
Telefax 0721-696893\\
%elektr. Adr.\  calmet@iravcl.ira.uka.de\\
elektr. Adr.\ \\ \ \  KG02@DKAUNI2.BITNET\\
\end{tabular}
 
&
 
\begin{tabular}{l}
Prof. W.~Degen\\
Mathematisches Institut B\\
Universit\"at Stuttgart\\
Pfaffenwaldring 57 \\
7000 Stuttgart 80\\
Tel. 0711-685-5317, -5318 (Sekr.)\\
%Tel.                    (privat)\\
Telefax: 0711-685-5322\\
elektr. Adr.\ LBAA@DS\/0RUS1I \\
\end{tabular}
 
\\
 & &  \\
 
\begin{tabular}{l}
Prof. B.~Fuchssteiner\\
Universit\"at Paderborn\\
Fachbereich Mathematik-Informatik\\
4790 Paderborn\\
Tel. 05251-60-2627, -2635 (Sekr.)\\
%Tel. 05254-6152 (privat)\\
Telefax  05251-60-3836\\
elektr. Adr.\ benno@uni-paderborn.de\\
\end{tabular}
 
&
 
\begin{tabular}{l}
Dr. J.~Grabmeier\\
IBM, Wissenschaftliches Zentrum\\
Tiergartenstr. 15\\
Postfach 10 30 68\\
6900 Heidelberg\\
Tel. 06221-404-329, -253(Sekr.)\\
%Tel. 06221-782474 (privat)\\
Telefax: 06221-404-296\\
elektr. Adr. grabm@dhdibm1.earn\\
\end{tabular}
 
&
 
\begin{tabular}{l}
Prof. R.~Loos\\
Wilhelm Schickard Institut f\"ur Informatik\\
Universit\"at T\"ubingen\\
7400 T\"ubingen\\
Tel. 07071-29-2899\\
%Tel. 0631-52586 (privat)\\
Telefax: 07071-29-5958\\
elektr. Adr.\ loos@\\ \ \  secundus.informatik.uni-tuebingen.de\\
\end{tabular}
 
\\
 & &  \\
 
\begin{tabular}{l}
Prof. B.~H.~Matzat\\
Mathematisches Institut\\
Universit\"at Heidelberg\\
6900 Heidelberg\\
Tel. 06221-56-5225 (IWR), \\ -2680 (Math.Inst.)
 -5224 (Sekr.)\\
%Tel. 06221-29690 (privat)\\
Telefax 06221-56-5224 \\
elektr. Adr.\ \\ \ \ V\/07@dhdurz1.bitnet \\
\end{tabular}
 
&
 
\begin{tabular}{l}
Prof. J.~Neub\"user\\
RWTH Aachen\\
Mathematische Fakult\"at\\
Templergraben 64\\
5100 Aachen\\
Tel. 0241-80-4543, -4542 (Sekr.)\\
%Tel. 0241-62375 (privat)\\
elektr. Adr.\  FM@DACTH51.EARN \\
\end{tabular}
 
&
 
\begin{tabular}{l}
Prof. M.~Pohst\\
Mathematisches Institut\\
Universit\"atsstra\ss e 1\\
4000 D\"usseldorf\\
Tel.0211-311-2188, -2160(Sekr)\\
%Tel.  0211-274373  (privat)\\
elektr. Adr.\\ \ \ POHST@DD\/0RUD81.BITNET \\
\end{tabular}
 
\\
 & &  \\
 
\begin{tabular}{l}
Dr. F.~Schwarz\\
GMD, Institut F1\\
Postfach 1240\\
5205 St.~Augustin\\
Tel. 02241-14-2782, -2776(Sekr.)\\
%Tel. 02244-1800 (privat)\\
Telefax: 02241-14-2618, -2889\\
elektr. Adr.\  GF1002@DBNGMD21.EARN\\
\end{tabular}
 
&
 
\begin{tabular}{l}
Prof.~V.~Weispfenning\\
Lehrstuhl f"ur Mathematik\\
Universit"at Passau\\
Innstra\ss e 27\\
8390 Passau\\
Tel. 0851-509-317, -316, -315 (Sekr.)\\
%Tel. 08502-8568 (privat)\\
Telefax: 0851-509-130\\
elektr. Adr.\  \\ \ \ WEISPFEN@UNIPAS.UUCP \\
\end{tabular}
 
&
 
\begin{tabular}{l}
Prof. H.G.~Zimmer\\
Universit\"at des Saarlandes\\
Fachbereich Mathematik\\
6600 Saarbr\"ucken\\
Tel. 0681-302-2206, 3430 (Sekr.)\\
%Tel. 06894-34498 (privat)\\
Telefax 0681-302-4443\\
elektr. Adr.\ zimmer@campus.uni-sb.DE \\
\end{tabular}
 
\end{tabular}
}
 
 
\newpage
 
 
%{\vspace*{5mm}\Large\bf\hrule\vspace{1mm}
{\Large\bf\hrule\vspace{1mm}
\centerline{Hinweise auf Konferenzen}\vspace{1mm}\hrule}
 
\begin{enumerate}
 
\item {\bf Workshop on Symbolic Software for Mathematical Research}
 
Rutgers, NJ, USA, 11.--15.03.1991.
 
%%\marginpar{ {\footnotesize
%%(Neub\"user will berichten)
%%}}
%
{\footnotesize Kontaktadresse: Charles Sims, Dept. of Mathematics,
Rutgers University, New Brunswick, NJ 08903,\\
elektr. Adr. sims@math.rutgers.edu.}
 
\item {\bf Workshop on Computational Number Theory}
 
Rutgers, NJ, USA, 18.--22.03.1991.
 
%%\marginpar{ {\footnotesize
%%(Pohst o. Zimmer will berichten)
%%}}
%
{\footnotesize Kontaktadresse: A.M.~Odlyzko, AT\&T Bell Labs,
600 Mountain Ave., Murray Hill, NJ 07974-2070.}
 
 
\item {\bf Group Theory and Computation}
 
University of Warwick, Coventry, England, 18.--22.3.1991.
 
%%\marginpar{ {\footnotesize
%%(jemand aus Aachen will berichten)
%%}}
%
{\footnotesize Kontaktadresse: R. Carter, Mathematics Institute,
University of Warwick, Coventry CV4 7AL, U.K.,\\
elektr. Adr. ses@uk.ac.warwick.math.}
 
\item {\bf V. Internationales Kolloquium "uber aktuelle Probleme
der Rechentechnik}
 
Dresden, 19.--23.03.1991.
 
%%\marginpar{ {\footnotesize
%%(evtl. kann Zimmer berichten)
%%}}
%
Themen: Computeralgebra, - analytik, Mathematische Informatik,
Computergeometrie, Mathematische Verfahrenstechnik, Mathematische
Modellbildungen (Anwendungen in Natur- und Ingenieurwissenschaften).
 
{\footnotesize Tagungsleitung: Prof.~Dr.~M.~Ludwig,
Sektionsleitung: Prof.~Dr.~G.~Geise.}
 
\item {\bf CAMASA '91 \\
Convegno Nazionale di Calcolo Algebrico e Simbolico}
 
Cagliari, Italy, 21.--23.03.1991.
 
%%\marginpar{ {\footnotesize
%%(evtl. kann Weispfenning berichten)
%%}}%
{\footnotesize Kontaktadresse:  T.~Mora, Dip. Matematica,
Via~L.B.~Alberti~4, 16132 Genova, Tel. 010-3538739, Fax:010-3538769,
elektr. Adr. THEOMORA@IGECUNIV.bitnet}
 
\item {\bf Commutative Algebra, Algebraic Geometry and their
Interactions\\
with Computer Algebra}
 
Eisenach, 5.--13.6.1991.
 
Anmeldung bitte bis zum {\bf 1.3.1991}.
 
%%\marginpar{ {\footnotesize
%%(evtl. kann Weispfenning berichten)
%%}}%
{\footnotesize Kontaktadresse: W. Reutter, Karl--Marx--Universit\"at, Sektion
Mathematik, Karl--Marx--Platz, 7010~Leipzig.}
 
\item {\bf Mathematische Methoden in der Robotik}
 
Mathematisches Forschungsinstitut Oberwolfach, 16.--22.06.1991.
 
Tagungsleitung:
H.~G.~Bock (Augsburg), F.~Pfeiffer (M"unchen).
 
 
\item {\bf Special Session on Symbolic Mathematics as a tool for
Building Engineering Software}
 
of The American Society of Mechanical Engineers European Joint Conference
on Engineering Systems Design and Analysis, Istanbul, T"urkei, 17--20.06.1991.
 
{\footnotesize Kontaktadresse:  Laurence L. Leff, Stipes 447,
Department of Comp. Science, Western Illinois University, Macomb, Il. 01455,
 USA.}
 
 
\item {\bf Computational Number Theory}
 
Mathematisches Forschungsinstitut Oberwolfach, 7.--13.7.1991.
 
Tagungsleitung:
H.~W.~Lenstra~Jr. (Berkeley), M.~E.~Pohst (D\"usseldorf), H.~G.~Zimmer
(Saarbr\"ucken).
 
%%\marginpar{ {\footnotesize
%%(Zimmer kann berichten)
%%}}%
{\footnotesize
Kontaktadresse: H.~G.~Zimmer, Math.~Inst., Universit\"at Saarbr\"ucken,
elektr. Adr.  zimmer@campus.uni-sb.DE.}
 
\item {\bf International Symposium on Symbolic and Algebraic
Computation ISSAC '91}
 
Bonn, 15.--17.7.1991.
 
%%\marginpar{ {\footnotesize
%%(Schwarz kann berichten)
%%}}%
{\footnotesize Kontaktadresse:  Frau M. Dresen, GMD, Institut F1.P,
Postfach 1240, 5205 Sankt Augustin 1, Tel. 02241-142776.}
 
\item {\bf DMV-Jahrestagung}
 
Bielefeld, 15.--20.9.1991.
 
\noindent
{\bf Demonstrationsveranstaltung}
{\sl Computeralgebra--Systeme -- moderne Arbeitswerkzeuge f\"ur
   Ma\-the\-ma\-ti\-ker, Naturwissenschaftler und Ingenieure}
 
Die verschiedensten Computeralgebra--Systeme
sollen vorgef\"uhrt werden. Beitr\"age sind willkommen.
 
%%\marginpar{ {\footnotesize
%%(Wiwianka kann berichten)
%%}}%
{\footnotesize Kontaktadresse:
Waldemar Wiwianka (waldemar@uni-paderborn.de),
Benno Fuchssteiner (benno@uni-paderborn.de),
Universit\"at Paderborn, Fachbereich Mathematik, Postfach 1621,
4790 Paderborn}
 
\noindent
{\bf Sektion Wissenschaftliches Rechnen}
 
%%\marginpar{ {\footnotesize
%%(Neub\"user kann berichten)
%%}}%
{\footnotesize Kontaktadressen: W. J"ager, Institut f"ur Angewandte
Mathematik, Universit"at Heidelberg, Im Ne"unheimer Feld 294, 6900
Heidelberg, Tel. 06221/56-2780. J. Neub"user, Lehrstuhl D f"ur
Mathematik, RWTH Aachen, Templergraben 64, 5100 Aachen,
Tel. 0241/80-4543, elektr. Adr.  fm@dacth51.bitnet.}
 
\item {\bf CAHS'91, 3.~Herbstschule Computeralgebra und ihre
Anwendungen}
 
Dagstuhl, 23.--27.9.1991.
 
%%\marginpar{ {\footnotesize
%%(Schwarz kann berichten)
%%}}%
{\footnotesize Kontaktadresse: Frau D\"usselberg,
Deutsche Informatik-Akademie,
Wissenschaftszentrum,
Ahrstra"se 45, 5300~Bonn~2, Tel. ~0228-302164.}
 
\item {\bf Parallel Computation}\\
Special Session: Parallel Symbolic Computation
 
Salzburg, 30.9.--2.10.1991.
 
{\footnotesize Kontaktadresse: B. Buchberger, Johannes Kepler
Universit"at Linz, A-4040 Linz, "Osterreich, elektr. Adr. K313370@AEARN.
}
\item {\bf AAECC 9, Ninth International Symposium on Applied
Algebra, Algebraic Algorithms, and Error Correcting Codes}
 
New Orleans, 7.--10.10.1991.
 
%%\marginpar{ {\footnotesize
%%(Calmet will berichten)
%%}}%
{\footnotesize Kontaktadresse: T.R.N. Rao, Center Adv. Comp.  Studies,
Univ. of Southwestern Louisiana, P.O.Box 44330, Lafayette, LA
70504-4330, USA, Phone:1-318-2316854, Fax:1-318-2315791,
elektr. Adr.  trn@cacs.usl.edu.}
 
\item {\bf Workshop on Computation in Groups}
 
Rutgers, NJ, USA, 7.-10.10.1991.
 
{\footnotesize Kontaktadresse:
 Charles Sims, Dept. of Mathematics, Rutgers University,
New Brunswick, NJ08903, elektr. Adr. \\sims@math.rutgers.edu.}
 
\item {\bf Algorithmen der Computeralgebra}
 
Dagstuhl Seminar, 16.--20.12.1991.
 
%%\marginpar{ {\footnotesize
%%(Schwarz kann berichten)
%%}}%
{\footnotesize Organisatoren: Bruno\ Buchberger, James\ Davenport,
Fritz\ Schwarz. Teilnahme nur auf Einladung.}
 
{\footnotesize Kontaktadresse: F.~Schwarz, GMD~Institut F1,
Postfach~1240, D--5205~Sankt Augustin 1.}
 
 
\item {\bf Computational Group Theory}
 
Mathematisches Forschungsinstitut Oberwolfach, 07.--13.06.1992.
 
Tagungsleitung:
J.~Neub"user (Aachen), C.~Sims (New Brunswick).
\end{enumerate}
 
%\newpage
 
{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Berichte von Konferenzen}\vspace{1mm}\hrule}
\begin{enumerate}
\normalsize
\item {\bf Workshop Computer--Algebra--Systeme}
 
Institut f\"ur Experimentelle Mathematik, Universit\"at--GHS--Essen,
13. und 14.12.1990.
 
Am 13. und 14. Dezember 1990 fand am Institut f"ur Experimentelle Mathematik
der Universit"at Essen ein Workshop "uber Computeralgebrasysteme statt.
In den Vortr"agen wurden verschiedene Systeme vorgestellt sowie ein "Uberblick
"uber ihr Leistungsverm"ogen gegeben. Die hohe Zahl von ca. 75 Teilnehmern
aus verschiedenen naturwissenschaftlichen Disziplinen
zeigt, wie gro"s das Interesse an derartigen modernen Software-Tools ist.
W"ahrend der Tagung hatten die Teilnehmer ausreichend Gelegenheit, an
10 Workstations mit den einzelnen Systemen zu arbeiten; ein Angebot, das
ausgiebig angenommen wurde.
 
Es haben vorgetragen (in chronologischer Reihenfolge):
B. Trager (Scratchpad II), R. Maeder (Mathematica), G. Schneider (Cayley),
M. Monagan (Maple V), J. Davenport (Reduce), M. Sch"onert (gap).
%\\
%
{\hfill G.~Schneider\\}
 
%\item {\bf Computer Algebra in Engineering and Education}
 
%Technische Universit\"at Delft, NL, 17.12.1990.
 
%%\marginpar{ {\footnotesize
%%(Klein, Aachen f\"ahrt hin, aus Paderborn f\"ahrt jemand hin)
%%}}
\item {\bf Workshop on Symbolic Computing in Applied Maths}
Canterbury University, Christchurch, Neuseeland, 08.02.1991.
 
The meeting was an adjunct to the 27th Applied Maths Conference.
The three main sections in the meeting were
some developments at the symbolic-numeric interface,
applications, and computer algebra in teaching of early applied and engineering
maths. List of lectures:
 
{\footnotesize
Kevin Broughan (Waikato), k.broughan@waikato.ac.nz
{\it
Issues for the development of the symbolic-numeric interface:
the SENAC resolution.}
Terry Robb (Monash)  APM912U@vaxc.cc.monash.edu.au
{\it InterCall: linking the NAG library to Mathematica.}
Grant Keady (Western Australia and Waikato), gkeady@waikato.ac.nz
{\it
IRENA: an Interface between REduce and NAg.}
Grant Keady (Western Australia and Waikato),
{\it
GENTRANs: FORTRAN and C numerical code generation of whole functions,
from REDUCE and Macsyma.}
Ian Coope (Canterbury) idc@math.canterbury.ac.nz
{\it JAKEF - A FORTRAN77 program for automatic differentiation of FORTRAN
subroutines.}
Oscar Garcia (Forestry, Rotorua) garcia@mof.govt.nz
{\it A report on the Jan 1991
Colorado Meeting on automatic differentiation.}
J. Butcher, (Auckland)
butcher@maths.aukuni.ac.nz
{\it
Symbolic computation in the search for efficient numerical
methods for o.d.e.s.}
Colin McIntosh (Monash), APM254X@vaxc.cc.monash.edu.au
{\it CA and GR: Principal null directions in the
classification of metrics.}
John Carminati (Murdoch), jcarm@csuvax1.murdoch.edu.au
{\it Symmetries of d.e.s using CA.}
Adam Kucera (A.D.F.A.) , adam@maadfa.oz.au
{\it Series solutions to moving boundary problems using Maple.}
Pam Norton (Monash-Caulfield) sci123w@monu6.cc.monash.edu
{\it DERIVE in 1st and 2nd year Engineering Maths.}
J. Hosack (South Pacific) hosack\_j@usp.ac.nz
{\it Calculus T/L for 1st year teaching: its relationship with Maple.}
}
 
The last event on the formal program was a lively
panel discussion on computer algebra in maths teaching.
%\\
%
{\hfill G. Keady \\}
 
 
 
\item {\bf QE-Conference Algorithmen zur Quantorenelimination}
Blaubeuren, 10.--17.3.1991, ist in diesem Jahr ausgefallen.
\end{enumerate}
 
 
%\newpage
 
 
 
{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Neues \"uber Systeme und Hardware\vspace{1mm}}\hrule}
\vspace*{0.5cm}
 
\newcommand{\cbox}{\;{\fbox{\rule[0cm]{0cm}{.2cm}}}\;}
\renewcommand{\arraystretch}{1.3}
{\small
%\newpage
\begin{center}
{\Large {\bf REDUCE auf RISC Workstations}}\\
\smallskip
{\footnotesize H. Melenk}
\end{center}
%\hrule
Das Konrad--Zuse--Zentrum Berlin (ZIB) bietet schon seit l{\"a}ngerer
Zeit REDUCE f{\"u}r verschiedene Rech\-nertypen an. In j{\"u}ngerer Zeit
sind einige Portierungen f{\"u}r weitere Rech\-nersysteme hinzugekommen,
die auf RISC Technologie basieren und dementsprechend attrak\-tive
Leistungsdaten aufweisen. Hier aktuelle Laufzeiten f{\"u}r den REDUCE
Standard Test (jeweils f"ur die uns zug"anglichen Spitzenmodelle -
die Zeiten f"ur weitere Modelle sind in der Reduce-NetLib erh"altlich).
\begin{center}
\begin{tabular}{ll}
%IBM RS/6000-520 & 4.5 sec \\
%IBM RS/6000-530 & 3.5 sec \\
MC88000: Data General AViiON 400 & 4.5 sec \\
CONVEX C200 & 3.9 sec \\
IBM RS/6000-540 & 2.8 sec \\
SPARCstation 2 & 2.7 sec \\
MIPS: CDC 4680 & 1.1 sec
\end{tabular}
\end{center}
Insgesamt ist REDUCE beim ZIB derzeit f{\"u}r die folgenden Plattformen
verf{\"u}gbar:
\begin{center}
\begin{tabular}{l}
SUN 3, SUN 4/SPARC, SUN 386i (Sun OS), \\
HP 9000/300, 400 (HPUX), AT 386/486 (UNIX, MS DOS), \\
IBM PS2 (386, PC DOS), DECstation 2000, 3000, 5000 (ULTRIX), \\
IRIS (IRIX), Stardent MIPS systems, CDC 4{\it xxx} (UNIX), \\
IBM RS6000 series (AIX), DG AViiON(DGUX), \\
CONVEX C200 (UNIX), CRAY 1/X--MP/Y--MP/2 (UNICOS)
\end{tabular}
\end{center}
 
Die Preise f{\"u}r eine Einfachlizenz betragen innerhalb Deutschlands
\begin{center}
\begin{tabular}{lrl}
DM &950 & (SUN 3, SUN386, HP9000/300, AT, PS2) \\
DM &1140 & (alle {\"u}brigen au{\ss}er Cray) \\
DM &1900 & (Cray)
\end{tabular}
\end{center}
zuz{\"u}glich Umsatzsteuer. F{\"u}r Installationen au{\ss}erhalb Deutschlands
betragen die Preise \$500, \$600 bzw. \$1000. Anfragen bitte direkt an:
\begin{center}
\begin{tabular}{l}
Konrad-Zuse-Zentrum f{\"u}r Informationstechnik \vspace*{-0.5mm}\\
Heilbronner Str. 10 \vspace*{-0.5mm} \\
D--1000 Berlin 31 \\
Tel: (49) 30 89604 195 \\
Telefax: (49) 30 89604 125 \\
elektr. Adr.   melenk@sc.zib--berlin.dbp.de \vspace*{-2mm} oder
 melenk@sc.zib--berlin.de (internet)
\end{tabular}
\end{center}
}
\vspace*{5mm}
 
 
{\small
%\newpage
%\hrule
\begin{center}
{\Large {\bf
Reduce-NetLib jetzt interaktiv verf"ugbar
}}\\
\smallskip
{\footnotesize
W. Dalitz, J. L"ugger\\
}
\end{center}
%\hrule
%\vspace*{1cm}
\noindent
Ab sofort steht die Reduce-NetLib von A. C. Hearn am Konrad-Zuse-Zentrum
f"ur Informationstechnik Berlin (ZIB) zur allgemeinen Benutzung bereit.
Sie hei"st hier RedLib und kann genau wie das Original bei der RAND Corp.
in Santa Monica per elektronischer Post angeschrieben werden. Die Adresse ist
 
\begin{center}
\begin{tabular}{ll}
        X.400:    &   S=RedLib;OU=SC;P=ZIB-Berlin;A=DBP;C=DE\\
        BITNET:   &   RedLib@SC.ZIB-Berlin.DBP.DE\\
        Internet: &   RedLib@SC.ZIB-Berlin.DE\\
        uucp:     &   unido!SC.ZIB-Berlin.DBP.DE!RedLib
\end{tabular}
\end{center}
\noindent
Man sende etwa eine elektronische Anfrage {\bf send index}
an die RedLib, um eine "Ubersicht "uber den aktuellen Inhalt zusammen mit
einer kurzen Einf"uhrung in den Gebrauch zu erhalten.
Die RedLib steht am ZIB zus"atzlich f"ur den interaktiven Gebrauch zur
Verf"ugung. Der Zugang erfolgt "uber die elektronische Softwarebibliothek
eLib und ist denkbar einfach. Man w"ahlt etwa folgenden Dialog-Dienst an
 
\begin{center}
\begin{tabular}{lll}
        Datex-P:  &   (+Germany) 45050331033  &   (+... ist der Landescode)\\
        Internet: &   eLib.ZIB-Berlin.DE      &   (telnet 130.73.108.11)
\end{tabular}
\end{center}
 
login: elib  (kein Passwort)
und befindet direkt in der eLib. Hier w"ahlt man mittels
{\bf
        redlib
}
das Men"u f"ur die Auswahl von RedLib-Software an. Mittels numerischer oder
alphanumerischer Selektion steigt man in den RedLib-Indices bis zu {\em seinem}
Programm oder Dokument herab und l"a"st es sich mit dem eLib-Kommando
{\bf
        mailit
}
per elektronischer Post zu seinem Arbeitsplatzsystem schicken.
 
Nat"urlich mu"s man beim interaktiven Gebrauch der eLib zuvor die Adresse
seiner Mailbox bekannt gemacht haben. Wie das gemacht wird, erfahren Sie
durch eine Anfrage bei der eLib-Administration, am besten per elektronischer
Post
\begin{center}
\begin{tabular}{ll}
        X.400: &       S=eLib-Adm;OU=SC;P=ZIB-Berlin;A=DBP;C=DE\\
        andere Netze:& bitte leiten Sie die Adresse entsprechend ab.
\end{tabular}
\end{center}
 
\noindent
Sie k"onnen uns auch telefonisch erreichen
oder mit ganz normaler Post anschreiben.
\begin{center}
\begin{tabular}{l}
Konrad-Zuse-Zentrum f{\"u}r Informationstechnik \vspace*{-0.5mm}\\
Heilbronner Str. 10 \vspace*{-0.5mm} \\
D--1000 Berlin 31 \\
Tel: (49) 30 89604 173  (J.~L"ugger)\\
Tel: (49) 30 89604 201  (W.~Dalitz)\\
\end{tabular}
\end{center}
 
Hier k"onnen Sie - zur einer ersten Einf"uhrung - Prospektmaterial "uber
die RedLib und die eLib mit Beispielen f"ur den interaktiven Einsatz
erhalten. Die Benutzung von RedLib und eLib ist "ubrigens kostenfrei.
}
%\vspace*{2mm}
\newpage
{\Large\bf \hrule\vspace{1mm}
%{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Berichte \"uber Arbeitsgruppen}\vspace{1mm}\hrule}
\vspace*{3mm}
 
\noindent
{\bf Computeralgebra im Osten Deutschlands}
 
\smallskip
{\small
Nachfolgend soll versucht werden, in wenigen S"atzen den Weg der
Computeralgebra in der ehemaligen DDR nachzuzeichnen. Seit Ende der
siebziger Jahre gibt es dort eine Reihe von kleineren Gruppen, die
sowohl Anwendungsbeispiele bearbeiten, als auch Beitr"age zu Grundlagen
liefern. Allerdings war bisher die Anzahl der Arbeiten relativ gering im
Vergleich zum internationalen Stand. Das hatte seine Ursache nicht
zuletzt in der v"ollig unzureichenden Rechnerausstattung und der
fehlenden Verf"ugbarkeit moderner Formelmanipulationssysteme.
 
"Uber l"angere Zeitabschnitte hinweg wurden beispielsweise an den
Universit"aten in Leipzig, Dresden, dem damaligen Karl-Marx-Stadt, Jena
und auch Rostock Probleme der Computeralgebra bzw. Com\-pu\-ter\-ana\-ly\-tik
behandelt. S"amtliche Arbeiten wurden in einer sogenannten
Hauptforschungsrichtung {\sl mathematische Grundlagen der
Informationsverarbeitung} zusammengefa"st. Leiter dieser Einrichtung war
"uber lange Jahre hinweg N.~J.~Lehmann, dessen 70. Geburtstag in diesen
Tagen mit einem Ehrenkolloquium "uber {\sl aktuelle Probleme der
Rechentechnik} begangen wurde, auf dem auch Vortr"age zur Computeralgebra
gehalten wurden.
 
In Leipzig wurde unter Leitung von W.~La"sner vor allem an Problemen im
Umfeld von Gr"obnerbasen gearbeitet. Dazu geh"ort die "Ubertragung der
Methode der Gr"obnerbasen auf nichtkommutative Algebren, zun"achst auf
Einh"ullende von Lie-Algebren. Hervorzuheben sind die Beitr"age von Apel
und das System FELIX (Apel, Klaus), das schnelle Rechnungen in
verschiedenen kommutativen und nichtkommutativen Algebren erlaubt.
 
Au"serdem wurden Arbeiten zur Lieschen Methode und zu
Computeralgebramethoden in der Physik durchgef"uhrt. Auch
Querverbindungen zum Termrewriting (Hartwig) und zum automatischen
Theorembeweisen (Petermann, Neitz) wurden untersucht. Gemeinsam mit
anderen Forschungsgruppen (St"uckrath, Ranft) wurden Arbeiten zu
Anwendungen durchgef"uhrt.
 
Den Beginn in Dresden machten Untersuchungen zum Stand und den
M"oglichkeiten der Computeralgebra (H.~Stoyan, S.~Schipke). Weiterhin
wurden vor allem von N.J.~Lehmann Arbeiten zu einer Computeranalytik
angeregt und durchgef"uhrt. Gegenstand dieser Arbeiten waren vor allem
die analytische Approximation von Funktionen, die Bestimmung
analytischer N"aherungsl"osungen von Differentialgleichungen
einschlie"slich der Fehlerabsch"atzungen, sowie die Entwicklung von
Verfahren zur Nullstellenberechung (Lehmann, Hantzschmann, Thinh,
Kadner). Arbeiten in dieser Richtung, speziell zu Projektionsmethoden
f"ur Systeme gew"ohnlicher Differentialgleichungen werden von K.~Hantzschmann
in Rostock weitergef"uhrt.
 
Weiterhin stammen aus Dresden Arbeiten zur Entwicklung numerischer
Verfahren (Romberg) mittels Com\-pu\-ter\-al\-ge\-bra-Systemen und zur
symbolischen L"osung linearer Gleichungssysteme mit polynomialen
Koeffizienten (Schipke, Rammelt).
 
In Chemnitz wurden vor allem Arbeiten zur Implementierung von FORMAC und
REDUCE auf den verf"ugbaren ESER-Rechnern durchgef"uhrt. Au"serdem wurden
wichtige Algorithmen zur Polynomfaktorisierung und zur Integration zur
Verf"ugung gestellt (Krei"sig, Riedel).
 
Die Jenenser Gruppe hat zun"achst den Ausbau von FORMAC '73 zu FORMAC '84
durchgef"uhrt, der zu einer Erweiterung des Funktionsumfanges und zu
einer Effektivit"atssteigerung gef"uhrt hat (Schipke, Holland-Moritz,
Dente). Au"serdem wurden umfangreiche Untersuchungen von
Differentialgleichungen, insbesondere von Symmetrien angestellt (Wolf,
Brand, System CRACKSTAR).
 
Au"ser den bereits erw"ahnten Arbeiten wird unter der Leitung von
K.~Hantzschmann in Rostock auf dem Gebiet der Termersetzungssysteme und
ihrer Anwendung auf algebraischer Strukturen gearbeitet (Untersuchung
von Terminationsfragen, Analyse von alternativen Ringen). Weiterhin wird
dort an der Erprobung und Modifikation von Formelmanipulationssystemen
gearbeitet.
 
Viele der erw"ahnten Arbeiten und Ergebnisse wurden in Problemseminaren
des Weiterbildungszentrums {\sl Computermathematik} an der TU Dresden
vorgestellt und in den dazugeh"origen Studientexten ver"offentlicht.
 
In n"achster Zeit wird es zun"achst notwendig sein, bisherige Resultate
einem gr"o"seren Interessentenkreis vorzustellen. Weiter erscheint das
Einf"ugen der ostdeutschen Beitr"age in den gesamtdeutschen Rahmen m"oglich
und auch schnellstens notwendig.
%
{\hfill K. Rammelt, Dresden}}
%Dr.-Ing. Klaus Rammelt
%TU Dresden
%Institut f}r Rechentechnik und
%Angewandte Diskrete Mathematik
%Mommsenstr. 13
%O-9067 Dresden
\vspace*{6mm}
 
 
\noindent
{\bf Lehrstuhl D f"ur Mathematik, RWTH Aachen.}
 
\smallskip
{\small
Seit seiner Gr"undung im Jahr 1969 ist "`Computational Group Theory"' ein
Hauptarbeitsgebiet des Lehrstuhls. In den 70er Jahren entstanden eine Reihe
von in FORTRAN geschriebenen "`stand-alone"' Programmen, von denen einige
in das in Sydney entwickelte System Cayley eingebaut wurden. In diese Zeit
f"allt auch die Anwendung dieser Programme auf kristallographische Gruppen,
insbesondere die vollst"andige Klassifikation der vierdimensionalen
Raumgruppen.
 
Ende der 70er Jahre begann die Entwicklung von zwei eigenst"andigen Systemen
f"ur zwei gro"se Teilbereiche der Gruppentheorie: SOGOS zum Rechnen in
endlichen aufl"osbaren Gruppen und CAS zum Rechnen mit Charakteren
(gew"ohnlicher) Darstellungen endlicher Gruppen. Das erstere wurde durch die
um diese Zeit einsetzende Entwicklung einer ganzen Reihe von auf dem
Homomorphieprinzip beruhender Algorithmen angeregt. In CAS wurden von
verschiedenen Arbeitsgruppen (u.a.~in Bielefeld, Birmingham und Cambridge)
teils per Hand teils mit ad-hoc Programmen benutzte Methoden zum ersten Mal
auf der Grundlage einer Arithmetik f"ur Kreisteilungsk"orper in einem
System zusammengefa"st und komplettiert. CAS hat inzwischen bei der
Berechnung von und dem Umgang mit Charakterentafeln vielf"altige Anwendung
erfahren, u.a.~im Rahmen des DFG-Forschungsschwerpunkts
"`Darstellungstheorie"' und bei der Arbeit am Cambridger "`Group Atlas"'.
Hinzu kam Anfang der 80er Jahre ein System SPAS zur Untersuchung von
endlichen Pr"asentationen, in das auch stand-alones aus Canberra und
St.~Andrews Eingang fanden.
CAS, SOGOS und SPAS waren in Fortran geschrieben und benutzten J.~Cannons
STACKHANDLER zur Speicherverwaltung.
 
Im Laufe der Jahre zeigte sich, da"s die Wartung und Weiterentwicklung dieser,
im wesentlichen durch Anbau neuer Programmteile wachsender Systeme, zumal in
einer Arbeitsgruppe, in der der weitaus gr"o"ste Teil der Programmentwicklung
im Rahmen von Diplomarbeiten geschieht, auf zunehmende Schwierigkeiten stie"s.
Der Kontakt mit dem MAPLE-System wies einen Weg, durch eine bessere
Strukturierung eines Programmsystems diese Schwierigkeiten zu verringern, und
so wurde 1986 mit der Implementation eines von Grund auf neuen Systems GAP
begonnen. GAP enth"alt ("ahnlich MAPLE) einen in C geschriebenen relativ
kleinen Kern, der drei Funktionen erf"ullt: Speicherverwaltung,
Interpretation einer eigenen, gruppentheoretischen Problemen angepa"sten
Sprache, die der PASCAL-Familie zugerechnet werden kann, und ein Paket
zeitkritischer Grundoperationen. Zu diesen geh"oren
neben logischen, Listen- und
Mengenoperationen auch die Arithmetik f"ur (beliebig lange) rationale
Zahlen, endliche K"orper und Kreisteilungsk"orper sowie f"ur den Umgang
mit Gruppenelementen (Permutationen, Worte, etc.). Alle komplizierteren
Algorithmen sind in der GAP-Sprache geschrieben und k"onnen
somit vom Benutzer leicht kontrolliert und modifiziert werden. Eine erste
Version (GAP 2.4) wurde seit Anfang 1989 weltweit an "uber 100 Interessenten
abgegeben, die Version GAP 3.0 soll in diesem Sommer 1991 (wahrscheinlich
auch "uber e-lib) verf"ugbar sein. Sie wird u.a.~Neuimplementationen z.T.~mit
erheblichen Weiterentwicklungen, aller wesentlichen in CAS und SOGOS
enthaltenen Algorithmen, ein Untergruppenverbandsprogramm sowie eine Reihe
von Algorithmen f"ur Permutationsgruppen und endliche Pr"asentationen
enthalten. Mit dem und durch das System wird eine Bibliothek
gruppentheoretischer Daten (z.B.~Erzeuger von Permutationsgruppen,
Pr"asentationen, Charakterentafeln) zur Verf"ugung stehen.
 
Wir hoffen, mit der Entwicklung von GAP ein Arbeitsmittel zur Verf"ugung
zu stellen, mit dem die Entwicklung neuer Verfahren nicht nur im Lehrstuhl
D sondern vor allem auch in offener Zusammenarbeit mit allen an Methoden
der Computational Group Theorie Interessierten erheblich erleichtert wird.
Wir hoffen, damit insbesondere einen Beitrag dazu zu leisten, da"s
Algorithmenentwicklung und -implementation sich in den Formen allgemeiner
freier Verf"ugbarkeit von Resultaten abspielen kann, die f"ur die
Entwicklung theoretischer Ergebnisse der Mathematik typisch ist, und somit
der Konzentration auf wenige kommerzialisierte Projekte entgegenzuwirken,
die wir strikt ablehnen.%\\
%
{\hfill J. Neub"user}}
\vspace*{6mm}
 
 
\noindent
{\bf {Computeralgebra an der Universit\"at Karlsruhe}}
 
\smallskip
{\small
Einen wichtigen Schwerpunkt der Lehre und Forschung am Institut f\"ur
Algorithmen
und Kognitive Systeme ist die \ca. Es stehen die \ca--Systeme
CAYLEY, GAP, MAPLE, MATHEMATICA, REDUCE und Scratchpad II auf zahlreichen
Workstation (IBM RT, IBM RS/6000, SUN, VAX) zur Verf\"ugung.
 Schwerpunkte der Forschung sind unter anderem:
 
\begin{itemize}
  \item[--] schnelle Algorithmen zum Erzeugen von selbst\-dualen Normalbasen,
  \item[--] Arithmetik auf elliptischen Kurven und Algorithmen zur
 Strukturanalyse von  elliptischen Kurven \"uber endlichen K\"orpern,
  \item[--] Berechnung von geschlossenen L\"osungen gew\"ohnlicher,
linearer Differentialgleichungen mit Hilfe der differentiellen Galoistheorie,
  \item[--] Anwendung der formalen Theorie nach Pommaret/Vinogradov auf
 partielle und gew\"ohnliche Differentialgleichungen,
  \item[--] Entwicklung von Parallelrechner--Architekturen mit Hilfe von
Blockdesigns und projektiver Geometrie,
  \item[--] Wissensdarstellung, insbesondere von mathematischem Wissen.
{\hfill Th.~Beth, J.~Calmet}
\end{itemize}}
%
 
{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Publikationen "uber Computeralgebra
\vspace{1mm}}\hrule}
\begin{itemize}
\item
A. Peth"o, H.~G.~Zimmer, M.~Pohst, H.~C.Williams, (ed.)
{\em Computational Number Theory},
Conference Proceedings Univ. Debrecen, (Hungary), 04--08.09.1989.
W.de~Gruyter Verlag, ISBN 3-11-012394-0.
\item
H.~Ait-Kaci, M.Nivat, (ed.)
{\em Resolution of Equation in Algebraic Structures},
Vol. 1: Algebraic Techniques, 1989, ISBN 0-12-046370-9,
Vol. 2: Rewriting Techniques, 1989, ISBN 0-12-046371-7.
Academic Press.
\item
M.~Singer (ed.)
{\em Differential Equations and Computer Algebra},
Computational Mathematics and Applications Series,
1991, ISBN 0-12-645950-9, Academic Press.
\item
A.~Miola (ed.)
{\em Computing Tools for Scientific Problem Solving},
1990, ISBN 0-12-498325-1, Academic Press.
\end{itemize}
 
\newpage
{\Large\bf \hrule\vspace{1mm}
%{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Lehrveranstaltungen "uber Computeralgebra im SS 1991
\vspace{1mm}}\hrule}
{\small
\begin{itemize}
\item
{\bf RWTH Aachen}\\
{\em Gruppentheorie und Algorithmen II}, J. Neub"user, V4+"U2.\\
{\em Einf"uhrungspraktikum in MAPLE}, Neub"user, Klein, Dietrich,
Blockpraktikum.
\item
{\bf Universit"at D"usseldorf}\\
{\em Konstruktive Zahlentheorie II}, M~Pohst, V4+"U2.\\
{\em Ganzzahlige quadratische Formen}, M~Pohst, S2.
\item
{\bf Universit"at-Gesamthochschule Essen}\\
{\em Algorithmen aus der Gruppentheorie, mit praktischen "Ubungen in Cayley und
gap}, G.~Schneider, V2+"U.
\item
{\bf Universit"at Heidelberg}\\
{\em Algebraische Kurven und geometrische Codes}, B.~H.~Matzat, V4+"U2.
\item
{\bf Universit"at Karlsruhe}\\
{\em Computeralgebra}, J.~Calmet, V3+"U1. \\
{\em KI und mathematisches Wissen}, J.~Calmet, S2. \\
{\em Computeralgebra mit Scratchpad}, A.~Fortenbacher, V1. \\
%{\em Faktorisierungsalgorithmen}, F.~Sch"afer, S2. \\
{\em Signale, Codes und Chiffren I},Th.~Beth, W.~Geiselmann, V+"U.\\
{\em Bilder-Spektren-Fraktale}, Creutzburg, V+S.\\
{\em Public-Key-Kryptosysteme}, Horster, V.\\
{\em Kryptologie moderner Public-Key-Kryptosysteme}, Th.~ Beth, Frisch,
 F.~Sch"afer, S.\\
{\em Computeralgebra: Kryptanalytische Algorithmen mit dem
Computeralgebra-System Scratchpad}\\
Th.~Beth, Frisch, F.~Sch"afer, P.
\item
{\bf RISC Linz}\\
{\em "Uberblick \"uber Symb. Computation },
B.~Buchberger, V2.\\
{\em \ca\ f"ur Fortgeschrittene },
F. Winkler, V2.\\
{\em Algorithmische Algebraische Geometrie},
S. Stifter, V2.\\
{\em Algorithmische Kombinatorik},
P. Paule, V2.\\
{\em SW-Systeme f.  Autom. Beweisen und Programmieren},
Th. Weigert, P2.\\
{\em
L"osungsverfahren f"ur polynomiale Gleichungssysteme
(Eliminationstheorie)
},
M. Kalkbrenner, V2
\item
{\bf Universit"at Passau}\\
{\em Computeralgebra}, V.~Weispfenning, V3+"U1.\\
{\em Boolesche Algebren und Verb"ande}, V.~Weispfenning, V3.
\item
{\bf Universit"at des Saarlandes, Saarbr\"ucken}\\
{\em Computeralgebra}, A.~Peth\"o, 4-st"undig.
\item
{\bf Universit"at T"ubingen}\\
{\em Resultantenalgorithmen}, R.~Loos, Seminar.
\end{itemize}
}
{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Kurze Mitteilungen}\vspace{1mm}\hrule}
 
\vspace*{2mm}
{\small
\begin{itemize}
\item
Als erste europ"aische Hochschule hat die RWTH Aachen eine Hochschullizenz
f"ur das \ca--System MAPLE erworben, die es gestattet, MAPLE
nicht nur auf allen Rechnern der Hochschule zu installieren, sondern auch
gegen eine geringe Kostenbeteiligung an Studenten und Mitarbeiter der RWTH
zur Benutzung auf deren privaten PCs (Amiga, Atari, MacIntosh oder
386'er MS-Dos-Rechner) zur Benutzung im Rahmen nichtkommerzieller
wissenschaftlicher Arbeiten weiterzugeben. Die Federf"uhrung dieser Aktion
liegt beim Lehrstuhl D f"ur Mathematik an der RWTH Aachen.
 
\item
Das wissenschaftliche Zentrum der IBM in Heidelberg und
das Forschungsinstitut beim Fernmeldetechnischen Zentralamt
der Deutschen Bundespost TELEKOM haben
eine gemeinsame Studie zum Thema {\sl Einsatz des Computeralgebra-Systems
Scratchpad bei kryptologischen und verkehrstheoretischen Untersuchungen}
abgeschlossen. Ein Arbeitsbericht erscheint demn"achst in der
TR-Reihe des wissenschaftlichen Zentrums.
\item
Der Senat der Deutschen Forschungsgemeinschaft hat die Einrichtung eines
Schwerpunktprogramms
{\bf Algorithmische Zahlentheorie und Algebra} beschlossen. Koordinator
ist Prof. Dr. B.H.~ Matzat in Heidelberg.
F"orderungsbeginn wird voraussichtlich der 1.10.1991 sein.
%\item
%BMFT (Weispfenning)
\end{itemize}
}
\end{document}
