\documentstyle[11pt,german]{article}
\textwidth 175mm\textheight 252mm\columnwidth\textwidth
\hoffset-25mm\voffset-35mm

\newcommand\tm{$^{\rm tm}$}
\def\CA{Com\-pu\-ter\-al\-ge\-bra}
\def\ca{Com\-pu\-ter\-al\-ge\-bra}
\def\cas{Com\-pu\-ter\-al\-ge\-bra-Sy\-stem}
\def\bibtex{{\sc Bib}\TeX}

\newcommand\voidbox[1]{#1}
\newcommand\elib{eLib}
\newcommand\cais{{\sc CAIS}}
\newcommand\infocais{Genauere Informationen finden Sie im \cais.}

\renewcommand{\sc}{\rm}
\renewcommand{\psc}{ }

\newcommand{\axiom}{{\sc AXIOM}}
\newcommand{\derive}{{\sc Derive}}
\newcommand{\macsyma}{{\sc Macsyma}}
\newcommand{\maple}{{\sc Maple}}
\newcommand{\mathematica}{{\sc Mathematica}}
\newcommand{\reduce}{{\sc REDUCE}}
\newcommand{\aldessac}{{\sc Aldes/SAC-2}}
\newcommand{\sac}{{\sc SAC-2}}
\newcommand{\aldes}{{\sc ALDES}}
\newcommand{\cayley}{{\sc Cayley}}
\newcommand{\magma}{{\sc MAGMA}}
\newcommand{\cocoa}{{\sf CoCoA}}
\newcommand{\felix}{{\sc FELIX}}
\newcommand{\form}{{\sc FORM}}
\newcommand{\gap}{{\sf GAP}}
\newcommand{\kant}{{\sc KANT-V2}}
\newcommand{\mas}{{MAS}}
\newcommand{\masyca}{{MASYCA}}
\newcommand{\mathcad}{{\sc Mathcad} }
\newcommand{\macaulay}{{\sc Macaulay}}
\newcommand{\macauley}{{\sc Macaulay}}
\newcommand{\mupad}{{\rm MuPAD}}
\newcommand{\chevie}{{\sc CHEVIE}}
\newcommand{\qpic}{{\sc Quotpic}}
\newcommand{\pari}{{PARI}}
\newcommand{\reve}{{\sc Reve}}
\newcommand{\orme}{{\sc ORME}}
\newcommand{\simath}{{\sc Simath}}
\newcommand{\parsac}{{\sc Parsac}}
\newcommand{\symmetrica}{{\sc Symmetrica}}
\newcommand{\reptiles}{{\sc RepTiles}}
\newcommand{\symmpad}{{\sc SymmPAD}}
\newcommand{\singular}{{SINGULAR}}
\newcommand{\theorist}{{\sc Theorist}}
\newcommand{\algep}{{\sc ALGEB}}
\newcommand{\algeb}{{\sc ALGEB}}
\newcommand{\amore}{{AMORE}}
\newcommand{\crep}{{CREP}}
\newcommand{\meataxe}{{\sc Meat-Axe}}
\newcommand{\moc}{{\sc MOC}}
\newcommand{\redux}{{\sc ReDuX}}
\newcommand{\sisyphos}{{\sc Sisyphos}}
%LiE
\font\logo=cmss10 scaled \magstep4
\newdimen\r \r=3.14 pt \multiply\r by \magstep3\divide\r by 1000
\newbox\LiEbox \newbox\liepic
\setbox\LiEbox=\hbox{{\logo L\kern-.25em\raise\r\hbox{\i}\kern-0.03em E} }
\def\LiE.{\unhcopy\LiEbox}
%immer noch LiE
\font\smlogo=cmss10 \r=2.718pt
\newbox\smallLiEbox \newbox\liepic
\setbox\smallLiEbox=\hbox{{\smlogo L\kern-.25em\raise\r\hbox{\i}\kern-0.03em E}}
\def\lie{\unhcopy\smallLiEbox}


\renewcommand{\baselinestretch}{0.9}
 
 
\begin{document}
\begin{Huge}
\noindent
\framebox[175mm]{\bf Computeralgebra--Rundbrief}
\end{Huge}
 
 
\noindent
{\it Nummer 12  \hfill Fachgruppe 2.2.1 \hfill 28. 02. 1993}
\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 Deutschland Informationssysteme GmbH, 
Wissenschaftliches Zentrum Heidelberg,
Vangerowstra"se 18, Postfach 103068, W-6900 Heidelberg.
Telefax: 06221-59-3500.
Elektronische Adresse: grabm@dhdibm1.bitnet.
ISSN 0933-5994}
 
\vspace*{8mm}
 
