\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{\asharp}{{\sc A}$^\#$}
\newcommand{\axiom}{{\sc AXIOM}}
\newcommand{\derive}{{\sc Derive}}
\newcommand{\macsyma}{{\sc Macsyma}}
\newcommand{\maple}{{\sc Maple}}
\newcommand{\mathematica}{{\sc Mathematica}}
\newcommand{\mathem}{{\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{\matlab}{{\sc MATLAB}}
\newcommand{\macaulay}{{\sc Macaulay}}
\newcommand{\macauley}{{\sc Macaulay}}
\newcommand{\mupad}{{\rm MuPAD}}
\newcommand{\chevie}{{\sf 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}}
\newcommand{\Thomson}{International Thomson Publishing}
\newcommand{\AThomson}{Bonn, Albany, Belmont}
\newcommand{\Brooks}{Brooks/Cole Publishing Company}
\newcommand{\ABrooks}{Pacific Grove, California}
\newcommand{\AddisonWesley}{Addison-Wesley}
\newcommand{\AAddisonWesley}{Bonn, Paris, Reading Mass.}
\newcommand{\Birkhaeuser}{Birkh"auser Verlag}
%\newcommand{\ABirkh"auser}{}
\newcommand{\Springer}{Springer}
\newcommand{\ASpringer}{Berlin, Heidelberg, New York}
\newcommand{\Vieweg}{Vieweg Verlagsges.}
\newcommand{\AVieweg}{Braunschweig, Wiesbaden}
%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}

\input{psfig}

\begin{document}
\pagestyle{empty}

\input{CARtitel.tex}



 \vskip 82mm

{\bf \hspace{3.9cm} Nummer 15  \hfill Oktober 1994 \hspace{0.4cm}}

 \vskip 9mm

\begin{minipage}[t]{3.5cm}
\rule{0cm}{1cm}
\end{minipage} \ \
\begin{minipage}[t]{12.5cm}
%\hrule\vspace{1mm}
\noindent
\vspace{2mm} {\bf Mitteilungen der Sprecher}
\dotfill \pageref{mitt_sprecher}\\
%\vspace{2mm} 
\vspace{2mm} {\bf Hinweise auf Konferenzen}
\dotfill \pageref{hinwkonf}\\
\vspace{2mm} 
{\bf Berichte von Konferenzen}
\dotfill \pageref{berkonf}\\
\vspace{2mm} 
{\bf Netzinformationsdienste zu Computeralgebra}
\dotfill \pageref{infoca}\\
\vspace{0mm} 
\makebox[0.05in]{} {\sl Symbolic Computation in ICM (Kent) via WWW\/}
\dotfill \pageref{infosymb}\\
\vspace{0mm} 
\makebox[0.05in]{} {\sl CAIN - Computer Algebra Information Network\/}
\dotfill \pageref{infocain}\\
\vspace{0mm} 
\makebox[0.05in]{} {\sl \maple-related HTML documents via the WWW server\/}
\dotfill \pageref{infomaple}\\
\vspace{0mm} 
\makebox[0.05in]{} {\sl WWW f"ur \mupad \/}
\dotfill \pageref{infomupad}\\
\vspace{2mm} 
\makebox[0.05in]{} {\sl Sitzung von DMV, DPG und GI zu IuK \/}
\dotfill \pageref{IuKSitz}\\
\vspace{2mm} {\bf Neues \"uber Systeme und Hardware}
\dotfill \pageref{systems}\\
\vspace{0mm} 
\makebox[0.05in]{} {\sl \simath-3.8.1\/}
\dotfill \pageref{simath}\\
\vspace{0mm} 
\makebox[0.05in]{} {\sl \magma\/}
\dotfill \pageref{magma}\\
\vspace{0mm} 
\makebox[0.05in]{} {\sl VLSI Koprozessor f"ur exakte Vektorarithmetik\/}
\dotfill \pageref{bohlender}\\
\vspace{0mm} 
\makebox[0.05in]{} {\sl \mupad\ 1.2.1\/}
\dotfill \pageref{MuPAD}\\
\vspace{2mm} 
\makebox[0.05in]{} {\sl \axiom\ 2.0\/}
\dotfill \pageref{axiom}\\
\vspace{2mm} {\bf Publikationen "uber Computeralgebra}
\dotfill \pageref{publ} \\
\vspace{2mm} {\bf Besprechungen zu B"uchern der Computeralgebra}
\dotfill \pageref{buchbespr} \\
\vspace{0mm} 
\makebox[0.05in]{} {\sl M. Clausen, U. Baum, Fast Fourier Transforms}
\dotfill \pageref{clausen}\\
\vspace{0mm} 
\makebox[0.05in]{} {\sl W. Gander, J. H\v reb\'\i\v cek, Solving Problems in Scient. Computing}
\dotfill \pageref{gander}\\
\vspace{0mm} 
\makebox[0.05in]{} {\sl {A. {S}pieth}, { \sl {M}aple {V}, {R}elease 2, {R}eferenzhandbuch.}\/}
\dotfill \pageref{weispf}\\
\vspace{2mm} 
\makebox[0.05in]{} {\sl R. {S}chaper, {G}rafik mit {M}athematica\/}
\dotfill \pageref{schunck}\\
\vspace{2mm} {\bf Lehrveranstaltungen \"uber Computeralgebra im WS 1994/95}
\dotfill \pageref{lehrv} \\
\vspace{2mm} {\bf Kurze Mitteilungen}
\dotfill \pageref{mitteil} \\

\vspace{-4mm}
%\hrule

\end{minipage}

\vspace{5mm}

\newpage
\pagestyle{plain}
%\footnotetext{
\newbox\Impressum
\setbox\Impressum=\vbox{
%\begin{center}
{\small %\footnotesize
{\bf Impressum}\hspace*{3mm}
{\em Computeralgebra--Rundbrief}\hspace*{3mm}
Herausgegeben von der
Fachgruppe Computeralgebra  der GI (2.2.1), DMV
und GAMM,
Redaktionsschlu{\ss}
28.02 und 31.08. \hbox{Anschrift:}
Dr. Ulrich Schwardmann,
Gesellschaft f"ur wissenschaftliche Datenverarbeitung mbH G"ottingen (GWDG)
Am Fassberg, 37077 G"ottingen,
Telefax: 0551-21119
Internet:  uschwar1@gwdg.de,
\hbox{Adre"sverwaltung:} GI,
Godesberger Allee 99, 53175 Bonn,
Internet: gibonn@gmd.de 
ISSN 0933-5994.
%\end{center}%
}}% end of box Impressum


{\vspace*{5mm}\Large\bf\hrule\vspace{1mm}
\centerline{
Fachgruppenleitung Computeralgebra 1993-1996
}\vspace{1mm}\hrule}

{\scriptsize
\noindent

\hspace{-1.75cm}
\begin{tabular}{lll}

 & &  \\
 & &  \\


 & &  \\

\begin{tabular}{l}
{\bf Vertreter der DMV}:\\
Prof. Dr. Benno Fuchssteiner\\
Universit\"at Paderborn\\
Fachbereich Mathematik-Informatik\\
33095 Paderborn\\
Tel. 05251-60-2627, -2635  (Sekr.)\\
Telefax  05251-60-3836\\
elektr. Adr.\ benno@uni-paderborn.de\\
\end{tabular}

&

\begin{tabular}{l}
{\bf Sprecher}:\\
Dr. Johannes Grabmeier\\
Wissenschaftliches Zentrum\\
IBM Deutschland Informationssysteme GmbH\\
Vangerowstr. 18, Postfach 10 30 68\\
69020 Heidelberg\\
Tel. 06221-59-4329, -4254 (Sekr.)\\
Telefax: 06221-59-3500\\
elektr. Adr. grabm@heidelbg.ibm.com\\
\end{tabular}

&

\begin{tabular}{l}
Prof. Dr. Karl Hantzschmann\\
Fachbereich Informatik\\
Universit\"at Rostock\\
Albert-Einstein-Stra\3e 21\\
18059 Rostock\\
Postanschrift: 18051 Rostock\\
Tel.: 0381-44-424\\
Telefax: 0381/446089\\
elektr. Adr.: hantzschmann@ \\
\ \ informatik.uni-rostock.dbp.de\\
\end{tabular}

\\
 & &  \\

\begin{tabular}{l}
{\bf Fachexperte Physik:}\\
Prof.~Dr.~Friedrich W.~Hehl\\
Institut f"ur Theoretische Physik,\\
Universit"at K"oln, Z"ulpicher Stra"se~77\\
D-50937 K"oln\\
Tel.: 0221-470-4307,-3480 (Sekr.)\\
Telefax: 0221/470-5159\\
elektr. Adr.: hehl@thp.uni-koeln.de\\
\end{tabular}

&

\begin{tabular}{l}
Prof.~Dr.~Wolfgang K"uchlin\\
Wilhelm Schickard Institut f\"ur Informatik\\
Sand 13, Universit\"at T\"ubingen\\
72076 T\"ubingen\\
Tel. 07071-29-7047 \\
Telefax: 07071-67540\\
elektr. Adr.\ Kuechlin@\\ \ \  informatik.uni-tuebingen.de\\
\end{tabular}

&

\begin{tabular}{l}
{\bf Vertreter der GI}:\\
Prof. Dr. R\"udiger Loos\\
Wilhelm Schickard Institut f\"ur Informatik\\
Sand 13, Universit\"at T\"ubingen\\
72076 T\"ubingen\\
Tel. 07071-29-2899\\
Telefax: 07071-29-5958\\
elektr. Adr.\ loos@\\ \ \  informatik.uni-tuebingen.de\\
\end{tabular}

\\
 & &  \\

\begin{tabular}{l}
{\bf Stellv. Sprecher}:\\
Prof. Dr. B.~Heinrich Matzat\\
Interdisziplin"ares Zentrum f.\\
Wissenschaftliches Rechnen\\
Universit\"at Heidelberg\\
Im Neuenheimer Feld 368\\
69120 Heidelberg\\
Tel. 06221-56-8242, -8234  (Sekr.)\\
Telefax 06221-56-5224 \\
elektr. Adr.\ \\
\ \ \ \ wissrech@iwr.uni-heidelberg.de \\ oder
matzat@clio.iwr.uni-heidelberg.de \\ \end{tabular}


&


\begin{tabular}{l}
Prof. Dr. H. Michael M"oller\\
Fernuniversit"at Hagen\\
Fachbereich Mathematik\\
58084 Hagen\\
Tel. 02331-978-2286\\
elektr. Adr.\  michael.moeller@ \\
\ \ fernuni-hagen.de\\
\end{tabular}

&

\begin{tabular}{l}
{\bf Vertreter der GAMM}:\\
Prof. Dr.~Karl G. Roesner\\
Institut f\"ur Mechanik\\
Hochschulstra\3e 1\\
D-64289 Darmstadt\\
Tel.: 06151-164 328 oder 162 992\\
Telefax: 06151-166 869\\
elektr. Adr.: karo@ \\
\ \ tollmien.mechanik.th-darmstadt.de\\
\end{tabular}

\\
 & &  \\


\begin{tabular}{l}
Prof. Dr. Gerhard Schneider\\
Rechenzentrum Universit\"at Karlsruhe \\
Zirkel 2\\
76128 Karlsruhe \\
Tel. 0721-608-2479, -3754  (Sekr.)\\
Telefax 0721-32550\\
elektr. Adr.: schneider@rz.uni-karlsruhe.de\\
\end{tabular}

&

\begin{tabular}{l}
Dr. Fritz Schwarz\\
GMD, Institut Fa1\\
Postfach 1316\\
53731 St.~Augustin\\
Tel. 02241-14-2782, -2776 (Sekr.)\\
Telefax: 02241-14-2618, -2889\\
elektr. Adr.\  fritz.schwarz@gmd.de\\
\end{tabular}

&


\begin{tabular}{l}
Prof. Dr.~V.~Weispfenning\\
Lehrstuhl f"ur Mathematik\\
Universit"at Passau\\
Innstra\ss e 33\\
94030 Passau\\
Tel. 0851-509-317, -316  (Sekr.)\\
Telefax: 0851-509-171 \\
elektr. Adr.\  \\
weispfen@alice.fmi.uni-passau.de\\
\end{tabular}


\\
 & &  \\

\begin{tabular}{l}
Prof. Dr. Horst G"unter Zimmer\\
Universit\"at des Saarlandes\\
Fachbereich 9 Mathematik\\
Postfach 15 11 50
66041 Saarbr\"ucken\\
Tel. 0681-302-2206, 3430  (Sekr.)\\
Telefax 0681-302-4443\\
elektr. Adr.\ zimmer@math.uni-sb.de \\
\end{tabular}

 & &  \\

\end{tabular}
}


{\vspace*{5mm}\Large\bf\hrule\vspace{1mm}
\centerline{
Verwaltungen der Fachgruppe Computeralgebra
}\vspace{1mm}\hrule}

{\scriptsize
\noindent

%\hspace{-1.75cm}
\begin{tabular}{lll}

 & &  \\
 & &  \\

\begin{tabular}{l}
{\bf Mitgliederverwaltung der GI:}\\
Gesellschaft f"ur Informatik e.V. (GI)\\
Godesberger Allee 99\\
53175 Bonn\\
Telefon 0228-95994-21\\
Telefax 0228-95994-20\\
elektr. Adr.: gibonn@gmd.de\\
\end{tabular}

 &
\begin{tabular}{l}
{\bf Mitgliederverwaltung der DMV:}\\
DMV-Gesch"aftsstelle\\
Deutsche Mathematiker-Vereinigung\\
Mohrenstra"se 39\\
10117 Berlin\\
Tel. 030-20377-306 (Frau Berthold) \\
Telefax 030-20377-307\\
elektr. Adr.: dmv@iaas-berlin.d400.de\\
\end{tabular}




 &

\begin{tabular}{l}
{\bf Anzeigenverwaltung:}\\
DLGI Dienstleistungsgesellschaft\\
f"ur Informatik mbH,\\
Godesberger Allee 99, 53175 Bonn\\
Telefon 0228-95994-11 oder -16\\
Telefax 0228-95994-20\\
\end{tabular}
\\
\end{tabular}
}


{\vspace*{5mm}\Large\bf\hrule\vspace{1mm}
\centerline{
Impressum
}\vspace{1mm}\hrule}

\vspace*{4mm}

\begin{picture}(480,30)
\put(-17,30){\parbox[t]{17.5cm}
{\noindent
\footnotesize
%{\bf Impressum}\hspace*{3mm}
{\em Computeralgebra--Rundbrief}\hspace*{3mm}
Herausgegeben von der
Fachgruppe Computeralgebra  der GI (2.2.1), DMV
und GAMM,
Redaktionsschlu{\ss}
28.02 und 31.09. \hbox{Anschrift:}
Dr. Ulrich Schwardmann,
Gesellschaft f"ur wissenschaftliche Datenverarbeitung mbH G"ottingen (GWDG)
Am Fassberg, 37077 G"ottingen,
Telefax: 0551-21119
Internet:  uschwar1@gwdg.de,
%\hbox{Adre"sverwaltung:} GI,
%Godesberger Allee 99, 53175 Bonn,
%Internet: gibonn@gmd.de ISSN 0933-5994.
}}
\end{picture}


\newpage

{\vspace*{5mm}\Large\bf\hrule\vspace{1mm}
\centerline{
Mitteilungen der Sprecher
}\vspace{1mm}\hrule}\label{mitt_sprecher}

\vspace*{4mm}

{\em
\noindent

Liebe Kolleginnen und Kollegen,



\vspace*{3mm}
\noindent

der Rundbrief hat eine neue Form bekommen. Es ist uns gelungen,
eine Firma mit der Erstellung und Versendung zu beauftragen. 
Die Firma BTK in Hagen f"uhrt "ahnliches bereits f"ur andere Fachgruppen der GI
durch. Damit kann das "au"sere
Erscheinungsbild des Rundbriefs aufgewertet und der Umfang erweitert werden.
Dadurch wird auch die Gesch"aftsstelle der GI entlastet. 
Gleichzeitig k"onnen wir der DLGI (Dienstleistungsgesellschaft Informatik mbH) 
Platz f"ur Inserate, beispielsweise von Verlagen oder 
\ca-Softwareherstellern
zur Verf"ugung stellen. Damit haben wir die
M"oglichkeit, Kosten weiter zu senken und weiter die Qualit"at des
Rundbriefes zu verbessern. Wir bitten Sie, die Anzeigen unserer Inserenten
zu beachten und selbst neue Inserenten durch Hinweis auf diese neue 
M"oglichkeit zu gewinnen.

Im Rahmen der Jahrestagung der DMV in Duisburg vom 19.09. bis 23.09.1994
gab es unter der Leitung von Prof.~Dr.~Fuchssteiner  eine Sektion
\ca\ mit einem vollen Vortragsprogramm. Auf Anregung der Fachgruppe haben
Prof.~Dr.~Fleischer, 
Prof.~Dr.~Hehl,
Prof.~Dr.~K"uchlin und Dr.~Grabmeier am ZiF (Zentrum f"ur interdisziplin"are
Forschung der Universit"at Bielefeld) eine Konferenz zum Thema
{\em \ca\  in Science and Engineering} organisiert. Zu beiden 
Veranstaltungen sei auf die Berichte weiter unten (Seite
\pageref{dmv-sektion} bzw.\ \pageref{zif}) verwiesen.

Die Herbstsitzung der Fachgruppenleitung fand diesmal an der 
Universit"at in Rostock statt. Wir danken Prof.~Dr.~Hantzschmann f"ur 
die gute Organisation! Neben den Beschl"ussen zur Neugestaltung
des Rundbriefes standen die Beziehungen zu den Tr"agergesellschaften
DMV und GI auf der Tagesordnung. Als Gast war der Gesch"aftsf"uhrer
der GI, Dr.~Laska, anwesend. Es konnten die Probleme, die im Rahmen der
Beitragseinf"uhrung entstanden waren, mit ihm diskutiert und ausger"aumt 
werden. K"unftig werden auch die Mitgliederlisten, die sowohl bei der
neu eingerichteten Gesch"aftsstelle der DMV in Berlin als auch bei 
der GI gef"uhrt werden, in geeigneter Weise abgeglichen. 

Aus dem Kreis der Fachgruppenleitung ist Prof.~Dr.~Neub"user
ausgeschieden. Wir danken ihm ganz herzlich f"ur die geleistete
Arbeit nicht nur beim Aufbau dieser Fachgruppe, deren erster
stellvertretender Sprecher er war, sondern auch f"ur seinen
Einsatz auf dem Gebiet der \ca\ seit "uber 30 Jahren!
Gem"a"s der Wahl vom Herbst 1992 r"uckt Prof.~Dr.~H.~Michael~M"oller  
von der Fernuniversit"at Hagen in die Fachgruppenleitung nach.
Auf der Innenseite des Einbandes haben wir die Adressen aller 
Mitglieder der Fachgruppenleitung abgedruckt. Sie k"onnen sich 
mit Anregungen, Problemen, Beitr"agen zum Rundbrief etc.\ an 
jedes Mitglied der Fachgruppenleitung wenden.

Der st"urmischen Entwicklung im Bereich elektronischer Kommunikation
wird im neuen Abschnitt  {\em Netzinformationsdienste zu \ca} 
(Seite \pageref{infoca})  Rechnung getragen. 
Bitte beachten Sie, da"s auch f"ur das von der 
Fachgruppe betriebene System \cais\ demn"achst eine WWW-Umgebung
eingebunden wird.
Bitte senden Sie Informationen daf"ur
direkt an Prof. Schneider. Beispielsweise besteht die M"oglichkeit,
Verbindungen (Links) zu Informationen zu Ihrer Arbeitsgruppe einzurichten.
%Fachgruppe betriebene System \cais\ inzwischen eine WWW-Umgebung
%gemacht worden ist -- siehe Bericht von Prof.~Schneider auf
%Seite \pageref{cais-www}. Bitte senden Sie Informationen daf"ur
%direkt an ihn. Beispielsweise besteht die M"oglichkeit
%Verbindungen (Links) zu Informationen zu Ihrer Arbeitsgruppe einzurichten.

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

\newpage


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     Konferenzen                                                 %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


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



%\item {\bf  Algorithms and Number Theory}
%
% Dagstuhl, 10.--14.10.1994.
%
%{\footnotesize Im Internationalen Begegnungs- und Fortbildungszentrum fuer Informatik in Schloss Dagstuhl findet
%             vom 10.10.1994 bis zum 14.10.1994 
%ein Seminar mit dem Thema
%            ''Algorithmen und Zahlentheorie''
%statt. Leiter sind:
%             Prof. Dr. Johannes Buchmann, Saarbruecken,
%             Prof. Dr. Harald Niederreiter, Wien,
%             Prof. Dr. Andrew Odlyzko, Murray Hill, USA,
%             Prof. Dr. Horst Guenter Zimmer, Saarbruecken.
%
%             ''Algorithms and Number Theory''
%
%is aimed at presenting and discussing problems, methods and 
%results in algorithmic elementary,
%analytic and algebraic number theory as well as algorithmic 
%geometry of numbers and arithmetic
%algebraic geometry. Of particular interest will be applications 
%to complexity, coding theory and
%cryptography and presentations of implementations 
%and computer algebra systems.}
%
%\item {\bf  Partial Differential Equations and Group Theory}
%
%Bonn, 24.--28.10.1994.
%
%{\footnotesize 
%}

\item {\bf 21. Holiday Mathematics Symposium}

New Mexico State University, Las Cruces (Mexico) 27.--31.12.1994.

{\footnotesize
Bernd Sturmfels spricht "uber ''Gr"obner Bases and Convex Polytopes''.

Tagungsleitung: Reinhard Laubenbacher, Department of Math. Sciences, 
New Mexico State University, Las Cruces (Mexico), NM 88003, (505) 646-3901,
Email: holiday@math.nmsu.edu
}

\item {\bf SODA 95 - Sixth Annual ACM - SIAM Symposium on Discrete Algorithms}

San Franzisco, California, USA, 22.--24.1.1995.

{\footnotesize
Contact: SIAM Conference Coordinator, 3600 University City Science Center,
Philadelphia, PA 19104-2688, USA, Email: {\tt meetings@siam.org}
}

\item {\bf \ca -Software}

Dagstuhl, 6.--10.2.1995.

{\footnotesize
Tagungsleiter:
J. Buchmann, R. Loos, R. M"ader.}

\item {\bf SoftStat '95}

Heidelberg, 26.--30.3.1995.

{\footnotesize
8. Konferenz "uber die wissenschaftliche Anwendung von Statistik-Software, 
mit einem Themenbereich: Symbolisches Rechnen in der Statistik.

Zentrum f"ur Umfragen und Statistik (ZUMA), PF 122155, B 2,1, D-68072 Mannheim,\\
Tel.: +49/621/1246-174, Email: {\tt softstat@zuma-mannheim.de}
}


\item {\bf Symbolische Reduktionstechniken - Vervollst"andigungen
und ihre Anwendungen}

Monte  Verit\`a, Ascona, Schweiz, 1.--6.5.1995.


{\footnotesize
Diese Konferenz findet im Centro Stefano Franscini der ETH Z"urich statt.

Symbolische Reduktionstechniken spielen eine
zentrale Rolle in der \ca. Themenbereiche sind
Knuth-Bendix-Methode f"ur Gruppen, Monoide und
allgemeine Termersetzungssysteme, die Gr"obnerbasis-Methode
und ihre Verallgemeinerungen in der kommutativen Algebra
und nichtkommutativen Ringtheorie, die Methode der
charakteristischen Mengen f"ur gew"ohnliche Differentialgleichungen,
die Riquier-Janet-Methode f"ur partielle Differentialgleichungen,
im weiteren Sinne ferner die Todd-Coxeter-Methode zum
Auffinden von Permutationsdarstellungen endlich
pr"asentierter Gruppen, sowie "ahnliche Methoden
zur Matrixdarstellung von endlich pr"asentierten
nichtkommutativen Algebren.


{\bf Es gibt 5 Hauptvortr"age:}
\begin{tabbing}
\ \ \ \ \=J.\ Davenport (systems of nonlinear equations, Bath)\\
\>
D.\ Holt (rewrite methods in group theory, Warwick)\\
\>
K.\ Madlener(term rewriting in groups and monoids, Kaiserslautern)\\
\>
W.\ K\"uchlin (parallel rewrite techniques, T\"ubingen)\\
\>
T.\ Mora (noncommutative Gr\"obner bases, Genova)\\
\end{tabbing}

Interessenten an der Konferenz sollten sich bis zum 1. Dezember 1994,
gegebenenfalls unter Angabe eines m"oglichen Vortragstitels,
 bei einem der Organisatoren gemeldet haben. Aufgrund des beschr"ankten Platzes k"onnen nur ca. 50 Teilnehmer eingeladen werden. Es sind 15-Minuten-Vortr"age sowie einige 45-Minuten-Vortr"age vorgesehen. Abstracts sollten bis zum 1. Februar 1995 eingereicht werden.

{\bf Organisatoren:}\\
%{\scriptsize
%\begin{minipage}[t]{6.0cm}
Prof. Dr. Manuel Bronstein,
Institut f\"ur Wiss.\ Rechnen,
ETH-Zentrum,
CH-8092 Z\"urich,
%
%\vspace{0.5cm}\noindent
%\begin{tabular}{ll}
Telephon +41\ 1\ 632\ 7474,
Fax       +41\ 1\ 632\ 1172,
%\multicolumn{2}{l}
{Email \ {\tt bronstein@inf.ethz.ch}}\\
%\end{tabular} 
%\end{minipage}
%\begin{minipage}[t]{6.0cm}
Prof. Dr. Erwin Engeler,
Mathematik,
ETH-Zentrum,
CH-8092 Z\"urich ,
%
%\vspace{0.5cm}\noindent
%\begin{tabular}{ll}
Telephone +41\ 1\ 632\ 2225,
Fax       +41\ 1\ 632\ 1085,
%\multicolumn{2}{l}
{Email \ {\tt engeler@math.ethz.ch}}\\
%\end{tabular} 
%\end{minipage}
%
%\vspace{0.5cm}\noindent
%\begin{minipage}[t]{6.0cm}
Dr. Johannes Grabmeier ,
IBM Deutschland Infosysteme GmbH,
%Wiss.\ Zentrum,
Postfach 10 30 68,
D-69020 Heidelberg,
%
%\vspace{0.5cm}\noindent
%\begin{tabular}{ll}
Telephone +49\ 6221\ 594\ 329,
Fax       +49\ 6221\ 593\ 500,
%\multicolumn{2}{l}
{Email \ {\tt grabm@heidelbg.ibm.com}}\\
%\end{tabular} 
%\end{minipage}
%\begin{minipage}[t]{8.0cm}
Prof. Dr. Volker Weispfenning,
Lehrstuhl f\"ur Mathematik,
Universit\"at Passau,
D-94030 Passau,
%
%\vspace{0.5cm}\noindent
%\begin{tabular}{ll}
Telephone +49\ 851\ 509\ 317,
Fax       +49\ 851\ 509\ 171,
%\multicolumn{2}{l}
{Email \ {\tt weispfen@alice.fmi.uni-passau.de}}\\
%\end{tabular} 
%\end{minipage}
%}

}

\item {\bf DERIVE Days D"usseldorf}

D"usseldorf, 19.--21.4.1995.

{\footnotesize
Computeralgebrasysteme wie DERIVE ver"andern zunehmend den
Mathematikunterricht. Um die Diskussion solcher Systeme als Unterrichtsmedium
voranzubringen, veranstaltet das 
''International Council for Computer Algebra in Math Education'' 
vom 19.-21. April 1995 am G"orres-Gymnasium in D"usseldorf
eine Tagung in Deutschland, die {\bf ''DERIVE Days D"usseldorf''}.

Die Tagung richtet sich sowohl an Neueinsteiger/innen als auch an Leute, die
bereits Erfahrungen mit DERIVE und seinen Anwendungen im Unterricht haben. In
Einstiegskursen, Vortr"agen und Arbeitsgruppen wird das Unterrichten mit DERIVE
vorgestellt und diskutiert. Es werden nicht nur Referentinnen aus Deutschland
sondern auch aus anderen L"andern erwartet, darunter auch Kollegen aus 
"Osterrich, die an einem Projekt des "osterreichischen Bildungsministeriums 
mitarbeiten und seit 10 Jahren DERIVE kontinuierlich im Mathematikunterricht 
der SI und SII verwenden.

Da f"ur die Einstiegskurse nur eine begrenzte Teilnehmerzahl zugelassen werden
kann, wird um baldige Anmeldung gebeten. Die Anerkennung als offizielle
Lehrerfortbildung ist in allen Bundesl"andern, dar"uber hinaus 
Dienstbefreiung in vier Bundesl"andern beantragt.

Anmeldeformulare erhalten sie bei: B"arbel Barzel, Marie-Curie-Gymnasium,
Gr"aulingerstr. 1 5, 40625 D"usseldorf.
} 


\item {\bf Computational Number Theory}

Oberwolfach, 28.5.--3.6.1995.

{\footnotesize
Tagungsleiter sind:  Hendrik W. Lenstra Jr., Berkeley,
                     Michael E. Pohst, Berlin,
                     Horst G. Zimmer, Saarbr"ucken.
}        

\item {\bf FPSAC'95 - Formal Power Series and Algebraic Combinatorics}

Paris, Frankreich 29.5.--2.6.1995.

{\footnotesize
Algebraic and bijective combinatorics and their relations with 
other parts of mathematics, computer science and physics.

Authors are invited to send before Nov. 15, 1994, four copies 
of an extended abstract of at most twelve pages to J. Y. Thibon, 
Chairman of the Program commitee of FPSAC'95, University de 
Marne-la-Vallee, IFI, 1, rue de Vaugirard, 93166 Noisy-le-Grand Cedex, 
France.

For any question, just write to {\tt sfca95@mustang.ibp.fr}
}

\item {\bf ICIAM 95}

Hamburg 3.--7.7.1995

{\footnotesize
Kontaktadresse: GAMM-Office, Univ. Regensburg, NWF I - Mathematik,
D-93053 Regensburg, Germany}



\item {\bf International Symposium on Symbolic and Algebraic Computation, 
ISSAC 95}

Concordia University, Montreal, Canada 10.--12.7.1995

{\footnotesize
Papers must be received no later than Saturday January 14, 1995.
Electronic submissions must be sent as \LaTeX -file (preferred) 
or as PostScript file to {\tt issac95@dm.unipi.it}.\\
General Chair: Stephen Watt, IBM Watson Res. Cen., P.O. Box 218,
Yorktown Heights, NY 10598, USA,\\ {\tt issac@watson.ibm.com}\\
Program Chair: Carlo Traverso, Dipart. di Math., Univ. Pisa, 
Via Buonarroti 2, I-56123 Pisa, Italy,\\ {\tt issac95@dm.unipi.it}
}

\item {\bf Teaching Mathematics with \derive}

Honolulu, Hawaii, USA, 30.7.--3.8.1995

{\footnotesize
N"ahere Informationen bei: B. Kutzler, RISC Linz, Uni Linz, A-4040 Linz,
"Osterreich, M. Kronfellner, Techn. Univ. Wien, Inst. f. Algebra, Wiener Hauptstr. 8-10, A-1040 Wien, "Osterreich.}


\item {\bf New Computer Technologies in Control Systems}

Pereslavl (Russia), 25.8.--1.9.1995.

{\footnotesize
Ein Bericht zu der diesj"ahrigen Konferenz finden Sie auf Seite
\pageref{Klaus}.\\
Informationen: Prof. Michael G. Dmitriev
email: {\tt dmitriev@spoc.botik.yaroslavl.su}.
}


\item {\bf DMV-Jahrestagung 1995, Sektion \ca}

Ulm, 18.9.--23.9.1995

{\footnotesize
Erfreulicherweise hat die DMV bei ihrer Jahrestagung 1995 in Ulm
nach Berlin 1987, Regensburg 1988 und Duisburg 1994
wieder eine Sektion \ca\ eingerichtet. 
Die Sektionsleitung liegt
in den H"anden von Dr.~J.~Grabmeier und Prof. Dr.~B.~H.~Matzat.}


\item {\bf Studentenkonferenz Mathematik der DMV}

Ulm, 22.9.--23.9.1995

{\footnotesize
Die n\"achste Studentenkonferenz Mathematik der DMV 
findet in Ulm statt vom 22.09.1995 
bis 23.09.1995. Studenten, die bis sp\"atestens zum Juni 1995 ihre 
Abschlu{\ss}arbeiten (Diplom- oder Staatsexamen) 
fertigstellen, sind eingeladen, 
ihre Arbeit zur Studentenkonferenz einzureichen. Ab sofort k\"onnen 
Abschlu{\ss}arbeiten, die bei den vorigen Studentenkonferenzen noch nicht 
eingereicht worden sind, geschickt werden an:
{Prof. Dr. R. Seydel} {--Studentenkonferenz--},
{Universit\"at Ulm},
{Abteilung f\"ur Numerik},
{89069 Ulm}

Zus\"atzlich zur Arbeit sollte mitgeschickt werden:
\begin{enumerate}
\item Kurzfassung (max. 1 Seite),
\item Angaben zur Person des Autors,
\item Gutachten des Betreuers.
\end{enumerate}
\noindent 
Eine Jury von Fachleuten wird im Sommer 1995 die Arbeiten begutachten.
 Dabei wird festgestellt, welche Arbeiten preisw\"urdig 
sind, und welche Arbeiten
 auf der Studentenkonferenz 1995 im Vortrag vorgestellt werden sollen. Alle 
Kollegen, unter deren Anleitung zur Zeit au{\ss}ergew\"ohnlich gute Arbeiten 
entstehen, bitte ich, ihre jeweiligen Studentinnen 
und Studenten auf die Konferenz 
hinzuweisen und zur Teilnahme zu ermutigen.
}
\begin{flushright}
 R"udiger Seydel (Ulm)
\end{flushright}

\end{enumerate}

%\vspace*{5mm}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     Berichte von Konferenzen                                    %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

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

\item {\bf Algebra and Combinatorics: Interactions and Applications}

Dresden, 6.--12.3.1994.

{\footnotesize 
An der Tagung nahmen insgesamt 90 Wissenschaftler
(davon 33 aus Osteuropa und 32 aus Deutschland)
 aus 19 Nationen teil
(Belgien, Canada, Deutschland, England, Frankreich, Israel, Italien,
Japan, Lettland, Niederlande, \"Osterreich, Polen, Ru{\ss}land,
Slovakische Rep., Tschechische Rep., Ukraine, Ungarn, USA, Wei{\ss}ru{\ss}land).
Das Programm umfa{\ss}te  87 Vortr\"age, davon waren 78 
aktuellen fachlichen
Themen gewidmet, weitere neun befa{\ss}ten sich mit dem wissenschaftlichen
Nachla{\ss} von Prof.~Lev Arkadevich Kalu\v{z}nin, dessem Andenken die
Tagung gewidmet war. Au{\ss}erdem wurden mehrere Computerdemonstrationen 
angeboten. 


Die Vortr\"age wurden in Kurzform in einem Band zusammengefa{\ss}t und
publiziert. Von einem Redaktionskomitee wird die Publikation der wichtigsten
Ergebnisse der Tagung in einer umfassenden Darstellung
einschlie{\ss}lich der Perspektiven f\"ur die weitere Forschung vorbereitet
(und zwar in Form von 2 - 4 Sonderb\"anden der Zeitschrift {\it  Acta Applicandae Mathematicae}).

Das wissenschaftliche Programm gruppierte sich um folgende
Themenkreise:
\begin{itemize}
\item Algebraische Kombinatorik
\item Permutationsgruppen
\item Gruppentheorie
\item Relationale und funktionale Systeme
\item Graphen und Kombinatorik
\item Mathematische Chemie
\item Computeralgebra
\item Leben und Werk von L. A. Kalu\v{z}nin
\end{itemize}

Dank verschiedener F\"ordermittel (DFG, SMWK, ISF, TUD) konnte 
einem repr\"asentativen Kreis von Spezialisten (insbesondere aus
den osteurop\"aischen L\"andern) die Teilnahme erm\"oglicht werden.

Die Vortr\"age und Diskussionen lieferten Beitr\"age,
die nicht nur den Stand der Forschung dokumentierten, sondern auch
f"ur die weitere Forschung wichtige Impulse gaben.

Besonders gesch\"atzt (und immer wieder von den Teilnehmern zum
Ausdruck gebracht) wurde die Gelegenheit zu einem intensiven Austausch
von Ideen, Problemen und Ergebnissen zwischen den Teilnehmern aus
Ost und West (hier hatte es betr\"achtliche Informationsdefizite
gegeben) wie auch  zwischen Spezialisten verschiedener mathematischer
Richtungen (die sich auf Fachtagungen mit eingeschr\"ankter Thematik
nie begegnen). Dadurch war nicht nur der wissenschaftliche Erfolg
der Tagung gesichert, sondern es wurde auch eine Einheit der Mathematik
und Mathematiker sp\"urbar, f\"ur die sich L. A. Kalu\v{z}nin zeit
seines Lebens \"uber alle europ\"aischen Grenzen hinweg eingesetzt hatte.

Durch die reizvolle Umgebung des Tagungsortes K\"onigstein und
durch verschiedene Angebote am Rande der Tagung (z.B. Exkursion nach Dresden)
erhielten die Teilnehmer ein wohl sehr positives Bild des Gastgeberlandes.

}

    \begin{flushright}
       Reinhard P\"oschel (Dresden)
    \end{flushright}


\newpage
\item {\bf INTERVAL 94}

St. Petersburg, 7.--10. 3. 1994.

{\footnotesize

\noindent The conference INTERVAL 94 was held in St. Petersburg, March 
7. - 10. 1994.\\
There were not only talks about pure interval methods and their 
applications but more general methods to validate numerical results 
as well as languages and tools for their implementations were also 
presented.

\noindent Traditionally related fields and applications like control theory and 
stability analysis covered a large part of the conference. But also 
new application areas like computer graphics and constraint-logic 
programming have been explored. Due to the local situation in St. 
Petersburg a workshop on game theory has been included in the 
conference.

\noindent The main topic of the congress, however, was the interface between 
interval computation and computer algebra. These two fields which both 
compute provable, exact results on a computer may profit from each 
other. In computer algebra systems the computation may be speeded up by 
the use of verified floating-point arithmetic.
 Symbolic transformation on the other hand heavily 
contributes to 
sharply enclose  the range of a multidimensional interval function. 
Precise knowledge of the algebraic structure of a singularity often 
helps to perform a stability analysis and compute an enclosure of the 
solution of a problem with high condition number or -- which may even be 
more important -- avoid such a computation and thus detect a 
deficiency
of the model.

\noindent Here is a list of the plenary lectures.

Monday, March 7,1994.\\
W. Krandick: Application of interval methods in computer algebra\\
G. Bohlender: XSC languages, historic development and perspectives\\
H.J.Stetter: Validation near singularities\\

Tuesday, March 8, 1994.\\
S.P. Shary: Algebraic approach to some interval problems, or one more 
application of Kaucher extended arithmetic\\
A.J. Pritchard: Spectra of uncertain matrices\\
J. Wolff von Gudenberg: Design of a parallel linear algebra library 
for verified computation\\
D. Matula: Progress in hardware assisted validated numerics for 
personal computers

\noindent 
The conference was not only successful in its scientific task but 
also in organisational aspects. Simultaneous translation of talks (at least in 
one hall) and a lot of sightseeing and social events made it 
easy to get in contact with all participants and arrange new cooperations 
especially between western and eastern researchers.
}

    \begin{flushright}
      J. Wolff von Gudenberg (W"urzburg)
    \end{flushright}


\item {\bf Rhine Workshop on Computer Algebra}

Karlsruhe, 22.--24.3.1994.

{\footnotesize

Der Workshop ist, unter seinem neuen Namen, der vierte seiner Art, nach 1988
und 1990 in Strasbourg und 1992 in Saint-Louis. Er wurde von Jacques Calmet
organisiert, der auch die bereits w\"ahrend der Tagung ausgeh\"andigten 
Proceedings editierte. Es sind noch einige Proceedings erh\"altlich (Jacques
Calmet, calmet@ira.uka.de, Preis 20~DM).
Der Workshop wurde von etwa 40 Teilnehmern gestaltet; die Vortr\"age waren im
einzelnen:

{\sf Invited  talk} 
George COLLINS (Linz, Austria):
{\em Some New Wrinkles in Polynomial Factorization};
Richard  G.E. PINCH (Cambridge, England):
{\em Some primality testing algorithms};
Peter KIRRINNIS  (Bonn, Germany):
{\em Polynomial factorization and Partial Fraction Decomposition by
Simultaneous Newton Iteration};
Mark J. ENCARNACION (Linz, Austria):
{\em On the Monic Factors of a Univariate Polynomial Over an Algebraic Number
Field};
Bernard GLEYSE (Rouen, France):
{\em Sturm sequence and number of zeros of real parameters polynomial in the
unit disk: algebraic computation and visualization};
Jochem FLEISCHER (Bielefeld, Germany):
{\em Application for recurrence relations for the computation of Feynman 
diagrams};
R. SINCLAIR (Z\"urich, Switzerland):  
{\em Computer Evaluation of Feynman Graphs from Many-Body Physics in $2+1$
Dimensions};
Gis\`{e}le HADINGER, Gerold HADINGER, M. AUBERT-FRECON (Lyon, France):
{\em Expansions for the eigenvalues of the one-electron two-center problem
from three-term recurrence relations};
V.I. GURMAN, M.G. DMITRIEV, Y.L. SACHKOV, N.P. BELYAEVA
 (Pereslavl-Zalessky, Russia):
{\em Real Time Control, Penalty Function Method and Computer Algebra
Systems};
Weigang HUANG, Brynn HIBBERT (Sydney, Australia):
{\em SymbMath 2.2: A Symbolic Calculator with Learning};
Winfried NEUN (Berlin, Germany):
{\em Using PVM based software for parallel computation in Computer
 Algebra};
Heinz KREDEL (Mannheim, Germany):
{\em Computeralgebra on a KSR1 Parallel Computer};
Indra A. TJANDRA (Montreal, Canada), Karsten HOMANN, 
Jacques CALMET (Karlsruhe, Germany):
{\em A Knowledge-Based Type System for Computer Algebra};
M.S. LVOV, V.A. VOLKOV, A.B. KUPRIENKO (Kiev, Ukraine):
{\em AIST: Computer Algebra System for Mathematical
Training};
{\sf Invited  talk} 
Bob CAVINESS (Newark, USA):
{\em First Integrals for First Order Nonlinear ODEs};
Felix ULMER (Rennes, France):
{\em Liouvillian Solutions of Reducible Linear Differential 
Equations};
O. BECKEN (Rostock, Germany):
{\em Simple Exact Solutions of Simple Differential Equations};
Bram de JAGER (Eindhoven, Netherlands):
{\em Symbolic Solutions for a Class of Partial Differential Equations};
J-F.  POMMARET (La Cortine, France):
{\em Differential Methods in Algebra};
Werner M. SEILER (Lancaster, England):
{\em Completion to Involution in AXIOM};
{\sf Invited  talk} 
A. KERBER (Bayreuth, Germany):
{\em MOLGEN, Computer Algebra Package for Molecular Graphs};
J.-L.  COLOT (Brussels, Belgium), P. WICKS, von KARMAN (Rhode-Saint-Gen\`{e}se,
Belgium):
{\em Coating Process: an Application of Symbolic Calculus to a Free-surface
Flow};
Alain CARRIERE, Louis-R. OUDIN (Saint-Louis, France):
{\em First Apllications of Computer Algebra to Internal Ballistics};
E.R. ZUSMANOV (Kiev, Ukraine):
{\em The Computer Algebra Applications in Radiospectroscopy};
David HARTLEY, Philip A. TUCKEY (Munich, Germany):
{\em A Direct Characterization of Gr\"obner Bases in Clifford and Grassmann
Algebras};
Michael PESCH (Passau, Germany):
{\em Gr\"obner Bases in Rings of Substitution Operators};
Christoph K. ZENGER, Werner M. SEILER (Karlsruhe, Germany):
{\em Gr\"obner Bases in Exterior Differential Algebra};
{\sf Invited  talk} 
Marc GIUSTI (Paliseau, France):
{\em Complexity of Elimination Theory};
St\'{e}phane COLLART, Daniel MALL (Z\"urich, Switzerland):
{\em Toric Degenerations of Polynomial Ideals and Complex Duality};
Harald GROPP (Heidelberg, Germany):  
{\em Configurations and their Realization};
V.P. GERDT, N.V. KHUTORNOY (Dubna, Russia), A.Yu. ZHARKOV (Saratov,
Russia):
{\em ASYS2: A New Version of Computer Algebra Package ASYS for Analysis and
Simplification of Polynomial Systems};
A. Yu. ZHARKOV, Yu. A. BLINKOV (Saratov, Russia):
{\em INVBASE: A Package for Computing Involutive Bases};
Hans-Gert  GR\"ABE (Leipzig, Germany): 
{\em A Short Description of CALI - A REDUCE Package for Commutative Algebra
(Version 2.1)};
D. AUGOT, P. CAMION (Rocquencourt, France):
{\em Computing Normal Bases in Finite Fields};
Wolfram KOEPF (Berlin, Germany):
{\em Algorithmic Work with Orthogonal Polynomials and Special 
Functions};
Rainer SCH\"OPF (Berlin, Germany):
{\em Efficient Computation of Truncated Laurent and Puiseux Series};
M. MONAGAN, I. BERCHTOLD (Z\"urich, Switzerland):
{\em A Comparison of Algorithms for Sparse Matrices and Linear Systems};
Werner KRANDICK (Linz, Austria), Jeremy R. JOHNSON (Philadelphia, USA):
{\em Efficient Multiprecision Floating Point Multiplication with Exact 
Rounding};
M.T. KARKAR (Tunis, Tunisia):
{\em Computing and Proving in Finite Group Theory by the System 
Hijara};
Victor F. EDNERAL (Moscow, Russia):
{\em Investigation of Formal Integral of Henon-Heiles's System by Computer
Algebra Method};
I.N. ALEXANDROV, V.M. KOTOV, N.M. NIKITYUK, R. POSE (Dubna, Russia):
{\em Use of Computer Algebra for Calculation Switching Functions in Galois
Fields $GF(2^m)$};
Karsten HOMANN (Karlsruhe, Germany):
{\em Explanation-Based Learning in Computer Algebra Systems.}
}

\begin{flushright} Karsten Homann (Karlsruhe) \end{flushright}


\item {\bf Mathematica Developer Conference 1994}

Champaign, Ill., 23.--26.4.1994.

{\footnotesize

 Die 1994 Mathematica Developer Conference fand vom 23.-26. April
in Champaign, Ill., auf dem Campus der University of Illinois statt.

Die meisten von Mitarbeitern von Wolfram Research 
durchgef"uhrten Vortr"age boten
Informationen zur ''n"achsten Mathematica-Version'', die noch in diesem
Kalenderjahr auf den Markt kommen soll. 

Neben  der Neu-Implementierung des Front End wurde die 
Kernel- und MathLink-Funktionalit"at 
in entscheidenen Punkten erweitert und verbessert: 
\begin{itemize}
\item Verbesserungen und Erweiterungen in Kernel und System
   \begin{itemize} \item
Integration, Polynome, Numerik, Compiler, Grafik
   \end{itemize}
\item Mathematica Front End
   \begin{itemize} \item
Mathematischer Formelsatz,  Programmierbarkeit,  Integration von 
elektronischer und traditioneller Ver"offentlichung,  Hilfe-Funktion,
  internationale Zeichens"atze,  TeX-Anbindung,  gleiche Funktionalit"at
 auf allen Plattformen,  MathLink 2.3,  Mathematica 2.2.2 for Windows
   \end{itemize}
\end{itemize}

%(v. d. Red. gek"urzt)    
}
    \begin{flushright}
      Roland Jakschewitz (Z"urich) 
    \end{flushright}




%\item {\bf Workshop: Algorithms and Computer Applications in
%Representation Theory of Finite Dimensional Algebras}
%
%Bielefeld, 18.--21.5.1994



\item{\bf A Workshop on New Technology for Symbolic 
Computational Mathematics and Applications in Research 
and Education\\}

\noindent
Rutgers, 6.--10.6.1994.

{\footnotesize
\noindent
The Workshop was organized by Larry Lambe and Dick Peskin of Rutgers
University and held at the CAIP Center in the CoRE Bldg. on Bush
Campus, Rutgers University and papers will be reviewed for a special
issue of the JSC devoted to SC in education.  There is still time to
contribute to the special issue (topics involve post-calculus/linear
algebra as well as educational material about SC itself).  Please
contact Larry Lambe (llambe@cesl.rutgers.edu) for more information
including deadlines, etc.  The Workshop included a panel discussion
with Rob Corless, Pete Henderson, Larry Lambe, Dick Peskin, Dave
Pintur, and Wiliam Sit and a tutorial on the \asharp programming language
along with labs given by Stephen Watt, Pete Broadbery, Sam Dooley, and
John Steinbach.  Here is a list of participants and their
contributions:
\vskip1ex
\begin{itemize}
\item{S.\ Kamal Abdali: {\it NSF's Symbolic, Numeric, and Geometric
Computation Program}}
\item{Pete Broadbery: {\it A Tutorial on the \asharp -Compiler, 1: Solutions
and Discussion and 2: Functional and Object Oriented Programming}}
\item{Robert M.\ Corless: {\it Scientific Computing in Mathematics 
Education -- one third of the Revolution}}
\item{Sam Dooley: {\it A Tutorial on the \asharp -Compiler, Problems 1: 
Basic Symbolic and Numeric Programming and 2: Solutions and 
Discussion}}
\item{Charlie Fletcher: {\it The UCES (Undergraduate Computational 
Engineering Sciences) Project}}
\item{Deborah S.\ Franzblau: {\it Listening to Teachers: A Strategy 
for Designing Educational Software and Materials}}
\item{Peter B.\ Henderson: {\it Symbolic Computation Systems For Teaching 
Foundations of Computer Science}}
\item{Frederick Hoffman: {\it Implications of Symbolic Algebra for Applied 
Algebra}}
\item{Dave Jacobs: {\it Interactive Computational Nonassociative Algebra}}
\item{Richard D.\ Jenks: {\it On the Design of the AXIOM User Interface}}
\item{Erich Kaltofen: {\it Teaching Computational Elementary Algebra}}
\item{Larry Lambe: {\it An Overview of Symbolic Computation I, II, and 
III, I: SC in Mathematics, II: The AXIOM System, and III: Generic 
Programming}}
\item{Yanxi Liu: {\it Symmetry Groups and Their Applications in Robotics}}
\item{Richard Luczak: {\it A Generic FEM for 2nd order ODE's}}
\item{Arjav Parikh: {\it An Object-Oriented Interface for Fnorse}}
\item{Richard Peskin: {\it Introductory remarks about object oriented 
methods and Applications of Symbolic Computation to Numerical 
Modeling}}
\item{David Pintur: {\it The Maple Finite Element Workbench: An Example 
of Object Oriented Programming Within Maple}}
\item{Vladimir Retakh: {\it Symbolic Computations and Noncommutative 
Determinants}}
\item{Nicolas Robidoux: {\it Investigating Interpolation and Numerical 
Differentiation with a Computer Algebra System: Examples Using Axiom}}
\item{Gary J.\ Sherman: {\it Trying to Do Mathematics with Undergraduates and 
Computers}}
\item{William Sit: {\it Mathematica Notebooks for a Conventional Differential
Equations Course}}
\item{Sandra Walther: {\it The SCENE Scientific Modeling Environment}}
\item{Stephen Watt: {\it A Tutorial on the \asharp -Compiler, Welcome to \asharp and
\asharp -Vistas}}
\end{itemize}
}
    \begin{flushright}
      Larry Lambe (Rutgers)
    \end{flushright}



\item {\bf New Computer Technologies in Control Systems}\label{Klaus}

Pereslavl-Zalessky (Russia), 11.--14. 7. 1994.

{\footnotesize
The workshop was organised by the Control Processes Research
Center of Program Systems Institute (Russian Academy of Sciences) and
the Institute of Mechanics (Moscow Lomonosov's State University).

In particular, the main topics of the workshop included

\begin{itemize}
\item Minimization methods in control systems
\item Computer algebra methods and applications
\item Symbolic computations in control
\item Software for optimal control
\item Software for stiff optimal control problems
\end{itemize}

The Program Committee (chair: Jacob G.(FR)) accepted the following
papers:

\begin{itemize}
\item Gurman V.I.(RUS): Extensions and Global Estimations for Control
Systems

\item Hespel Christiane(FR): About Exact Algebraic Identification

\item Borisov N.I.,Nosov V.R.,Shramkov I.G.(RUS): MACROMODELLING - a
Package for Numerical Analytical Treatment of Large Scale Control
Systems Design

\item Belyaeva N.P.,Dmitriev M.G. (RUS), Ni Ming Kang (PRC): Penalty
Functions Method in Control Problems and Symbolic Computations

\item Gerdt V.P., Khutornoy N.V.,Zharkov A.Yu. (RUS): Implementation
of Zero - Dimensional Gr"obner Bases Transforation from One Order into
Another

\item Efimov G.B.,Grosheva M.V.,Samsonov V.A. (RUS): Symbolic
Manipulations  in Mechanics

\item Vakhidov A.A., Vasiliev N.N. and Sokolsky A.G. (RUS): Application
of Computer Algebra Methods to the Construction of a Satellite Motion
Theory

\item Gutnic S.A. and Russanov I.V. (RUS): Understanding Behaviour of a
Dynamic System by Graphical Reasoning

\item Ol. Le Corre, Lemoult B., Culioli J.-C.,Solliec C.(FR): Optimal
Control of Garbage Incineration Plants

\item Apel Joachim, Klaus Uwe (G): Representing Polynomials in Computer
Algebra Systems

\item Boulier F., Petitot M.(FR): Computations in finitely presented
differential fields

\item Karkar Hassane(FR): Complex Systems and Control

\item Feichtinger G.(A): Complex Solutions of Dynamic Optimization
Models

\item Shmeleva T.A., Soloviev I.G. (RUS): Computer Expert System  for
Analysis Estimation and Prognosis of Economic Processes at the
regional level

\item Hoang Ngoc Minh (FR): Chained System Steering With Singular
Inputs

\item Zyzin V.S.(RUS): Interval Method of the Approximation by
polynomials in Inertial navigation system

\item Sachkov Y.L.(RUS): Nonlinear Controllability Problems for
Computer Algebra

\item Sushko N. A., Vasiliev N.N. (RUS): Study of Nonconcervative
Effects of the Numerical Modelling of Hamiltonian Systems by Means of
Computer Algebra

\item Banshchikov A.V.,Burlakova L.A. (RUS): Information - Research
Package ``Stability''

\item Irtegov V.D.,Titorenko T.N. (RUS): On Some Results of Computer
Algebra Usage in the Qualitative of Lagrange Systems

\item Kurina G.A..(RUS): High approximations of small parameter method
for slowly controllable systems

\item Kalinchenko P.A.(RUS): Programming of Regions with Composite
Boundaries

\item Sobolev V.A.,Gorelova E.Yu., Voropaeva N.V.(RUS): Decomposition
of the control and Dynamics Problems of Aircrafts by the Computer
Algebra Methods

\item Lameche Khira(FR): Invertible Rational Series for the Shuffle
Product

\item Kosenok G.V.(RUS): Method of Polynomial Factorization

\item Abramov S.M.,Adamovich A.I.,Nesterov I.A.,Pimenov S.P.,Shevchuk
Yu.V.(RUS): Automatic Dynamic Parallelizing

\item Dzhamay A.V.,Foursov M.V., Grishin O.I., Vorob'ev E.M.,Zhikharev
V.N.(RUS): A ``MATHEMATICA'' Program SYMMAN.M for Symmetry Analysis of
(Overdetermined) Systems of Partial Differential Equations

\item Plesniewich G., Tyuknov B., Fedoseeva T. (RUS): Integrating
Computer Algebra System Mathematica with the Knowledge Based
Management System Concept
\end{itemize}

Final reports will be published in a special issue of the ``Journal of
Izvestiya'' of the Russian Academy of Sciences, Technical Cybernetics.
The next conference is to be held in Pereslavl in August 25 - September 1,
1995. For further information contact Prof. Michael G. Dmitriev
(eMail: dmitriev@spoc.botik.yaroslavl.su).
}

    \begin{flushright}
      Uwe Klaus (Leipzig)
    \end{flushright}


\item {\bf International Symposion on Symbolic and Algebraic Computation,
 ISSAC'94}

St. Catherine's College, Oxford, UK, 20. - 22. 7. 1994

{\footnotesize 
Die ISSAC'94 (International Symposium on Symbolic and Algebraic
Computation) wurde organisiert von Malcolm MacCallum (London), 
Conference Chair, Joachim von zur Gathen (Toronto, Paderborn), Programme
Committee Chair, Steve Hague (Oxford), Local Arrangement Chair und 
James Davenport (Bath), Exhibits/Sponsorship Chair. 
Die Konferenz wurde wie schon seit vielen Jahren von der 
ACM SIGSAM und ihrem Vorsitzenden Erich Kaltofen (Troy, New York) getragen.

In insgesamt 18 Sitzungen, je zwei davon parallel -- 
leider waren die beiden H"ors"ale
etwas weit von einander entfernt --  zu vielen Themenkomplexen 
der \ca\ gab es 51 Vortr"age und 2 eingeladene Hauptvortr"age.

Im Umfeld der Konferenz gab es einen zweit"agigen OpenMath-Workshop
und einen \asharp-Kurs.

Am Abend des zweiten Tages war wie "ublich das ISSAC-Meeting, das
die weitere Entwicklung dieser Konferenzreihe festlegt. 
Als wichtigstes Ergebnis ist zu nennen, da"s die ISSAC'96 auf Vorschlag
von M.~Bronstein nach Z"urich vergeben wurde. Der SIGSAM-Pr"asident
Erich Kaltofen informierte auch dar"uber, da"s die Fachgruppe \ca\
1998 die ISSAC in einer Stadt  in den neuen Bundesl"andern (Rostock?)
veranstalten will, so da"s f"ur 1997 ein Veranstalter in Amerika gesucht
wird. Diese Konferenz wird als Satelittenkonferenz des  1998
in Berlin stattfindenden International Conference of Mathematics 
organisiert werden. 

Im Folgenden gab es dann eine recht kontrovers gef"uhrte Debatte
"uber die Strukturierung der Organisation k"unftiger ISSAC-Konferenzen, 
die schlie"slich auf Grund eines Vorschlages von B.~Caviness, einem
Ausschu"s bestehend aus den letzten 6 ISSAC-Chairs (1990-1995), sowie
MacCallum, von~zur~Gathen und Gonnet, "ubertragen wurde. Seine Aufgabe
wird es sein, ein Statut auszuarbeiten und dieses
rechtzeitig vor der n"achsten ISSAC vorzulegen.

Es folgt eine Aufstellung der Vortragenden und ihrer Vortragsthemen, gegliedert
nach den Sitzungen.
 
\def\vortrag#1#2#3{#2 (#3): {\it #1}, }
\def\vortragDot#1#2#3{#2 (#3): {\it #1}.}
\def\session#1#2{\par #1: (#2),}
{\footnotesize
\session{Session 1A}%
{Chairperson: Volker Weispfenning}
\vortrag%
{Computing selected solutions of polynomial equations}
{Dinesh Manocha}
{University of North Carolina}
\vortrag%
{Automating the construction of stationary multiple-point classes}
{Sylvain Petitjean}
{CRIN-CNRS and INRIA Lorraine}
\vortrag%
{On the isomorphisms of smooth algebraic curves}
{Hong Du}
{Academia Sinica}
\vortrag%
{Examples of automatic theorem proving in real geometry}
{Ahmed Guergueb, Jean Mainguene and Marie-Francoise Roy}
{IRNAR}
\session{Session 1B}%
{Chairperson: Mike Dewar}
\vortrag%
{A first report on the \asharp compiler}
{Stephen M.\ Watt, Peter A.\ Broadberry, Samuel S.\ Dooley, Pietro Iglio, Scott
C.\ Morrison, Jonathan M.\ Steinbach and Robert S.\ Sutor}
{IBM T J Watson Research Center}
\vortrag%
{How to make AXIOM into a scratchpad}
{Richard D.\ Jenks and Barry M.\ Trager}
{IBM T J Watson Research Center}
\vortrag%
{The Albert nonassociative algebra system: a progress report}
{David P.\ Jacobs}
{Clemson University}
\vortrag%
{GENTRAN 90: a REDUCE package for the generation of Fortran 90 code}
{W.\ N.\ Borst, V.V.\ Goldman and J.\ van Hulzen}
{University of Twente}
\session{Invited Lecture}%
{Chairperson: Joachim von zur Gathen}
\vortrag%
{Programming with algebraic structures: design of the Magma 
language}
{Wieb Bosma, John Cannon and Graham Matthews}
{Sydney }
\session{Session 2A}%
{Chairperson: Michael Monagan}
\vortrag%
{On a modular algorithm for computing GCDs of polynomials over algebraic
number fields}
{Mark J.\ Encarnacion}
{RISC, Johannes Kepler University}
\vortrag%
{Parallelization of the sparse modular GCD algorithm for multivariate
polynomials on shared memory multiprocessors}
{Mohamed Omar Rayes, Paul S.\ Wang and Kenneth Weber}
{Kent State University}
\session{Session 2B}%
{Chairperson: Johannes Grabmeier}
\vortrag%
{Automatic identification of time scales in enzyme kinetics models}
{Bruce W.\ Char and Mark F.\ Russo}
{Drexel University and Sterling Winthrop}
\vortrag%
{A system for the symbolic analysis of problems in engineering mechanics}
{Philip H.\ Todd, Robin J.\ Y.\ R McLeod and Marcia Harris}
{Saltire Software}
\session{Session 3A}%
{Chairperson: Mark Giesbrecht}
\vortrag%
{Factoring high-degree polynomials by the black box Berlekamp algorithm}
{Erich Kaltofen and Austin Lobo}
{Rensselaer Polytechnic Institute}
\vortrag%
{Algebraic and geometric reasoning using Dixon resultants}
{Deepak Kapur, Tushar Saxena and Lu Yang}
{SUNY at Albany and Academia Sinica}
\vortrag%
{On computing sparse shifts for univariate polynomials}
{Lakshman Y.\ N.\ and B.\  David Saunders}
{Drexel University and University of Delaware}
\session{Session 3B}%
{Chairperson: Volker Weispfenning}
\vortrag%
{Monomial bases and polynomial system solving}
{Ioannis Z.\ Emiris and Ashutosh Rege}
{University of California at Berkeley}
\vortrag%
{The Grobner basis algorithm and subresultant theory}
{Ana Maria Mandache}
{RISC, Johannes Kepler University}
\vortrag%
{The shape of the shape lemma}
{Eberhard Becker, Maria Grazia Marinari, Teo Mora, and Carlo Traverso }
{Universit"at Dortmund and University of Genova}
\session{Session 4A}%
{Chairperson: Gregory Butler}
\vortrag%
{Constructing permutation representations for large matrix groups}
{Gene Cooperman, Larry Finkelstein, Bryant York and Michael Tselman}
{Northeastern University}
\vortrag%
{Computing normalizers in permutation $p$-groups}
{Eugene M.\ Luks, Ferenc Rakoczi and Charles R.\ B.\ Wright}
{University of Oregon}
\vortrag%
{Constructing canonical presentations for subgroups of context-free groups
in polynomial time}
{Robert Cremmans and Friedrich Otto}
{Universit"at -- Gesamthochschule Kassel}
\vortrag%
{Finding blocks of imprimitivity in small-base groups in nearly linear time}
{Martin Sch"onert and Akos Seress}
{RWTH Aachen and Ohio State University}
\session{Session 4B}%
{Chairperson: Mark Giesbrecht}
\vortrag%
{A conjecture on integration in finite terms with elementary functions
and polylogarithms}
{Jamil Baddoura}
{MIT}
\vortrag%
{Characteristic classes for irregular singularities}
{Ron Sommeling}
{Katholieke Universiteit Nijmegen}
\vortrag%
{D'Alembertian solutions of linear differential and difference equations}
{Sergei A.\ Abramov and Marko Petkovsek}
{Russian Academy of Science and University of Ljubljana}
\vortrag%
{Fast polynomial dispersion computation and its application to indefinite
summation}
{Yiu-Kwong Man and Francis J.\ Wright}
{University of London}
\session{Invited Lecture}%
{Chairperson: Mike Dewar}
\vortrag%
{An application of symbolic computation in the physical sciences}
{Charles Dyer}
{University of Toronto}
\session{Session 5A}%
{Chairperson: Jaime Gutierrez}
\vortrag%
{Computing parametrizations of rational algebraic curves}
{Mark van Hoeij}
{Katholieke Universiteit Nijmegen}
\vortrag%
{Implicitization of hypersurfaces and curves by the Primbasissatz 
and basis conversion}
{Sandra Licciardi and Teo Mora}
{Universita di Genova}
\session{Session 5B}%
{Chairperson: Evelyne Tournier}
\vortrag%
{Sufficiency analysis for the calculus of variations}
{Robert M.\ Corless}
{University of Western Ontario}
\vortrag%
{How to compute the Melnikov vector?}
{Alain Goriely and Michael Tabor}
{Universite Libre de Bruxelles and University of Arizona}
\session{Session 6A}%
{Chairperson: Gregory Butler}
\vortrag%
{On the implementation of a new algorithm for the computation of 
hyperelliptic integrals}
{Laurent Bertrand}
{University of Limoges}
\vortrag%
{Algorithms for finding the structure of solutions of a system of linear
partial differential equations}
{Toshinori Oaku}
{Yokohama City University}
\vortrag%
{Algebraic geometry and group theory in geometric constraint
satisfaction}
{Oscar E.\ Ruiz S.\ Ferreira}
{University of Illinois at Urbana-Champaign}
\session{Session 6B}%
{Chairperson: Neil Soiffer}
\vortrag%
{Symbolic-numeric stability investigations of Jameson's schemes for 
the thin-layer Navier-Stokes equations}
{V.\ G.\ Ganzha, E.\ V.\ Vorozhtsov, J.\ Boers and J.\ A.\  van Hulzen}
{Russian Academy of Sciences and University of Twente}
\vortrag%
{Chains of recurrences -- a method to expedite the evaluation of 
closed-form functions}
{Olaf Bachmann, Paul S.\ Wang and Eugene V.\ Zima}
{Kent State University}
\vortrag%
{Branch cuts in computer algebra}
{Adam Dingle and Richard J.\ Fateman}
{University of California at Berkeley}
\session{Session 7A}%
{Chairperson: Johannes Grabmeier}
\vortrag%
{Quantifier elimination for real algebra -- the cubic case}
{Volker Weispfenning}
{Univers"at Passau}
\vortrag%
{An algorithm for complexes}
{Roberto La Scala}
{University of Pisa}
\vortrag%
{A fine-grained parallel completion procedure}
{Reinhard B"undgen, Manfred G"obel and Wolfgang K"uchlin}
{University of Tubingen}
\session{Session 7B}%
{Chairperson: Evelyne Tournier}
\vortrag%
{Symbolic-numeric nonlinear equation solving}
{Kelly Roach}
{University of Waterloo}
\vortrag%
{The identity problem for elementary functions and constants}
{Dan Richardson and John Fitch}
{University of Bath}
\vortrag%
{Signature functions for algebraic numbers}
{Michael B.\ Monagan and Gaston H.\ Gonnet}
{ETH Zurich}
\session{Session 8A}%
{Chairperson: Joachim von zur Gathen}
\vortrag%
{Asymptotically fast solution of Toeplitz-like singular linear systems}
{Erich Kaltofen}
{Rensselaer Polytechnic Institute}
\vortrag%
{Fast algorithms for rational forms of integer matrices}
{Mark Giesbrecht}
{University of Manitoba}
\vortrag%
{Fast parallel computation of the Smith normal form of polynomial matrices}
{Gilles Villard}
{IMAG}
\session{Session 8B}%
{Chairperson: Neil Soiffer}
\vortrag%
{Inheritance of rewrite rule structures applied to symbolic computation}
{Jason F.\ Harris}
{University of Canterbury}
\vortrag%
{Algorithms for type inference with coercions}
{Andreas Weber}
{University of Tubingen}
\vortrag%
{MP: A protocol for efficient exchange of mathematical expressions}
{Simon Gray, Norbert Kajler and Paul Wang}
{Kent State University}
\session{Session 9A}%
{Chairperson: Mike Monagan}
\vortrag%
{An improved algorithm for factoring linear ordinary differential operators}
{Manuel Bronstein}
{ETH Z"urich}
\vortrag%
{The use of the special semi-groups for solving differential equations}
{Jacques-Arthur Weil}
{Ecole Polytechnique}
\session{Session 9B}%
{Chairperson: Jaime Gutierrez}
\vortrag%
{Optical character recognition for typeset mathematics}
{Benjamin P.\ Berman and Richard J.\ Fateman}
{University of California at Berkeley}
\vortragDot%
{On the symbolic insimplification of the general 6R-manipulator kinematic
equations}
{T.\ Recio and  Gonzalez-Lopez }
{University of Cantabria}
}
}
\begin{flushright}
Johannes~Grabmeier (Heidelberg)
\end{flushright}


\item {\bf Computational Methods in Lie Theory }

%Institut f\"ur Experimentelle Mathematik/ 
%Universit\"at Essen

Essen, 15.--19.8 1994.
 
%\vskip 0.5cm 
{\footnotesize
In der dritten Augustwoche fand im Institut f\"ur Experimentelle Mathematik 
der Universit\"at Essen die von Prof. Michler organisierte 
Tagung {\sl Computational Methods in
Lie Theory} statt. Im Zentrum standen die speziellen Computeralgebra-Systeme
und die Entwicklung von Algorithmen f\"ur das wissenschaftliche Rechnen in Lie -
Algebren und Gruppen vom Lie-Typ, sowie von Konstruktionsverfahren ihrer Darstellungen.

Folgende Computeralgebra-Systeme wurden vorgestellt und demonstriert:

AXIOM, CHEVIE, CoCoA, LIE, MAGMA und SIMPLIE.

Es zeigte sich, da{\ss} die verschiedenen Systeme 
sich in vielen Bereichen erg\"anzen 
und Ihre Anwendungen in naher Zukunft eine Vielzahl neuer, wichtiger Ergebnisse
erwarten lassen.
Es folgt eine Aufstellung der Vortragenden und ihrer Vortragsthemen:

%\vskip 0.5cm 
%{\footnotesize
R. B\"odi/M. Joswig (T\"ubingen): {\it Effective representation theory of quasi-simple real
Lie groups}, 
F.du Cloux (Villeurbanne): {\it The minimal root machine for general Coxeter Groups },
A. Cohen (Eindhoven): {\it Lie algebraic algorithms},
M.Geck (Aachen): {\it Basic sets of Brauer characters of any finite groups of
Lie Type; CHEVIE},
J. Grabmeier (Heidelberg): {\it Non - Associative Structures in AXIOM},
S. Grimm (Basel): {\it The CMLT Network Center},
G. Hi{\ss} (Heidelberg): {\it Representations of finite groups of Lie Type}, 
I. Janiszczak (Essen): {\it On the conjugacy classes of Chevalley groups and
Combinatorics of Root - Systems },
W. M. Kantor (Eugene): {\it Geometric algorithms for finite groups of Lie Type},
M. van Leeuwen (Amsterdam): {\it LIE},
F. Luebeck (Heidelberg): {\it Computation of conjugacy classes and character 
values in finite groups of Lie Type },
H.M. M\"oller (Hagen): {\it CoCoA}, 
J. Patera (Montreal): {\it New features of SIMPLIE},
G. Pfister (Kaiserslautern): {\it Nilpotente Lie - Algebren und geometrische Quotienten;
SINGULAR},
M. Roelofs (Amsterdam): {\it Towards a Lie algebra algorithms library},
J. Rosenboom (Essen): {\it Coxeter Groups and Hecke Algebras},
G. Schneider (Karlsruhe): {\it Berechnung von Ext - Algebren; MAGMA},
K. Shinoda (Tokyo): {\it Values of the unipotent characters of the Chevalley
Group of type $F_4$},  
T. Shoji (Tokyo): {\it Unipotent characters of classical groups},
R. A. Wilson (Birmingham): {\it Direct Condensation}.

%\vskip 0.5cm 
Die Tagung wurde finanziell von der Volkswagen-Stiftung unterst\"utzt.
}
\begin{flushright}
Peter Fleischmann (Essen)
\end{flushright}

\item
{\bf \ca\ in Science and Engineering --- Algorithms, Systems,
     Applications (ZiF)}\\
Zentrum f\"ur interdisziplin\"are Forschung (ZiF), 
Bielefeld, 28. -- 31.8.1994.\label{zif}
     
   Die Veranstalter der Tagung {\it Computer Algebra in Science and 
Engineering --- Algorithms, Systems, Applications} am {\it Zentrum f\"ur interdisziplin\"are Forschung (ZiF), Bielefeld\/}, Prof.~Dr.~Fleischer, 
Prof.~Dr.~Hehl, Prof.~Dr.~K"uchlin und Dr.~Grabmeier,
hatten sich zur Aufgabe gemacht, einen aktuellen "Uberblick 
"uber die Arbeit von Entwicklern und Anwendern von Computeralgebra und 
"uber einige dabei verwendete Systeme und Pakete zu geben. 

    Da"s man diesem Ziel vollauf gerecht werden konnte,
 lag einerseits an der f"ur 
diese Tagung idealen Bedingungen am ZiF, andererseits an der ausgezeichneten 
Auswahl an international anerkannten Experten, die f"ur Vortr"age gewonnen 
werden konnten. 

    Erfreulicherweise k"onnen die Proceedings der Tagung (bei {\em World 
Scientific}, Singapore) ver"offentlicht und so einem gr"o"seren 
Interessentenkreis zug"anglich gemacht werden. 

Es folgt eine Aufstellung der Vortragenden und ihrer Vortragsthemen:\\
 
{\footnotesize
G. Gonnet: {\it Issues on the \maple\  implementation illustrated with
                problems from Computational Biochemistry},
K. Morisse/G. Oevel: {\it \mupad-New developments and their applications},
W. K\"uchlin: {\it Parallelizing Computer Algebra},
R. Loos: {\it Real problems },
V. Weispfenning: {\it Solving parametric polynomial equations
                   and inequalities by symbolic algorithms},
H. Melenk: {\it Automatic symbolic solution of non-linear equation systems},
L. Gonz\'ales-Vega: {\it Polynomial System Solving: The PoSSo Project},
A. Dress: {\it An algorithmic approach to tilings},
H.-G.~Graebe: {\it Solving polynomial systems with the Groebner
                   factorization method, comparing different software with 
                   some own considerations},
V. Strehl: {\it Optimal rational summation},
A.~Weber: {\it An Application of Quantifier Elimination to 
                 Mathematical Biology},
B. Caviness: {\it  Academic Uses of Technology
                   at a ``Typical'' American University},
D.V.~Shirkov: {\it Computer Algebra in Physics},
C. Brans: {\it Computer Algebra and general relativity},
T. Havel: {\it A new system of quaternion-based equations for 
               ring closure in chemical compounds},
T. Wieland/A. Kerber: 
{\it A Computer Algebra system for molecular graphs: MOLGEN},
D. Hartley: {\it Calculating with Exterior Differential Systems},
J. Fleischer: {\it Recursion relations for the calculation of Feynman 
                   diagrams},
T. Ishikawa: {\it Symbolic code optimization for traces of gamma matrices},
J. Vermaseren: {\it How useful is \form?},
H.-J. Winkler: {\it Tutoring System for Fourier-Transform
                    in Electrical Engineering},
G. Schneider: {\it Public Lecture: Computeralgebra-Systeme - 
                   wie ver\"andern sie die Mathematik?},
A. Cohen: {\it Computer Algebra in industry, some experience and two examples},
S. Stifter: {\it Computer Algebra in CAD/CAM: instances from 
                  industrial experience},
V. Gerdt: {\it Computer Algebra vs.~nonlinear equations: recent achievements},
P. Kov\'acs: {\it Computer Algebra in robot-kinematics},
J. Grabmeier: {\it \axiom -- design, use and applications},
M. Dewar:  {\it Symbolic--Numeric--Interfaces},
E.V.~Vorozhtsov: {\it Symbolic-numeric stability investigation of difference 
                      schemes for compressible 3D Navier-Stokes equations}}
\begin{flushright}
Roland A. Puntigam (K"oln)
\end{flushright}

\item {\bf Parallel Processing: CONPAR 94 -- VAPP VI}

Third International Joint Conference on Vector and Parallel Processing

Linz, Austria, 6. -- 8.9.1994.

{\footnotesize
In the first week of September, the last conference of the CONPAR-VAPP
series took place. Starting with 1995, CONPAR-VAPP will be merged with 
PARLE to form the new EURO-PAR series.

CONPAR 94-VAPP VI was organized by the Computer Science Institute,
Department of Graphics and Parallel Processing (GUP, Prof.\ Jens Volkert),
and by the Research Institute of Symbolic Computation (RISC-Linz,
Prof.\ Bruno Buchberger) at the Johannes Kepler University of Linz.

The conference was highly successful with about 140 participants
and 70 presented papers. Several talks were related to parallel 
symbolic computation and to the application of symbolic methods 
to parallel computation:

T. Jebelean: {\it Systolic Algorithms for Long Integer GCD Computation},
S. Prestwich: {\it On Logic Program Parallelisation Strategies},
C. Limongelli, R. Pirastu: {\it Exact Solution of Linear Systems over
Rational Numbers by Parallel p-adic Arithmetic},
H. Hong, H. W. Loidl: {\it Parallel Computation of Modular Multivariate
Polynomial Resultants on a Shared Memory Machine},
Y. Tanaka, et al: {\em Partial Marking GC},
T. B{\"u}lck, et al: {\it Experience with the Implementation of a Concurrent
Graph Reduction System on an nCube/2 Platform},
P. Lincoln, et al: {\it The Rewrite Rule Machine Node Architecture and Its
Performance},
K. Hammond, et al: {\it Automatic Spark Strategies and Granularity for a
Parallel Functional Language Reducer},
W. Schreiner: {\it Virtual Tasks for the PACLIB Kernel},
S. P. Johnson, et al: {\it User Interaction and Symbolic Extension to 
Dependence Analysis},
V. Maslov, W. Pugh: {\it Simplifying Polynomial Constraints Over
Integers to Make Dependence Analysis more Precise},
J. L. Roch, et al: {\it A New Load-Prediction Scheme Based on Algorithmic
Cost Functions}.
}

\begin{flushright}
Wolfgang Schreiner (RISC-Linz)
\end{flushright}

\item {\bf Workshop: Wissenschaftliches Rechnen 
mit gesicherten Ergebnissen}

Karlsruhe, 12.\ -- 15.\ 9.\ 1994.

{\footnotesize
Am 12.\ -- 15.\ 9.\ 1994 fand an der Universit"at Karlsruhe der Workshop
``Wissenschaftliches Rechnen mit gesicherten Ergebnissen''
statt, auf dem aktuelle Entwicklungen von numerischen
Verfahren mit Ergebnisverifikation vorgestellt wurden.  Derartige
Verfahren berechnen automatisch gesicherte Schranken f"ur das
Ergebnis und verifizieren die Existenz und ggf.\ die Eindeutigkeit der
L"osung innerhalb dieser Schranken.  Neben neueren numerischen
Algorithmen wurden auch die zugeh"origen Programmierwerkzeuge und
Hardware--Entwicklungen pr"asentiert.

Nach einem Tutorial (mit anschlie"sendem Praktikum) zu diesen Themen
lag der Schwerpunkt auf praktischen Anwendungen der neuen Methoden.
Im Rahmen des Workshops wurde dar"uber hinaus der von der
Arbeitsgemeinschaft Mathematik--Informatik--Mikroelektronik
(Karlsruhe--Hamburg--Stuttgart)
entwickelte Koprozessorchip XPA~3233 f"ur exakte Vektorarithmetik
erstmals der "Offentlichkeit vorgestellt.

Der Workshop war als erg"anzendes Angebot zwischen den internationalen
SCAN--Tagungen in Wien (1993) und Wuppertal (1995) gedacht.  Er richtete
sich gezielt an Anwender aus dem deutschsprachigen Raum und wurde von
etwa 150 Teilnehmern aus Hochschulen und Industrie besucht.

\bigskip
{\bf Alphabetische Liste der Vortr"age:}
\medskip

{\footnotesize
Baumann/Adams:
{\it  Einschlie"sung und Existenzbeweis der L"osung eines
nicht\-linearen singul"ar ge\-st"or\-ten Randwertproblems},
Baumhof/Selzer:
{\it  Entwurf eines VLSI--Bausteins zur exakten
Skalarproduktberechnung},
Berlejung:
{\it  Teststrategien bei numerischer Software},
Berz:
{\it  Ergebnisverifikation in der nichtlinearen Dynamik},
Bierlox/Storck:
{\it  Parallelisierung in Pascal--XSC mit PVM3},
Bischoff:
{\it  Gewinn durch neue Numerik im Ingenieurbereich /
Standardisierung im Wasserbau},
Blomquist:
{\it  Datenkonversionen beim Wissenschaftlichen Rechnen},
Bohlender:
{\it  Stand der Sprachentwicklungen --- "Ubersicht "uber
die XSC--Sprachen},
Damm/Behr:
{\it  Berechnung und Existenznachweis periodischer L"osungen
von gew"ohnlichen nichtlinearen Differentialgleichungen
mit Hilfe eines Iterationsverfahrens},
Dobner:
{\it  Softwareunterst"utzte Fehleranalyse bei Integralgleichungen},
Garloff:
{\it  Ein Algorithmus f"ur den Nachweis robuster Stabilit"at},
Ge"org:
{\it  Integration der Skalarprodukteinheit des Koprozessors
XPA~3233 in Pascal--XSC (Vorf"uhrung der VLSI--Bausteine und
Geschwindigkeitsvergleich)},
Hammer:
{\it  Zur verifizierten Einschlie"sung des Wertes einer
rationalen Reihe},
Heindl:
{\it  "Uber einige typische Toleranzprobleme aus der
Vermessungstechnik},
Hocks:
{\it  Innere-Punkt-Methoden in der Linearen Optimierung},
H"offlinger:
{\it  Vorstellung eines leistungsf"ahigen, hochgenauen
Vektor\-arith\-metik-Ko\-pro\-zes\-sors in VLSI mit Vorf"uhrung (Ge"org)},
Januschke:
{\it  Aktuelle Spracherweiterungen bei Pascal--XSC},
J"ohnk:
{\it  Eigenschwingungen des "au"seren Erdkerns:\ L"osungen
durch Anwendung hochgenauer Computerarithmetik},
Kersten:
{\it  PASCAL--XSC auf Transputerclustern unter PARIX},
Kn"uppel:
{\it  PROFIL/BIAS --- Eine schnelle Intervallbibliothek},
Kn"uppel:
{\it  Eine Einschlie"sungsmethode zur Bestimmung
aller L"osungen nichtlinearer Gleichungssyteme},
Kr"amer:
{\it  Grundlagen des verifizierten Rechnens},
Kr"amer:
{\it  Ergebnisverifikation bei nichtlinearen Gleichungssystemen},
Kr"amer:
{\it  Inneneinschlie"sungen von L"osungen mit Anwendungen},
Kreslov\'{a}/Rohn:
{\it  Positive Solutions of Linear Interval Equations},
Kulisch:
{\it  Einf"uhrung in das Wissenschaftliche Rechnen
mit gesicherten Ergebnissen},
Kulisch:
{\it  Einf"uhrung und "Ubersicht "uber laufende und
geplante Hardware--Projekte},
Lohner:
{\it  ``Numerical Toolbox for Verified Computing'', Band 1, 2, 3,
Springer-Verlag:\ Inhalt der B"ande und Beispielprogramme},
Lohner:
{\it  Einschlie"sung der L"osung von Differentialgleichungen},
Lohner:
{\it  Einschlie"sung bei dynamischen Systemen (Chaos)},
Luther/Otten:
{\it  Verifizierter Einschlu"s von Eigenfunktionen der Hillschen Gleichung},
Neaga:
{\it  Verf"ugbarkeit der XSC--Sprachen --- Eine Software-"Ubersicht},
Plum:
{\it  Verifikationsnumerik bei elliptischen Differentialgleichungen},
Ratz:
{\it  Globale Optimierung mit Ergebnisverifikation},
Schlett:
{\it  RISC/EFISC--Architektur und hardwarenahe Implementierung
von Skalarprodukt und Intervallarithmetik},
Schramm:
{\it  Hochgenaue Arithmetik und Verifikation in der Computergeometrie},
Schumacher:
{\it  Verifiziertes Rechnen: Erfahrungen mit Ingenieurproblemen},
Storck:
{\it  Verifizierte mehrdimensionale numerische Integration},
Storck:
{\it  Modellbildung in der Gaskinetik --- Anwendung numerischer Integration},
Teufel:
{\it  Verifizierte Gleichungssysteml"osung in Hardware},
Walter:
{\it  Modularer Aufbau von Arithmetikbibliotheken f"ur
verifiziertes wissenschaftliches Rechnen in Fortran 90},
Wiethoff:
{\it  Parallele numerische Algorithmen und ihre Implementierung in C--XSC}.
}}

\begin{flushright}
Gerd Bohlender, Kurt Gr"uner (Karlsruhe)
\end{flushright}


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

Duisburg, 19.--23.9.1994.\label{dmv-sektion}

Im Rahmen der diesj"ahrigen DMV-Jahrestagung war die {\ca} wieder mit einer
eigenst"andigen Sektion vertreten. 

Der Einladung von B.~Fuchssteiner und G.~Oevel (Paderborn), die in diesem
Jahr die Leitung der Sektion "ubernommen hatten, wurde zahlreich
gefolgt, so das ein interessantes und vielf"altiges Vortragsprogramm zustande
kam.

Es folgt eine Aufstellung der Vortragenden und ihrer Vortragsthemen:\\
 
{\footnotesize
E. Becker: {\it Zur Berechnung des reellen Radikals},
D. Berntzen: {\it Ein Algorithmus zur Bestimmung isotroper Vektoren "uber den
rationalen Zahlen},
G. Czichowski: {\it Gr"obnerbasen und Integration},
K. Drescher: {\it Differential-Gr"obner-Basen im \cas\  \mupad},
K. Gatermann: {\it Invariante, "Aquivariante und die L"osung von
Gleichungssystemen},
J. von zur Gathen: {\it Faktorisieren von Polynomen "uber endlichen K"orpern},
E.H.A. Gerbracht,W. Struckmann: {\it Zur algorithmischen Diskussion
exakt-invertierbarer elementarer Funktionen},
M. G"obel: {\it Berechnung von symmetrischen Polynomrepr"asentationen},
H.-G. Gr"abe: {\it Zum L"osen polynomialer Gleichungssysteme},
W. Koepf: {\it Automatische Erzeugung von Rekursionen hypergeometrischer
Funktionen},
M. Krei"sig: {\it \cas e im Vergleich},
W. K"uchlin: {\it Paralleles symbolisches Rechnen},
B. Kutzler: {\it Mit \derive\ in die Zukunft des Mathematikunterrichts},
D. Mall: {\it Torische Degeneration und Gr"obner Stripping},
H.M. M"oller: {\it Gr"obnerbasen und involutive Basen},
K. Morisse: {\it Computeralgebra-Systeme als Werkzeug f"ur experimentelle
Mathematik},
G. M"uller: {\it Modellierung und Simulation mechanischer Systeme im
Computeralgebra-System \mupad},
H. Naundorf: {\it Parallelit"at in \mupad},
R. N"orenberg: {\it Erkennen des Darstellungstyps von Algebren in \crep},
G. Oevel: {\it Neues in der \mupad-Grafik},
M. Pesch: {\it Gr"obner-Basen in Ringen mit Substitutions-Operatoren},
G. Pfister: {\it Vorstellung des \cas s \singular},
T. Sander: {\it Effektive algebraische Geometrie "uber nicht algebraisch
abgeschlossenen K"orpern},
T. Schulze: {\it Nichtlineare Wechselwirkungen},
B. Souvignier: {\it Konstruktion von Darstellungen endlich pr"asentierter
Gruppen},
J. Ueberberg: {\it Interaktives Beweisen in der endlichen Geometrie},
P. Zimmermann: {\it A new application for computer algebra: Random generation
of data structures}.
}
\begin{flushright}
Karsten~Morisse (Paderborn)
\end{flushright}


\item {\bf 2nd European Fluid Mechanics Conference}

 Warschau, Poland, 20.--24.9.1994.

{\footnotesize
Einer der 16 Hauptvortr"age war der Computeralgebra gewidmet. Das Thema des Vortrags lautete: The Impact of Computer Algebra on Fluid Dynamics. Vortragender:
Prof. Dr.rer.nat. K.G. Roesner. Die gro"se Resonanz, die der Vortrag fand, 
zeigt, da"s viel zu wenig "uber die erfolgreiche Anwendung der Computeralgebra
im Bereich der Str"omungsphysik und den Ingenieurwissenschaften berichtet wird.
Viele polnische Kollegen baten um die Zusendung des \ca-Reports.
}
\begin{flushright}
Karl G. Roesner (Darmstadt)
\end{flushright}

\item {\bf First Internatl.\ Symp.\ on Parallel Symbolic Computation
PASCO'94}
 
Linz, Austria, Sept.\ 26--28, 1994.

Das Symposium stellte sich zur Aufgabe, das Thema Paralleles Symbolisches Rechnen
in seiner ganzen Breite interdisziplin"ar zu behandeln. 
Hauptthema war das Zusammenspiel
zwischen Parallelismus und symbolischem Rechnen.
Hier sollten insbesondere Forscher auf den Gebieten parallele Algorithmen
und parallele Programmiersprachen zusammengebracht werden.
Weitere Schwerpunktthemen waren {\em parallel Computer Algebra},
{\em parallel automated deduction},
{\em parallel constraint / logic languages},
{\em parallel functional languages},
zu denen es "Ubersichtsvortr"age von Paul Wang,
Claude Kirchner, Gert Smolka und Kevin Hammond gab.

Das Symposium hat in eindrucksvoller Weise 
das Gebiet des Symbolischen Rechnens in seiner ganzen Breite 
dargestellt und die Interaktion zwischen den
Teilgebieten stimuliert. 
Das Symposium war au"serdem perfekt organisiert und es hat einen
qualitativ hochstehenden Tagungsband hervorgebracht. 

Inhalt (Titel z.T.\ gek"urzt):\\
{\footnotesize
Andreoli, Borghoff, Pareschi: {\it Constraint-Based Knowledge Brokers},
Attardi, Traverso: {\it A strategy-accurate parallel Buchberger algorithm},
Bonacina: {\it On the reconstruction of proofs in distributed theorem proving
with contraction},
Bosschere, Jacquet: {\it Local and Conditional Blackboard Operations in $\mu$Log},
Bratvold: {\it Parallelising a Functional Program Using a List-Homomorphism Skeleton},
Brlek, Rauzy: {\it Synchronization of Constrained Transition Systems},
Bueno, Garcia de la Banda, Hermenegildo: {\it A Comparative Study of
Methods for Automatic Compile-time Parallelization of Logic Programs},
Burke-Perline: {\it The Parallel Computation of $f(x)^{(p-1)/2}$ mod $h(x)$
using Sugarbush},
B"undgen, G"obel, K"uchlin: {\it Multi-Threaded AC Term Rewriting},
Char et al.: {\it Some Experiments with Parallel Bignum Arithmetic},
Dalmas, Gaetano, Sausse: {\it Distributed Computer Algebra},
Denzinger, Schulz: {\it Recording, Analyzing and Presenting Didtributed Deduction Processes},
Faugere: {\it Parallelization of Gr"obner Basis},
Garcia, Hermenegildo, Debray: {\it Towards Granularity Based Control of Parallelism in Logic Programs},
Gautier, Roch: {\it PAC++ System and Parallel Algebraic Numbers Computation},
Gladitz, Kuchen: {\it Parallel Implementation of the Gamma Operation on Bags},
Gonzalez, Tubella: {\it The Multipath Parallel Execution Model for Prolog},
Gr"abe, Lassner: {\it A Parallel Gr"obner Factorizer},
Hammond: {\it Parallel Functional Languages},
Hasegawa, Koshimura: {\it An AND Parallelization Method for MGTP and Its Evaluation},
Hill, Clarke, Bornat: {\it The Vectorization Monad},
Kakas, Papadopoulos: {\it Parallel Abduction in Logic Programming},
Kaltofen, Pan: {\it Parallel Solution of Toeplitz and Toeplitz-like Systems Over Fields of Small Positive Characteristic},
Kaser, Ramakrishnan, Sekar: {\it A High-Performance Runtime System for Parallel Evaluation of Lazy Languages},
Kesseler: {\it Reducing Graph Copying Costs--Time to Wrap it Up},
Konno et al.: {\it PARSC: an MPP-Oriented CLP Language},
Krandick, Jebelean: {\it Bidirectional Exact Integer Division},
Leung, Clark: {\it Constraint Solving in Distributed Concurrent Logic Programming},
Marti, Rueher: {\it A Cooperative Scheme for Solving Constraints over the Reals},
Massey, Tick: {\it Optimizing Clause Matching Automata in Committed Choice Languages},
Murao, Fujise: {\it Modular Algorithm for Sparse Multivariate Polynomial Interpolation and its parallel Implementation},
Pozo-Prieto, Moreno-Navarro: {\it Independent Subexpressions Parallelism with Delayed Synchronization},
Rayes, Wang: {\it Parallel GCD for Sparse Multivariate Polynomials on Shared Memory Multiprocessors},
Saenz et al.: {\it A stack-based Machine for parallel Executioin of Babel Programs},
Schreiner: {\it A Para-Functional Programming Interface for a parallel Computer Algebra Package},
Siegl: {\it A Parallel Factorization Tree Gr"obner Basis Algorithm},
Sodan, bi: {\it A Semi-Automatic Approach for Parallelizing Symbolic Processing Programs},
Takesue: {\it Parallel Symbolic Processing with Distributed Lists},
Tong, Leung: {\it Implementation of a Data-Parallel Concurrent Constraint Programming System},
Wang: {\it Parallel Polynomial Operations: A Progress Report},
Weber: {\it Parallel Implementation of the Accelerated Integer GCD Algorithm},
Wikstrom: {\it Distributed Programming in Erlang},
Zhang, Bonacina: {\it Cumulating Search in a Distributed Computing Environment}
}
\begin{flushright}
Wolfgang~K"uchlin (T"ubingen)
\end{flushright}



%\item {\bf Computer Algebra, 
% with emphasis on discrete algebra and geometry}
% 
%  Eindhoven, The Netherlands
% September 26.--30.9.1994.



\end{enumerate}

%\newpage
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%           Netzinformationsdienste                               %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


{\vspace*{5mm}\Large\bf\hrule\vspace{1mm}
\centerline{Netzinformationsdienste zu Mathematik und Computeralgebra
\vspace{1mm}}\hrule}
\label{infoca}
\vspace*{0.5cm}
\renewcommand{\arraystretch}{1.3}

\noindent
%\label{cais-www}
%{\bf  Schneider zu  WWW}
%
%\vspace{1em}\hrule\vspace{1em}

\begin{center}
{\bf SymbolicNet in ICM (Kent, Ohio) via WWW}\\
World Wide Web (WWW) service for information related to
symbolic computation\\
\label{infosymb}
\end{center}

{\footnotesize
In response to suggestions from many, ICM/Kent is establishing
SymbolicNet, a World Wide Web (WWW) service for information related to
symbolic computation.  This service is maintained at ICM/Kent.

It is easiest to access SymbolicNet using Mosaic:
{\tt xmosaic http://SymbolicNet.mcs.kent.edu}

Symbolic and Algebraic Computation (SAC) Information Categories:\\
{\em Introductory and Tutorial Literature,    
Frequently Asked Questions,    Announcements,   
 Electronic Bulletin Board,    Calendar of Events,    
Conferences and Workshops,    Public FTP Software,    
Research Literature,    Research Groups,    Specialized Areas,    
Systems,    E-mail Database,    ACM,    SIGSAM,    
Joining SymbolicNet,    Introduction to WWW\/}
}
    \begin{flushright}
      Paul S. Wang (Kent, Ohio)
    \end{flushright}

\vspace{1em}\hrule\vspace{1em}

\begin{center}
{\bf CAIN - Computer Algebra Information Network}\\
\label{infocain}
\end{center}

{\footnotesize
The CAN Expertise Center is pleased to announce the availability of the
CAIN gopher dedicated to computer algebra at its site: {\tt gopher.can.nl}
Under www you can connect to CAIN via URL {\tt gopher://gopher.can.nl}.

Presently, CAIN consists of
\begin{itemize}
\item An overview of computer algebra systems and packages
\item The special interest group CMLT (Computational Methods in Lie Theory)
\item Information about CAN
\end{itemize}

To give an idea of the contents of the systems overview: up to date information
is available about

\begin{itemize}
\item General Purpose Systems: AXIOM, Derive, FORM, GNU-calc, ALJABR, Macsyma, 
                           MAXIMA, PARAMAX, VAXIMA, Magma, Maple, Mathematica,
                           \mupad, REDUCE, SENAC, Theorist
\item Special Purpose Systems:
  \begin{itemize}
  \item (Non)Commutative Algebra and Algebraic Geometry:
    CALI, CoCoA, FELIX, GANITH, GROEBNER, Kan, Macaulay, MAS, SACLIB
  \item Differential Equation Solvers and Tools:
    CRACK, DELiA, DESIR, Diffgrob2, Dimsym, LIE, Lie, liesymm, ODESOLVE, 
    PDEase, PDELIE, SPDE, StandardForm, SYM\_DE, SYMMGRP.MAX
  \item Finite Element Analysis: 
    FIDE, MathFE
  \item Group Theory: 
    ANU pq, ANU sq, Cayley, CHEVIE, GAP, GRAPE, LiE, Magma, 
    Schur, Sisyphos, Symmetrica, Weyl
  \item High Energy Physics:
    FeynArts, FeynCalc, FORM, HIP, Schoonschip, Tracer
  \item Number Theory:
    GALOIS, KANT, MALM, Numbers, PARI, SIMATH, UBASIC
  \item Tensor Calculus:
    Classi, GRTensor, MathTensor, Ricci, SHEEP, STENSOR, MathTensor
  \end{itemize}

\item  Experimental Systems
  \begin{itemize}
  \item PC Shareware: AMP, Calculus, CC4, CLA, PFSA, SymbMath, X(PLORE)
  \item AUTOMATA, QUOTPIC and TESTISOM, FLAC, JACAL, Mock-mma, ORME, 
        RepTiles, Weyl
  \end{itemize}
\end{itemize}

We certainly do not claim that this list of computer algebra systems and 
packages is exhaustive and that the current information cannot be improved. 
Please, send by email your comments, suggestions, and so on, to cain@can.nl
}
    \begin{flushright}
      Andre Heck (CAN Expertise Center)
    \end{flushright}

\newpage
\vspace{1em}\hrule\vspace{1em}

\begin{center}
{\bf Maple-related HTML documents via the WWW server}\\
\label{infomaple}
\end{center}

{\footnotesize
For those of who make use of the World-Wide-Web (with clients like
Mosaic, for instance), I've created and made available a collection of
Maple-related HTML documents via the WWW server {\tt web.mit.edu}.

The effort is still in its fledgling stages, but so far I've compiled
a reasonably comprehensive list of Maple books and article summaries
for issues 6-10 of MapleTech.  I've also added pointers to information
related to the MSWS conference and the Maple/Prescience Info Server.

I hope to expand the collection over time to include helpful hints on
using Maple (directed primarily at MIT folks, so please forgive any
site-oriented bias... and ignore our current collection of 'stock answers'
which are woefully out of date.  I hope to update them in the next week
or so), and some information on CAS's in general.

If you don't use WWW, this won't mean much to you, but otherwise,
the URL of the primary Maple HTML page is:\\
{\tt http://web.mit.edu/afs/athena.mit.edu/software/maple/www/home.html}\\
      Reid M. Pinchback, Email:{\tt  reidmp@MIT.EDU},
      Faculty Liaison, Acad. Comp. Serv., MIT.
}
    \begin{flushright}
      Reid M. Pinchback (MIT)
    \end{flushright}

\vspace{1em}\hrule\vspace{1em}

\begin{center}
{\bf World-Wide-Web Service f"ur \mupad}\\
\label{infomupad}
\end{center}

{\footnotesize
Seit Mai 1994 gibt es f"ur \mupad\ einen World-Wide-Web Service, der "uber
die URL erreichbar ist\\ 
\centerline{({\tt http://math-www.uni-paderborn.de/\~{ }cube/home.html})}\\
und folgenden Service zur Verf"ugung stellt:
\begin{itemize}
     \item factsheet, readme mit Kurzinformationen zu \mupad
     \item mathPAD journal, Papers der \mupad-Entwickler, \mupad-talk mails
     \item demo mit Bildern zu den \mupad-Interfaces und Grafik-Beispielen
     \item Liste der \mupad-Entwickler mit Aufgabengebiet und e-mail Adresse
     \item Lizenzformular: Mit WWW-Klienten, die HTML-Formulare unterst"utzen
       (z.B.\ Mosaic), kann die \mupad-Lizenz einfach durch Ausf"ullen eines
       Formulars beantragt werden. R"uckanwort erfolgt per e-mail.
     \item Zugriff auf den \mupad gopher-Service mit der URL:
       {\tt gopher://math-gopher.uni-paderborn.de/1/MuPAD/}
       [-$>$ von hier aus vollen Zugriff auf den \mupad\ ftp-Service, s.u.]
     \item Zugriff auf den \mupad\ ftp-Service mit der URL:
       {\tt ftp://ftp.uni-paderborn.de/local/MuPAD/}
       [-$>$ factsheet, mathPAD, \mupad-talk, \mupad-binaries]       
     \item Verweise auf weitere, ausgew"ahlte Server zum Thema \ca
\end{itemize}
}
    \begin{flushright}
      Andreas Sorgatz (Paderborn)
    \end{flushright}

\vspace{1em}\hrule\vspace{1em}

{\bf
\begin{center}
Sitzung von DMV, DPG und GI zur elektronischen Information und Kommunikation
\end{center}}\label{IuKSitz}

{\footnotesize

Am 27.9.94 hat im Konrad-Zuse-Zentrum f"ur Informationstechnik Berlin
ein Treffen von Vertreten der Deutschen Physikalischen Gesellschaft
(DPG), der Deutschen Mathematiker Vereinigung (DMV) und der
Gesellschaft fuer Informatik (GI) zur Koordinierung der Aktivit"aten
der obengenannten Fachgesellschaften auf dem Gebiet der
elektronischen Information und Kommunikation stattgefunden.
  Diese drei Fachgesellschaften haben eigene Antr"age beim BMFT zur
  F"orderung ihrer Aktivit"aten auf dem Gebiet IuK gestellt bzw.
  bereiten solche vor.
  Auf der Sitzung wurde beschlossen, da\3 die 
  Fachgesellschaften  einen gemeinsamen Rahmenantrag erarbeiten,
  der die Einzelantr"age der Fachgesellschaften erg"anzt. Ziel des
  Rahmenantrags ist es,
%  \begin{itemize}
  \\ -- gemeinsame Schwerpunkte f"ur die Entwicklung elektronischer
    Information und Kommunikation zu fixieren (Synchronisation der
    Anforderungsdefinitionen an IuK-Systeme),
  \\ -- die Aktivit"aten der Fachgesellschaften und Fachbereiche bzgl.
    IuK zu koordinieren,
  \\ -- mit gemeinsamen konkreten Projekten den Aufbau der IuK-Struktur
    in den Wissenschaften in Deutschland zu beschleunigen,
  \\ -- das Anliegen ''Aufbau einer modernen IuK-Landschaft in den
        Wissenschaften in Deutschland'' gemeinsam zu vertreten und
        dadurch  mehr Gewicht und Nachdruck zu verleihen (sowohl
        gegen"uber dem Bund, den L"andern, den bisherigen
        Informationsanbietern als auch innerhalb der Institutionen),
  \\ -- technische Probleme schnell und unkompliziert zu l"osen bzw.
    deren L"osung voranzutreiben,
  \\ -- Schnittstellen f"ur den Informationsaustausch zwischen verschiedenen
        Wissenschaftsdisziplinen zu definieren, evtl. bestimmte
        Strukturen in den Systemen zu vereinheitlichen,
  \\ -- Keimzellen f"ur eine neue IuK-Landschaft in den Wissenschaften
        und hier speziell in den Universit"aten
    (Universit"atsinformationssysteme) zu bilden.
%  \end{itemize}
   Verantwortlich f\"ur  den Rahmenantrag sind:
   Prof. Endres (GI), Prof. Gr"otschel (DMV) und Prof. Hilf (DPG).\\
   Die Fachgesellschaften planen ferner, j"ahrlich einen gemeinsamen Workshop
   zu Fragen von elektronischer Information und Kommunikation zu veranstalten.
   Der erste Workshop dieser Art soll in der Woche
   vom 6.-- 10.3.95 stattfinden. Die Organisation wird vom ZIB Berlin
   "ubernommen.
}

\vspace{1em}\hrule\vspace{1em}

{\bf
\begin{center}
 Verteiltes  Informationssystem f"ur die Mathematik \\
% -- Kurzfassung eines Projektplans der DMV --
%\label{infomath}
\end{center}}

{\footnotesize
Aufbauend auf das laufende,
BMFT-gef"orderte Projekt ``Fachinformation'' der Deutschen
Mathe\-ma\-ti\-ker-Vereinigung (DMV) plant die DMV eine
Querschnittsaktivit"at f"ur ein ''Verteiltes  Informationssystem 
f"ur die Mathematik''.

Eine vollst"andige Beschreibung des Projektplans der DMV 
%f"ur ein ''Verteiltes  Informationssystem f"ur die Mathematik'' 
mit einer ausf"uhrlichen Literaturliste findet sich in dem Report TR--94--7:
{\em Wolfgang Dalitz, Martin Gr\"{o}tschel, Joachim L\"ugger,
Wolfram Sperber
 ``Neue Perspektiven eines  verteilten Informationssystems
f"ur die Mathematik''
 Konrad-Zuse-Zentrum f\"ur Informationstechnik Berlin, August
1994\/},
der auch in elektronischer Form zur Verf"ugung steht.
Man erh"alt ihn mittels anonymous ftp wie folgt:

 {\tt ftp elib.zib-berlin.de},
 Name: {\tt anonymous},
 Password: $<$specify your e-mail address$>$ , \\   
 {\tt cd  /pub/zib-bibliothek/reports/TR-94-07},
 {\tt get TR-94-07.ps.Z}

{\bf Kontakt:}  Wiss.~Dir.~Joachim L"ugger
{\tt  luegger@zib-berlin.de}


Die fachliche Gesamtverantwortung f"ur die Projektplanungen liegt bei dem
derzeitigen Vorsitzenden der DMV, Prof. Dr. M. Gr"otschel
           {\tt groetschel@zib-berlin.de}
F"ur die elektronische Diskussion ist ein Mailverteiler eingerichtet, an
dem sich alle an der Thematik des verteilten Informationssystem
Interessierten beteiligen k"onnen,
           {\tt dmv-ug-pvefm@zib-berlin.de}
der von Dr.~Sperber {\tt (sperber@zib-berlin.de)} moderiert wird.
}

\vspace{1em}\hrule\vspace{1em}

{\bf
\begin{center}
Die Fachinformationsinitiative der Gesellschaft f"ur Informatik (GI) e.V.
\end{center}}

{\footnotesize
Auf der Mitgliederversammlung der GI 1993 in Dresden wurde vom 
damaligen Pr"asidenten der GI (Prof. Dr. R. Vollmar) die Gr"undung des
Pr"asidiumsarbeitskreises Fachinformation bekanntgegeben.

Informationen "uber den Arbeitskreis erhalten Sie von seinem Sprecher, 
Prof. Dr.  A. Endres, TU M"unchen, \\
({\tt endres@informatik.uni-freiburg.de}).
Das F"ordervorhaben mit allen Einzelantr"agen ist beschrieben in 
einer Gruppe von Dokumenten, die f"ur Sie frei zug"anglich sind, 
und zwar "uber den ftp-Server: \\
{\tt ftp.informatik.uni-freiburg.de} 
im Verzeichnis {\tt AKFachinformation}.
}





%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     Systeme                                                     %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

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

\begin{center}
{\Large {\bf
\simath-3.8.1
}}
\end{center}\label{simath}

SIMATH wird an der Universit\"at des Saarlandes am Lehrstuhl von Prof.
Dr.  H.G. Zimmer -- haupts\"achlich f\"ur Anwendungen in der
algebraischen Zahlentheorie und der Theorie der elliptischen Kurven --
entwickelt. Das System besteht aus mehreren C--Biblioheken, einer
Schnittstelle zu diesen Bibliotheken (mit aus\-f\"uhr\-li\-cher
Online--Hilfe) und einem interaktiven ``Calculator'' ({\it
  simcalc\/}).

Alle Datentypen in SIMATH (beliebig lange ganze, rationale, reelle,
komplexe Zahlen; Polynome in beliebig vielen Ver\"anderlichen;
rationale Funktionen; elliptische Kurven und Punkte auf elliptischen
Kurven; etc.) sind auf der Basis einfach--verketteter Listen
implementiert.  Eine {\it automatische\/} garbage--collection macht es
sehr einfach, mit Hilfe der SIMATH--Bibliotheken eigene Programme zu
schreiben.

SIMATH enth\"alt sehr viele h\"ohere Algorithmen aus dem Bereich der
algorithmischen algebraischen Zahlentheorie und der Theorie der
elliptischen Kurven, etwa Tate-- und Manin--Algorithmus,
Schoof--Shanks--Algorithmus in Prim\-k\"or\-pern und in endlichen
K\"orpern der Charakteristik $2$, Ganzheitsbasenberechnung von Zahl--
und Funktionenk\"orpern, Zerlegungsgesetze in Zahl-- und
Funktionenk\"orpern, und vieles andere mehr.

\vspace{12pt} Seit Version 3.7 haben sich im wesentlichen die
folgenden Punkte ver\"andert:
\begin{itemize}
\item Viele neue Programme (beispielsweise die Berechnung der
  Punktanzahl elliptischer Kurven in Charakteristik $2$ und und der
  Tate--Algorithmus \"uber quadratischen Zahlk\"orpern) sind zu den
  SIMATH--Bibliotheken hinzu\-ge\-kom\-men. Einige sind auch in
  simcalc verf\"ugbar.
\item Die Arithmetik endlicher K\"orper (von beliebigem Grad \"uber
  dem Grund\-k\"orper) und die komplexe Arithmetik sind in {\it
    simcalc\/} verf\"ugbar.
\item Zumindest auf Sun Workstations kann {\it simcalc \/} die GNU
  {\it readline\/}--Bib\-lio\-thek benutzen und erm\"oglicht dadurch
  ein einfaches Editieren der Kommandozeile und einen effizienten
  History--Mechanismus.
\item {\it simcalc \/} erm\"oglicht jetzt verschiedene
  Schleifenkonstruktionen mit Hilfe von {\it while, dowhile, for,
    forstep, forprime\/} und {\it if}.
\item SIMATH wurde auf HP und SGI--Workstations portiert. Die
  Installation des Systems ist durch Verwendung von Makefiles
  transparenter und flexibler geworden.
\end{itemize}

    \begin{flushright}
      Horst G"unter Zimmer (Saarbr"ucken)
    \end{flushright}


 \hrule\vspace{1mm}

\begin{center}
{\Large {\bf
\magma
}}
\end{center}\label{magma}

Magma is a radically new software system for computational algebra, number theory and geometry. It provides a mathematically rigorous environment for computing with algebraic structures (groups, rings, fields, modules, algebras), geometric structures and combinatorial structures.
A novel feature of the system lies in its emphasis on structural computation. By this is meant the ability to perform operations such as finding a ''standard basis'', testing membership, determining global properties etc. for an algebraic structure, which may be finite or infinite.
Magma was launched at a conference held at Queen Mary and Westfield College, August 23 -- 27, 1993. This document is designed to provide some general information.
There are two companion documents, ''Summary of categories and their operators in Magma'', and ''Examples of Magma calculations and programs.'' The former one is enclosed, and the latter one can be retrieved by anonymous ftp from {\tt canb.can.nl} in the directory {\tt pub/magma}.

\begin{description}
\item[{\bf Types}] 
The system design adapts ideas from Object-Oriented programming where the OO classes are derived from notions in Universal Algebra and Category Theory. The primary concept is that of a magma (a set with a law of composition). Thus, types correspond to magmas; a collection of magmas sharing a common representation form a category (e.g. the category of permutation groups); a collection of categories satisfying the same set of identical relations form a variety (e.g. the variety of groups). In particular,
{\it the variety operations - substructure, homomorphic image, and Cartesian product are available as uniform constructors across all categories,
Functors may be used to move between categories.
\/}
Every object created in Magma, is either a magma or is defined in terms of one or more magmas. This approach provides the user with precise control over the operations that may be performed on an object x since these are completely determined by the magma to which x belongs.
The aggregate data types are sets (finite and infinite), sequences (finite and infinite), Cartesian products, tuples, and mappings. A feature of the language is the provision of powerful set and sequence constructors based on the use of predicates.

\item[{\bf The Language}]

The main features of the user language are:
{\it  Imperative language with standard imperative-style statements and procedures -
 the language contains an functional subset providing standard features such as closures, higher-order functions, and partial evaluation - 
 Dynamic typing - 
 the general aggregate data types correspond to the fundamental concepts of algebra: set, sequence, mapping, magma - 
 universal structure constructors provide a general mechanism for constructing magmas - 
 simple but powerful notation for constructing sets and sequences in a natural mathematical style -
 set and sequence operations are implemented with a strong emphasis on efficiency -
 coercion between magmas (including automatic coercion) -
 user-defined OO classes will be available in 1994.
\/}
\item[{\bf The Kernel Magmas}]

The efficiency of Magma's implementations of fundamental algorithms is designed to be similar that that achieved by specialist programs. This is achieved by having optimized implementations of a large number of fundamental algebraic algorithms encoded as part of the C kernel of the system. To avoid having to re-implement many highly complex algorithms, an internal software bus allows the integration of C code written independently at the cost of a modest amount of effort. Consequently, many key Magma functions are implemented by highly optimized programs written by the experts in the appropriate areas.
The major categories of magma currently supported in the kernel include:
Semigroups: Finitely presented semigroups -
Groups: Finitely presented groups, permutation groups, soluble groups and matrix groups -
Rings: Ring of integers, order in a number field -
Fields: Galois fields, rational field, number fields, function fields, real field, complex field -
Algebras: Finitely presented algebras, polynomial algebras, matrix algebras, power series algebras, group algebras (in preparation) -
Modules: R-modules (with scalar or matrix action); Hom(M, N), where M and N are R-modules; K[G]-modules; lattices -
Geometric structures: Elliptic curves (in preparation) -
Incidence structures: Graphs, codes, finite geometries (in preparation)

\item[{\bf Cayley and Magma}]

Magma has been developed by the Computational Algebra Group at the University of Sydney. Support was provided by the Australian Research Council. Between 1975 and 1985, this group produced the Cayley system for group theory and related areas. Some 18 years of field experience with Cayley provided a starting point for the design of Magma. However, Magma is designed as a general algebra system in contrast to the more limited objectives of Cayley. In addition to providing a vast expansion in its coverage of algebra, Magma currently contains approximately 90 per cent of the facilities of Cayley and the remainder will be installed over the next few months.
Distribution of Magma will commence in November 1993 with the public release of Magma V1.
At that time distribution of Cayley will cease. While Cayley and Magma are not compatible, a translator has been written to assist in the conversion of Cayley code to Magma code. All Cayley sites with a licence current on or after 1 January, 1993 will be automatically upgraded to Magma.

\item[{\bf Platforms}]

The initial release of Magma will be available for the following processors:
SUN 4, SUN 10 under SUNOS 4.x and Solaris 2,
DECstation under Ultrix,
IBM RS/6000 under AIX,
HP9000/700 series under HP-UX,
Apollo M680x0 based machines, DN10000,
Macintosh running A/UX 2.01 or higher.
It is expected, that a 386/486 version for PCs will be available in the first quarter of 1994. Implementations for other UNIX-based machines will depend upon demand.

\item[{\bf Ordering Information}]

For more information, or to order the system, contact:
The Secretary,
Computational Algebra Group,
School of Mathematics,
University of Sydney,
NSW 2006,
Australia

Email: {\tt magma@maths.su.oz.au},
Telephone: +61 2 692 3338,
Fax: +61 2 692 4534
\end{description}

 \hrule\vspace{1mm}

\begin{center}
{\Large {\bf
Schneller und garantiert fehlerfrei -- \\
VLSI-Koprozessor f"ur exakte Vektorarithmetik
}}\label{bohlender}
\end{center}

%\vspace{1ex}

Gleitkommaprozessoren bilden die zentrale Mikrochip--Hardware
in heutigen Rechenanlagen aller Art.
Gleitkommaarithmetik ist durch die notwendigerweise auszuf"uhrenden
Rundungen grunds"atzlich fehlerbehaftet.
Eine l"angere herk"ommliche Gleitkommarechnung produziert aber h"aufig
auch noch unn"otige Rundungs-- und Akkumulationsfehler.
Diese erschweren insbesondere im technisch--wissen\-schaftlichen Bereich
die Modellierung, Simulation und Konstruktion komplexer Systeme.
Daf"ur gibt es viele, leicht vorf"uhrbare Beispiele.

\bigskip

Die Arbeitsgemeinschaft Mathematik--Informatik--Mikroelektronik (MIM),
Karls\-ruhe--Ham\-burg--Stutt\-gart\footnote{\parbox[t]{0.9\textwidth}{
  Institut f"ur Angewandte Mathematik, Universit"at Karlsruhe
  (Prof.\ U. Kulisch) \\
  Institut f"ur Informatik, TU Hamburg--Harburg
  (Prof.\ Th.\ Teufel) \\
  Institut f"ur Mikroelektronik Stuttgart
  (Prof.\ B. H"offlinger)}},
hat mit F"orderung durch die VW--Stiftung innerhalb von zwei Jahren
einen 33 MHz VLSI Vektor\-arith\-metik--Kopro\-zessor mit integriertem 32--Bit
PCI--Interface entwickelt und in $0,8 {\mu}m$ CMOS--Technologie gefertigt.
Er erf"ullt den von der Gesellschaft f"ur Angewandte Mathematik
und Mechanik (GAMM)
und der International Association for Mathematical Computer Simulation (IMACS)
vorge\-schlagenen Standard f"ur exakte Vektorarithmetik in vollem Umfang.
Der Prozessor ist weltweit der erste Vektor\-arith\-metik--Kopro\-zessor
auf einem Chip.
Zudem ist er der erste in Deutschland entworfene und hergestellte
Gleit\-komma\-arith\-metik--Pro\-zes\-sor in VLSI--Technologie "uberhaupt.
Der Chip enth"alt \mbox{200 000} Transistoren.
Im Computer wirkt er wie ein Katalysator in doppeltem Sinne:
Er beschleunigt die Rechnung und eliminiert viele unn"otige Rundungsfehler.
Skalarprodukte berechnet er beispiels\-weise doppelt so schnell wie
 herk"ommliche
33 MHz Gleit\-komma\-arith\-metik--Pro\-zes\-soren und liefert im Gegensatz zu diesen
immer das richtige Ergebnis mit voller Genauigkeit oder mit nur einer einzigen
Rundung.
Dies wird erreicht durch seine neuartige
VLDW--Architektur\footnote{Very Long Data Word}.
Er beschleunigt bisherige Software--Simulationen in entsprechenden
Sprachumgebungen von PASCAL, FORTRAN, C und C++ um den Faktor 100.
Die Arbeitsgemeinschaft MIM hat mit diesem Erfolg gezeigt,
welches Wissens-- und Technologiepotential man auch in Deutschland
durch kreative interdisziplin"are Zusammenarbeit mobilisieren kann.

\bigskip

Der von der GAMM und der IMACS vorgeschlagene Standard f"ur exakte
Vektorarithmetik hat das enorme Potential,
die heute auf allen Gro{\ss}rechnern, Workstations und PCs hardwarem"a{\ss}ig
zur Verf"ugung stehende elementare Standard--Gleitkommaarithmetik
auf einem h"oheren Datenniveau wirkungsvoll zu erg"anzen.
Ein--Chip--CPUs enthalten heute bereits mehr als 1 Million Logiktransistoren.
Eine wirtschaftliche Realisierung des neuen Vektor\-arith\-metik--Kopro\-zessor mit
200 000 Transistoren ist also problemlos m"oglich.
Der neue Vektorarithmetik--Koprozessor auf einem Chip st"o{\ss}t die T"ur auf
zu einer neuen "Ara schneller und pr"aziser Rechen-- und Computertechnik.

\bigskip

Die Arbeitsgemeinschaft MIM schl"agt angesichts des realisierten Meilensteins
eines 33 MHz Vektor\-arith\-metik--Kopro\-zessor mit integriertem PCI--Interface vor,
die erreichte Position zu einem strategischen Vorsprung auszubauen
und f"ur die Klasse der 100 MHz Workstations mit PCI--Bus einen
Koprozessor f"ur exakte Vektorarithmetik mit integriertem 64--Bit
PCI--Interface zu entwickeln,
welcher mittels zus"atzlicher VLDW--Register und erweiterter Funktionalit"at
bei vielen Anwendungen eine automatische Ergebniskontrolle beschleunigt.
Dieser Chip w"urde gegen"uber dem jetzigen bis zu 10 mal schneller sein,
ca.\ 350 000 Transistoren enthalten und in $0,6 {\mu}m$ CMOS--Technologie
Ende 1996 zur Verf"ugung stehen.
Er w"are geeignet, der Welt des wissenschaftlichen Rechnens wesentliche Impulse
zu verleihen.

\begin{flushright}
Arbeitsgemeinschaft MIM (Karlsruhe)
\end{flushright}
 \hrule\vspace{1mm}

\begin{center}
{\Large {\bf
\mupad\ 1.2.1
}}
\end{center}\label{MuPAD}
\mupad (Multi Processsor Algebra Datatool) liegt ab dem 15. Oktober in der Version 1.2.1 vor. Diese  weist gegen"uber der bisher verteilten Version 1.2 wesentliche Verbesserungen sowohl im Kernbereich wie bei den Interfaces und 
dem Graphiktool auf. \mupad\ kann als Demoversion via anonymous ftp vom Server
athene.uni-paderborn.de bezogen werden. Eine kostenlose Registrierung bei der
\mupad-Gruppe f"uhrt zur Erteilung eines Codes, der die Demoversion in eine
Vollversion umwandelt. Die wichtigsten Neuerungen umfassen:
\begin{itemize}
\item Integration.
\item Bibliothek `Lineare Algebra'. Diese Bibliothek ist vollst"andig in
  \mupad's Domain-Konzept eingebettet.
\item Ca. 30 neue Funktionen aus dem Bereich der Zahlentheorie.
\item Graphikprimitive, die es erm"oglichen, Punkte und Polygone zu zeichnen.
  Eine benutzerdefinierbare Farbfunktion kann nun spezifiziert werden.
\item Das Domain- und Kategorie-Konzept wurde vollst"andig "uberarbeitet. Es
  stellt eine Hierarchie von Datentypen zur Verf"ugung und erm"oglicht 
  objekt-orientierte Programmierung (Vererbung, "Uberladung von Operatoren).
\item Dynamische Module, die zur Laufzeit bei Bedarf direkt an den \mupad-Kernel
  gebunden werden k"onnen, wurden erweitert.
\end{itemize}
\mupad\ ist nun f"ur Sun SPARC, IBM RS/6000, DECstation, Silicon Graphics,
PC (Linux und NetBSD) und Macintosh verf"ugbar. An einer Implementierung auf
Sun Multiprozessoren wird gearbeitet. Weitere Informationen k"onnen auch
"uber den neu eingerichteten \mupad\ WWW-Service bezogen werden (siehe auch den entsprechenden Artikel auf Seite \pageref{infomupad} ). Die URL der
\mupad\ - Home Page lautet: {\tt http://math-www.uni-paderborn.de/\~{ }cube/}\\

 \vspace{1mm}\hrule\vspace{1mm}

\begin{center}
{\Large {\bf
\axiom\ 2.0
}}
\end{center}\label{axiom}

 {\axiom} Release 2 is now in the final stages of preparation for release and
 incorporates some significant and exciting enhancements.  There is a
 completely new library compiler, an interactive link with routines from the
 NAG Fortran Library and a number of additions to the {\axiom} Library of
 algorithmic components.

 For new readers and those of you who are not yet familiar with {\axiom}, here
 is a brief background.

 {\axiom} is a powerful computer algebra package with a distinctive pedigree.
 It was originally developed as a research tool by Richard Jenks' Computer
 Mathematics Group at the IBM Research Laboratory in New York.  The project
 began in 1978 under the name Scratchpad and the first release of {\axiom} was
 launched in 1991.  The research group is widely recognised for some
 outstanding achievements in the field of computer algebra and their work
 was augmented by contributions from a multitude of experts around the
 world.  This collaboration continues to play an important part in the
 development of {\axiom}.

 The object oriented design of {\axiom} is unique in its recognition of a
 `universe' of mathematical components and the relationships amongst them.
 The strong typing and hierarchical structure of the system leads to it
 being both consistent and robust.  Many users are wary of strongly typed
 languages but {\axiom} employs comprehensive type-inferencing techniques to
 overcome problems encountered in some older packages.  It is a very open
 system with all library source code held on-line.  This means that all the
 algorithms employed and the type-inferencing performed on behalf of the
 user are readily visible - making {\axiom} particularly attractive for
 teaching purposes.

 {\bf The New Library Compiler}
 The library compiler has been completely rewritten for version 2.  It
 supports both object-oriented and functional programming styles.  It is a
 richly expressive language which can produce:
\begin{itemize}
 \item stand-alone executable programs
 \item object libraries in native operating system formats
 \item portable byte code libraries
 \item C or Lisp source code
\end{itemize}
 This means that users can develop their own `code' and add it in compiled
 form to the {\axiom} library which leads to significant performance
 improvements.  {\axiom} is the only computer algebra package providing such a
 facility.  Code can also be `lifted out' of the {\axiom} system to form
 stand-alone programs which are independent of the {\axiom} environment.

 The object libraries can be linked to generate application programs which
 can also incorporate C or Fortran code.  The byte code libraries are used
 by the compiler for inter-file optimization and can be interpreted.  Such
 power and generality in a language is often achieved at the expense of
 performance but this is not the case with this compiler; the executable
 programs are, in many instances, as efficient as those produced by C or
 Fortran compilers.

 {\bf The NAG Foundation Library Link}
 The link allows routines in the library to be called directly from within
 {\axiom}.  This can be achieved very simply through {\axiom}'s HyperDoc
 interface; the user is offered a list of the chapters contained within the
 Foundation library, each of which covers a particular area of numerical
 analysis.  Having selected an option, the user can then consult general
 chapter documentation or browse through the individual routines.
 Processing can be distributed to optimize the use of computing resources;
 the numerical computation might, for example, be performed on a Cray with
 {\axiom} running on a workstation.

 {\bf In Conclusion,}
 with these new capabilities {\axiom} has become the ideal platform for
 application development.  {\axiom} library code can be combined with
 user-generated code and with code from other libraries and programs to
 create whatever mix is required to solve a particular problem or set of
 problems.

 Mathematics underpins so many different subjects that the list of potential
 applications is very long.  The system will appeal to scientists and
 engineers across all disciplines - mathematics, physics, chemistry,
 biology, finance, telecommunications, economics, statistics and many, many
 more.

 {\bf Address of authors}
Valerie Stanley and
Steve J. Hague,
NAG Limited, Wilkinson House,
Jordan Hill Road,
GB Oxford OX2 8DR,
Tel.: +44-865-511245,
Telefax: +44-865-310139,\\
Email : {\tt valerie@nag.co.uk,  steve@nag.co.uk,  infodesk@nag.co.uk}


\begin{flushright}
Valerie Stanley and
Steve J. Hague (Oxford, England)
\end{flushright}

\indent

\newpage
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     Publikationen                                               %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\vspace*{5mm}
{\Large\bf
\hrule\vspace{1mm}

\centerline{Publikationen "uber Computeralgebra}\vspace{1mm}}\hrule
\label{publ}
\begin{itemize}


\item {Baylis, W.E.}, { \sl Theoretical Methods in Physical Science, An Introduction to Problem Solving using Maple V}, \Birkhaeuser, {ISBN 3-7643-3715-x}, {1994}, {appr. 200pp.}. 

\item {Benker, H.}, { \sl Mathematik mit dem PC}, \Vieweg, {ISBN 3-528-05413-1}, {1994}, {254pp.}, DM 39,80. 

\item {Bhubaneswar, Mishra}, { \sl Algorithmic Algebra}, \Springer, {ISBN 0-387-94090-1}, {1994}. 

\item {Burkhardt, W.}, { \sl Erste Schritte mit Maple}, \Springer, {ISBN 3-540-56649-x}, {1994}, {appr. 140pp.}, DM 28,- . 

\item {Ellis, W., Johnson E., Lodi E., Schwalbe D.}, { \sl Maple V in der mathematischen Anwendung, Maple V Flight Manual, f"ur Rel. 2 und 3 }, \Thomson, {ISBN 3-929821-21-4}, {1994}, {203pp.}, DM 49,-.

Dieses Buch ist eine "Ubersetzung des 
englischen Buches, das im letzten Rundbrief besprochenen wurde.

\item {Eyssette, F., Galligo, A.}, { \sl Computational Algebraic Geometry, 2nd edition}, \Birkhaeuser, {ISBN 3-7643-3678-1}, {1992}, {328pp.}. 

\item {Feagin, J.M.}, { \sl Quantum Mechanics with Mathematica - A Labtext}, \Springer, {ISBN 3-540-97973-5}, {1993}, {appr. 448pp.}, DM 98,- . 

\item {Fuchssteiner, B. et al.}, { \sl \mupad, Benutzerhandbuch}, \Birkhaeuser, {ISBN 3-7643-2872-x}, {1994}, {448pp.}. 

\item {Fuchssteiner, B. et al.}, { \sl \mupad, Tutorial}, \Birkhaeuser, {ISBN 3-7643-5017-2}, {1994}, {197pp.}. 

\item {Hehl, Winkelmann, Meyer}, { \sl REDUCE (2. Aufl.)}, \ {ISBN }, {1994}. 


\item {Koepf, W., Ben-Israel, A., Gilbert, B.}, { \sl Mathematik mit DERIVE}, \Vieweg, {ISBN 3-528-06549-4}, {1994}, {394pp.}, DM 49,80. 

\item {Koepf, W.}, { \sl H"ohere Analysis mit DERIVE}, \Vieweg, {ISBN 3-528-06594-x}, {1994}, {206pp.}, DM 38,-.

\item {Kofler, M.}, { \sl {M}aple {V} {R}elease 2, {E}inf\"uhrung und {L}eitfaden f\"ur den {P}raktiker}, \AddisonWesley, {ISBN 3-89319-635-8}, {1994} {512pp.}, DM 69,90. 

\item {Kofler, M.}, { \sl {M}aple {V} {R}elease 3, {E}inf\"uhrung und {L}eitfaden f\"ur den {P}raktiker}, \AddisonWesley, {ISBN 3-89319-743-5}, {1994} {appr. 520pp.}, DM 69,90. 

\item {Lee, T.}, { \sl Mathematical Computation with Maple V: Ideas and Applications}, \Birkhaeuser, {ISBN 3-7643-3724-9}, {1993}. 

\item {Lopez, R.J.}, { \sl Maple V, Mathematics and its Applications}, \Birkhaeuser, {ISBN 3-7643-3791-5}, {1994}, {248pp.}. 

\item {Lopez, R.J.}, { \sl Maple via Calculus, A Tutorial Approach}, \Birkhaeuser, {ISBN 3-7643-3771-0}, {1994}, {248pp.}. 

\item {Redfern, D.}, { \sl The \maple\ Handbook, \maple\ V Rel. 3, 2nd Ed.}, \Springer, {ISBN 3-540-94331-5}, {1994}, {appr. 500pp.}, DM 48,-. 

\item {Riesel, H.}, { \sl Prime Numbers and Computer Methods for Factorization}, \Birkhaeuser, {ISBN 3-7643-3743-5}, {1994}, {appr. 488pp.}. 

\item {{M}aeder, R. E.}, { \sl {I}nformatik f\"ur {M}athematiker und {N}aturwissenschaftler. {E}ine {E}inf\"uhrung mit {M}athematica.}, \AddisonWesley, {ISBN 3-89319-519-X}, {1994} DM 69,90. 




\end{itemize}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     Besprechungen zu B"uchern der Computeralgebra               %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\vspace*{5mm}
{\Large\bf
\hrule\vspace{1mm}

\centerline{Besprechungen zu B"uchern der Computeralgebra}\vspace{1mm}}\hrule
\label{buchbespr}
\begin{itemize}

\item {Clausen, M., Baum, U.}, { \sl Fast Fourier Transforms}, BI Wissenschafts"-verlag, Mannheim, {ISBN 3-411-16361-5}, {1993}.\label{clausen}

Diese Monographie ist der diskreten Fouriertransformation (DFT)
gewidmet. Seit dem Entwurf des 
Algorithmus von Cooley und Tukey (FFT) 1965 zur schnellen 
Fouriertransformation spielt dieser Algorithmus eine zentrale 
Rolle in Anwendungen der Computeralgebra (Schnelle Polynommultiplikation,
schnelle Zahlmultiplikation) sowie in der Signalverarbeitung und in der
Codierungstheorie.

In diesem Buch wird eine in sich geschlossene Theorie dieser Klasse
von Algorithmen entwickelt. Der Ausgangspunkt ist die 
von Th.~Beth vorgeschlagene
Interpretation der diskreten Fouriertransformation in der
Darstellungstheorie der endlichen Gruppen.
Nach einf"uhrenden
Beispielen werden die notwendigen Resultate aus der 
Darstellungstheorie bereitgestellt, ebenso die Grundlagen der
ben"otigten algebraischen Komplexit"atstheorie (Linear Complexity).

Sodann werden Algorithmen zur DFT f"ur verschiedene
Klassen von Gruppen entwickelt.
F"ur abelsche Gruppen $G$ --
der Spezialfall zyklischer Gruppen korrespondiert zum klassischen
Algorithmus von Cooley und Tookey --
wird ein Algorithmus von Baum, Clausen und Tietz
mit linearer Komplexit"at beschr"ankt
durch $8\vert G\vert\log\vert G\vert$ angegeben. 
Nach einem allgemeinen Resultat zu unteren Schranken werden mit
Hilfe von Cliffordtheorie -- Zusammenhang zwischen der Darstellungstheorie
eine Gruppe und ihren Normalteilern -- und symmetrieangepa"sten DFTs 
-- Einschr"ankungen der Darstellungen auf Untergruppen aus 
einer Kette von Untergruppen {\sl sind} (!) direkte Summen 
von irreduziblen Darstellungen, wobei zudem noch "aquivalente 
irreduzible Konstituenten {\sl gleich} (!) sind --
schnelle Algorithmen  zur diskreten Fouriertransformation
f"ur auf\/l"osbare, "uberauf\/l"osbare Gruppen  und symmetrische
Gruppen entwickelt. Die meisten Resultate stammen aus Arbeiten der
beiden Autoren aus den letzten Jahren. Abschlie"send wird auf
Spektralanalyse und einige weitere Beispiele wie Anwendung auf
Rangfolgebestimmungen (nach Diaconis) aus der Statistik  eingegangen.

Das Buch ist sehr motivierend und klar geschrieben. Jeder Abschnitt
enth"alt "Ubungsbeispiele. Es eignet sich also gut f"ur eine
Vorlesung nach dem Vordiplom in Informatik oder Mathematik und
ist eine Bereicherung f"ur jeden, den eine klare, algebraische
Fundierung dieser Algorithmenklasse interessiert.

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


\item 
{Gander, W.,  H\v reb\'\i\v cek, J.,}
{\sl Solving Problems in Scientific Computing Using \maple\ and
\matlab},\label{gander}
Springer-Verlag, Heidelberg 1993
ISBN 3-540-57329-1,
268 Seiten, DM 78,00.

Das Buch enth"alt eine Sammlung von 19 verschiedenen
Artikeln von insgesamt 10 Autoren, wobei jeweils ein {\sl Real-Life-}Problem
des Wissenschaftlichen Rechnens gel"ost wird. Das Buch entstand als
Gemeinschaftsprojekt des Instituts f"ur Wissenschaftliches Rechnen
der ETH Z"urich und zwei Instituten der Universit"at Br"unn.

Das Ziel der Sammlung ist es, f"ur  Vorlesungen und "Ubungen nicht-triviale
Beispiele
 zum Erlernen von Methoden und L"osungsans"atzen des Wissenschaftlichen
Rechnens,
 insbesondere durch Computeralgebra-Techniken, bereitzustellen. Dies ist
dank der Verwendung des \cas s \maple\ und gelegentlich von \matlab\ m"oglich.


Ich halte die Zusammenstellung f"ur sehr gelungen und kann
empfehlen,  sie in Praktika und "Ubungen zum Erlernen modernen Techniken
der \ca\ einzusetzen. Da der Augenmerk in der Sammlung stets auf die
Probleml"osung gerichtet wird und au"serdem vorausgesetzt wird, da"s
man bereits Grundkenntnisse in \maple\ bzw. \matlab\ hat, kann ich
mir gut vorstellen, da"s die Verwendung des Buches auch sinnvoll ist,
wenn man andere \cas e benutzen will. Auch als Kombination --
zuerst eine Einf"uhrung in die ben"otigten Methoden des Systems, dann
L"osen eines Problems aus dieser Sammlung -- erscheint mir das Buch
gut geeignet.

Die ausgew"ahlten Probleme sind aus den Bereichen Numerik, Ingenieurprobleme
und Physik, im einzelnen:
{\sl
The Tractrix and Similar Curves,
Trajectory of a Spinning Tennis Ball,
The Illumination Problem,
Orbits in the Planar Three-Body Problem,
The Internal Field in Semiconductors,
Some Least Squares Problems,
The Generalized Billiard,
Mirror Curves,
Smoothing Filters,
The Radar Problem,
Conformal Mapping of a Circle,
The Spinning Top,
The Calibration Problem,
Heat Flow Problems,
Penetration of a Long Rod into a Semiinfinite Target,
Heat Capacity of System of Bose Particles,
Compression of Metal Disk,
Gauss Quadrature,
Symbolic Computation of Explicit Runge-Kutta Formulas.
}
\begin{flushright}
Johannes Grabmeier (Heidelberg)
\end{flushright}


\item {{S}chaper, R.}\label{schunck}, { \sl {G}rafik mit {M}athematica. {V}on den {F}ormeln zu den {F}ormen.}, \AddisonWesley, {ISBN 3-89319-612-9}, {1994} DM 69,90 348pp.
 
{\noindent
Das Buch besch\"aftigt sich mit den Grafikf\"ahigkeiten des
Programm-Paketes Mathema\-ti\-ca, das Computeralgebra, Numerik
und Grafik integriert.
Es ist das Ergebnis einiger Sommer-Workshops' des Autors zur Visualisierung
an der Universit\"at Klagenfurt. Jeder Mathematica-Version 2.2-Besitzer
im Beruf oder in der Schule wird immer wieder gerne darauf zur\"uckgreifen
oder Anregungen entnehmen, um seine Arbeiten noch besser
pr\"asentieren zu k\"onnen. Das Buch geht sogar auf k\"unstlerische
M\"oglichkeiten ein.

\smallskip
\noindent
Zweidimensionale (2D) und dreidimensionale (3D) Grafiken, Farbgebung
und Beschriftung der Grafiken, komplexwertige
Funktionen, Animationen, optische T\"auschungen, Balken- oder
Tortendiagramme, Fraktale, Turtle-Grafiken
als Ergebnis eines einfachen, iterierten Logo-Programmes,
physikalische Anwendungen, einbinden in \TeX -Dateien
(\TeX\ ist ein Textverarbeitungssystem), drucken der Resultate,
dies alles bespricht der Autor und zeigt die
umfangreichen Grafikf\"ahigkeiten von Mathematica auf. Aber dar\"uberhinaus
macht er auch auf Fehlerquellen aufmerksam, die in Mathematica
auftreten, und zeigt, wie diese zu beheben sind. Man findet eine
Vielzahl von Tips und Tricks. Erl\"auterungen zu den von Mathematica
verwendeten Algorithmen der 2D- und 3D-Plots bringen eine tiefere
Einsicht, so da\ss\ der
Mathematica-Benutzer Fehler leichter vermeiden kann. Zugleich aber wird
an einigen sehr eindrucksvollen Gra\-fi\-ken gezeigt,
was die Herstellung f\"ur einen zeitlichen Aufwand kostet, wie etwa
das zeit\-auf\-wendige Suchen der korrekten
Koordinaten zur Beschriftung von Teilen der Grafiken.
Ferner wird auf die Verwendung griechischer Buchstaben hingewiesen.
Dann bleibt f\"ur einen selbst nur noch das Problem, ob der eigene Drucker
auch tats\"achlich diesen Schrifttyp besitzt.

\smallskip
\noindent
In den ''Galerien'' (zwei Abschnitte im Buch) finden sich eine Auswahl
vom Autor ent\-wickelter oder in anderen
B\"uchern gefundener, besonders interessanter 2D- und 3D-Abbildungen.
In weiteren acht Farbtafeln werden einige Grafiken besonders
hervorgehoben. Ein Bonus f\"ur jeden Anwender von Farben
ist die Rot-Gelb-Blau-(RGB)-Farb\-ta\-belle, in der
man alle in Mathematica voreingestellten 194 Farben finden kann,
die allerdings auch im Mathematica-Paket {\it Graphics `Colors'}
enthalten sind.

\smallskip
\noindent
Das Buch wird durch Hinweise auf
weitere Mathematica-B\"ucher abgerundet. Besonders hilfreich beim
Durcharbeiten der Beispiele ist eine 3 1/2-Zoll-Diskette, auf der
s\"amtliche im Buch be\-schrie\-be\-nen Befehle und Programme
enthalten sind. So kann man am
eigenen Computer die Resultate farbig genie"sen, die im Buch (bis auf die
Farbtafeln) nur in Schwarz-Wei\ss\  dargestellt sind.

\smallskip
\noindent
Schapers Buch ist wegen seiner Ausf\"uhrlichkeit und der sehr gut
durchdachten Dar\-stel\-lung jedem Grafikanwender w\"armstens zu
empfehlen.
}

\begin{flushright}
Franz Schunck (K\"oln)
\end{flushright}

\item {{S}pieth, A.}, { \sl {M}aple {V}, {R}elease 2, {R}eferenzhandbuch.}, \Thomson, Hrsg. J. Lammarsch, Universit\"at Heidelberg, 
{ISBN 3-929821-73-7}, {1994} DM 59,00, 315pp.\label{weispf}
 
Das Buch erg\"anzt die inzwischen stattliche Reihe von englischsprachigen
B\"uchern zum Umgang mit dem Computeralgebra-System MAPLE. Es ist ganz auf
den/die deutschsprachigen Anwender/in ausgerichtet, der/die m\"og\-lichst
direkt und ohne viel Umschweife ein mathematisches Problem l\"osen
m\"ochte, das er/sie theoretisch versteht.

Im Vordergrund steht demnach eine m\"oglichst vollst\"andige, aber
doch ge\-dr\"ang\-te \"Ubersicht \"uber die vorhandenen mathematischen
Funktionen -- wiederum ausgerichtet auf jemanden, der mit den
englischen Hilfetexten oder Referenzb\"anden Schwierigkeiten hat.
Hinzu kommen n\"utzliche Hinweise zum praktischen Umgang mit MAPLE,
wie etwa Graphik, Editieren, Programmieren in
MAPLE. Insgesamt erf\"ullt das Buch seinen intendierten Zweck recht
gut. 

Einige kritische Anmerkungen sind allerdings angebracht bei der
teilweise recht eigenwilligen Klassifikation der Funktionen, sowie bei
einer Reihe von Funktionsbeschreibungen, die den mathematischen
Sachverhalt nebul\"os oder verf\"alschend beschreiben. So ist etwa die
Aufteilung von ''Algebraischen Funktionen'' in ''Numerische Funktionen''
(z.B. viele zahlentheoretische Funktionen)
''Transformationsfunktionen''
(u.a. ''pade'' erkl\"art als ''p-adesche Approximation'')
''Analysierende Funktionen'' und
''Arithmetische Funktionen''
(darunter Integration und Differentiation)
zumindest etwas ungewohnt.


Zu den Tr\"ubungen in der Darstellung mathematischer Sachverhalte
geh\"oren etwa:
Auf Seite 3 und auch sp\"ater der vom Autor kreierte Begriff
''Zahlenk\"orper'' f\"ur den nat\"urlichen Definitionsbereich einer
Funktion;
auf Seite 38 die Erkl\"arung der Funktion ''isquarefree'' sei ''fast
identisch'' mit ''ifactors''.
Auf Seite 41 fehlt bei der Funktion ''cfrac'' jeder Hinweis auf
Kettenbr\"uche.
Auf Seite 78 wird von der Funktion ''minimize'' behauptet, sie
berechne
den ''Tiefpunkt'' statt korrekt den minimalen Wert der Funktion.
Die Erkl\"arungen f"ur ''realroot'' und ''sturmseq'' auf Seite 83
sind sehr unklar.
Bei der Beschreibung von ''finduni'' auf Seite 88 fehlt der wichtige
Bezug
zu einer vorgegebenen Variablen.

An all diesen Stellen (die sich beliebig vermehren lie\3en) ist der
entsprechende englische Hilfetext vollkommen klar. Immerhin ist der
Autor so ehrlich, Funktionen, deren Bedeutung ihm selbst nicht so
recht klar war, mit einem \dag \ zu versehen (vergleiche Seite viii-ix).
Die obigen Bemerkungen betreffen allerdings auch Funktionen, die nicht
mit einem \dag \ 
markiert sind. 

\vspace{2mm}

Trotz dieser Einschr\"ankungen wird das Buch sicher seinen Platz als
n\"utzliches Referenzwerk zu MAPLE f\"ur den deutschsprachigen
Benutzer finden.


\begin{flushright}
Volker Weispfenning (Passau)
\end{flushright}

\end{itemize}

\indent

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     Lehrveranstaltungen                                         %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\vspace*{5mm}
{\Large\bf
\hrule\vspace{1mm}

\centerline{Lehrveranstaltungen \"uber Computeralgebra im WS 1994/95}
\vspace{1mm}}\hrule
\label{lehrv}
\begin{itemize}

\item {\bf Rhein.--Westf. Technische Hochschule Aachen}\\
{\em Einf"uhrungspraktikum in das Formelmanipulationssystem MAPLE},
J. Neub"user, U. Klein, V. Dietrich, P2\\
{\em Praktikum: Programmieren in MAPLE}, J. Neub"user, U. Klein, P4

\item{\bf Technische Universit\"at Berlin}\\
{\em Konstruktive Zahlentheorie II}, M. Pohst, V2 + \"U2 \\
{\em Algorithmische Algebraische Zahlentheorie}, M. Pohst, S2

\item {\bf Universit"at Bonn}\\
{\em Einf"uhrung in die Computeralgebra}, M. Clausen, V4 + "U2\\
{\em Oberseminar Algebraische Komplexit"atstheorie},  
M. Clausen, T. Lickteig, S2\\
{\em Berechnungskomplexit"at II}, A. Sch"onhage, V4\\
{\em Primalit"atstests und Faktorisierungsalgorithmen II}, 
A. Shokrollahi, V2

\item{\bf Technische Hochschule Darmstadt}\\
{\em Computerunterst"utzte Modellierung mechanischer Probleme}, K.G. Roesner, V3 + "U1

\item{\bf Martin-Luther-Universit"at Halle}\\
{\em Optimierung und Statistik mit dem Computer - Anwendung der
 Programme \derive, \maple, \mathcad und \mathematica}, 
Benker, Seelander, V4 \\
{\em Statistik mit \mathematica}, Seelander, V2 \\
{\em Mathematik mit \mathcad}, Benker, V2 

\item {\bf Universit"at Heidelberg}\\
{\em Konstruktive Ideal- und Invariantentheorie}, B. H. Matzat, V4 + "U2

\item {\bf Universit"at Erlangen-N"urnberg}
{\em Methoden der Computeralgbra: die grundlegenden Algorithmen}, V. Strehl, V4 + "U2 \\
{\em Seminar Endliche K"orper: Algorithmen und Anwendungen}, H. Meyn, S2 

\item {\bf Technische Universit"at Hamburg-Harburg}\\
{\em Computeralgebra}, S.M. Rump, V2

\item {\bf Universit"at Kaiserslautern}\\
{\em Seminar (gemeinsam mit der Mikroelektronik): Algorithmen der
Computeralgebra und Anwendungen in der Mikrolektronik }, G.-M. Greuel, G.
Pfister, R. Sommer, S2\\
{\em Diplomanden-Seminar: Mathematische Anwendungen von Standardbasen }, G.-M.
Greuel, G. Pfister, S2

\item {\bf Universit"at Karlsruhe}\\
{\em K"orper - Geometrien - Codes}, 
  Th. Beth, J. M"uller-Quade, D. Zerfowski, S2\\ 
{\em CA-Praktikum}, Th. Beth, D. Zerfowski, W. Geiselmann, P2\\
{\em Proseminar Symbolisches Rechnen -- Computeralgebra}, 
J. Calmet, K. Homann, C. Zenger, S2

%\item {\bf Universit"at K"oln}\\

\item {\bf Universit"at Leipzig}\\
{\em Basisalgorithmen der Computeralgebra}, W. La\ss ner, V2\\
{\em Konstruktive nichtlineare Algebra}, H.-G. Gr\"abe, V2\\
{\em Computeralgebra und Differentialgleichungen}, W. La\ss ner, V2\\
{\em Paralleles symbolisches Rechnen}, W. La\ss ner, S2\\
{\em Algebraische Komplexit\"atstheorie}, H.-G. Gr\"abe, S2\\
{\em Einf\"uhrungspraktikum MATHEMATICA}, B. Fiedler, P2\\
{\em Oberseminar Computeralgebra}, H.-G. Gr\"abe, W. La\ss ner, S2

\item {\bf RISC Linz}\\
{\em Einf"uhrung i.d. Computeralgebra }, F. Winkler, V2, "U1\\
{\em SW-Systeme f. Computeralgebra u. Geometrie}, E. Blurock, P2\\
{\em Polynomal Factorization}, G. Collins, V2\\
{\em Mathematikunterricht mit DERIVE}, B. Kutzler, V2, "U2\\
{\em Algebraic Constraint Solving},  H.Hong, V2, "U2\\
{\em Seminar on Special Topics in Computeralgebra}, G. Collins, S2

\item {\bf Universit"at Mannheim}\\
{\em Einf"uhrung in die Computeralgebra}, Kredel, Kruse, i.A. Meuer V2\\
{\em "Ubungnen dazu (Anwendungen in Mathematik, VWL und BWL)}, Kredel, Kruse, i.A. Meuer "U2

\item {\bf Technische Universit"at M"unchen}\\
{\em Computeralgebra I}, M.~Kaplan, V4

\item{\bf Universit"at Gesamthochschule Paderborn}\\
%{\em Computeralgebra I}, J. von zur Gathen, V2\\
{\em Kodierungstheorie}, J. von zur Gathen, V2 + "U2\\
{\em Mathematik am Computer}, F. Schwarz, V2 +"U2\\
{\em Kryptologie}, L. Unger, V2\\
{\em \mupad Seminar}, B. Fuchssteiner, S2\\
{\em Oberseminar Algorithmische Mathematik}, J. von zur Gathen, S2\\
{\em Computeralgebra I}, J. von zur Gathen, V2

\item{\bf Universit"at Passau}\\
{\em Computeralgebra}, V. Weispfenning, V3\\
{\em Oberseminar Computeralgebra}, V. Weispfenning, S2

\item{\bf Universit"at Rostock}\\
{\em Symbolisches Rechnen I}, K. Hantzschmann, V2\\
{\em Einf"uhrung in die \ca}, A. Widiger, S2

\item{\bf Universit"at des Saarlandes Saarbr"ucken}\\
{\em Einf"uhrung in die algorithmische Zahlentheorie}, J. Buchmann,
V4, "U2\\
{\em Fortgeschrittenenpraktikum, Weiterentwicklung von LiPS},
J. Buchmann, T. Setz, P4\\
{\em Seminar Praktische Kryptographie}, I. Biehl, J. Buchmann,
B. Meyer, V. M"uller, C. Thiel, T. Zieschang, S2


\item{\bf Universit"at T"ubingen}\\
{\em Gr"obnerbasen}, B. Amrhein, W. K"uchlin, S2\\
{\em Algorithmen}, R. Loos, V2\\
{Automatisches Beweisen}, R. B"undgen, V2 + "U1\\


\item {\bf ETH Z\"urich}\\
{\em Computeralgebra I}, C. Williamson, V2 + "U1\\
{\em Aufbau symbolischer Rechensysteme}, R. M\"ader, V2 + "U1\\
{\em Seminar Computeralgebra}, M.Bronstein, R. M\"ader, S2\\
{\em Mathematische Software}, E. Engeler, M. Kalkbrenner, V2 + P2\\
{\em Kombinatorik und Algebra}, D. Mall, V2\\
{\em Differentialk\"orper}, M. Bronstein, V2

\end{itemize}

\indent
%\newpage

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

\vspace*{5mm} {\Large\bf \hrule\vspace{1mm}

\centerline{Kurze Mitteilungen} \vspace{1mm} }\hrule
\label{mitteil}
\begin{itemize}

\item
%\vspace*{1cm}

\fbox{\parbox{16cm}{
  \centerline{{\bf  ANNOUNCEMENT}} \vspace*{0.5em}
  \centerline{{\bf Tenured Position of a Full Professor for 
      Symbolic Computation}} \vspace*{0.5em}
  \centerline{at the Johannes Kepler University in 
      Linz (Austria)} %\vspace*{0.5em}
  \centerline{(Research Institute for Symbolic Computation)} \vspace*{0.5em}

Applications are invited for a tenured position of a full professor at the
School of Technical
Sciences, Johannes Kepler University in Linz, Austria. Candidates should have
an
outstanding research record in at least one of the main areas of symbolic
computation
(computer algebra, computer analysis, computational geo-metry, computational
logic,
automatic programming etc.) and strong interest in teaching in the frame of
the Symbolic
Computation Ph.D. curriculum of the institute. At present, there are 35 Ph.D.
students in
this curriculum. The working language at the institute is in English.
 
The School of Technical Sciences has installed an independent institute for
symbolic
computation (RISC-LINZ, Research Institute for Symbolic Computation) with a 15
member
faculty under the direction of Prof. DDr. Bruno Buchberger. RISC-LINZ operates
in close
interaction with the Departments of Computer Science, Mathematics and
Mechatronics
(with a thirty member faculty).
 
The new site of RISC-LINZ, a medieval castle 15 minutes from Linz, equipped
with
excellent computing facilities, combines the advantages of city life with the
pleasures of a
rural environment in one of the most beautiful landscapes and in the cultural
heart of
Austria and Europe.
 
Applications should send the CV (together with a few important publications
respresenting
the candidates research expertise) to the Dean of the School of Technical
Sciences, Prof.
Dr. Urbaan Titulaer, Johannes Kepler University, A-4040 Linz (Austria). (Tel.:
Austria
(732)2468-312), by October 31, 1994. Further information can also be obtained
>from the Chairman of RISC-LINZ,

Prof. DDr. Bruno Buchberger, Johannes Kepler University,
A-4040 Linz. (Tel.: Austria (7236)32 31-41).
Electronic mail: {\tt buchberg@risc.uni-linz.ac.at}
}}


\item
{\bf Recent publications of the journal ''Interval Computations''}
{\footnotesize
\begin{itemize}
\item  Issue No 1, 1993 (unfortunately, numbering of the issues is
still behind the real time). This is a usual issue containing
original papers, information on relevant meetings, a book review,
etc. Price for institutions is 22 USD, for individuals, 11 USD (postage
included).
\item  Supplementum No 1 provides nearly complete list of
references of the publications in the field of interval computations
which have been ever printed in Russian (above 500 items). The
references themselves are in English. Price for institutions is 23 USD,
for individuals, 11.5 USD (postage included).
\item  Abstracts volume of the International Conference on Interval
and Computer-Algebraic Methods in Science and Engineering (Interval'94),
St.Petersburg, Russia, March 7-10, 1994. Abstracts are in English, two
pages average, including postal and e-mail addresses of the authors.
Total 226 p. Price for institutions is 30 USD, for individuals, 15 USD.
\end{itemize}

     All these publications are available by sending a request to
nest@nit.spb.su (please indicate the number of copies). The subscribers
of  the journal  will receive without a request the item 1, but not 2
and 3.

Our following plans include publication of the following issues:
     \begin{itemize}
     \item 2-4/1993 - Proceedings of The international conference on
              Numerical Analysis with Automatic Result Verification
              (Lafayette, Louisiana, February 25 - March  1, 1993),
     \item 1/1994   - an ordinary issue including selected papers presented at
              the International Congress on Computer Systems and Applied
              Mathematics (St.Petersburg, July  19-23, 1993),
     \item 2-3/1994 - special issues on parallel algorithms for interval
              computations.
     \end{itemize}

Then we plan to publish a special issue containing selected papers
presented at SCAN'93, a special student issue, special issues on the
INTERVAL'94 Conference, and, certainly, ordinary issues.

     Be not worried about the years of the issues: really they appear in
time, and during 1994 we hope to make them adequate.
}
    \begin{flushright}
      Alexander G. Yakovlev, Managing Editor
    \end{flushright}

 
\item 
{\bf \axiom -Benutzer-Beitr"age}

{\footnotesize
With the growing interest in - and use of - \axiom\ for mathematical
computation, NAG has decided, as a service to users, to initiate a
collection of users' \axiom\ artifacts.  These could include (but are not
limited to):

      definitions of useful new operators, domains etc.,
      articles describing novel applications and
      general critiques of \axiom\, either as itself or
           in a wider computer algebra context.

Initial plans are for the material to be made available on the NAG
electronic bulletin board, probably in just two categories - software
and articles.  These will be accessible, entirely at the users' risk, by
file transfer protocols such as Gopher and WWW: if demand exists, they
could also be made available by anonymous ftp.  Later, if response
warrants, either or both of these categories may be further subdivided
into refereed and unrefereed material, with the most useful refereed
items possibly being included with future \axiom\ distributions.

Comments on this scheme would be welcomed, as would any initial
contributions.  Software items should be commented to show the versions
of \axiom\ (release number and computer system) under which they have been
used successfully.  Articles should preferably be in one or more of the
following formats: plain text, TeX, LaTeX, SGML, HTML or \axiom\ HyperDoc;
essential figures may be provided in postscript - but simply giving the
\axiom\ commands needed to generate the figure should be considered as a
resource conserving alternative.  Contributions should be ASCII -
although this might be a uuencoded compressed tar file in the case of
complex documents - with, generally, one file per submission.  Once the
appropriate areas have been established on the bulletin board, software
and articles may be submitted by email to ax-code@nag.co.uk and
ax-doc@nag.co.uk, respectively.  Meanwhile, submissions in either
category may be sent to miker@nag.co.uk.
}
    \begin{flushright}
      Mike Richardson (Oxford)
    \end{flushright}

\item 
{\bf Rezensionsexemplare des Vieweg-Verlags}

Der Vieweg-Verlag hat den \ca -Rundbrief in seine Rezensionsangebotsliste
f"ur Informatik und angewandte Mathematik aufgenommen. Es werden der 
Redaktion des \ca -Rundbriefes damit regelm"a"sig Rezensionsexemplare
von Neuerscheinungen zur Verf"ugung gestellt.

\item {\bf Journal of Symbolic Computation} \\
                       Special Issue
                               on
           Validated numerical methods and computer algebra

{\footnotesize
Papers are solicited for a special issue of the Journal of Symbolic
Computation on validated numerical methods and computer algebra.
The special issue is scheduled for early 1995. 

Of interest are recent advances in correct methods which combine
symbolic computations with validated numerical methods. Also methods
which bear the potential for such a combination will be considered.
This includes - but is not limited to - the use of interval algorithms
in computer algebra systems, analytical evaluations in interval algorithms,
the organization of symbolic-numerical interfaces, and the application
of hybrid symbolic-numerical methods with guaranteed results for
advanced problem solving.

The complete paper should be received no later than September 1, 1994
by Werner Krandick at the following address:

Dr. Werner Krandick,                    
Research Institute                      
for Symbolic Computation,               
University Linz,                                
A-4040 Linz,                            
Austria,                                
Phone: A-7236-3231-44,                  
FAX:   A-7236-3231-30,                  
Email: Werner.Krandick@risc.uni-linz.ac.at
}
    \begin{flushright}
      Werner Krandick (RISC Linz)
    \end{flushright}

\item 
{\bf The International \derive\ Journal}

Announcement of the publication of the first issue of 
The International \derive Journal.\\
Editor: John Berry, ISSN 1351-0789, Ellis Horwood Ltd, Prentice Hall Int. Ltd

{\footnotesize
The International \derive Journal is published to disseminate information 
about research and practice on the use of \derive as a tool for doing and 
learning mathematics. The Journal aims to enhance the use of \derive by 
reporting on  research and significant innovations. The Journal will also 
publish papers which discuss the use of other computer algebra systems 
in teaching and learning, particularly if the work is relevant to the 
\derive user. The Editorial Board invites readers to submit papers for
consideration for the Journal. 
}

\item {\bf Joachim von zur Gathen (Toronto)} 
hat einen Ruf auf eine Professur f"ur Informatik
an der Universit"at-Gesamthochschule Paderborn angenommen. 
Die Adresse ist: 
 Prof. Dr. Joachim von zur Gathen,
 Fachbereich Mathematik-Informatik,
 Universit"at-GH Paderborn,
 Warburger Str. 100,
 33098 Paderborn,
 Internet: {\tt gathen@uni-paderborn.de},
 Telefon: +49-(0)-5251--60-3355,
 Fax  : +49-(0)-5251--60-3836.


\item 
{\bf Mathematica in Education}

Editor-in-Chief: P.R. Wellin, Sonoma State Univ., ISSN 1065-2965, Springer Verlag

{\footnotesize
Every issue contains articles written by innovative people who use Mathematica to teach science, engineering and mathematics}

\item {\bf OpenMath}

OpenMath ist ein erster Standardisierungsversuch im Bereich Computeralgebra.
Zun"achst soll der Austausch von Daten (in Textform) zwischen CA-Systemen,
aber auch numerischen Softwarepaketen erm"oglicht werden. Ein vorl"aufiges
Protokoll fuer den Austausch soll im Februar beschlossen werden. Wer sich
an der Email-Diskussion beteiligen will, melde sich bei mir:
\\ {\tt loos@informatik.uni-tuebingen.de}.
\begin{flushright}
R"udiger Loos (T"ubingen)
\end{flushright}

\item

Die elektronische Adresse des Sprechers der Fachgruppe \ca,
Dr.~Johannes~Grabmeier hat sich ge"andert:
{\tt grabm@heidelbg.ibm.com}

\item
\fbox{\parbox{16cm}{
\noindent
\begin{center}
\hrule
\vspace*{2mm}
{\Huge \bf Computeralgebra in Deutschland}\\
\vspace*{2mm}
\hrule
\vspace*{3mm}
{\LARGE  Bestandsaufnahme, M"oglichkeiten, Perspektiven}
\end{center}
\vspace*{3mm}
Herausgegeben von der
Fachgruppe Computeralgebra
der Gesellschaft f"ur Informatik (GI), der
Deutschen Mathematiker-Vereinigung (DMV)  und
der Gesellschaft f"ur angewandte Mathematik und Mechanik (GAMM).
%\smallskip
\noindent
Dieser Report ist weiter erh"altlich und kann wie folgt bezogen werden.
F"ur Mitglieder der Fachgruppe zum Sonderpreis von DM 15,00 direkt bei 
der GI, sonstige Bestellungen zum Preis von DM 25,00 bei der DLGI.

Bestellung
durch Brief, Telefon, Telefax, elektronische Post oder
aber durch "Uberweisung mit entsprechendem Vermerk auf
dem "Uberweisungstr"ager bestellen werden:
{\footnotesize
\begin{quotation}
  \noindent
  DLGI Dienstleistungsgesellschaft  f"ur Informatik mbH,\\
  Godesberger Allee 99, 53175 Bonn\\
  Telefon 0228-95994-11 oder -16\\
  Telefax 0228-95994-20\\
  Elektr. Adr.: gibonn@gmd.de (mit der Bitte um Weiterleitung zur DLGI)\\
  Kontonummer 30403, Sparkasse Bonn, Bankleitzahl 380 500 00\\
  Vermerk: Computeralgebra-Report
  \noindent
\end{quotation}
}
Mittlerweile kann der Report auch durch Mitteilen der Nummer einer
VISA Card, Eurocard/Mastercard oder Diners Club Card bestellt werden.
}}

\end{itemize}

%
%
\end{document}