{\em
\noindent
Liebe Kolleginnen und Kollegen,


\vspace*{3mm}
\noindent
das letzte halbe Jahr stand ganz im Zeichen des
\ca-Reports und der Neuwahl der Fachgruppenleitung.
Am   Freitag, dem 26. Februar 1993 fand  in T"ubingen
die letzte Sitzung der alten und anschlie"send die erste
der neuen Fachgruppenleitung statt.

Die alte Fachgruppenleitung hat den Report
\begin{center}
{\sl \ca\  in Deutschland,\\ Bestandsaufnahme, M"oglichkeiten, Perspektiven}
\end{center}
fertiggestellt. Nach dem Rechenschaftsbericht 
des Sprechers wurden die ersten gedruckten Exemplare an diesem
Tag pr"asentiert. 
Weitere Informationen dazu finden Sie weiter unten.

Wir zitieren  hier nur aus den Vorwort von Herrn Engeler aus Z"urich:
\begin{quotation}
In dem vorliegenden Report wird meines Wissens zum ersten Mal versucht,
einen m"oglichst umfassenden "Uberblick "uber dieses Gebiet zu geben.
Hierzu geh"oren neben einer "Ubersicht "uber die Forschungsschwerpunkte
einige Berichte "uber Anwendungen, eine Beschreibung aktueller
{\cas}e sowie Informationen "uber Fachtagungen
und Publikationen. Der letzte Teil enth"alt schlie"slich
eine Aufstellung der Aktivit"aten der Fachgruppe {\ca}
sowie eine Liste von {\ca}-Arbeitsgruppen in Deutschland.
\end{quotation}


Das Ergebnis der Wahl der Fachgruppenleitung wurde auf dieser
Sitzung von Wahlleiter Prof. Loos vorgelegt:
 
\vspace*{2mm}
 
\noindent
\begin{tabular}{llp{0.2cm}rl}
Abgegebene Stimmzettel:& 279 &&&\\
Davon ung"ultig:& 20 &&&\\
&&&&\\
Wahlergebnis:
& Prof.~Dr.~Thomas Beth && 95 & Stimmen\\
& Prof.~Dr. Michael Clausen&& 79 & Stimmen\\
& Dr.~Johannes Grabmeier && 159 & Stimmen\\
& Prof.~Dr.~Karl~Hantzschmann&& 99 & Stimmen\\
& Prof.~Dr.~Adalbert~Kerber&& 80 & Stimmen\\
& Prof.~Dr.~Wolfgang~K"uchlin&& 94 & Stimmen\\
& Prof.~Dr.~Wolfgang La"sner && 60 & Stimmen\\
& Prof.~Dr.~B.~Heinrich Matzat && 95 & Stimmen\\
& Prof.~Dr.~H.~Michael~M"oller && 83 & Stimmen\\
& Prof.~Dr.~Joachim Neub\"user && 127 & Stimmen\\
& Prof.~Dr.~Michael Pohst && 70 & Stimmen\\
& Prof.~Dr.~Gerhard~Schneider && 111 & Stimmen\\
& Dr.~Fritz~Schwarz && 117 & Stimmen\\
& Prof.Dr.~Volker~Weispfenning&& 139 & Stimmen\\
& Prof.~Dr.~Horst G.~Zimmer && 101 & Stimmen\\

\end{tabular}
 
\vspace*{2mm}
 
\noindent
Somit wurden in die Fachgruppenleitung neben den bereits 
von den Gesellschaften delegierten
Herren Fuchssteiner (DMV), Loos (GI) und Roesner (GAMM) die Herren 
Grabmeier, Hantzschmann, K"uchlin, Matzat, Neub\"user,
Schneider, Schwarz, Weispfenning
und Zimmer gew\"ahlt, da Herr Beth die Wahl nicht angenommen hat.\\

In der  konstituerenden Sitzung der neuen  Fachgruppenleitung 
wurde Herr Grabmeier zum Sprecher, Herr Matzat zum stellvertretenden
Sprecher gew"ahlt. Die Moderation von {\cais} liegt  wieterhin in den H"anden 
von Herrn Schneider.

Auf Vorschlag des neuen Sprechers wurde Herr Prof. Dr. Friedrich Hehl 
aus K"oln einstimmig als voll stimmberechtigter Fachexperte f"ur Physik 
in die Fachgruppenleitung berufen. Eine vollst"andige Liste mit 
Adressen aller Fachgruppenleitungsmitglieder ist im \cais, siehe
Abschnitt \glqq\ Kurze Mitteilungen\grqq.

\vspace*{3mm}
 
%\hspace*{70mm} Volker~Weispfenning \hspace*{15mm} Johannes~Grabmeier
\hspace*{20mm} Volker~Weispfenning \hspace*{15mm} Johannes~Grabmeier
\hspace*{15mm} B.~Heinrich~Matzat
}%end 

\vspace*{5mm}
 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     Report                                                      %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 
{\vspace*{5mm}{\Large\hrule%\vspace{1mm}
\begin{center}
{\bf Report \ca\ in Deutschland,\\
Bestandsaufnahme, M"oglichkeiten, Perspektiven}
\end{center}
%\vspace{1mm}
\hrule}
\vspace*{5mm}

Auf 320 Seiten haben 99 Autoren mit Grunds"atzlichem, 
mit "Ubersichtsartikeln, Anwendungsbeschreibungen, Berichten zu 
den Systemen und sonstigen Informationen  zu diesem 
Report beigetragen.
Das hier abgedruckte Inhaltsverzeichnis
mag einen Eindruck von der F"ulle an Informationen geben.

Jedem Mitglied der Fachgruppe steht ein Exemplar zu. 
Wir bitten Sie dieses bei der Gescha"ftsstelle der GI abzurufen. Zur Deckung 
der Herstellungs- und Vertriebskosten erbitten wir einen
Beitrag DM 15,00. 
\begin{quotation}
  \noindent
  GI, Kontonummer 46581, Sparkasse Bonn, Bankleitzahl 380 500 00\\
  Vermerk: Beitrag Computeralgebra-Report
  \indent
\end{quotation}
Zum Abruf gen"ugt es das beiliegende "Uberweisungsformular zu benutzen.

Die Fachgruppenleitung beabsichtigt
bis auf weiteres nicht einen Mitgliedsbeitrag zu erheben. Helfen Sie
uns dazu durch "Uberweisung dieses Betrages!

Weitere Exemplare k"onnen bei der DLGI, einer Tochter der GI,
zum Preis von DM 25,00 durch
Brief, Telefon, Telefax, elektronische Post oder
aber durch "Uberweisung mit entsprechenden Vermerk auf
dem "Uberweisungstr"ager bestellen werden:
\begin{quotation}
  \noindent
  DLGI, Dienstleistungsgesellschaft  f"ur Informatik mbH,\\
  Godesberger Allee 99, W-5300 Bonn 2\\
  Telefon 0228-95994-11 oder -16\\
  Telefax 0228-95994-20\\
  Elektr. Adresse: gibonn@gmd.de  (mit der Bitte um Weiterleitung zu DLGI)\\
  Kontonummer 30403, Sparkasse Bonn, Bankleitzahl 380 500 00\\
  Vermerk: Computeralgebra-Report
  \noindent
\end{quotation}
Exemplare zum Kauf liegen auch im Forschungsinstitut
Oberwolfach aus. 



Wir bitten Sie au"serdem bei geeigneten Anl"assen und
Gelegenheiten wie Konferenzen und Mitteilungen in 
Hauszeitschriften u. "a. auf diesen Report hinzuweisen.
Bitten wenden Sie sich auch direkt nur an die DLGI, wenn Sie Exemplare
auf Tagungen und Veranstaltungen zum Kauf anbieten m"ochten.

Insbesondere sollte der Report auch in jeder Bibliothek stehen.
Das Autoren- und
das Inhaltsverzeichnis sind zu diesem Zweck im \cais\ abrufbar 
(z.B. 
{\tt send ca-report-index from ca-mitt} und 
{\tt send ca-report-content from ca-mitt}
 ). Als zus"atzlichen Service stellen wir Ihnen
die umfangreiche Bibliographie im \bibtex-Format zur Verf"ugung 
(z.B. {\tt
send ca-report-bibliographie from ca-mitt}), siehe auch
Anschnitt \glqq Kurze Mitteilungen\grqq.

 

\begin{footnotesize}

\contentsline {section}{\numberline {1}Entwicklung, Charakterisierung,
 Perspektiven}{1}
\contentsline {subsection}{\numberline {1.1}Historische Bemerkungen}{1}
\contentsline {subsection}{\numberline {1.2}Allgemeine Charakterisierung}{2}
\contentsline {subsection}{\numberline {1.3}Auswirkungen der Com\discretionary
 {-}{}{}pu\discretionary {-}{}{}ter\discretionary {-}{}{}al\discretionary
 {-}{}{}ge\discretionary {-}{}{}bra\ auf die Lehre}{3}
\contentsline {subsection}{\numberline {1.4}Auswirkungen der Com\discretionary
 {-}{}{}pu\discretionary {-}{}{}ter\discretionary {-}{}{}al\discretionary
 {-}{}{}ge\discretionary {-}{}{}bra\ auf die Forschung}{5}
\contentsline {subsection}{\numberline {1.5}Perspektiven}{6}
\contentsline {section}{\numberline {2}Themen und Schwerpunkte}{11}
\contentsline {subsection}{\numberline {2.1}Exakte Arithmetik}{11}
\contentsline {subsubsection}{\numberline {2.1.1}Langzahlarithmetik}{11}
\contentsline {subsubsection}{\numberline {2.1.2}Polynome, rationale Funktionen
 und Potenzreihen}{12}
\contentsline {subsubsection}{\numberline {2.1.3}Euklidischer Algorithmus und
 Kettenbr\"{u}che}{13}
\contentsline {subsubsection}{\numberline {2.1.4}Modulares Rechnen und
 Chinesischer Restesatz}{14}
\contentsline {subsubsection}{\numberline {2.1.5}$p$-adische Zahlen und
 Approximationen}{16}
\contentsline {subsubsection}{\numberline {2.1.6}Endliche K\"{o}rper}{16}
\contentsline {subsection}{\numberline {2.2}Algorithmen f\"{u}r
 Polynome und Potenzreihen}{19}
\contentsline {subsubsection}{\numberline {2.2.1}Der Divisionsalgorithmus}{19}
\contentsline {subsubsection}{\numberline {2.2.2}Faktorisieren von
 Polynomen}{20}
\contentsline {subsubsection}{\numberline {2.2.3}Gr\newumlaut obnerbasen}{22}
\contentsline {subsubsection}{\numberline {2.2.4}Standardbasen}{23}
\contentsline {subsubsection}{\numberline {2.2.5}Charakteristische Mengen}{24}
\contentsline {subsection}{\numberline {2.3}Konstruktive Methoden in der
 Zahlentheorie}{26}
\contentsline {subsubsection}{\numberline {2.3.1}Primzahlnachweise}{26}
\contentsline {subsubsection}{\numberline {2.3.2}Faktorisieren 
 nat\"{u}rlicher Zahlen}{29}
\contentsline {subsubsection}{\numberline {2.3.3}Invarianten algebraischer Zahl
 -- und Funktionenk\"{o}rper}{30}
\contentsline {subsubsection}{\numberline {2.3.4}Galoisgruppen}{31}
\contentsline {subsubsection}{\numberline {2.3.5}Rationale Punkte auf
 elliptischen Kurven und allgemeineren Variet\"aten}{32}
\contentsline {subsubsection}{\numberline {2.3.6}Geometrie der Zahlen}{33}
\contentsline {subsection}{\numberline {2.4}Kommutative Algebra und
 algebraische Geometrie}{37}
\contentsline {subsubsection}{\numberline {2.4.1}Algorithmen f\"{u}r
 Polynomideale und deren Variet\"aten}{37}
\contentsline {subsubsection}{\numberline {2.4.2}Studium der
 Singularit\newumlaut aten von Variet\newumlaut aten}{40}
\contentsline {subsubsection}{\numberline {2.4.3}Reelle algebraische
 Geometrie}{40}
\contentsline {subsection}{\numberline {2.5}Algorithmische Aspekte der
 Algebrentheorie}{45}
\contentsline {subsection}{\numberline {2.6}Algorithmen der Gruppen- und
 Darstellungstheorie}{48}
\contentsline {subsubsection}{\numberline {2.6.1}Permutations- und
 Matrixgruppen}{49}
\contentsline {subsubsection}{\numberline {2.6.2}Polyzyklische 
 Pr\"{a}sentationen}{50}
\contentsline {subsubsection}{\numberline {2.6.3}Generische Verfahren}{50}
\contentsline {subsubsection}{\numberline {2.6.4}Endlich 
 pr\"asentierte Gruppen}{51}
\contentsline {subsubsection}{\numberline {2.6.5}Gew"ohnliche
 Darstellungstheorie}{52}
\contentsline {subsubsection}{\numberline {2.6.6}Modulare
 Darstellungstheorie}{53}
\contentsline {subsubsection}{\numberline {2.6.7}Generische Charaktere}{53}
\contentsline {subsubsection}{\numberline {2.6.8}Systeme}{53}
\contentsline {subsection}{\numberline {2.7}Algebraische Methoden bei der
 Konstruktion diskreter Strukturen}{55}
\contentsline {subsection}{\numberline {2.8}Summation und Integration}{56}
\contentsline {subsubsection}{\numberline {2.8.1}Definite Summation}{56}
\contentsline {subsubsection}{\numberline {2.8.2}Symbolische Integration}{57}
\contentsline {subsection}{\numberline {2.9}Symbolische Behandlung von
 Dif\discretionary {-}{}{}fe\discretionary {-}{}{}ren\discretionary
 {-}{}{}tial\discretionary {-}{}{}glei\discretionary {-}{}{}chun\discretionary
 {-}{}{}gen}{61}
\contentsline {subsubsection}{\numberline {2.9.1}Lineare gew\"{o}hnliche
 Differentialgleichungen: differentielle Galoistheorie}{62}
\contentsline {subsubsection}{\numberline {2.9.2}Differentialideale}{64}
\contentsline {subsubsection}{\numberline {2.9.3}Symmetrien}{64}
\contentsline {subsubsection}{\numberline {2.9.4}Partielle
 Differentialgleichungen: Punktsymmetrien}{66}
\contentsline {subsubsection}{\numberline {2.9.5}Partielle
 Differentialgleichungen: Lie-B\newumlaut acklund-Symmetrien}{67}
\contentsline {subsection}{\numberline {2.10}Computeranalytik}{72}
\contentsline {subsection}{\numberline {2.11}Algebraische 
 Komplexit\"atstheorie}{74}
\contentsline {subsection}{\numberline {2.12}Algebraische Grundlagen der
 Codierungstheorie und Kryptographie}{77}
\contentsline {subsection}{\numberline {2.13}Algorithmische Methoden in der
 universellen Algebra und Logik}{80}
\contentsline {subsubsection}{\numberline {2.13.1}Termersetzungssysteme}{80}
\contentsline {subsubsection}{\numberline {2.13.2}Entscheidungsverfahren\
 und Quantoreneliminations-Verfahren\
 f\newumlaut ur algebraische Theorien}{82}
\contentsline {subsection}{\numberline {2.14}Wissensrepr\"asentation
 und Datentypen}{85}
\contentsline {subsubsection}{\numberline {2.14.1}Mathematische
 Wissensrepr\"asentation und Expertensysteme}{85}
\contentsline {subsubsection}{\numberline {2.14.2}Abstrakte Datentypen}{88}
\contentsline {subsection}{\numberline {2.15}Zum Entwurf von 
 \hbox {Com\discretionary {-}{}{}pu\discretionary {-}{}{}ter\discretionary
 {-}{}{}al\discretionary {-}{}{}ge\discretionary {-}{}{}bra}-Systemen}{91}
\contentsline {subsubsection}{\numberline {2.15.1}Speicherverwaltung}{91}
\contentsline {subsubsection}{\numberline {2.15.2}Verifikation und abstrakte
 Datentypen}{92}
\contentsline {subsubsection}{\numberline {2.15.3}Typkonzept}{92}
\contentsline {subsubsection}{\numberline {2.15.4}Modularisierung}{93}
\contentsline {subsubsection}{\numberline {2.15.5}Parallele
 Implementierungen}{93}
\contentsline {subsubsection}{\numberline {2.15.6}Weiterentwicklung von
 Com\discretionary {-}{}{}pu\discretionary {-}{}{}ter\discretionary
 {-}{}{}al\discretionary {-}{}{}ge\discretionary {-}{}{}bra-Systemen}{93}
\contentsline {subsection}{\numberline {2.16}Schnittstellen und
 Standardisierung}{94}
\contentsline {subsubsection}{\numberline {2.16.1}Schnittstellen zu
 Textverarbeitungspaketen}{94}
\contentsline {subsubsection}{\numberline {2.16.2}Graphik}{94}
\contentsline {subsubsection}{\numberline {2.16.3}Schnittstellen zu numerischer
 Software}{94}
\contentsline {subsubsection}{\numberline {2.16.4}Benutzerschnittstellen}{96}
\contentsline {subsubsection}{\numberline {2.16.5}Standardisierung}{96}
\contentsline {subsection}{\numberline {2.17}Hardware-Realisierungen}{98}
\contentsline {section}{\numberline {3}Anwendungen der \hbox
 {Com\discretionary {-}{}{}pu\discretionary {-}{}{}ter\discretionary
 {-}{}{}al\discretionary {-}{}{}ge\discretionary {-}{}{}bra}}{101}
\contentsline {subsection}{\numberline {3.1}Physik}{101}
\contentsline {subsubsection}{\numberline {3.1.1}Com\discretionary
 {-}{}{}pu\discretionary {-}{}{}ter\discretionary {-}{}{}al\discretionary
 {-}{}{}ge\discretionary {-}{}{}bra\ in der Elementarteilchenphysik}{103}
\contentsline {subsubsection}{\numberline {3.1.2}Com\discretionary
 {-}{}{}pu\discretionary {-}{}{}ter\discretionary {-}{}{}al\discretionary
 {-}{}{}ge\discretionary {-}{}{}bra\ in der Festk\"{o}rperphysik am
 Beispiel von Quantenspinsystemen}{105}
\contentsline {subsubsection}{\numberline {3.1.3}Katalysierte kalte
 Kernfusion}{107}
\contentsline {subsubsection}{\numberline {3.1.4}Com\discretionary
 {-}{}{}pu\discretionary {-}{}{}ter\discretionary {-}{}{}al\discretionary
 {-}{}{}ge\discretionary {-}{}{}bra\ und relativistische
 Gravitationstheorie}{107}
\contentsline {subsubsection}{\numberline {3.1.5}Differentialgeometrie,
 Com\discretionary {-}{}{}pu\discretionary {-}{}{}ter\discretionary
 {-}{}{}al\discretionary {-}{}{}ge\discretionary {-}{}{}bra\ und deren Anwendung
 in Physik und Mathematik}{109}
\contentsline {subsubsection}{\numberline {3.1.6}Solitonen}{111}
\contentsline {subsubsection}{\numberline {3.1.7}Die Harry-Dym-Gleichung, ein
 Beispiel zur Illustration des Nutzens von Com\discretionary
 {-}{}{}pu\discretionary {-}{}{}ter\discretionary {-}{}{}al\discretionary
 {-}{}{}ge\discretionary {-}{}{}bra}{113}
\contentsline {subsection}{\numberline {3.2}Mathematik}{118}
\contentsline {subsubsection}{\numberline {3.2.1}Computereinsatz in der
 Gruppentheorie}{118}
\contentsline {subsubsection}{\numberline {3.2.2}Der Tangentialkegelalgorithmus
 und einige Anwendungen in der Singularit\newumlaut atentheorie}{119}
\contentsline {subsubsection}{\numberline {3.2.3}Computeralgebra-Anwendungen bei
 nichtlinearen Systemen}{123}
\contentsline {subsubsection}{\numberline {3.2.4}Symbolisch-numerische
 Behandlung von \"aquivarianten Gleichungssystemen}{126}
\contentsline {subsubsection}{\numberline {3.2.5}Symbolisch-numerische Verfahren
 f\"ur Optimale Steuerungen}{127}
\contentsline {subsection}{\numberline {3.3}Informatik}{130}
\contentsline {subsubsection}{\numberline {3.3.1}Com\discretionary
 {-}{}{}pu\discretionary {-}{}{}ter\discretionary {-}{}{}al\discretionary
 {-}{}{}ge\discretionary {-}{}{}bra\ in der Informatik}{130}
\contentsline {subsubsection}{\numberline {3.3.2}{\pem Average-case}-Analyse von
 Algorithmen}{130}
\contentsline {subsubsection}{\numberline
 {3.3.3}Telekommunikations-Management-Netzwerke}{131}
\contentsline {subsection}{\numberline {3.4}Ingenieurwissenschaften}{132}
\contentsline {subsubsection}{\numberline {3.4.1} Com\discretionary
 {-}{}{}pu\discretionary {-}{}{}ter\discretionary {-}{}{}al\discretionary
 {-}{}{}ge\discretionary {-}{}{}bra\ -- ein zeitgem\"a"ses 
 Werkzeug der Forschung auf dem Gebiet der Ingenieurwissenschaften }{132}
\contentsline {subsubsection}{\numberline {3.4.2}Analyse und Synthese
 elektrischer Netz\discretionary {-}{}{}werke}{136}
\contentsline {subsubsection}{\numberline {3.4.3}Knicklastberechnungen bei
 Flugzeugd\"{u}sen mit Com\discretionary {-}{}{}pu\discretionary
 {-}{}{}ter\discretionary {-}{}{}al\discretionary {-}{}{}ge\discretionary
 {-}{}{}bra-Methoden}{138}
\contentsline {subsection}{\numberline {3.5}Chemie}{140}
\contentsline {subsubsection}{\numberline {3.5.1}Computeralgebra in Chemie und
 Kristallographie}{140}
\contentsline {subsubsection}{\numberline {3.5.2}Chemische
 Reaktionssysteme}{141}
\contentsline {subsection}{\numberline {3.6}Biologie und Medizin}{142}
\contentsline {subsection}{\numberline {3.7}Wirtschaft und \newumlaut
 Okonometrie}{143}
\contentsline {section}{\numberline {4}Com\discretionary {-}{}{}pu\discretionary
 {-}{}{}ter\discretionary {-}{}{}al\discretionary {-}{}{}ge\discretionary
 {-}{}{}bra-Systeme}{145}
\contentsline {subsection}{\numberline {4.1}Allzwecksysteme}{145}
\contentsline {subsubsection}{\numberline {4.1.1}{AXIOM}}{146}
\contentsline {paragraph}{\active@dq {U}berblick}{146}
\contentsline {paragraph}{Datentypen}{147}
\contentsline {paragraph}{Interpretierer}{147}
\contentsline {paragraph}{Mathematikbibliothek}{147}
\contentsline {paragraph}{Graphik}{149}
\contentsline {paragraph}{Ausblick}{149}
\contentsline {paragraph}{Adressen}{150}
\contentsline {subsubsection}{\numberline {4.1.2}{Derive}}{151}
\contentsline {paragraph}{Einleitung}{151}
\contentsline {paragraph}{Einige Beispiele}{152}
\contentsline {paragraph}{Eine \active@dq {U}bersicht}{154}
\contentsline {paragraph}{Hardwareanforderungen}{155}
\contentsline {paragraph}{Bezugsquellen}{156}
\contentsline {paragraph}{Literatur}{157}
\contentsline {subsubsection}{\numberline {4.1.3}{Macsyma}}{157}
\contentsline {subsubsection}{\numberline {4.1.4}{Maple}}{158}
\contentsline {subsubsection}{\numberline {4.1.5}{Mathematica}}{165}
\contentsline {paragraph}{Ein Werkzeug f\active@dq {u}r
  computerunterst\active@dq {u}tzte Mathematik}{165}
\contentsline {paragraph}{Visualisierung mathematischer Sachverhalte}{166}
\contentsline {paragraph}{Die Enneper-Weierstra\active@dq {s}-Parametrisierung
 von Minimalfl\active@dq {a}chen}{166}
\contentsline {paragraph}{Analytische Fortsetzungen}{168}
\contentsline {paragraph}{Unterricht mit {Mathematica}}{170}
\contentsline {paragraph}{Literatur}{170}
\contentsline {subsubsection}{\numberline {4.1.6}{REDUCE}}{172}
\contentsline {paragraph}{Einleitung}{172}
\contentsline {paragraph}{Probleml\active@dq {o}sung}{172}
\contentsline {paragraph}{Datentypen, Strukturen}{173}
\contentsline {subparagraph}{Elementare Ausdr\active@dq {u}cke}{173}
\contentsline {subparagraph}{Aggregate}{173}
\contentsline {paragraph}{Programmierparadigmen}{174}
\contentsline {subparagraph}{Algebraischer Tischrechner}{174}
\contentsline {subparagraph}{Imperative algebraische Programmierung}{174}
\contentsline {subparagraph}{Regelorientierte Programmierung}{175}
\contentsline {subparagraph}{Symbolische imperative Programmierung}{176}
\contentsline {paragraph}{Algebraische Auswertung}{176}
\contentsline {paragraph}{N\active@dq {a}herungen}{176}
\contentsline {subparagraph}{Potenzreihen}{177}
\contentsline {subparagraph}{Gerundete Zahlen}{177}
\contentsline {subparagraph}{Schnittstelle zu externen numerischen
 Programmen}{177}
\contentsline {paragraph}{Ein/Ausgabe}{177}
\contentsline {paragraph}{Offenes System}{178}
\contentsline {subsection}{\numberline {4.2}Systeme f\"{u}r parallele
 Architekturen}{179}
\contentsline {subsubsection}{\numberline {4.2.1}{\prm MuPAD}}{180}
\contentsline {paragraph}{Designziele}{180}
\contentsline {paragraph}{Design}{181}
\contentsline {paragraph}{Funktionalit\active@dq {a}t}{182}
\contentsline {subparagraph}{Datentypen}{182}
\contentsline {subparagraph}{Operatoren}{182}
\contentsline {subparagraph}{Funktionen}{182}
\contentsline {subparagraph}{Programmiersprache}{183}
\contentsline {subparagraph}{Parallele Konstrukte}{183}
\contentsline {paragraph}{Arbeiten mit dem System}{183}
\contentsline {subparagraph}{Debugging}{183}
\contentsline {subparagraph}{Helpsystem}{184}
\contentsline {subparagraph}{Grafiksystem}{184}
\contentsline {paragraph}{Verf\active@dq {u}gbarkeit und Ausblicke}{185}
\contentsline {subsubsection}{\numberline {4.2.2}{Parsac}}{186}
\contentsline {subsection}{\numberline {4.3}Systeme f\"{u}r spezielle
 Gebiete}{188}
\contentsline {subsubsection}{\numberline {4.3.1}{Aldes/SAC-2}}{188}
\contentsline {paragraph}{Implementierungssprache}{188}
\contentsline {paragraph}{{{SAC-2}}-Module}{189}
\contentsline {paragraph}{Erweiterungen}{189}
\contentsline {paragraph}{ Software-Werkzeuge}{190}
\contentsline {subsubsection}{\numberline {4.3.2}{Cayley}}{191}
\contentsline {paragraph}{Einleitung}{191}
\contentsline {paragraph}{Systemumfang}{191}
\contentsline {paragraph}{Einsatz in der Lehre}{192}
\contentsline {paragraph}{Anforderungen, Dokumentation}{192}
\contentsline {paragraph}{Einige Beispiele}{192}
\contentsline {paragraph}{The {{Cayley}} System for Discrete Algebraic and
 Combinatorial Computation}{194}
\contentsline {subsubsection}{\numberline {4.3.3}{\psf CoCoA}}{195}
\contentsline {subsubsection}{\numberline {4.3.4}{FELIX}}{198}
\contentsline {paragraph}{Einleitung}{198}
\contentsline {paragraph}{Systemaufbau}{199}
\contentsline {paragraph}{Programmierumgebung}{200}
\contentsline {paragraph}{Algebraische Algorithmen}{203}
\contentsline {subsubsection}{\numberline {4.3.5}{FORM}}{206}
\contentsline {subsubsection}{\numberline {4.3.6}{\psf GAP}}{207}
\contentsline {subsubsection}{\numberline {4.3.7}{KANT-V2}}{212}
\contentsline {paragraph}{Die {\ptt Platform}}{213}
\contentsline {paragraph}{Zahlk\active@dq {o}rper in {KANT V2}}{214}
\contentsline {paragraph}{Verf\active@dq {u}gbarkeit von {KANT V2}}{217}
\contentsline {subsubsection}{\numberline {4.3.8}\unhcopy \smallLiEbox }{218}
\contentsline {subsubsection}{\numberline {4.3.9}{MAS}}{222}
\contentsline {paragraph}{Design-\active@dq {U}berblick}{222}
\contentsline {paragraph}{Systemkomponenten}{224}
\contentsline {paragraph}{Mathematische Bibliotheken}{225}
\contentsline {paragraph}{Stand der Entwicklung}{227}
\contentsline {subsubsection}{\numberline {4.3.10}{Mathcad} }{229}
\contentsline {subsubsection}{\numberline {4.3.11}{Macaulay}}{229}
\contentsline {paragraph}{\newumlaut Ubersicht}{229}
\contentsline {paragraph}{Interaktion mit dem System}{230}
\contentsline {paragraph}{{Macaulay}-Funktionen}{231}
\contentsline {paragraph}{Command-Scripts}{232}
\contentsline {paragraph}{Installationen}{234}
\contentsline {paragraph}{Schlu{\ss }wort}{234}
\contentsline {subsubsection}{\numberline {4.3.12}{PARI}}{235}
\contentsline {paragraph}{The PARI system}{235}
\contentsline {paragraph}{ The PARI types}{236}
\contentsline {paragraph}{Hierarchical organization of the system}{237}
\contentsline {paragraph}{Implementation and portability issues}{237}
\contentsline {paragraph}{What can PARI do for you}{238}
\contentsline {paragraph}{Concluding remarks}{239}
\contentsline {subsubsection}{\numberline {4.3.13}{Simath}}{240}
\contentsline {paragraph}{Basissystem}{241}
\contentsline {paragraph}{Arithmetiksystem}{242}
\contentsline {paragraph}{Elliptische Kurven}{242}
\contentsline {paragraph}{Polynomsystem}{243}
\contentsline {paragraph}{Matrizen-/Vektorsystem}{243}
\contentsline {paragraph}{Calculator}{244}
\contentsline {paragraph}{H\active@dq {o}here Algorithmen}{244}
\contentsline {paragraph}{Anwendungen}{245}
\contentsline {paragraph}{Verf\active@dq {u}gbarkeit}{245}
\contentsline {subsubsection}{\numberline {4.3.14}{Symmetrica}}{247}
\contentsline {subsection}{\numberline {4.4}Experimentelle Systeme und
 Programmpakete}{249}
\contentsline {subsubsection}{\numberline {4.4.1}{ALGEB}}{249}
\contentsline {subsubsection}{\numberline {4.4.2}{AMORE}}{249}
\contentsline {subsubsection}{\numberline {4.4.3}{CHEVIE}}{251}
\contentsline {subsubsection}{\numberline {4.4.4}{CREP}}{253}
\contentsline {subsubsection}{\numberline {4.4.5}{MASYCA}}{254}
\contentsline {subsubsection}{\numberline {4.4.6}{Meat-Axe}}{256}
\contentsline {subsubsection}{\numberline {4.4.7}{MOC}}{257}
\contentsline {subsubsection}{\numberline {4.4.8}{ORME}}{258}
\contentsline {subsubsection}{\numberline {4.4.9}{Quotpic}}{258}
\contentsline {subsubsection}{\numberline {4.4.10}{ReDuX}}{260}
\contentsline {subsubsection}{\numberline {4.4.11}{RepTiles}}{261}
\contentsline {subsubsection}{\numberline {4.4.12}SENAC}{262}
\contentsline {paragraph}{SENCORE features}{263}
\contentsline {paragraph}{Interfaces and Modules}{264}
\contentsline {paragraph}{Availability}{264}
\contentsline {subsubsection}{\numberline {4.4.13}{SINGULAR}}{265}
\contentsline {subsubsection}{\numberline {4.4.14}{Sisyphos}}{267}
\contentsline {subsubsection}{\numberline {4.4.15}SymbMath}{269}
\contentsline {subsubsection}{\numberline {4.4.16}{SymmPAD}}{270}
\contentsline {paragraph}{Beispielsitzung}{272}
\contentsline {subsubsection}{\numberline {4.4.17}{Theorist}}{274}
\contentsline {paragraph}{Introduction}{274}
\contentsline {paragraph}{Equation Entry}{274}
\contentsline {paragraph}{Computer Algebra}{275}
\contentsline {paragraph}{Graphics}{276}
\contentsline {paragraph}{Calculations}{276}
\contentsline {paragraph}{Theories}{277}
\contentsline {paragraph}{Notebooks and Outlining}{278}
\contentsline {paragraph}{Limitations}{278}
\contentsline {paragraph}{Availability}{279}
\contentsline {section}{\numberline {5}Konferenzen und Publikationen}{281}
\contentsline {subsection}{\numberline {5.1}Tagungen und Konferenzen}{281}
\contentsline {subsection}{\numberline {5.2}Tagungsb\"ande}{285}
\contentsline {subsection}{\numberline {5.3}B"ucher zur
 Com\discretionary {-}{}{}pu\discretionary {-}{}{}ter\discretionary
 {-}{}{}al\discretionary {-}{}{}ge\discretionary {-}{}{}bra}{289}
\contentsline {subsection}{\numberline {5.4}Zeitschriften}{293}
\contentsline {subsection}{\numberline {5.5}Reporte}{295}
\contentsline {section}{\numberline {6}Com\discretionary {-}{}{}pu\discretionary
 {-}{}{}ter\discretionary {-}{}{}al\discretionary {-}{}{}ge\discretionary
 {-}{}{}bra\ in Deutschland}{297}
\contentsline {subsection}{\numberline {6.1}Die Fachgruppe Com\discretionary
 {-}{}{}pu\discretionary {-}{}{}ter\discretionary {-}{}{}al\discretionary
 {-}{}{}ge\discretionary {-}{}{}bra\ der GI, DMV und GAMM}{297}
\contentsline {subsubsection}{\numberline {6.1.1}Beschreibung der
 Fachgruppe}{297}
\contentsline {subsubsection}{\numberline {6.1.2}Ordnung der Fachgruppe}{298}
\contentsline {subsubsection}{\numberline {6.1.3}Fachgruppenleitung}{298}
\contentsline {subsubsection}{\numberline {6.1.4}Beziehungen zur SIGSAM}{299}
\contentsline {subsection}{\numberline {6.2}Das Informationssystem {CAIS}}{301}
\contentsline {subsection}{\numberline {6.3} \hbox
 {Com\discretionary {-}{}{}pu\discretionary {-}{}{}ter\discretionary
 {-}{}{}al\discretionary {-}{}{}ge\discretionary {-}{}{}bra}-Arbeitsgruppen in
 Deutschland}{304}
\contentsline {subsubsection}{\numberline {6.3.1}Liste der Arbeitsgruppen}{305}
\contentsline {subsubsection}{\numberline {6.3.2}Ortsindex der Com\discretionary
 {-}{}{}pu\discretionary {-}{}{}ter\discretionary {-}{}{}al\discretionary
 {-}{}{}ge\discretionary {-}{}{}bra-Arbeitsgruppen}{320}

\end{footnotesize}


 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     Konferenzen                                                 %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 
{\vspace*{5mm}\Large\bf\hrule\vspace{1mm}
\centerline{Hinweise auf Konferenzen}\vspace{1mm}\hrule}
 
\begin{enumerate}

\item {\bf CAMASA'93}
 
Universit\"at Pisa, 22.--24.04.1993.
%%\marginpar{ {\scriptsize Gianni??}}
 
{\footnotesize Kontaktadresse:
Patricia Gianni,
Dipartimento di Matematica, Via Buonarroti, 2, I-56100 PISA,
elektronische Adresse: gianni@dm.unipi.it,
FAX: 0039-50-599524
}

\item {\bf AAECC'10}
 
Puerto-Rico, 10.05.--14.05.1993

{\footnotesize Kontaktadresse:
O. Moreno, 
001-809-7510625
elektronische Adresse: o\_moreno@upr1.clu.edu 
oder  moreno@sun386-gauss.uprr.pr}

\item {\bf \glqq Algorithm Week\grqq\ im Rahmen von 
 \glqq Groups and Geometries at O.S.U.\grqq}

Ohio State University, Columbus, Ohio, 24.--28.05.93.

{\footnotesize Kontaktadresse: Dr. A. Seress, 
  akos@function.mps.ohio-state.edu}

\item {\bf CoCoA -- Computational Commutative Algebra}
 
Cortona, 31.05.--04.06.1993.
%%\marginpar{ {\scriptsize Mora??}}
 
{\footnotesize Kontaktadresse:
L.Robbiano, Dipartimento di Matematica, Via L.B.Alberti 4,
I-16132 Genova,\hfill\newline  robbiano@matgen.ge.cnr.it
}

\item {\bf 5th Conference on Formal Power Series
and Algebraic Combinatorics}
 
Universit\"at Florenz, 21.--25.06.1993.
%%\marginpar{ {\scriptsize Strehl??}}
 
{\footnotesize Kontaktadresse:
R. Pinzani,
Dipartimento de Sistemi e Informatica, Via Lombroso, 6/17, I-50134 Firenze,
Kontakt \"uber elektronische Post: fpsac@ifiidg.bitnet .}
 
\item {\bf Konferenz der deutschsprachigen AXIOM-Benutzergruppe}
 
Karlsruhe, 24.06-26.06.93.
 
{\footnotesize Kontaktadresse:  Prof. Dr. G. Schneider,
0721-608-2479, Fax: 0721-32550, elektr. Adr.: 
schneider@rz.uni-karlsruhe.de  oder schneider@dkauni2.bitnet,
Dr. J. Grabmeier, 06221-594329, Fax: 06221-593500, elektr. Adr.:
grabm@dhdibm1.bitnet.}



\item {\bf Commutative Algebra and its Interaction with 
Computer Algebra  and Combinatorics}

Inst. f. Experimentelle Mathematik, Essen, 28.--30.06.1993.

{\footnotesize Kontaktadresse:
Prof. Dr. J. Herzog,  Anmeldung bis Ende Mai 93 bei
Frau B. Ebinger, Inst. f. Exp. Math., Ellernstr 29, 4300 Essen 12,
elekt. Adr.: mat425@vm.hrz.uni-essen.de,
Tel. 0201-32064-52, Fax: -25.
}

\item {\bf
International Conference  on
%NUMBER THEORETIC AND ALGEBRAIC METHODS IN COMPUTER SCIENCE}
Number Theoretic and Algebraic Methods in Computer Science}
 
Moskau, 29.06.1993--02.07.1993.

%Bericht von Herrn Zimmer zugesagt.
{\footnotesize
Konferenzleitung:
Horst G. Zimmer, Saarbr"ucken, (zimmer@math.uni-sb.de)
 
Kontaktadresse:
Igor Shparlinski,
Dept. no. 4, \ ICSTI,
Kuusinenastr., 21 B, Moskau, 125252, Russland,
FAX (095) 943 00 89,
elektronische Adresse: shpar\@plb.icsti.su,
Stichtag 31.01.1993
\infocais
}
 
\item {\bf ISSAC'93}
 
Kiew, Ukraine, July 06--08.07.1993.
 
%%\marginpar{ {\scriptsize ??}}
 
{\footnotesize Kontaktadresse:  Alexander A.Letichevsky,
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
Programmkommittee: Gaston Gonnet, ETHZ, Zentrum, CH-8092 Z"urich,
elektr. Adr: gonnet@inf.ethz.ch (Stichtag 15.12.1992).
\infocais
}

\item {\bf IMACS Symposium on Symbolic Computation '93}
 
Lille, France, 14.07--17.07.1993.
 
%Bericht von Herrn Wiwianka zugesagt.
{\footnotesize Kontaktadresse:  
G. Jacob, France (chairman),
Symposium IMACS  SC 93, Bat.  M3-Informatique
Universite Lille I, F-59655 Villeneuve d'Ascq Cedex France,
elektr. Adresse:       jacob@lifl.fr,
Stan Steinberg, U.S.A. (co-chairman)
elektr. Adresse: stanly@math.unm.edu.
\infocais
}



\item {\bf The Arithmetic of Elliptic Curves}

Anogeia (Kreta, Griechenland), 19.07.-24.07.1993.


{\footnotesize Kontaktadresse: Jannis Antoniadis, Thanases Pheidas,
 Nikos Tzanakis, Department of Mathematics University of Crete Herakleio,
 Crete, P. O. Box 1470, Greece Tel. (081)234516,
 e-mail: antoniad@talos.cc.uch.gr or eliptcurv@talos.cc.uch.gr
\infocais
}


\item {\bf Sommerschule \glqq Computational Group Theory\grqq 
(unter Benutzung von \gap)
im Rahmen von \glqq Groups 1993 Galway / St. Andrews\grqq}
 
Galway (Irland), 01.-14.08.93.
 
%Bericht von Herrn Schneider zugesagt.
{\footnotesize Kontaktadresse:  Dr. E. Robertson, Groups 1993,
Mathematical Institute, Univ. of St. Andrews, KY16 9SS, Scotland}

\item {\bf \cayley/\magma Conference on Computational Algebra}

London, 23.-27.08.1993.

%Bericht von Herrn Schneider zugesagt.
{\footnotesize Kontaktadresse:  R.L. Siverstone,
elektr. Adr. R.L.Siverstone@qmw.ac.uk.}



\item {\bf Design and Implementation of Symbolic Computation Systems DISCO'93}

Gmunden, \"Osterreich, 15.-17.09.93.

{\footnotesize Kontaktadresse: Dr. Franz Lichtenberger, RISC, Johann Kepler
Universit\"at, A-4040 Linz, Austria, elektr. Adr. lichtenb@risc.uni-linz.ac.at
Programmkommittee: Prof. Alfonso Miola, DIS, Universita' di Roma,
Via Salaria 113, 00198 Roma, Italy, elektr. Adr. disco93@disco1.ing.uniroma1.it,
Stichtag 01.02.1993.}
 
\item {\bf Technology in Mathematical Teaching}
 
Birmingham, England, 17.09.1993--20.09.1993.
 
Es w"are sicher wichtig, wenn es auf dieser Konferenz viele
\ca-Beitr"age geben w"urde.
%%\marginpar{ {\scriptsize Kutzler}}
 
{\footnotesize Kontaktadresse:  Pam Bishop,
CTICMS, Fac. of Education, The University of Birmingham, Edgbaston,
UK-Birmingham, B15 2TT.
Elektr. Adresse: tmt93@bham.ac.uk
Stichtag 31.01.1993.
}


\item {\bf 
Symposium on Quantifier Elimination and Cylindrical Algebraic Decomposition
}
 
RISC Linz, 06.10.--08.10.1993.
 
%Bericht von Herrn Schneider zugesagt.
{\footnotesize 
Diese Konferenz ist zu Ehren von Prof.
George E. Collins, der in diesem Jahr 65 wird.
Stichtag zum Einreichen von Arbeiten ist der 
15.04.1993: 
Prof.  Jeremy R. Johnson,
     Department of Mathematics and Computer Science,
             Drexel University,
         Philadelphia, PA 19104 USA,
           Tel.: 001-215-895-2893,
elektr. Adresse: jjohnson@mcs.drexel.edu.
 
Weitere Infromationen: 
RISC Linz, 06.10.--08.10.1993.
    Prof.  B. F. Caviness,
     Department of Computer \& Information Sciences,
     103 Smith Hall,
     University of Delaware,
     Newark, DE 19716 USA,
     Tel.: 001-302-831-8234
     elektr. Adresse: caviness@udel.edu.
\infocais
}
 
 
%\item {\bf \ca Dagstuhl 94}
%
%Dagstuhl, ??.??.--??.??.1994.
% 
%{\footnotesize 
%Die Fachgruppe \ca\ plant eine Tagung zum Thema \ca\ im Laufe des
%Jahres 1994. Die Organisation haben H.~Michael M"oller (Hagen)
%und Manuel~Bronstein (Z"urich) "ubernommen. Wir hoffen daf"ur 
%f"ur 1994 einen Termin in Dagstuhl zu erhalten. Teilnahme nur
%nach Einladung.  Da die Terminvergabe
%in Dagstuhl erst nach Erscheinen des Rundbriefes erfolgt, bitten
%wir Sie weitere Informationen im \cais\  ab Dezember abzurufen.
%} 

\item {\bf Effektive Methoden der algebraischen Geometrie (MEGA 94)}
 
Santander, Spanien, 05.--09.04.1994.
 
{\footnotesize Kontaktadresse: Prof. Tomas Recio, Prof. L. Gonz\'alez--Vega,
Stichtag zum Einreichen von Arbeiten ist der
16.09.1993 in \TeX\ in elektronischer Form an 
mega94@ccucvx.unican.es oder 16 Kopien an 
Departamento de Matem\'aticas,
Facultad de Ciencias,
Universidad de Cantabria,
Santander 39071, Spanien,
Tel.: 0034--42--201433,
Fax: 0034--42--201402,
elektr. Adresse: recio@ccucvx.unican.es.
\infocais
}



\item {\bf DMV Jahrestagung 1994, Sektion \ca}

Duisburg, September 1994.

{\footnotesize 
Erfreulicherweise hat die DMV bei ihrer Jahrestagung 1994 in Duisburg
%nach Berlin 1987 und Regensburg 1988 wieder
wieder eine Sektion \ca\ eingerichtet. Die Sektionsleitung liegt 
in den H"anden von Prof. B. Fuchssteiner, der DMV-Vertreter 
in der Fachgruppenleitung.
}

%\item {\bf Dubna}
%
%input Hehl
% 
\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 ISSAC'92}
 
Berkeley, Kalifornien, USA, 26.--29.07.1992.

%           ISSAC '92 ADVANCE PROGRAM AND REGISTRATION
%
%              INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND
%                   ALGEBRAIC COMPUTATION
%
%
%                 Berkeley, California, USA
%                    July 26-29, 1992
%
%                    Workshop, July 30
%
%              Sponsored by ACM SIGSAM and ACM SIGNUM
%
%

Die {\em ISSAC'92} wurde vom 26. bis 29. Juli in Berkeley veranstaltet.  Sie
wurde von etwa 200 Teilnehmern besucht. Au\ss er zwei eingeladenen
Vortr\"{a}gen gab es etwa 50 Beitr\"{a}ge aus fast allen Gebieten der
{\ca}, die unten aufgelistet sind.  In diesem Jahr findet die {\em
ISSAC} vom 6. bis 8. Juli in Kiew statt.
 
{\footnotesize Kontaktadresse:
    Invited Speaker: W. Kahan: {\em
      A Fear of Constants }
	M.C. Dewar: {\em
    Using Computer Algebra to Select Numerical Algorithm }
	V.G Ganzha, E.V. Vorozhtsov and J.A. Van Hulzen: {\em
    A New Symbolic--Numeric Approach to
     Stability Analysis of Difference Schemes
 }
	P. Kirrinnis: {\em
    Fast Computation of Numerical Partial Fraction Decompositions and Contour
 Integrals of Rational Functions }
	G.O. Cook: {\em
    Code Generation in ALPAL Using Symbolic Techniques }
	K.O. Geddes and G.J. Fee: {\em
    Hybrid Symbolic--Numeric Integration in MAPLE }
	M. Bronstein    : {\em
    Linear Ordinary Equations : Breaking through the Order 2 Barrier }
	 A.Yu. Zharkov: {\em
     On Algebraic Solutions of First Order Riccatti Equation  }
	F. Schwarz : {\em
    Reduction and Completion Algorithms for Partial Differential Equations }
	M. Singer and F. Ulmer: {\em
    Liouvillian Solutions of Third Order Linear Differential Equations: New
 Bounds and Necessary Conditions  }
	G.J. Reid, I.G. Lisle, A. Boulton and A.D. Wittkopf: {\em
    Algorithmic Determination of Commutation: Relations for Lie Symmetry
 Algebras of PDEs  }
	M. Codutti: {\em
    NODES : Nonlinear Ordinary Differential Equations Solver  }
	M. Russo: {\em
    A Combined Symbolic/Numeric Approach for the Integration of Stiff Nonlinear
 Systems of ODE's }
	R. Grossman: {\em
    The Explicit Computation of Integration Algorithms and First Integrals for
 Ordinary Differential Equations with Polynomial Coefficients Using Trees }
	Honglin Ye and R. Corless: {\em
    Solving Linear Integral Equations in Maple }
			A. Burnel and H. Caprasse: {\em
    The Computation of 1-loop Contributions in Y.M. Theories with Class III
 Nonrelativistic Gauges and REDUCE }
	D. Richardson: {\em
    The Elementary Constant Problem }
	Dima Grigoriev, Marek Karpinski and Andrew M. Odlyzko: {\em
    Existence of Short Proofs for Nondivisibility of Sparse Polynomials under
 the Extended Riemann Hypothesis }
	J.H. Davenport: {\em
    Primality Testing Revisited }
	B. Salvy and J. Shackell        : {\em
    Asymptotic Expansions of Functional Inverses }
	I. Gil: {\em
    Computation of the Jordan Canonical Form of a Square Matrix (Using the Axiom
 Programming Language) }
	J. Weiss: {\em
    Homogeneous Decomposition of Polynomials }
	J. Gutierrez and T. Recio: {\em
    A Practical Implementation of Two Rational Function Decomposition Algorithms
 }
	D. Manocha and J. Canny: {\em
    MultiPolynomial Resultants and Linear Algebra }
	P. Wang : {\em
    Parallel Univariate p-adic Lifting on Shared-Memory Multiprocessors  }
	Hoon Hong: {\em
    Simple Solution Formula Construction in Cylindrical Algebraic Decomposition
 based Quantifier Elimination }
	G.E. Collins and W. Krandick: {\em
    An Efficient Algorithm for Infallible Polynomial  Complex Root Isolation  }
	J.R. Johnson: {\em
    Real Algebraic Number Computation using  Interval Arithmetic  }
	R.Rioboo: {\em
    Algebraic Closure of an Ordered Field,   Implementation in Axiom }
	Richard Fateman: {\em
    Honest Plotting, Global Extrema, and Interval Arithmetic  }
	G. Cooperman and L. Finkelstein: {\em
    Fast Cyclic Base Change for Permutation Groups}
	W. Lempken and R. Staszewski: {\em
    The Structure of the PIMs of SL (3,4) in  Characteristic 2  }
	N. Kuhn, K. Madlener and  F. Otto: {\em
    Computing Presentations for Subgroups of  Context-Free Groups  }
	Greg Butler: {\em
    Experimental Comparison of Algorithms for Sylow Subgroups  }
	F. Morain: {\em
    Easy Numbers for the Elliptic Curve Primality Proving Algorithm  }
    Invited Speaker: J. Rice: {\em
    What is an Answer? }
	G. Villard: {\em
    Parallel Lattice Basis Reduction }
	C. Cetinkaya: {\em
    On Stability Analysis of Linear Stochastic and Time-Varying Deterministic
 Systems  }
	M. Mutrie, R. Bartels and B. Char : {\em
    An Approach for Floating-Point Error Analysis using Computer Algebra  }
	C. Bischof, A. Carle, G. Corliss and A. Griewank: {\em
    ADIFOR Automatic Differentiation in a Source Translator Environment  }
	F. Marinuzzi and S. Soliani: {\em
    Lispack : A new Symbolic Package for the Definition, Analysis  and
 Resolution of Markovian Processes }
	J. Painter: {\em
    The Matrix Editor for Symbolic Jacobians in ALPAL }
	H.M. M  T. Mora and C. Traverso: {\em
    Grobner Bases Computation Using Syzygies      }
	V. Weispfenning: {\em
    Finite Grobner Bases in Non-Noetherian Skew Polynomial Rings  }
	Xiao-Shan Gao and Shang-Ching Chou: {\em
    Solving Parametric Algebraic Systems }
	E. Kaltofen: {\em
    On Computing Determinants of Matrices without Divisions }
	J. Hietarinta: {\em
    Solving the Yang-Baxter Equation in 2 Dimensions with Massive Use of
 Factorizing Grobner Basis Computations }
	E. Lamagna, M. Hayden and C. Johnson: {\em
    The Design of a User Interface to a Computer Algebra System for Introductory
 Calculus }
	S. Dalmas: {\em
    A Polymorphic Functional Language Applied to  Symbolic Computation  }
	N. Kajler: {\em
    CAS/PI: a Portable and Extensible Interface for Computer Algebra Systems }
	M. Noro and T. Takeshima: {\em
    Risa/Asir: A Computer Algebra System  }
	L. Viklund      and P. Fritzson: {\em
    An Object-Oriented Language for Symbolic Computation Applied to Machine
 Element Analysis  }
 

}%end{footnotesize}
%
\begin{flushright} Fritz Schwarz (St. Augustin) \end{flushright}
 
%\item {\bf IMACS - SC 93}
% 
%Villeneuve d'Ascq, France, 23.--25.02.1993.
%
%Bericht?
% 
%{\footnotesize Kontaktadresse:
%IMACS - SC 93, Ecole Centrale de Lille, BP 48, 59651 Villeneuve d'Ascq Cedex,
%France, Phone (33) 20 33 53 53, Fax (33) 20 33 54 99, Telex: 283155F}


\item {\bf Applicable Algebra}

Mathematisches Forschungsinstitut Oberwolfach, 15.--19.2.1993.
 
Die Tagung war die dritte ihrer Art in Oberwolfach.
Sie wurde von Th.~Beth, Karlsruhe, B.~Buchberger, Linz und
H.~L\"uneburg, Kaiserslautern, geleitet und von 40 Teilnehmern aus 7 L"andern
besucht.
 
Die Vortr"age im einzelnen (in der gehaltenen Reihenfolge):\\
{\footnotesize
\def\field #1{{\rm I\kern-.25em F}_{#1}}
E.~Kaltofen: {\it Parallel Solution of Large Sparse Systems},
J.~von zur Gathen: {\it Factoring Polynomials Over Finite Fields},
A.~Kerber: {\it Algebraic Combinatorics via Finite Group Action},
V.~Pan: {\it Supereffective Slow-down of Parallel Algebraic Computation},
A. Poli: {\it Counting the SCN Bases of $\field{2^n}$ Over $\field{2}$},
P.~Camion: {\it Towards a Better Complexity Algorithm for Computing the
                  Minimal Polynomial of a Matrix},
J.~M\"uller-Quade: {\it Parallel Decomposition of $\Omega$-Algebras},
T.~Jebelean: {\it Systolic Multi-Precision Arithmetic},
J.~Grabmeier: {\it Genetics in AXIOM},
W.~Scharlau: {\it Construction of Linear Codes},
T.~Mora: {\it Gr\"obner Bases and the Word Problem},
G.~Frey: {\it On the Discrete Logarithm of Jacobians of Curves},
A.~Guthmann: {\it Primality Testing Algorithm for Integer Approximation
                  of $l$-adic Roots of Unity},
S.A.~Vanstone: {\it Group Factorization and their Cryptographic Significance},
O.~Moreno: {\it Ax Theorem, a $p$-adic Serre Bound and Coding Theory},
W.~Schempp: {\it The Heisenberg Lie Algebra and Neuronal Network Computations},
W.~Krandick: {\it High Precision Calculation of Real and Complex Polynomial
                  Roots},
W.~Geiselmann: {\it Self-Dual Bases in $\field{q^n}$},
J.~Okninski: {\it Linear Semigroups-Structure and Applications},
H.~Hong: {\it Topology Analysis of Real Algebraic Curves},
M.~Klin: {\it Schur Rings Over Cyclic Groups and Automorphism Groups of
              Circulant Graphs},
K.~Leeb: {\it Natural Constructions},
D.~Jungnickel: {\it Almost Perfect Binary Sequences},
K.-H.~Zimmermann: {\it On the Decoding of Modular Group Codes},
G.E.~Collins: {\it Some Interesting Aspects of Factorization of Integral
                 Polynomials},
D.~Polemis: {\it Singular Algebraic Curves},
A.~Sch\"onhage: {\it Sharp Bounds on the Perturbation of Polynomial Zeroes},
R.~Beals: {\it Las Vegas Algorithms for (Finite) Matrix Groups},
U.~Oberst: {\it The Constructive Solution of Linear Systems of Partial
                Difference Equations},
F.~Schaefer-Lorinser: {\it Elliptic Curves for the Construction of One Way
                           Functions},
D.~Hachenberger: {\it On the  Existence of Completely Free Elements in Finite
                      Fields},
J.R.~Johnson: {\it The Coefficient Sign Variation Method for Real Root
                Isolation},
W.~Glei\3ner: {\it Chaos in $p$-adic Fields}.
}%end{footnotesize}
%
\begin{flushright}
Willi Geiselmann, Frank Schaefer-Lorinser (Karlsruhe)
\end{flushright}
%
%

%\item {\bf Workshop \kant\ und \simath}
%
%Essen, 03.--05.03.1993.
%
%Bericht? Anfrage an Frey am 24.02.93

\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
{\sf GAP} 3.2
}}\\
\smallskip
\end{center}
 
Ab M\"arz  ist  Version 3,  Release  2 des Systems {\sf GAP}  (Groups,
Algorithms and Programming) des Lehrstuhls D f\"ur Mathematik der RWTH
Aachen  verf\"ugbar.  {\sf GAP} steht (nebst einem  Manual  von ca. 800
Seiten als  \LaTeX-file)  kostenlos  mit  vollem Source  und  mehreren
Executables \"uber ftp zur Verf\"ugung.
 
Eine offizielle Ank\"undigung,  die eine Beschreibung des Umfangs  des
Systems  sowie  Informationen  \"uber  existierende  Portierungen  und
Installation    von    GAP    enth\"alt,    kann    per     ftp    von
'samson.math.rwth-aachen.de'  als  Datei   'pub/gap/README'  abgerufen
werden.  Gegen\"uber dem Release 1 der Version 3, das  seit April 1992
verteilt  wird,  ist  der  Umfang  um   etwa  50\%   gewachsen.   Neue
Implementationen  betreffen insbesondere  Funktionen  zur Untersuchung
von     endlich    pr\"asentierten    Gruppen,    Permutationsgruppen,
Erg\"anzungen  der  Methoden  zum  Umgang  mit  Charakteren  und  eine
Arithmetik f\"ur Polynome.
 
\begin{flushright}
Joachim Neub\"user (Aachen)
\end{flushright}


\begin{center}
{\Large {\bf
REDUCE f"ur weitere Architekturen
}}\\
\smallskip
\end{center}
 
 
Inzwischen ist das System REDUCE f"ur weitere Rechner-Plattformen
verf"ugbar: Sun $SPARC$ mit Solaris 2.1, $i860$
Prozessor mit UNIX System V (z.B. DSM Unix-Station 860),
$Fuji$/$Siemens$ S400 unter UXP-M, $IBM$ kompatible 386/486 mit OS/2 und
$Apple$ Macintosh. In Vorbereitung: $DEC$ Alpha und 386/486 mit
Windows NT.
Kompatibilit"atsprobleme mit $IBM$ RS/6000 AIX 3.2 konnten gekl"art werden.
 
Anfragen an:

{\footnotesize
\begin{center}
\begin{tabular}{l}
Herbert Melenk\\
Konrad-Zuse-Zentrum fuer Informationstechnik\\
Heilbronner Str 10, D 1000 Berlin 31\\
Elektr. Adr.:  melenk@sc.zib-berlin.de\\
\end{tabular}
\end{center}
}

\begin{flushright}
Herbert Melenk (Berlin)
\end{flushright}
 
 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     Arbeitsgruppen                                              %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Berichte \"uber Arbeitsgruppen}\vspace{1mm}\hrule}
\vspace*{3mm}
 
\noindent
%\begin{center}
{\Large {\bf Computeralgebra am Institut f"ur Experimentelle Mathematik, \\
 Universit"at GH Essen}}
%\end{center}
%\vspace{2cm}
 
{{\bf Arbeitsgruppe Darstellungstheorie/Computeralgebra}}
\bigskip
 
Leitung:  Prof. Dr. G. Michler,  Priv.Doz. Dr. W. Lempken,
weitere st"andige Mitarbeiter: \quad  Dr. P. Fleischmann,
Dr. H. Gollan, Dr. I. Janiszczak.
 
Dazu kommen im Rahmen von DFG-Forschungsprojekten \glqq Konstruktive
 Darstellungstheorie'' und \glqq Algorithmische 
 Zahlentheorie und Algebra'' mehrere
 Postdoktoranden sowie auch Doktoranden und Diplomanden (z.T. im Rahmen des
 angegliederten Graduiertenkollegs \glqq Theoretische Methoden der Reinen
 Mathematik'').
 
{\bf Arbeitsthemen:}
 
\begin{itemize}
\item Schnelle Fouriertransformation auf endlichen Gruppen
\item Konvergenz von Wahrscheinlichkeitsma"snahmen auf endlichen Gruppen
\item Konstruktion von gew"ohnlichen Darstellungen "uber algebraischen
 Zahlk"orpern
\item Konstruktion und Strukturuntersuchungen modularer Darstellungen "uber
 endlichen K"orpern
\item Modelle in endlichen Gruppen
\item Berechnung von Kohomologie-Gruppen
\item Parametrisierung und Bestimmung der generischen Anzahlen halbeinfacher
 Konjugiertenklassen und Klassenzahlen in Chevalley-Gruppen
\item Bestimmung halbeinfacher Deformationen von modularen Gruppenalgebren
\item Algorithmen zur Polynomfaktorisierung "uber endlichen K"orpern
\item Kombinatorik von Coxeter-Arrangements und Algorithmen zur Bestimmung der
 zugeh"origen Poinca"-r\'e-Polynome
\item Konbinatorik der symmetrischen Gruppen und ihrer Hecke-Algebren;
 Algorithmen zur Berechnung der Kazhdan-Lusztig-Polynome und -Graphen
\item Konstruktion von Gr"obner- und freien Schreier-Basen in freien
 Gruppenalgebren
\end{itemize}
 
K"urzlich erschien ein Lehrbuch, das in der Arbeitsgruppe entstanden ist:
 
\begin{center}
{\bf \glqq Lineare Algebra f"ur Wirtschaftsinformatiker''} (inkl. Lernsoftware) \\
I. Janiszczak, R. Kn"orr, G. Michler\\
Viehweg (1992)
\end{center}
 
{{\bf Arbeitsgruppe Zahlentheorie}}
 

Leitung:  Prof. Dr. G. Frey, Priv.Doz. Dr. H.-G. R"uck, 
weitere st"andige Mitarbeiter: \quad  Dr. W. Happle, Dr. I. Kiming.
 
{\bf Arbeitsthemen:}
 
\begin{itemize}
\item Schnelle Fouriertransformation und Anwendung auf die Arithmetik
\item Diophantische Gleichungen "uber Zahl- und Funktionenk"orpern (elliptische
 und hyperelliptische Kurven, Drinfeld-Moduln)
\item Spezielle Kurven und Anwendung auf Datensicherheit (Public-key-Verfahren
 mit diskretem Logarithmus, Konstruktion von geeigneten elliptischen und
 hyperelliptischen Kurven)
\item Zweidimensionale Galoisdarstellungen (Berechnungen von Spitzenformen vom
 Gewicht 2, Konstruktion von Zahlk"orpern mit gegebenem Artinf"uhrer)
\end{itemize}
 
{{\bf Vorhandene Systeme und Software-Pakete:}}
\axiom, \cayley, \gap, \kant, \lie, \macaulay, \maple, \mathematica, \meataxe,
\simath.
 
Neben Ausnutzung der vorhandenen Systeme werden im Rahmen der o.a. Arbeiten
 entsprechende Algorithmen neu und weiter entwickelt, sowie einer angemessenen
 Implementierung zugef"uhrt (z.T. auch in den genannten Systemen).
 
\begin{flushright} Wolfgang Lempken (Essen) \end{flushright}
\indent 
 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     Publikationen                                               %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
\vspace*{5mm}
{\Large\bf
\hrule\vspace{1mm}
\centerline{Publikationen "uber Computeralgebra}
\vspace{1mm}
}\hrule
 
\begin{itemize}
\item M. Kofler: {\em \mathematica. Einf"uhrung und Leitfaden f"ur den
    Praktiker}. Addison-Wesley, Bonn 1992.
\item J."Uberberg: {\em Einf"uhrung in die {\ca} mit \reduce}.
 BI, Mannheim 1992.
\item F.W. Hehl, V.Winkelmann und H.Meyer: {\em \ca. Ein Kompaktkurs "uber die
    Anwendung von \reduce}. Springer-Verlag, Heidelberg 1992.
\item F. Brackx and D. Constales, {\em Computer Algebra with LISP and \reduce},
Kluwer Academic Publishers, 1992, ISBN 0-7923-1441-7.



\item Geddes (Matzat)
Margret Hoeft, {\em Laboratories for Calculus I using  MATHEMATICA}, 
ISBN   0-201-54345-1, 1992, Add. Wesley und 

J.K. Finch, M. Lehman, {\em Exploring Calculus with MATHEMATICA}, 
ISBN 0-201-55572-7, 1992, Add. Wesley.

Beide B\"ucher geben eine Einf\"uhrung in das Programm {\it {MATHEMATICA}}, 
\copyright Wolfram Research , Inc., an Hand von Beispielen aus der reellen 
Analysis. Das Buch von M.H\"oft ist von den Anforderungen her und dem Aufbau, 
mit sehr ausf\"uhrlich gegliederten Aufgaben und L\"osungen, f\"ur einen 
entsprechenden Arbeitskreis in der Oberstufe geeignet. Das Buch von 
J.K.Finch und M.Lehmann ist anspruchsvoller und f\"ur eine Einf\"uhrung 
z.B. im Rahmen eines Proseminars sehr zu empfehlen. 
Es bietet u.a. viele ausf\"uhrliche Beispiele f\"ur graphische Darstellungen 
von Funktionen, sowie Beispiele f\"ur einfache numerischen Approximationen und 
Optimierungsaufgaben. Zu jedem Kapitel gibt es Aufgaben z.T. mit L\"osungen. 
Beide B\"ucher sind f\"ur ein Macintosh Interface geschrieben, lassen sich 
jedoch auch f\"ur die MS-DOS und Windows Versionen von {\it {MATHEMATICA}} 
benutzen. Das gilt leider nicht f\"ur die jedem Buch beigef\"ugte 
3.25" Diskette; diese Disketten lassen sich nur auf einem Apple Macintosh PC 
verwenden.\\ 

\begin{flushright} G"unter Braunss (Gie"sen) \end{flushright}
 
\item
David Cox, John Little, and Donal O'Shea,
{\sl Ideals, Varieties and Algorithms: An
Introduction to Computational Algebraic
Geometry and Commutative Algebra}, ISBN 0-387-97847-X, 1992, Springer-Verlag.

In diesem Buch geben die Autoren eine Einf"uhrung in die algebraische Geometrie
und kommutative Algebra von einem betont algorithmischen Standpunkt. Nach der
Kl"arung der Begriffe Ideal und Variet"at im ersten Kapitel befassen sich
die Autoren bereits im zweiten Kapitel mit der Theorie der Gr"obnerbasen, die
Grundlage f"ur fast alle Algorithmen in diesem Buch ist. In den folgenden
Kapiteln werden dann klassische Themen wie Eliminationsideale,
Parametrisierung von Variet"aten, Radikalideale,
Zerlegung von Variet"aten in irreduzible Untervariet"aten, Funktionenr"aume auf
Variet"aten, projektiver Abschlu"s affiner Variet"aten, Dimension und
Hilbertpolynom von Variet"aten, Invarianten endlicher Gruppen u.a. besprochen sowie
Algorithmen zu ihrer Berechnung angegeben. Dabei wird die Theorie durch
zahlreiche Beispiele aufgelockert, die in anderen B"uchern "uber algebraische
Geometrie meist fehlen, weil sie nur mithilfe von Computeralgebra-Systemen
bequem gel"ost werden k"onnen. Als nichtklassische Anwendungen der Theorie
behandeln die Autoren die Steuerung von Roboterarmen und das automatische
Beweisen geometrischer S"atze.

Das Buch ist gut verst"andlich geschrieben und regt durch die algorithmische
Ausrichtung den Leser zum Ausprobieren der Beispiele am eigenen {\cas} an.
Hilfreich sind dabei die Hinweise der Autoren auf Art und Umfang
der Implementierungen der besprochenen Algorithmen in den \cas en
\maple, \mathematica, \reduce\ und \axiom (fr"uher Scratchpad).
Daher halte
ich das Buch als Vorlage f"ur eine Einf"uhrungsvorlesung in die algebraische
Geometrie als sehr gut geeignet, wobei allerdings der Methode der Autoren,
elementare Begriffe der Algebra wie kommutativer Ring, K"orper,
Quotientenk"orper usw. anhand der auftretenden Beispiele aus der algebraischen
Geometrie zu erkl"aren, nicht unbedingt Folge geleistet werden mu"s.

\begin{flushright}  Arne D"ur (Innsbruck) \end{flushright}
 
\end{itemize}


%\newpage

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     Lehrveranstaltungen                                         %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
{\Large\bf \hrule\vspace{1mm}
%{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Lehrveranstaltungen "uber Computeralgebra im SS 1993
\vspace{1mm}}\hrule}
{\small
\begin{itemize}
 
\item
{\bf RWTH Aachen}\\
{\em Algorithmische Methoden der Gruppentheorie}, J.Neub\"user, V4 + \"U2.\\
{\em Einf\"uhrungspraktikum \maple}, V. Dietrich, U. Klein,
    ckpraktikum in 5 Wochen, \"U2.\\
{\em Programmieren in \maple}, U. Klein, \"U4.\\
{\em Arbeitsgemeinschaft Untersuchung algebraischer Strukturen auf 
     Computern}, \"U2.
 
%\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}\\
%{\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 Technische Universit"at Dresden}\\
{\em Einf"uhrung in die \ca\ II}, K. Rammelt, V2.
 
%\item
%{\bf Universit"at D"usseldorf}\\
%{\em Konstruktive Zahlentheorie I}, M. Pohst, V4 + \"U2.\\
%{\em Algorithmen in der Zahlentheorie}, M. Pohst, S2.
 
\item
{\bf Universit"at Erlangen-N"urnberg}\\
{\em Methoden der Computeralgebra: Summation und Integration},
      Volker Strehl, V2.\\
 
%\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 Fachhochschule Flensburg}\\
{\em Wissenschaftliches Rechnen}, P.~Thieler, V2+"U2.
 
\item
{\bf Universit"at Gie"sen}\\
{\em Quantisierung dynamischer Systeme mit MATHEMATICA}, G.~Braunss, S2.
 
\item
{\bf Universit"at Heidelberg}\\
{\em Computeralgebra }, B"oge, V2.
 
%\item
%{\bf Universit"at Karlsruhe}
%{\em Proseminar Computeralgebra}, J. Calmet, S2\\
%{\em Blockpraktikum Maple}, G. Schneider, V2+"U\\
 
\item
{\bf Universit"at K"oln}
{\em Kompaktkurs \reduce}, Feldmar, F. Hehl, A. Strothmann.
{\em Kompaktkurs des Rechenzentrums "uber \reduce}, 
Mo, 29.3. bis Mi, 7.4.93 jeweils 10:15h, R. Herbrand.

 
 
\item
{\bf Universit"at Leipzig}\\
{\em Komplexit"at und Parallelverarbeitung}, W. Lassner, V2+S2.\\
{\em \ca f"ur Naturwissenschaftler}, W. Lassner, V2+P2.\\
{\em Grundlagen der \ca}, H.-G. Gr"abe, V2+P2.\\
{\em Konstruktive synthetische Geometrie}, H.-G. Gr"abe, V2.\\
{\em Oberseminar \ca}, W. Lassner, H.-G. Gr"abe, J. Apel, U. Klaus, S2.\\
{\em Fachseminar Konstruktive Algebra}, H.-G. Gr"abe, W. Lassner,
		J. St"uckrad, S2.


{\bf RISC-Linz}\\
{\em \ca\ f\"ur Fortgeschrittene}, F.
Winkler, V2\\
{\em Geometrische Grundlagen f\"ur Symbolic
Computation}, S. Stifter, V2\\
{\em Analytische Kombinatorik}, P. Paule, V2\\
{\em \"Uberblick \"uber Symbolic Computation}, B.
Buchberger, F. Winkler, V2\\
{\em Privatissimum: Quantifier Elimination}, G. Collins,
P2\\
{\em Quantifier Elimination}, G. Collins, V2\\
{\em Algorithmische Algebraische Geometrie}, S. Stifter,
V2\\
{\em Plane Projective Geometry by Computer}, D. Scott,
V2\\
{\em Algorithmische Kombinatorik}, P. Paule, V2\\
{\em Automatisches Beweisen B}, D. Wang, V2\\
{\em Algebraic Constraint Solving}, H. Hong, V2\\
{\em Parallel Functional and Logic Programming}, W.
Schreiner, V2\\
{\em Formale Spezifikation und Verifikation}, H.
Rolletschek, V2\\
{\em Diverse weitere Praktika und Seminare} \\

 

%\item {\bf Technische Universit"at M"unchen}\\
%{\em Einf"uhrung in die Computeralgebra}, M.~Kaplan, V3.
 
\item
{\bf Universit"at-Gesamthochschule Paderborn}\\
{\em Mathematik am Computer}, F. Schwarz, V2+\"U2  \\
{\em Automath-Seminar},
N. Dourdoumas, B. Fuchssteiner, J. L\"uckel, F.-J. Rammig, S2 \\
{\em Fortgeschrittenen-Praktikum - MuPAD}, W. Wiwianka,  V2+\"U2  \\
{\em MuPAD-Seminar}, W. Wiwianka, S2.

\item {\bf Universit\"at Passau} \\
{\em Computeralgebra}, V Weispfenning, V.4. \\
{\em Oberseminar Computeralgebra}, V. Weispfenning, Th. Becker, H. Kredel, S3.
 
\item {\bf Universit"at Rostock}\\
{\em Computeralgebra und -analytik}, K. Hantzschmann, Widiger, V4.
 
\item
{\bf Universit"at des Saarlandes, Saarbr\"ucken}\\
{\em Proseminar \glqq Mathematics for Computer Algebra\grqq\ nach
dem Buch von  Mignotte}, H.G. Zimmer, S2.

 
\item
{\bf Universit"at T"ubingen}\\
{\em Unifikation}, R.~B"undgen, S2. \\
{\em \ca-Praktikum}, R.~Loos, 2+4.
 
\item
{\bf Eidgen"ossische Technische Hochschule, Z"urich}\\
{\em Computeralgebra II}, Joachim von zur Gathen, V2+U1.\\
{\em Symbolic Integration}, Manuel. Bronstein, V2+U1.\\
{\em Aufbau symbolischer Rechensysteme}, Roman M"ader, V2+U1.\\
 
\end{itemize}
}
 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     Leserbriefe                                                 %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
%{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
%\centerline{Leserbriefe}
%\vspace{1mm}\hrule}


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

\begin{itemize}

\item

Das Bundesministerium f"ur Forschung und Technologie hat ein 
neue F"orderprogramm f"ur {\sl anwendungsorientierte Verbundprojekte
auf dem Gebiet der Mathematik} bekanntgegeben. 
Ziel ist weiter eine durchg"angige Kooperation von der Grundlagenforschung
bis zur Anwendung der Ergebnisse in den verschiedensten praktischen
Anwendungsfeldern, insbesondere der Industrie.

Es wird eine Verbesserung sowohl der mathematischen Grundlagen
als auch der konkreten Anwendungen erwartet. Die F"orderung erfolgt 
in den nachstehenden Bereichen
\begin{itemize}
\item
Entwicklung von Algorithmen und L"osungsmethoden f"ur
komplexe Systeme nichtlinearer Differentialgleichungen,
\item
Mathematische Methoden in den geometrischen Datenverarbeitung,
\item
Mathematische Optimierung und Steuerung technischer Systeme.
\end{itemize}
In den Erl"auterungen zu diesen Themen taucht \ca\ explizit beim 
letzten Punkt auf. 

Gef"ordert werden Personalkosten, kleinere Komplettierungsinvestitionen
(z.B. workstations) und Reisekosten. Beginn ist 01.09.1993, Ende 31.12.1996.

Projekttr"ager  ist das Forschungszentrum J"ulich (Tel. 0241-613547),
Projektskizzen m"ussen bis zum 16.04.1993 dort eingereicht werden. Nach 
Aufforderung sind dann bis zum 18.06.1993 die Antr"age einzureichen.
\item
In Amsterdam wurde das RIACA (Research Institute for Applications of
Computer Algebra) gegr"undet. Man kann sich um einen Gastaufenthalt
bewerben, elektronische Adresse: riaca@can.nl.
Weitere Informationen sind im \cais\ verf"ugbar.

\begin{flushright} Johannes Grabmeier (Heidelberg) \end{flushright}

\item \bibtex-Datei des Reports

Die Fachgruppe stellt die 
die umfangreiche Bibliographie des Reports mit mehr als
800 Eintr"agen zur Verf"ugung. Sie kann etwa mit
{\tt send ca-report-bibliographie from ca-mitt} aus dem \cais\
abgerufen werden. Wir danken allen die mitgewirkt haben die 
Literaturangaben der einzelnen Autoren f"ur  \bibtex\ umzustellen, 
allen voran den Herren Pesch  und Dr.~Kredel aus Passau.
Bitte beachten Sie, da"s einige Eintr"age  mehrfach mit 
verschiedenen {\sl labels} vorkommen. Wenn Sie weitere 
\bibtex-Dateien der Allgemeinheit zur Verf"ugung stellen wollen, 
wenden Sie sich bitte direkt an Prof. Schneider: 
schneider@rz.uni-karlsruhe.de  oder schneider@dkauni2.bitnet.


\item SAC-Proposal

Die Fachgruppe \ca\ ist an einem europ"aischen Projekt 
zur Einrichtung eines Netzwerkes f\"ur
{\sl symbolische und algebraische Berechnungen (SAC)} 
beteiligt. Die Fachgruppenleitung hat Prof. Benno Fuchssteiner und
Dr. Waldemar Wiwianka von der Univ. Paderborn gebeten als 
zentraler Knoten f"ur Deutschland zu fungieren.

Das zentrale Anliegen des einzurichtenden Netzwerkes f\"ur
symbolische und algebraische Berechnungen (SAC) ist das
Kreieren einer Plattform mit deren Hilfe die verschiedenen Aktivit\"aten
von SAC in Europa erfolgreich integriert werden k\"onnen.

Vor kurzem wurde dazu ein gemeinsamer Antrag an die Europ"aische
Gemeinschaft im Rahmen des {\sl Human Capital and Mobility Programme}
gestellt.

%\section*{Symbolic and Algebraic Computation (SAC)}
%\subsection*{Network Proposal for the Human Capital and Mobility Programme}
 
\noindent
Das zentrale Anliegen des einzurichtenden Netzwerkes f\"ur
Symbolische algebraische Berechnungen (SAC) ist das
Kreieren einer Plattform mit deren Hilfe die verschiedenen Aktivit\"aten
von SAC in Europa erfolgreich integriert werden k\"onnen.
Einige Aspekte sind:
\begin{itemize}
\item Ausbildung von jungen Wissenschaftlern,
\item Anwendungen von SAC,
\item Integration von theoretischer Forschung und Software-Entwicklung,
\item Stimulation zu neuen Forschungen in den Bereichen theoretische
 Algorithmen,
Entwicklung von Schnittstellen und Aufstellen von Modellen f\"ur Anwendungen.
\end{itemize}
Mittels dieses Antrages sollen z.B.
\begin{itemize}
\item Workshops und Konferenzen organisiert werden,
\item ein elektronisches Netzwerk und verteilte Datenbanken eingerichtet und
\item Bulletin Boards und Newsletter hergestellt und verteilt werden.
\end{itemize}
 
\noindent
Das Netzwerk besteht aus acht Forschungsgruppen unter der Leitung von dem
Koordinator Arjeh M. Cohen (Amsterdam). Im einzelnen sind dies:
 
\begin{description}
\item[Amsterdam]
RIACA/CWI, with {\it Prof.~Dr.~Arjeh~Cohen} (also at the
Technical University of Eindhoven).
 
\item[Bath]
The University of Bath, United Kingdom, with {\it Prof.~James Davenport.}
 
\item[Genova]
The University of Genova, Italy, with {\it Prof.~Teo Mora.}
 
\item[Linz]
Research Institute for Symbolic Computation
(RISC-Linz) at the University of Linz, Austria, with
{\it Prof.~Dr.~Bruno Buchberger.}
 
\item[Nice]
INRIA Sophia Antipolis and University of Nice, France, with
{\it Prof.~Jacques Morgenstern}.
 
\item[Paderborn] The University of Paderborn, with
{\it Prof. Benno Fuchssteiner.}
 
\item[Santander]
The University of Cantabria,
Santander, Spain, with {\it Prof.~Tomas Recio.}
 
\item[Z\"urich]
E.T.H.~Z\"{u}rich, Switzerland, with {\it Prof.~Gaston Gonnet.}
\end{description}
 
\noindent
Die Forschungsgruppen fungieren als informelle Vertreter der regionalen
Forschungsgruppen die sich mit dem Thema: Symbolische Algebraische Computation
befa\ss{}en.
 
\noindent
Weitere Informationen zu diesem Antrag, insbesondere die 
weiteren Unterknoten, k\"onnen aus dem \cais\ abgerufen werden.
\\
\begin{flushright} Waldemar Wiwianka \end{flushright} 
\indent

\item
Aufgrund der Umstellung auf einen 2-Mbit/s-WIN-Anschlu"s hat sich
die Datex-P-Rufnummer der \elib\ (\cais) ge"andert:
    45050939033
bzw +2043623939033 f"uer IXI-Zugang. Die IP-Adressen sind davon nicht
betroffen.

\item
Die Gruppe MathPAD unter Leitung von Prof. Benno Fuchssteiner
stellt das \cas\ \mupad\ auf der CeBIT'93 vom 24.03-31.03.93
in Hannover in Halle 22, Stand A24/A34 aus.
\item
Eine vollst"andige Liste der Mitglieder der  neuen Fachgruppenleitung
mit Adressen, Telefon, Telefax und elektronischen Adressen k"onnen 
Sie im \cais\ abrufen (z.B. mit dem Kommando 
{\tt send fachgruppenleitung from ca-mitt}).

\item
Ein Proposal f"ur die NFS (USA) zum Thema 
{\sl 
Future Research Directions in Problem Solving Environments for
Computational Science} ist als PostScipt-Datei aus dem 
\cais\ abrufbar.
(z.B. mit dem Kommando 
{\tt send nfs from ca-mitt})


\item {\bf Beziehungen zur SIGSAM}
 
Die Fachgruppe beabsichtigt die Kontakte zur SIGSAM 
(SPECIAL INTEREST GROUP ON SYMBOLIC AND ALGEBRAIC COMPUTATION) von 
ACM (ASSOCIATION FOR COMPUTING MACHINERY, NEW YORK) zu vertiefen.
Unsere Vorschlag diesbez"uglich ist auf gro"ses Interesse seitens
SIGSAM gest"o"sen.
Im Report finden Sie eine Beschreibung der Aktivit"aten und eine
Liste der aktuellen Funktionstr"ager. Im Folgenden informieren wir
Sie "uber das {\sl SIGSAM bulletin board} und wie man dort
Mitglied wird bzw. das Sigsam bulletin bestellen kann.
 
\item {\bf SIGSAM bulletin board}
 
Der Sekret"ar der SIGSAM 
(SPECIAL INTEREST GROUP ON SYMBOLIC AND ALGEBRAIC COMPUTATION) von 
ACM (ASSOCIATION FOR COMPUTING MACHINERY, NEW YORK) 
Prof. Gene Cooperman hat ein {\sl electronic bulletin board} eingerichtet. 
Informationen k"onnen von {\tt ftp.ccs.northeastern.edu}
mittels Anmeldung als {\tt anonymous} abgefragt werden.  
 
 
\item {\bf SIGSAM-Anmeldeformular (auch im \cais) und Informationen}
 
{\footnotesize
\begin{verbatim}
IMPORTANT:  ACM accepts applications through e-mail, FAX, phone, or physical
mail.  If you use a credit card, all four options should be feasible.
You can also use these means to find out the latest dues:
 
e-mail:  acmhelp@acmvm.bitnet
FAX:     001-212-944-1318 (U.S.A.)
Phone:   001-212-626-0500 (U.S.A.)
---
		   APPLICATION FOR SIG MEMBERSHIP *
 
		 ASSOCIATION FOR COMPUTING MACHINERY
	       11 WEST 42nd STREET, NEW YORK, NY 10036
 
		 Please enroll me as a member of the
     SPECIAL INTEREST GROUP ON SYMBOLIC AND ALGEBRAIC COMPUTATION
 
Memberhip includes Newsletter subscription.  Please make checks payable to:
  ACM, Inc., P.O. Box 12115, Church Street Station, New York, N.Y. 10249
 
 
 
Name:________________________________________________________
(Please print or type)
 
 
 
Mailing Address:______________________________________________________
 
 
 
______________________________________________________________________
 
 
 
_____________________________________________________________________
City			State			Zip code/Country
 
 
 
Signature:___________________________________________________________
 
 __
|  |
|__| New address, please change my ACM record.
 
*NOTE:  For ACM Members renewing within the next three months, do not
use this application.  Simply add this SIG to your renewal invoice
when you receive it and return the appropriate additional payment.
 
 __
|  |
|__| Please send information on ACM Membership
 
sig.216
 
 
As of February, 1993, the annual Membership Dues are $17 for ACM mebers
6 for ACM Student Members and $25 for Non-ACM Members.
For outside the United States, one can add $12 for full air mail service,
and $8 for partial air services.  Partial air service consists of
air mail to Amsterdam, followed by surface mail.  Major credit
cards are accepted.
(Dues can change.  Please contact ACM for current dues at the
e-mail/FAX/phone/address above for current information.)
 
ACM MEMBER
ACM Member No. __________________
Send no money now
Dues are payable when ACM membership is renewed.
 
ACM STUDENT MEMBER
ACM Student Member
No. _______________
Send no money now.
Dues are payable when ACM membership is renewed.
 
NON-ACM MEMBER
Enclosed is annual dues of (changed for 1993)
 
SUBSCRIPTION TO SIGSAM NEWSLETTER ONLY (same due as membership)
Enclosed is payment for annual subscription of (changed for 1993)
Note:  Subscription is included with membership dues.
\end{verbatim}
}%footnotesize
 
\end{itemize}

 
\end{document}


%\item
%Die elektronischen Adresse des Mitglieds der Fachgruppenleitung Dr. Fritz
%Schwarz hat sich ge"andert:
%fritz.schwarz@gmd.de.

%\item
%Der Verlag Addison-Wesley und der Springer-Verlag haben sich
%erfreulicherweise bereit erkl"art der Fachgruppe aktuelle
%Neuerscheinungen als Rezensionsexemplare zur Verf"ugung
%zu stellen. Bei Eingang eines Buches geben wir dies
%sofort in dem Abschnitt {\tt CA-Buecher} im \cais\ bekannt. Falls Sie
%Interesse an einer Besprechung eines Buches haben, dann wenden Sie sich 
%bitte an den Herausgeber des Rundbriefes, Adresse siehe Impressum,
%angefordert werden. Der Rezensent kann selbstverst"andlich
%das Buch als Dankesch"on f"ur seine Besprechung behalten.




