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

\usepackage{german}
\usepackage{CAR_toc}
\usepackage{psfig}
\usepackage{html}
\usepackage{amsthm}   % f"ur die Anwendungen
\usepackage{amssymb}  % f"ur die Anwendungen

\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}
%\def\toc_dotfill{\cleaders\hbox{$\mathsurround=0pt \mkern4.5mu . \mkern4.5mu$}\hfill}
\def\toc_dotfill{ }


\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{\lidia}{{\sf LiDIA}}
\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{\posso}{{P\kern-0.2em o\kern -0.1em S\kern -0.1em S\kern -0.1em o}}
\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{\Wiley}{John Wiley \& Sons}
\newcommand{\AWiley}{Chichester}
\newcommand{\AddisonWesley}{Addison-Wesley}
\newcommand{\AAddisonWesley}{Bonn, Paris, Reading Mass.}
\newcommand{\Birkhaeuser}{Birkh"auser Verlag}
%\newcommand{\ABirkh"auser}{}
\newcommand{\Springer}{Springer Verlag}
\newcommand{\ASpringer}{Berlin, Heidelberg, New York}
\newcommand{\Vieweg}{Vieweg Verlagsges.}
\newcommand{\AVieweg}{Braunschweig, Wiesbaden}
\newcommand{\dpunkt}{dpunkt Verlag}
\newcommand{\Adpunkt}{Heidelberg}
\newcommand{\Teubner}{Teubner Verlag}
\newcommand{\ATeubner}{}
%   Mathematische Symbole
\newcommand{\Z} {{\rm {\mbox{\protect\makebox[.2em][l]{\sf Z}\sf Z}}}}
\newcommand{\ZZ} {{\rm {\mbox{\protect\makebox[.15em][l]{\small \sf Z}\small
\sf Z}}}}
\newcommand{\N} {{\rm {\mbox{\protect\makebox[.15em][l]{I}N}}}}
\newcommand{\1}{{\bf{1}}}
\newcommand{\2}{{\bf{2}}}
%\newcommand{\3}{{\bf{3}}}
\newcommand{\4}{{\bf{4}}}
\newcommand{\5}{{\bf{5}}}
\newcommand{\6}{{\bf{6}}}
\newcommand{\7}{{\bf{7}}}
\newcommand{\8}{{\bf{8}}}
\newcommand{\9}{{\bf{9}}}
\newcommand{\0}{{\bf{0}}}
%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}
\def\field{$[\ \ ]$}

\renewcommand{\baselinestretch}{0.9}
\def\contentsname{}%{Inhaltsverzeichnis}

% used for latex-compilation:
\renewcommand{\htmladdnormallink}[2]{{#2}}
\newcommand{\URL}[1]{\htmladdnormallink{#1}{\tt #1}}
% used for latex2html-convertion:
%\newcommand{\URL}[1]{\htmladdnormallink{#1}{#1}}

\begin{document}
\pagestyle{empty}


%\input{CARtitel.tex}



 \vskip 78mm

\begin{minipage}[t]{3.8cm}
\rule{0cm}{1cm}
\end{minipage} \ \
\begin{minipage}[t]{12.3cm}

{\bf Nummer 22  \hfill M"arz  1998 } 

\vspace{4mm}

\tableofcontents

\end{minipage}

\vspace{5mm}


%\newpage
%Werbeseite der Fa. Scientific Computers
\newpage
\pagestyle{plain}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     Mitteilungen der Sprecher                                   %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

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


{\vspace*{-12mm}
\section*{\Large\bf\hrule\vspace{1mm}
\centerline{
Mitteilungen der Sprecher}
}\vspace{-3mm}\hrule}\label{mitt_sprecher}
\addcontentsline{toc}{section}{\normalsize \bf 
Mitteilungen der Sprecher }%\toc_dotfill }

\vspace*{4mm}

{\em
\noindent
                                                                              
 Liebe Mitglieder der Fachgruppe \ca,                                         
\vspace*{3mm}


die Vorbereitungen auf das Konferenz-Ereignis des Jahres, das\\

\begin{center}
International Symposium on Symbolic and Algebraic Computations,\\
Rostock 1998, 13.~August - 15.~August 1998
\end{center} 
laufen auf Hochtouren, siehe dazu
die Ank"undigung  auf Seite \pageref{issac98}.
Diese Konferenz, die auf Initiative der Fachgruppe nach Deutschland geholt
wurde und nun unter ihrer Verantwortung und der Tr"agerschaft
der GI im Sommer stattfindet, bietet Ihnen die Chance, eine
der f"uhrenden Konferenzen unseres Fachgebietes ohne allzugro"se
Reisekosten zu besuchen. 
Wir laden Sie ein, an diesem Symposium und an den am
12.~August stattfindenden Tutorien teilzunehmen. Auch der
"uberwiegende Teil der Fachgruppenleitung wird anwesend sein.
Am Rande der Konferenz veranstalten wir
eine kurze Informationsveranstaltung f"ur  unsere Mitglieder.


Direkt im Anschlu"s an die ISSAC'98 findet der
International Congress of Mathematicans (ICM98) vom 
18.-27.~August in Berlin statt. 
Auch dort wird das Thema {\em Computational Mathematics}
vertreten sein. Weiter wird es eine Special Session on Mathematical
Software geben.
N"aheres zur ICM98 finden Sie auf Seite \pageref{icm98} dieses Rundbriefs.

Als weitere wichtige Konferenz ist das von der Fachgruppe
initiierte Symposium 
\begin{center}
\ca\ in Lehre, Ausbildung und Weiterbildung
\end{center}
vom 22. bis 25.~April 1998 in Schlo"s Thurnau bei Bayreuth 
zu nennen. Informationen dazu finden Sie auf Seite \pageref{thurnau}.

Auf ihrer Sitzung am 28.\ Februar in G"ottingen
hat die Fachgruppenleitung 
die ersten Vorbereitungen f"ur die turnusgem"a"s im Herbst
stattfindenden Neuwahlen zur Fachgruppenleitung getroffen.
Bitte senden Sie Ihre {\bf Kandidatenvorschl"age} bis zum {\bf Freitag, 
11.~September 1998} an den {\bf Sprecher}. Danach k"onnen Vorschl"age
nur noch bis zum Freitag, 02.~Oktober 1998, dem Datum der n"achsten Sitzng
der Fachgruppenleitung in K"unzelsau (Adresse Prof.~Werner) angenommen 
werden, wenn  die schriftliche Einverst"andniserkl"arung des
Kandidaten oder der Kandidatin beigef"ugt ist.
 


 \begin{flushright}
{Johannes Grabmeier \hspace{2cm}  B.\ Heinrich Matzat}        
 \end{flushright}                                                                              
}

%\newpage

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


{\vspace*{5mm}
\section*{\Large\bf\hrule\vspace{1mm}
\centerline{Hinweise auf Konferenzen}}\vspace{-3mm}\hrule}
\label{hinwkonf}
\addcontentsline{toc}{section}{\normalsize \bf 
Hinweise auf Konferenzen }%\toc_dotfill }


\vspace*{4mm}


\begin{enumerate}

%\item {\bf Computeralgebra in Forschung und Lehre: Grundlagen, Erfahrungen,
%Perspektiven}
       
%K\"{u}nzelsau, 5.3. -- 6.3.98


%{\footnotesize
%Die Fachgruppe Computeralgebra der GI und die Fachhochschule Heilbronn
%veranstalten gemeinsam einen Workshop, der sich in erster Linie an
%Professoren an Fachhochschulen, aber auch interessierte Gymnasiallehrer,
%richtet. Neben den Hauptvortr\"{a}gen sollen Kurzbeitr\"{a}ge (20 Min.) die
%vielf\"{a}ltigen Einsatzm\"{o}glichkeiten von CAS in Anwendungen,
%insbesondere aus den Ingenieurwissenschaften, verdeutlichen. Der Workshop
%soll vor allem auch dem Erfahrungsaustausch dienen.

%Die Veranstaltung findet an der Au\ss enstelle K\"{u}nzelsau der
%Fachhochschule Heilbronn statt Die Tagungsgeb\"{u}hr betr\"{a}gt DM 50.00,
%die Teilnehmerzahl ist auf 70 begrenzt. Interessenten, die bereit sind, sich
%mit einem Kurzbeitrag zu beteiligen, werden bevorzugt ber\"{u}cksichtigt.
%Bitte  wenden Sie sich -- evtl. mit Angabe Ihres Vortragsthemas -- bis
%1.12.97 an:

%Prof. Dr. Wilhelm Werner, FH Heilbronn ASt K\"{u}nzelsau, Daimlerstr. 35, 
%Tel. 07940-130621 (Sekr.), 07940-130620 (Fax) oder email
%{\tt werner@fh-heilbronn.de}

%Sie erhalten dann genauere Informationen.

%Hinweis: F\"{u}r Professoren aus Baden-W\"{u}rttemberg wird vom Veranstalter
%ein Antrag auf Kostenerstattung durch LARS gestellt.

%}



\item {\bf Sixth Rhine Workshop on Computer Algebra}
       
Sankt Augustin, 31.3. -- 3.4.98

{\footnotesize
{\bf Topics:}
The workshop intends to cover all aspects of Computer Algebra from
theory to applications. As for the previous workshops, we expect that 1/3 of
the
accepted papers will cover several domains of applications.
%\bigskip

{\bf Purposes:}
This is the sixth edition of a workshop initiated in Strasbourg in 1988. To
avoid competition with well-established conferences, the workshop is kept as
informal as possible. Its two main purposes are to offer an opportunity to
young researchers and newcomers to present their work and to be a regional
forum for researchers in this field. Despite this latter goal, the workshop
is open worldwide to submissions and attendance.
%\bigskip

{\bf Scientific Committee:}
Leon Brenig (Brussels),
Manuel Bronstein (Z\"{u}rich),
Bruno Buchberger (Linz),
Jacques Calmet (Karlsruhe, {\bf Chair}),
Hubert Caprasse (Li\`{e}ge),
Alain Carri\`{e}re (Saint Louis),
Jean Della Dora (Grenoble),
%Hubert Caprasse (Li\`ege),
Vladimir Gerdt (Dubna),
Gaston Gonnet (Z\"{u}rich),
Pierre Jost (Strasbourg),
Wolfgang K\"{u}chlin (T\"{u}bingen),
Daniel Lazard (Paris),
Ton Levelt (Nijmigen),
Gerhard Michler (Essen),
Teo Mora (Genova),
Michael Pohst (Berlin),
Fritz Schwarz (Sankt Augustin),
Jean Thomann (Strasbourg),
Felix Ulmer (Rennes),
Volker Weispfenning (Passau).

%\bigskip

{\bf Workshop Chairman:}
Fritz Schwarz (GMD, Sankt Augustin)
%\bigskip

{\bf Submission:}
Send {\bf two} copies of either a {\bf full paper} or a {\bf four pages}
abstract to the program committee chair. However, electronic mail submissions
in Postscript format are encouraged. Submissions will not be formally
refereed. They can thus be submitted later to journals for instance. Accepted
 papers/abstracts will appear in locally printed proceedings (of good
quality). These proceedings are intended for attendees only.
%\bigskip

%{\bf Deadlines:}
%\begin{tabular}{ll}
%October 31, 1997 & : Submission of papers\\
%December 15, 1997 & : Notification of acceptance
%\end{tabular}
%%\bigskip

%{\bf Submissions:}
%Prof. Jacques Calmet,
%University of Karlsruhe,
%Am Fasanengarten 5,
%Postfach 6980,
%76128 Karlsruhe,
%Germany,
%E-mail: {\tt calmet@ira.uka.de}
%Phone: +49 (0)721 608 6306 (secretary: 4208),
%Fax: +49 (0)721 608 6116.
%{\bf Information/Registration:}
%Fritz Schwarz, GMD,
%Postfach 53754 Sank Augustin,
%Germany,
%E-mail: {\tt fritz.schwarz@gmd.de}

Updated information will be available at URL
\URL{http://set.gmd.de/cade/rwca98.html}

}


\item {\bf GAMM-Jahrestagung 1998}\label{gamm98}
       
Bremen, 6.4. -- 9.4.98

{\footnotesize
      Die Gesellschaft f"ur Angewandte Mathematik und Mechanik (GAMM) l"adt zu
      ihrer wissenschaftlichen Jahrestagung an der Universit"at Bremen vom 6. bis 9.
      April 1998 ein. Die ordentliche Mitgliederversammlung der GAMM findet am
      Mittwoch, dem 8. April 1998 um 11:30 Uhr, im Gro"sen H"orsaal der Universit"at      statt. 

      {\bf Tagungsleitung:}

      H.J. Rath, D. Hinrichsen,
      M. Wanschura, B. Schuldt,
      L. Arnold, A. Bunse-Gerstner, M. Dreyer,
      Ch. Egbers, R. Kienzler, H.C. Kuhlmann, 
      H.-O. Peitgen, P.H. Richter, alle an der Universit"at Bremen.


  In den Sektionen finden Kurzvortr"age "uber aktuelle
      Themen aus den Gebieten der angewandten Mathematik und der Mechanik statt.
      Auch Anwendungen der Mathematik auf ingenieurwissenschaftliche
      Probleme, die nicht der Mechanik entstammen, sind m"ogliche Themen. Die Vortragszeit
      betr"agt 15 Minuten, weitere 5 Minuten stehen f"ur die Diskussion zur Verf"ugung.
      Vortragssprachen sind Deutsch,
      Englisch und Franz"osisch. Im Rahmen der Sektionen gibt es
      ein bis zwei Vortr"age mit einer Vortragszeit von 30
      Minuten. In diesen Vortr"agen soll "uber wichtige neuere Entwicklungen der
      betreffenden Gebiete, auch in Form von "Ubersichten, berichtet werden. Die
      Sektionssitzungen finden an den Nachmittagen statt und beginnen jeweils um
      14:00 Uhr. Die Sektionen entnehmen Sie bitte der folgenden Aufstellung: 

      1: Lineare und nichtlineare Schwingungen, 
      2: Stabilit"at und Regelung, 
      3: Mehrk"orpersysteme und Kinematik, 
      4: Elastische und viskoeleastische Stoffe und Systeme, 
      5: Plastizit"at: Stoffgesetze und Anwendungen, 
      6: Sch"adigungs- und Bruchmechanismen, 
      7: Numerische Mechanik, 
      8: Experimentelle Methoden und Identifikation, 
      9: Reibungsfreie Str"omungen, Gasdynamik, 
      10: Reibungsbehaftete Str"omungen, Turbulenz, 
      11: W"arme- und Stoff"ubertragung, Konvektionsstr"omungen, 
      12: Mehrphasenstr"omungen, einschl. Tropfen und Blasen, 
      13: Wellen, 
      14: Angewandte Analysis, 
      15: Mathematische Methoden in den Ingenieur- und 
      Naturwissenschaften, 
      16: {\bf Computeralgebra und -analysis} (Sektionsleitung: 
 K. G. Roesner, TH Darmstadt und  J. L. Grabmeier, IBM Heidelberg), 
      17: Angewandte Stochastik, Operations Research 
      18: Optimierung, 
      19: Numerische Analysis,
      20: Numerische Behandlung von gew"ohnlichen Differentialgleichungen und Algebrodifferentialgleichungen, 
      21: Numerische Behandlung von partiellen Differentialgleichungen 
      22: Kontroll- und Systemtheorie, 
      23: Finanzmodellierung, 
      24: Raumtransportsysteme.


 Weitere Informationen finden Sie im Einladungsheft, das im September
 an die GAMM-Mitglieder mit dem GAMM-Rundbrief versandt wird und im
Internet unter
    \URL{http://www.zarm.uni-bremen.de/gamm98/gamm98d.htm}
zu finden ist.

 Als Email-Adresse verwenden Sie bitte:
   {\tt gamm98@zarm.uni-bremen.de}

%Deadline f"ur Vortragsanmeldungen ist der  7.11.1997.

}


\item {\bf Conway Fest  --   JHC60}
       
Cambridge, England, 16.4. -- 17.4.98

{\footnotesize

A conference to mark the 60th birthday of John Conway will be held
at the Newton Institute, Cambridge, on 16th and 17th April 1998.
The event will be partially supported by the London Mathematical Society
and Gonville and Caius College.

{\bf Talks:}
N.J.A. Sloane (AT\&T Labs-Research),
          {\em Recent results on packing spheres in n-dimensional space},
D. Zagier (Bonn),
          {\em The Dedekind eta-function, a mysterious identity, and knot invariants},
E. Berlekamp (Berkeley),   
          {\em Sums of Nx2 Amazons positions},
S. Kochen (Princeton),
          {\em Geometry, Logic and Quantum Theory},
B. Fischer (Bielefeld),
          {\em Remarks on sporadic simple groups},
R.E. Borcherds (Cambridge),
          {\em Hyperbolic reflection groups (after Conway and Allcock)},
L. Kauffman (UIC),
          {\em Conway's Knots and Their Ramifications},
J.H. Conway (Princeton),
          {\em The Fifteen theorem for quadratic forms}.

}



\item {\bf Workshop on Computer Algebra in Scientific Computing}
       
Sankt-Petersburg, Russia, 20.4. -- 24.4.98

{\footnotesize
{\bf Topics:}

The workshop will cover all aspects of the use of computer algebra and
symbolic computation in scientific computing including both theory and
applications. Among topics of particular interest they are:

numerical simulation with computer algebra systems,
parallel symbolic-numeric computations,
symbolic-numeric interface,
symplectic integration,
construction of approximate solutions of differential equations
  and dynamical systems,
celestial mechanics and general relativity,
algebraic methods for nonlinear equations and inequalities,
computer algebra methods in pure mathematics,
computational group theory,
applications to the  theory of error-correcting codes,
problem-solving environments for partial differential equations.

{\bf Workshop co-chairs:} Vladimir Gerdt (Dubna),
                    Ernst Mayr (Munich).


{\bf Program Committee: }                     
                                             
Evgenii Vorozhtsov (Novosibirsk, co-chair),   
Christoph Zenger (Munich, co-chair),          
Victor Edneral (Moscow),                      
Victor Ganzha  (Munich),                      
Gaston Gonnet (Zurich),                       
Gert-Martin Greuel (Kaiserslautern),          
Stanly Steinberg (U.S.A.),
Yuri Matiyasevich (St. Petersburg),
Vitaly Mysovskikh (St. Petersburg),
Alexander Skopin (St. Petersburg),
Nikolay Vassiliev (St. Petersburg),
Volker Weispfenning (Passau).



   {\bf Local Organizing Committee: }  
                                 
   Alexander Skopin (co-chair),   
   Nikolay Vassiliev (co-chair), 
   Sergey Baranov,                
   Vitaly Mysovskikh,             
   Elena Novikova (secretary).    
                                 




%Submission:

%Only electronic submissions are acceptable. Send a full paper, or an
%extended abstract, (either should contain a one page abstract) with the
%complete address and affiliation of a contact person, either in LaTeX format
%or as a PostScript file to :

%                        {\tt casc98@euler.pdmi.ras.ru}

%Deadline for submission:

%February 1, 1998 : Submission of the full paper (up to 20 pages) or
%                           * extended abstract (up to 4 pages)
%March   15, 1998 : Notification of acceptance
%May     20, 1998 : Submission of the final version

Further Information: \URL{http://www.pdmi.ras.ru/EIMI/comalg.html},\\
                             {\tt comalg@euler.pdmi.ras.ru},
                             {\tt casc98@euler.pdmi.ras.ru},\\
                             {\tt vasiliev@ita.runnet.ru} (Nikolay Vassiliev)

}


\item {\bf \ca\ in Lehre, Ausbildung und Weiterbildung} \label{thurnau}
       
Bayreuth, 22.4.--25.4.98

{\footnotesize
Die Fachgruppe  Computeralgebra (FG CA) der
DMV (Deutsche Mathematiker--Vereinigung),
GAMM (Gesellschaft f\"ur Angewandte Mathematik und Mechanik)
und der GI (Gesellschaft f\"ur Informatik) organisiert diese Tagung 
gemeinsam mit der GDM (Gesellschaft f\"ur Didaktik der Mathematik), der
MNU (Verein zur F\"orderung des mathematischen und
naturwissenschaftlichen Unterrichts) und der Fachgruppe Didaktik
der Mathematik der DMV  (FG DM).

Ziel ist es, zu diesem Thema einen breiten Austausch zwischen den
Kultusministerien, den f\"ur die Fortentwicklung der curricularen
Lehrpl\"ane zust\"andigen Instituten und den Experten aus Wissenschaft
und Lehre der organisierenden Gesellschaften zu initiieren.
Wir erhoffen uns insbesondere Berichte \"uber die in den einzelnen
Bundesl\"andern
stattfindenden Lehrversuche und Pl\"ane.

Verantwortlich ist das Organisations- und Programmkomitee in Zusammenarbeit
mit der Fachgruppenleitung Computeralgebra. Es besteht aus

\begin{itemize}
\item Prof. Dr. A. Kerber, Bayreuth (FG CA, Leitung und lokale Organisation),
\item Prof. Dr. Wolfram Koepf, Leipzig (FG CA),
\item Dr.~G\"unther Schmidt, Mainz (MNU),
\item Prof. Dr. G\"unter T\"orner, Duisburg, (FG DM) und
\item Prof. Dr. Hans-Georg Weigand, Gie\ss en (GDM).
\end{itemize}
Wegen des auf ca. 45 Teilnehmer beschr\"ankten Umfangs bitten wir um
fr\"uhzeitige Anmeldung.

{Vortr"age:}

D. Pohlmann (Ministerium Schleswig- Holstein, Elmshorn),\\
H. Heugl (Wien),
{\sl Lehren und Lernen mit \cas en -- Didaktische Konzepte und Erfahrungen aus den
\"osterreichischen CAS-Projekten},\\
B.H. Matzat
(Interdisz. Zentrum f. wiss.           Rechnen, Univ. Heidelberg),\\
F. Postel (Mathem./Informatik  Paderborn),
{\sl Ein Autorensystem zur Erstellung
multimedialer mathemischer Unterrichtseinheiten},\\
W. Lichtenberg (Landesinstitut f\"ur  Lehrerfortbildung von an Gymnasien, Sachsen-Anhalt),
{\sl Stand von Erprobungen beim Einsatz
von \cas en im Unterricht Mathematik},\\
P. Rasfeld (Inst. f. Didaktik der Mathematik, Dortmund),\\
H. Kilian (Univ. Dortmund),
{\sl Einsatz von CAS-Systemen zur 
Konstruktion und Kontrolle von 
Beweisen durch Studenten und 
Sch\"uler},\\
J. Wagner (Comenius-Inst. Radebeul),\\
W. Zappe (Ilmenau),
{\sl Der TI-92 im Mathematikunterricht -- 
Erfahrungen eines Lehrers aus
Th\"uringen},\\
S. Griebel (Texas Instruments - E\&P  Freising),
{\sl \"Uberblick \"uber die Zulassung
graphischer und symbolischer 
Taschenrechner in Deutschland und
Europa},\\
H.-W. Henn ( Staatl. Seminar f\"ur Schulp\"adagogik (Gymn) Karlsruhe),
{\sl Das Pilotprojekt \lq\lq Mobiles 
Klassenzimmer\rq\rq in Baden-W\"urttemberg},\\
W. Herget (Univ. Halle-Wittenberg),
{\sl Kleine Schritte sind besser als
keine -- und besser als zu gro\ss e},\\
C. Richard (Institut f. Theor. Physik Universit\"at T\"ubingen),
{\sl Analysis Alive - Ein interaktiver Mathematik-Kurs},\\
U. Klein (Lehrstuhl Didaktik f\"ur Mathematik  Aachen),\\
V. Reineke (Nieders\"achsisches Kultusministerium Hannover),\\
F. Schumann (Math-College Hannover),
{\sl Zuordnungen -- Grundbegriffe              
f\"ur einen erweiterten Funktionsbegriff in Sek.I},\\
W. Neidhardt, A. Wassermann (Lst Mathematik und ihre Didaktik Bayreuth),
{\sl Demonstration -- Geonet --
Dynamische Geometriesoftware
mit JAVA},\\
W. Koepf (FB IMN, HTWK Leipzig),\\
P. Dr\"axler (Fakult\"at f. Mathematik Universit\"at Bielefeld),
{\sl CREP -- Darstellungstheorie
mit Computeralgebra in Forschung und Lehre}.

}


\item {\bf ECCAD'98 -- Fifth Annual East Coast Computer Algebra Day}
       
Annapolis,   Maryland, USA, 25.4.98

{\footnotesize


   The fifth annual East Coast Computer Algebra Day will be held
   at the U.S. Naval Academy in the beautiful city of Annapolis,
   Maryland, on April 25, 1998.

  The previous such meetings were held at:
   1. Drexel University (Philadelphia, Pennsylvania),
   2. University of Delaware (Newark, Delaware),
   3. IBM Watson Laboratories (Yorktown Heights, New York),
   4. Northeastern University (Boston, Massachusetts),

  The program consists of:
   (a) Invited talks
   (b) Poster sessions
   (c) Math software vendors
   (d) Informal gatherings, beverages, and lunch.
    (and dinner for those who wish to participate.)
 
{\bf  Invited talks:}
   Rob Corless,  University of Western Ontario, Canada
                   (Title to be announced.),

   Scott Mccallum,  Macquarie University, Australia,
                           on
          ''Factors of iterated resultants and discriminants.''

   Erich Kaltofen,  Rensselaer Polytechnic Institute,
                            on
          ''Challenges of symbolic computation: my favorite open
problems.''

{\bf   Posters:}

   To present a poster: Please email to George Nakos at
      {\tt gcn@nadn.navy.mil}: 

     (1) Name, Address, Affiliation, E-mail,
     (2) Poster title,
     (3) Poster abstract (not to exceed 250 words. In ASCII, or ASCII
LateX.).

   Topics for posters include:
     Symbolic, algebraic, and symbolic-numerical algorithms.
     Computer algebra systems, software systems, experience with
       implementations of significant algorithms.
     Applying symbolic, algebraic, and symbolic-numerical algorithms
to
       problems in the sciences, engineering, economics, and other
areas.

 In addition to the usual research posters we encourage
posters on the use of Computer Algebra Systems in the Classroom.

   Abstracts of the posters will be published in the SIGSAM
   Bulletin, and a version of posters to be displayed on the Web
   is also solicited.

{\bf Registration:}
   Registration is free. We encourage all participants to
   register by emailing to Peter Turner at\\
      {\tt   prt@nadn.navy.mil}, 
     Your: Name, Address, Affiliation, E-mail

{\bf  Vendors:}

   Vendor displays and software demonstrations are also anticipated. If
   you are interested in such a display or demonstration, please send
   e-mail to
   {\tt  prt@nadn.navy.mil}     or      {\tt  gcn@nadn.navy.mil}

{\bf  Further information:}
    \URL{http://turnerpr.sma.usna.navy.mil/ECCAD98/}

}


\item {\bf Tagung zum Unterrichtseinsatz des
symbolischen Taschenrechners TI-92}
       
M"unster, 2.6. -- 5.6.98

{\footnotesize

Vom 2.6.1998 bis zum 5.6.1998 findet an der Westf"alischen
Wilhelms-Universit"at M"unster eine Tagung zum Unterrichts\-einsatz des
symbolischen Taschenrechners TI-92 statt. In Vortr"agen und Workshops
werden methodisch-didaktische Konzepte des Unterrichtens mit
Computeralgebra-Systemen vorgestellt und praktisch erprobt.

{\bf Tagungsleitung:}
Westf"alische Wilhelms-Universit"at M"unster
Zentrale Koordination Lehrerausbildung
StR' B"arbel Barzel, D"usseldorf,
Dr. Detlef Berntzen, M"unster.

{\bf Adressatenkreis:}
Lehrerinnen und Lehrer weiterf"uhrender Schulen, Fachleiter/innen,
Referendar/innen, Fachdidaktiker/innen Mathematik

Teilnehmerbeitrag: 100 DM (inkl. Empfang und Sozialprogramm)

{\bf Detaillierte Infos} und Tagungsplan unter:
\URL{http://www.uni-muenster.de/Lehrerausbildung/ti92tag.htm}
oder direkt bei:
 Westf"alische Wilhems-Universit"at M"unster 
 Zentrale Koordination Lehrerausbildung,
 Dr. Detlef Berntzen,                      
 Email: {\tt  berntz@uni-muenster.de},
 Telefon: 0 25 1/ 51 03 82 1,              
 Prinzipalmarkt 38,                       
 48143 M"unster.                            

{\bf Letzte Meldung:}
folgende Referenten haben ihr Erscheinen zugesagt:
 Prof. Dr. Bert Waits, Ohio Stat University, USA,
 Prof. Dr. John Berry, University of Plymouth, UK,
 Paul Drijvers, Freudenthal-Institut, Utrecht, NL,
 G"unter Schmidt, Stromberg, D.

}


\item {\bf Worldwide Mathematica Conference}
       
Chicago, USA, 18.6. -- 21.6.98

{\footnotesize

This year is Mathematica's 10th anniversary, and to celebrate we're hosting
the Worldwide Mathematica Conference in Chicago on June 18-21, 1998. Since
you're a registered Mathematica user, we hope that you'll be able to join
us at this exciting and unique event.

The conference will bring Mathematica users from around the world together
to discover and explore the latest in Mathematica technology. The program
will include distinguished keynote speakers, tutorials at all levels, and
presentations and demonstrations of Mathematica in action--in research, in
education, and in technical communication. There will also be opportunities
for Mathematica users such as yourself to present work in a variety of
formats.

To cap the celebration of 10 years of Mathematica, there will be an
exclusive dinner and reception at Chicago's Museum of Science and Industry.

The registration fee for academic users is $595 ($495 if you register by
March 31). Discounts are available to Premier and Regular Service
subscribers. The fee for Premier Service subscribers is $495 ($395 if you
register by March 31). The fee for Regular Service subscribers is $520
($420 if you register by March 31).

For more conference information and an online registration form, visit our
web site at \\
\URL{http://www.wolfram.com/conference98}. If you have questions,
send email to\\
 {\tt conference98@wolfram.com} or call us at 217-398-0700.





}




\item {\bf  IMACS - ACA'98 The Fourth International IMACS Conference
 on Applications of Computer Algebra}

Prag, August 9.8. -- 11.8.98

{\footnotesize
{\bf Scope of the Conference}:
The meeting will focus on actual or possible applications of nontrivial
computer algebra techniques to other fields and substantial interactions
of
computer algebra with other fields.

{\bf Meeting Format:}
The meeting will be run in the standard IMACS format where individuals are
invited to organize a special session.  Individuals can propose a special
session by contacting the program chairs.  All paper submissions must be
directed to an organizer of an appropriate special session, which will be
listed on the web sides.

{\bf Preliminary List of Proposed Sessions:}
 Mechanic,  ODEs,  Problem Solving
Environments,
 High Energy Physics,  PDEs and Symmetries,  Symbolic-numeric
Interfaces,
 General Relativity,  Hamiltonian Systems,  Seminumerical Methods,
 Robotics,  Geometry,  Automatic
Differentiation,
 Control Theory,  Grand Challenges,  Interval Arithmetic,
 Industrial Applications,  Software Integration,  Education.

{\bf Organization:}\\
{\em General Chair:}\/ Richard Liska ({\tt liska@siduri.fjfi.cvut.cz})\\
{\em Program Chairs:}\/ Victor Edneral ({\tt edneral@theory.npi.msu.su}),\\
Wolfgang K\" uchlin ({\tt kuechlin@informatik.uni-tuebingen.de})\\
{\em Local arrangements:}\/ Jiri Limpouch, Stepan M\" uller, Milan Sinor, 
Faculty of Nuclear Sciences and Physical Engineering, Czech
Technical University.

{\bf More Information:}
\URL{http://www-troja.fjfi.cvut.cz/aca98} or send e-mail to
   {\tt aca98@siduri.fjfi.cvut.cz}.

}



\item {\bf ISSAC'98 -- International Symposium on Symbolic and Algebraic
  Computation}\label{issac98}
       
Rostock, 13.8. -- 15.8.98

{\footnotesize

{\bf ISSAC} is a yearly international symposium that provides an
opportunity to learn of new developments and to present original
research results in all areas of symbolic mathematical computation.\\

Topics of the meeting include, but are not limited to:\\
{\bf Algorithmic mathematics}\ Algebraic, symbolic, and symbolic-numeric
algorithms including: simplification, polynomial and rational function
manipulations, algebraic equations, summation, integration, linear
algebra and matrix computations, number theory, ODE/PDE, complex
computation, group computations, and geometric computing;\\
{\bf Computer science}\ Theoretical and practical problems in symbolic
mathematical computation including: computer algebra systems, problem
solving environments, programming languages and libraries for
symbolic computation, user interfaces, data structures, software
architectures, parallel/distributed computing, mapping algorithms to
architectures, concrete analysis and benchmarking, complexity of
computer algebra algorithms, artifical intelligence techniques,
automatic differentiation and code generation, mathematical data exchange
protocols;\\
{\bf Applications}\ Problem treatments incorporating algebraic,
symbolic or symbolic-numeric computation in an essential or novel way,
including engineering, economics and finance, physical and biological
sciences, computer science, logic, mathematics, statistics, and use in
education.\\
%\vspace{2ex}

{\bf Conference activities}
%\vspace{2ex}
The planned activities include invited presentations, research and survey
papers, poster sessions, tutorial courses, vendor exhibits, and
software demonstrations. Proceedings will be distributed at the
symposium.\\
Proposals for workshops, tutorial courses, demonstrations, panel
discussions or related activities are welcomed. User-groups,
editorial boards or other associations desiring meeting space during
the course of the symposium are encouraged to contact the conference
organizers.\\
%\vspace{2ex}

{\bf  Conference Location}
%\vspace{2ex}
ISSAC'98 will be held in the historic buildings of the University of
Rostock, Germany. Accomodations will be available at nearby
hotels.
The old ``Hansestadt'' Rostock is situated close to the Baltic Sea
and about 200 km away from Berlin. Participants have the occasion to 
attend afterwards the International Congress of Mathematicians  
ICM'98 held
August 18-27 in Berlin.\\

%%\vspace{2ex}
%\noindent
%{\bf Important Dates:} \\
%\begin{tabular}{lll}
% & {\em 20 Jan 1998:} & Submitted papers must be received\\
% & {\em 24 Mar 1998:}  & Notification of acceptance\\
% & {\em 28 Apr 1998:}  & Camera-ready papers must be received
%\end{tabular}

\begin{description}
\item[General Chair:] Volker Weispfenning,
FMI, Universit\"at Passau,
D-94030 Passau, Germany,\\
{\tt issac98@alice.fmi.uni-passau.de}
(+49) 851-509-3120 phone,
(+49) 851-509-3122 fax.
\item[Program Committee Chair:] Barry Trager, IBM T.J. Watson Research
  Center, P.O.Box 218, Yorktown Heights, N.Y. 10598, USA.
  {\tt bmt@watson.ibm.com}
\item[Program Committee Vice-Chair:] Robert M. Corless,
    Dept. Applied Mathematics, University of Western Ontario,
    London, Canada   N6A 5B7  
    {\tt  rcorless@julian.uwo.ca} or {\tt
    rmc@pineapple.apmaths.uwo.ca}
\item[Publicity Chair:] Gerhard Schneider, GWDG, D-37077 G"ottingen, Germany.
    {\tt gschnei2@gwdg.de}
\item[Treasurer:] Alfred Widiger, FB Informatik, Universit\"at
  Rostock, D-18051 Rostock, Germany. \\{\tt  
wid@informatik.uni-rostock.de}
\item[Local Arrangements Chair:] Karl Hantzschmann, FB Informatik,
  Universit\"at Rostock, D-18051 Rostock, Germany. {\tt
  kh@informatik.uni-rostock.de}
\item[Exhibit Chair:] Joachim Apel, Institute for Computer Science,
University of Leipzig,
Augustusplatz 10-11,
D-04109 Leipzig, Germany. 
{\tt apel@informatik.uni-leipzig.de}
%\item[Registration Chair] ...
\item[Proceedings Editor:] Oliver Gloor, University of T\"ubingen
WSI, Sand 13
D-72076 T\"ubingen, Germany. \\
{\tt gloor@informatik.uni-tuebingen.de}
\end{description}




{\bf Call for Posters:}
The Poster Sessions are an ideal venue for presenting recent research
results or ongoing research projects that might not yet be complete, but
whose preliminary results are already interesting nonetheless. Posters
describing computer algebra systems and applications are also
especially welcome. To encourage poster submissions of good quality, a
best poster prize, consisting of a certificate, will be awarded. Posters
will be judged based on content and presentation. 

{\bf Instructions for authors:}
Authors should submit to the Poster Committee Chair an abstract of no
more than 1000 words describing the contents of the poster. Plain
LaTeX or TeX is preferred, but plain text is also acceptable. E-mail
submissions are strongly encouraged and should be sent to
{\tt glabahn@daisy.uwaterloo.ca}
Regular mail submissions should be sent via air mail to
      George Labahn,
      Symbolic Computation Group,
      Department of Computer Science,
      University of Waterloo,
      Waterloo, Ontario, CANADA N2L 3G1.

Please allow at least one week for air mail delivery. 

{\bf Important Dates:} \\
\begin{tabular}{lll}
 & {\em 16 June 1998:} & Poster abstracts must be received \\
 & {\em 1 July  1998:}  & Notification of acceptance
\end{tabular}


Authors are encouraged to read the article How to Prepare a Poster
http://www.siam.org/siamnews/general/poster.htm 

{\bf Poster Sessions Committee:}
Poster committee members will be announced on the 
ISSAC'98 www-site.

The Vice-Chair of the Committee is 
      Mohamed O. Rayes,
      Texas Instruments,
      {\tt mrayes@ti.com} .

Further information about the symposium is available at
{\tt http://wwwteo.informatik.uni-rostock.de/ISSAC98}

}

\item {\bf ICM98 -- International Conference in Mathematics}\label{icm98}
       
Berlin, 18.8. -- 28.8.98

{\footnotesize

 The International Congresses of Mathematicians, taking place roughly
 every four years since 1897, belong to the most important mathematical
 events in the world. One distinguishing feature, among others, is the
 award of the Fields Medals and the Nevanlinna Prize (the ''mathematical
 Nobel Prizes'') during the opening ceremony.

 The ICM'98 will take place in Berlin, Germany, from August 18 to 27,
 1998. In addition to the scientific program (with plenary and invited
 speakers chosen by the IMU-appointed ICM'98 Program Committee) a
 ''Section of Special Activities'' is planned. One of these activities
 will be a session on mathematical software, to be held on two
 afternoons during the congress. The focus of this session will be the
 presentation of a broad spectrum of mathematical software systems
 ranging from general purpose systems to specialized systems, e.g.,
 systems from numerical analysis, computer algebra, optimization,
 mathematical visualization, or mathematical education. The
 presentations should include typical applications.

 This session is planned to attract a broad audience: ICM attendees,
 students, teachers, etc., with a special interest in mathematical
 software. The session will take place at the conference site of
 the ICM'98 congress at the Technische Universitaet Berlin.



{\bf                       Mathematical Software Session}

 A  {\bf program committee} for this particular session has been appointed. It
 will be chaired by {\em Johannes Grabmeier, IBM Germany}
 (speaker of the special interest group for computer algebra
 of DMV (German Mathematical Society), GAMM and GI)

  {\bf Organization:} 
     Winfried Neun,       Konrad-Zuse-Zentrum fuer Informationstechnik,
                          Berlin, Germany,
                          Email: {\tt neun@zib.de} .

 {\bf Call for Presentations:}
 The systems to be presented should meet the highest standards with
 respect to mathematical content. Mathematical originality, new solutions,
 or uncommon fields of application will be highly appreciated. The
 technical quality in design and implementation is also an important issue.

 Submissions for the Session on Mathematical Software are encouraged from
 all fields of mathematics where software systems are used. Systems which
 are available free of charge (e.g., public domain) are especially invited
 and clearly preferred when the presentations will be chosen.

 There will be a software exhibition and a book fair in connection with
 the ICM'98 congress, too. This may be more suitable for the demands of
 vendors of commercial software systems. Please contact the chairman
 of the local arrangements committee, Prof. Rolf H. Moehring,
 email: {\tt moehring@math.tu-berlin.de}  for details about the exhibition.

 Talks in which various commercial packages are compared from an
 independent viewpoint, pointing out particular strengths and
 weaknesses of the systems, are also sought.

 The program committee, a group of internationally renowned
 mathematicians and experts on mathematical software, will evaluate the
 entries and select a number of contributions according to quality and
 thematic balance. To facilitate adequate judgement, a submission should
 include material (either in paper form or an electronically readable
 format, e.g., an URL) which explains to the committee the mathematical
 background of the systems, the fields of application and the software
 design and techniques.

  {\bf Submissions} should be sent, preferably by electronic mail, to:
              ICM'98 -- Session on Math. Software,
              c/o W. Neun,
              Konrad-Zuse-Zentrum (ZIB),
              Takustr. 7,
              D-14195 Berlin,
              Germany,
              Email: {\tt neun@zib.de}
 and must be received by
              {\em March 1, 1998}  (Deadline for Submission).

 Submissions that arrive after this deadline will not be considered.
 Some guidelines that will help the program committee to review
 the submissions are:

  For a first glance a URL is usually very helpful.

  For each system it should be very clear where information about
      the mathematical content can be found. This is usually not trivial
      if the submission consists, say, of uncommented pictures.

  The special features and the targetted user community should be
      identified.

  The availability of the software and the terms and conditions for
      distribution should be easily accessible.

 The scheduled length of the presentations including discussion is
 30 minutes. This allows the organizers to put approx. 12 lectures
 into the time available for the session.

 Financial support for presentations is not available. Presenters are
 required to register for ICM'98.

{\bf Upon Acceptance:}
 Contributors will be notified of the acceptance or rejection of their
 submission by the program committee. Based on this selection, the
 organizing committee will arrange a timetable in cooperation with the
 contributors of the presentations.

 Demands for special equipment needed for presentations can be discussed
 at this time, but the resources will be limited. Therefore, it is not
 advisable to rely on any special hardware and software support from
 the session organizers.

 It is the contributor's responsibility to secure any necessary
 permissions and licenses for any material contained in his presentation
 or handouts. The organizers of ICM'98 would appreciate it if the
 commercial attitude of the system providers were modest.

 {\bf Deadlines:}
 Submission of Presentations     March 1, 1998
 Notification of Acceptance      April 1, 1998




{\bf Other Topics of th ICM98:}
  1.  Logic ,
% Model theory.  Set theory and general topology.  Recursion.  Logics.  Proof
% theory.  Applications.
% Connections with sections 2, 3, 13, 14
%
 2.  Algebra:
 Finite and infinite groups.  Rings and algebras.  Representations of
 finite dimensional algebras.  Algebraic K-theory.  Category theory and
 homological algebra.  {\bf Computational algebra.}  
 Geometric methods in group
 theory.
% Connections with sections 1, 3, 4, 6, 7, 13, 14
%\\
 3.  Number Theory and Algebraic Arithmetic
% Geometry Algebraic and analytic number theory.  Zeta and L-functions.
% Modular    functions (except general automorphic theory).  Arithmetic on
% algebraic varieties.  Diophantine equations, Diophantine approximation.
% Transcendental number theory, geometry of numbers.  p-adic analysis.
% Computational number theory.  Arakelov theory.  Galois representations.
% Connections with sections 1, 2, 4, 7, 13, 14
%
 , 4.  Algebraic Geometry (joint piece with 11)
% Algebraic varieties, their cycles, cohomologies and motives.
% Singularities and classification.  Includes moduli spaces.  Low dimensional
% varieties.  Abelian varieties.  Vector bundles.  Real algebraic and
% analytic sets.
% Connections with sections 2, 3, 5, 6, 7, 13, 14
% \\
 , 5.  Differential Geometry and Global Analysis
% Local and global differential geometry.  Applications of PDE to geometric
% problems including harmonic maps and minimal submanifolds.  Geometric
% structures on manifolds.  Symplectic and contact manifolds.  Hamiltonian
% systems, metric geometry.
% Connections with sections 4, 6, 7, 8, 9, 10, 11
% \\
 , 6.  Topology
% Algebraic, differential, geometric and low dimensional topology.
% 4-manifolds and Seiberg-Witten theory.  3-manifolds including knot theory.
% Connections with sections 2, 4, 5, 7, 11
% \\
 , 7.  Lie Groups and Lie Algebras
% Algebraic groups, Lie groups and Lie algebras, including infinite
% dimensional ones, e.g. Kac-Moody, representation theory.  Automorphic
% forms over number fields and functional fields, including Langlands'
% program.  Quantum groups.  Shimura varieties.  Vertex operator algebras.
% Enveloping algebras.  Super algebras.
% Connections with sections 2, 3, 4, 5, 6, 8, 9, 11, 13
% 7.  Lie Groups and Lie Algebras
% Algebraic groups, Lie groups and Lie algebras, including infinite
% dimensional ones, e.g. Kac-Moody, representation theory.  Automorphic
% forms over number fields and functional fields, including Langlands'
% program.  Quantum groups.  Shimura varieties.  Vertex operator algebras.
% Enveloping algebras.  Super algebras.
% Connections with sections 2, 3, 4, 5, 6, 8, 9, 11, 13
%
 , 8.  Analysis
% Classical and Fourier analysis, operator algebras, functional analysis,
% complex analysis.
% Connections with sections 5, 7, 9, 10, 11
%
 , 9.  Ordinary Differential Equations and Dynamical Systems
% Topological aspects of dynamics.  Geometric and qualitative theory of ODE
% and smooth dynamical systems, bifurcations, singularities (including
% Lagrangian singularities), one-dimensional and holomorphic dynamics,
% ergodic theory (including sensitive attractors).
% Connections with sections 5, 7, 8, 11, 12, 17
%
 , 10.  Partial Differential Equations (includes non-linear functional
 analysis)
% Solvability, regularity and stability of equations and systems.
%  Geometric properties (singularities, symmetry).  Variational methods.
% Spectral theory, scattering, inverse problems.  Relations to continuous
% media and control.
% Connections with sections 5, 8, 11, 16
%
 , 11.  Mathematical Physics (joint piece with 4)
% Quantum mechanics.  Operator algebras.  Quantum field theory.  General
% relativity.  Statistical mechanics and random media.  Integrable systems.
% Connections with sections 5, 6, 7, 8, 9, 10
%
 , 12.  Probability and Statistics
% Classical probability theory, limit theorems and large deviations.
%  Combinatorial probability and stochastic geometry.  Stochastic analysis.
% Random fields and multicomponent systems.  Statistical inference,
% sequential methods and spatial statistics.  Applications.
% Connections with sections 8, 9, 10, 11, 13, 14, 16, 17
%
 , 13.  Combinatorics
% Interaction of combinatorics with algebra, representation theory,
% topology, etc.  Existence and counting of combinatorial structures. Graph
% theory.  Finite geometries.  Combinatorial algorithms. Combinatorial
% geometry.
% Connections with sections 1, 2, 3, 4, 7, 12
%
 , 14.  Mathematical Aspects of Computer Science (joint with IUCSI)
% Complexity theory and efficient algorithms.  Parallelism.  Formal
% languages and mathematical machines.  Cryptography.  Semantics and
% verification of programs.  Computer aided conjectures testing and theorem
% proving.  Symbolic computation.  Quantum computing.
% Connections with sections 1, 2, 3, 4, 12
%
 , 15.  Numerical Analysis and Scientific Computing
% Difference methods, finite elements.  Approximation theory.
%  Computational applications of analysis.  Optimization theory.  Matrix
% calculations.  Signal processing.  Simulations and applications.
% Connections with sections 12, 17
%
 , 16.  Applications
%  a) applications
% applications of mathematics in other sections; topics and speakers to be
% developed in consultation with panels in other sections.
%  Connections with sections 10, 12
% b) (non-continuum) applied area, (for example mathematics of
% communications & networking or an area of mathematical biology) topic and
% panelists to be determined in consultation with CICIAM
%  c) materials  hydrodynamics
%
 , 17.  Control Theory and Optimization (joint with Mathematical Programming
 Society)
% Control, optimization and variational techniques.  Linear, integer and
% non-linear programming, graph, and networks.  Applications.  Robotics.
% Connections with sections 9, 12, 15
%
 , 18.  Teaching and Popularization of Mathematics
%
 , 19.  History of Mathematics. \\

{\bf Further information} on the conference can be found on World Wide Web at the
URL:
\URL{http://elib.zib.de/ICM98}


}



\item {\bf Algebraic Number Theory and Diophantine Analysis}
       
Graz, "Osterreich, 30.8. -- 5.9.98

{\footnotesize
This international conference is organized by

Franz Halter-Koch (University of Graz), Institut f"ur Mathematik,
Karl-Franzens Universit"at Graz, Heinrichstrasse 36, A-8010 Graz, Austria.

Robert F. Tichy (Graz Technical University), Institut f"ur Mathematik A,
Technische Universit"at Graz, Steyrergasse 30, A-8010 Graz, Austria.

The topics of the conference include algebraic number theory, diophantine
equations, transcendence, uniform distribution as well as computational
and analytic aspects. There will be one hour survey lectures as well as
20 minutes contributed talks (open for everybody) and a special session
on diophantine equations.

The following mathematicians have already agreed to attend the conference:

Jozsef Beck (Rutgers University)
J"org Br"udern (University of Stuttgart)
Jan-Hendrik Evertse (University of Leiden)
Ernst-Ulrich Gekeler (University of Saarbr"ucken)
Kalman Gyoery (University of Debrecen)
Stephane Louboutin (University of Caen)
Wladislaw Narkiewicz (University of Wroclaw)
Andrew M. Odlyzko (Bell Labs), tentatively
Attila Pethoe (University of Debrecen)
Florian Pop (University of Bonn)
Andrzej Schinzel (Polish Academy of Sciences), tentatively
Wolfgang M. Schmidt (University of Colorado), tentatively
Rene Schoof (University of Rome)
Martin Taylor (University of Manchester)
Robert Tijdeman (University of Leiden)
Michel Waldschmidt (Institut Poincar\'e, Paris)

Graz is the capital of Styria, a southern province of Austria. The meeting
will take place at the University and the Technical University, which are
both in walking distance from the city center. Graz can be reached either
by train or by plane. There are flights from Vienna, Zurich and Frankfurt.

There will be a possibility for moderately priced housing in a dormitory.
Of course, it is possible to choose any hotel in Graz via the tourist office.
The conference fee is approximately 1000 ATS (ca. 150DM, ca. 90US\$ , ca. 450FF).
In special cases a reduction of the conference fee may be possible.
For more details we refer to the second announcement in approximately one
year.

Everybody interested in the second announcement should contact the
e-mail address:{\tt nt98@weyl.math.tu-graz.ac.at}

}


\item {\bf Representation Theory of Algebras}
       
Bielefeld, 31.8. -- 5.9.98

{\footnotesize

An International Conference devoted to
Representation Theory of Algebras
             will be held
                August 31 - September 5, 1998
at the University of Bielefeld (starting on August 31 at 9:00 am
and ending on September 5 at 2:00 pm).

The {\bf scientific organization} lies in the hands of
       Dieter Happel (Chemnitz), Helmut Lenzing (Paderborn),
 Claus Michael Ringel (Bielefeld) and Klaus W. Roggenkamp (Stuttgart).

The {\bf local organizing committee} consists of Thomas Br"ustle,
Peter Dr"axler, Steffen K"onig, Henning Krause, Rainer N"orenberg,
Claus Michael Ringel and Jan Schr"oer.

                          {\bf Program:}
There will be 18 one-hour lectures on important recent developments
in the subject and on decisive relations to other parts of mathematics.
The following mathematicians have accepted our invitation for such a lecture:

        Hans Joachim Baues (Bonn, Germany),
        Raymundo Bautista (UNAM, Mexico),
        Jon Carlson (Athens, USA),
        William Crawley-Boevey (Leeds, England),
        Gordon James (London, England),
        Mikhail Kapranov (Boston, USA),
        Olivier Mathieu (Strasbourg, France),
        Sergei Ovsienko (Kiev, Ukraine),
        Idun Reiten (Trondheim, Norway),
        Andrzej Skowronski (Torun, Poland),
        Katsuhiro Uno (Osaka University, Japan),
        Michel Van den Bergh (Hasselt, Belgium),
        Jie Xiao (Beijing, China).

The remaining one-hour lectures and additional twenty-minutes lectures
(in parallel sessions) will be arranged on the basis of abstracts
provided by participants.

On Tuesday evening (September 1) there will be a presentation of
computer algebra packages which handle problems in
representation theory, organized by Peter Dr"axler (Bielefeld).

The final program will be available July 31, 1998 in the internet.

                         {\bf Abstracts}
The deadline for the submission of an abstract is June 30, 1998.
Such an abstract should be no longer than one page and should clearly state
the result to be presented. The abstracts obtained in time will
be distributed to all participants.

                     {\bf  Registration Fee}
There will be a registration fee of DM 200,- (for students: DM 150,-).
It will cover the scientific material to be distributed
as well as lunches (Monday - Friday),
an excursion on Wednesday afternoon (September 2)
and a joint dinner on Thursday evening (September 3).
The registration fee will be reduced for those paying before June 30, 1998
to DM 150.- (and DM 100,- for students); the money has to be sent to the
following bank account: Ringel, Sparkasse Bielefeld, BLZ 480 501 61,
Account Number 43 00 75 41.

                        {\bf Accomodation:}
Several hotels in Bielefeld provide special rates
for the participants of the conference, see the enclosed list.
Every participant is asked to contact directly one of these hotels, or else
to make an arrangement with: Tourist Information, Am Bahnhof,
D-33602 Bielefeld, Germany. Tel: (+49) 521 178844, Fax: (+49) 521 178811.

                      {\bf The Week Before:}
The International Congress of Mathematicians (ICM 98) will be held
at Berlin August 18 - 27, 1998. It is easy to go from Berlin to Bielefeld:
one may use a train, it runs every hour and takes 210 minutes.

                       {\bf The Week After:}
This meeting will be followed by a Euroconference devoted to
''Infinite Length Modules'', September 7 - 11, 1998, also hosted by
the University of Bielefeld (see the announcement below).
Special funds of the European Union (TMR) are available for allowing
young researchers from member states of the European Union
to participate at the Euroconference.
For those who register for both conferences (The International Conference
on ''Representation Theory of Algebras'' and the Euroconference on
''Infinite Length Modules'') we plan an excursion on Sunday, September 6.

{\bf Further information:}
\URL{http://www.mathematik.uni-bielefeld.de/\~{}sek/}

or you may contact:
Ms. H. Scharsche,
Fakult"at f"ur Mathematik, Universit"at,
POBox 100 131, D-33501 Bielefeld, Germany,
Fax: (+49) 521 106-4743,
E-mail: {\tt scharsch@mathematik.uni-bielefeld.de} .

}


\item {\bf  Euro-Par'98}

Southampton, 1.9. --4.9.98

{\footnotesize  

{\bf Scope of the Conference}:
\textsc{EURO-PAR} is the annual European conference in
Parallel Processing. The conference
will consist of a panel of highly focused workshops on all aspects
of parallel processing, from theory to practice, from academy to
industry. 

{\bf Subjects of the Workshop on Symbolic Computation}:
Papers are invited on all topics related to parallel symbolic
computation. Symbolic computation is defined here in its broadest
sense, comprising all programming and computation paradigms that
deal with symbolic data, or that deal with exact numeric data
rather than floating-point values.  This includes functional
programming, logic programming, constraint programming, computer
algebra, theorem proving, AI paradigms, etc.  Topics of interest
comprise parallel execution models, parallel algorithms, parallel
compilation and run-time techniques as applied to the specific
domain of symbolic computation, including parallelizing recursion,
speculative parallelism, manipulation of complex parallel data
structures, parallel search, parallel language constructs, and
static, dynamic or hybrid resource control (heap management, load
management, data placement, granularity, etc.).  Papers reporting
on significant applications are particularly welcome.

{\bf Conference Organization}\\
{\em Chair:}\/ Tony Hey\\
{\em Committee Members:}\/ Jeff Reeve, David Pritchard, Hugh Glaser.\\
{\em Steering Committee:}\/
Ron Perrott (Queen's U.\ Belfast, Chair),
Emilio Zapata (U.\ Malaga, Vice-Chair),
Luc Bouge (ENS Lyon),
Paul Feautrier (U.\ Versailles),
Luco Grandinetti (U.\ Calabria),
Seif Haridi (SICS),
Peter Kacsuc (KFKI),
Christian Lengauer (U.\ Passau),
Karl Dieter Reinartz (U.\ Erlangen),
Paul Spirakis (CTI),
Marian Vajtersic (Slovak Academy),
Richard Wait (MidSweden U.),
Makoto Amamiya (Kyushu U.),
Agnes Bradier (EC),
Ian Foster (Argonne).

{\bf Workshop Organization}\\
{\em General Chair:}\/ Wolfgang K\"uchlin, Universit\"at T\"ubingen\\
{\em Local Chair:}\/ Ali Abdallah, University of Reading, England.\\
{\em Vice Chairs:}\/ {\em to be announced}.

%{\bf Important Dates}\\
%Submission deadline: 31st January, 1998.\\
%Notification of acceptance: 1st May, 1998.\\
%Final copies: 10th June, 1998.\\
%Early registration: by 30th June, 1998.

{\bf Further information:}
\URL{http://www.europar98.ecs.soton.ac.uk}

}


\newpage
\item {\bf Infinite Length Modules}
       
Bielefeld, 7.9. -- 11.9.98

{\footnotesize

A Euroconference
                    Infinite Length Modules
will be held
                     September 7 - 11, 1998,
at the University of Bielefeld (starting on September 7 at 9:00 am
and ending on September 11 at 17:00 pm).

The {\bf scientific organization} lies in the hands of
              Ken Brown (Edinburgh), Paul M. Cohn (London),
       Idun Reiten (Trondheim) and Claus Michael Ringel (Bielefeld).

The  {\bf local organizing committee} consists of Thomas Br"ustle,
Peter Dr"axler, Steffen K"onig, Henning Krause, Rainer N"orenberg,
Claus Michael Ringel and Jan Schr"oer.

                            {\bf Program}
The aim of the conference is to provide a survey of
methods and results concerning modules of infinite length (in comparison to
the well-known properties of finite length modules). A detailed program will
be available by the end of February 1998.

                        {\bf Registration Fee}
There will be a registration fee of DM 140,-.
The registration fee will be reduced for those paying before June 30, 1998
to DM 100.-; the money has to be sent to the
following bank account: Ringel, Sparkasse Bielefeld, BLZ 480 501 61,
Account Number 43 00 75 41.

                          {\bf Accomodation}
Several hotels in Bielefeld provide special rates
for the participants of the conference, see the enclosed list.
Every participant is asked to contact directly one of these hotels, or else
to make an arrangement with: Tourist Information, Am Bahnhof,
D-33602 Bielefeld, Germany. Tel: (+49) 521 178844, Fax: (+49) 521 178811.

                        {\bf Financial Support}
The Euroconference is financially supported by the TMR-program of the
European Union.
Special funds are available for allowing young researchers from member states
of the European Union to participate (see the registration form).

{\bf Further information:}
\URL{http://www.mathematik.uni-bielefeld.de/\~{}sek/}

or you may contact:
Ms. H. Scharsche,
Fakult"at f"ur Mathematik, Universit"at,
POBox 100 131, D-33501 Bielefeld, Germany,
Fax: (+49) 521 106-4743,
E-mail: {\tt scharsch@mathematik.uni-bielefeld.de} .

}

\item {\bf                                   AISC'98 --
                    The Fourth International Conference
              Artificial Intelligence and Symbolic Computation}

       
Plattsburgh, New York, USA 16.9. -- 18.9.98

{\footnotesize
                          
{\bf  About this Conference Series:}
Conferences in this series are held every two years; the previous three took
place in Karlsruhe (Germany), Oxford (United Kingdom) and Steyr (Austria).
This time the conference will be held in USA and will be sponsored by the
Plattsburgh State University of New York. Papers submitted to the conference
undergo a standard review process. Previous proceedings appeared in the
Springer Verlag LNCS Series, volumes 737, 958 and 1138. This year's
proceeedings are also expected to be published by Springer Verlag and
available at the time of the conference. Later, expanded versions of best
papers will appear after a review in a special volume of Fundamenta
Informaticae. The aim of the conference is to provide a forum for the
exchange of novel ideas and the presentation of latest solutions. Another
goal is to foster personal contacts among researchers from diverse fields
surrounding AI and symbolic computation. The conference is concerned with
all aspects of research, including theory, implementations and applications.

{\bf  Topics:}
 AI in Symbolic Mathematical Computing,
 Computer Algebra Systems and Automated Theorem Provers,
 Integration of Logical Reasoning and Computer Algebra,
 Engineering, Industrial and Operations Research Applications,
 Foundations and Complexity of Symbolic Computation,
 Mathematical Modeling of Multi-Agent Systems,
 Programming Languages for Symbolic Computation,
 Symbolic Computation for Expert Systems and Machine Learning,
 Implementations of Symbolic Computation Systems.

Papers involving other topics but with significant links to the topics above
will also be appropriate.

{\bf  Invited Speakers:}

   Luc DeRaedt (Katholieke Universiteit Leuven, Belgium):
     Inductive logic programming.
   Melvin Fitting (City University of New York, USA):
     Bertrand Russell, Herbrand's theorem, and the assignment statement.
   Richmond Thomason (University of Pittsburgh, USA):
     Repesenting and reasoning with context.

{\bf Deadlines:}
   Deadline for submissions: March 25, 1998,
   Information about acceptance of papers: May 1, 1998,
    Final version due: June 1, 1998.

{\bf Submission Requirements:}
Authors are invited to submit papers up to 12 pages long, in English,
conforming to the editorial requirements of the Springer Verlag LNCS series,
formatted in LaTeX.\\
 (See \URL{http://www.springer-ny.com/samples/tools.html} or
contact organizers to receive LaTeX lncs.sty file and instructions). The
title page should contain:
    title,
    author(s) with affiliation(s),
    e-mail address(es),
    specification of topic(s) from the list above to which the paper is
    related,
    listing of keywords,
    abstract.

Results must be unpublished. Electronic submission is encouraged. Send both
a postscript file and the LaTeX source code to
{\tt aisc98@splava.cc.plattsburgh.edu} (If electronic submission is not possible
at this time, please send four hard copies to the address below.)

{\bf Steering Committee:}
Jacques Calmet (Universitaet Karlsruhe, Germany),
John Campbell (University College London, Great Britain),
Jochen Pfalzgraf (Universitaet Salzburg, Austria),
Jan Plaza (SUNY/Plattsburgh, USA), Conference Chairman.

{\bf Program Committee:}
Luigia C. Aiello (Roma, Italy),
Francois Arlabosse (Framatome, France),
Bruno Buchberger (Linz, Austria),
Gregory Butler (Montreal, Canada),
James Cunningham (London, Great Britain),
John Debenham (Sydney, Australia),
Ruediger Dillmann (Karlsruhe, Germany),
Fausto Guiunchiglia (Trento, Italy),
Stan Klasa (Montreal, Canada),
Alfonso Miola (Roma, Italy),
Lin Padgham (Melbourne, Australia),
Zbigniew W. Ras (Charlotte, USA),
Klaus U. Shultz (Munich, Germany),
Joerg H. Siekmann (Saarbruecken, Germany),
Andrzej Skowron (Warsaw, Poland),
Stanly Steinberg (Albuquerque, USA),
Karel Stokkermans (Linz, Austria),
Carolyn Talcott (Stanford, USA),
Peder Thusgaard Ruhoff (Odense, Denmark),
Dongming Wang (Grenoble, France).

{\bf Addresses:}
    Up-to-date information is always available on the web page
    \URL{http://www.plattsburgh.edu/aisc98/}

    Submissions and questions can be directed via e-mail to:
    {\tt aisc98@splava.cc.plattsburgh.edu},
    Phone: (518) 564 2788,
    Fax: (518) 564 3010,

    Mail can be addressed to:
          AISC'98,,
          c/o Jan Plaza,
          Computer Science Department,
          Plattsburgh State University of New York,
          Plattsburgh, NY 12901,
          USA.

}



\item {\bf Cooperating Systems for Symbolic Computation}
       
Potsdam, 23.9. -- 25.9.98

{\footnotesize
Research in Symbolic Computation and its fields
    Computer Algebra,
    Deduction and
    Model Checking
has led to the development of quite a few systems that -taken together-
produced remarkable results. Although some of these systems are capable to
deal with many problems, even if we take only a subfield there is not one
system that can deal with all the problems users are interested in. This is
the reason why there are so many specialized systems that solve certain
tasks very efficiently.

So, at the moment there are some systems that have a general purpose intend
(at least for one of the fields of Symbolic Computation) and that were very
costly in their development. On the other hand, there are many special
purpose systems that solve certain very difficult tasks with specialized
methods. Naturally, users are interested in systems that combine all the
best of existing technologies.

One solution to this problem is to let the existing systems cooperate. In
the last few years this solution has been the subject of the research of
several groups in symbolic computation. In order to be useful, systems for
symbolic computation must be also capable to cooperate with a wide range of
application systems from other fields. These include text editors as well as
data bases, verification systems and many others.

The basis for the cooperation of systems is the cooperation of the people
that design and implement them. And the basis for cooperation is the
exchange of information. Therefore it is the time to bring together the
researchers interested in Cooperative Symbolic Computation Systems in order
to exchange ideas and experience and to provide the basis for extended
cooperations of both people and systems.

{\bf Topics:}
The topics of interest of the workshop include but are not limited to:
    cooperation concepts for
        automated and interactive deduction,
         computer algebra,
         model checking,
     and combinations of these fields,
    cooperation of several symbolic computation systems and human beings,
    cooperation of systems for symbolic computation with systems from other
     fields, and
    interchange formats for symbolic computation

We especially encourage submissions describing systems or case studies to
these topics.

{\bf Important Dates:}
    Papers Due: April 1, 1998,
    Author Notificaton: After May 22, 1998,
    Camera Ready Copy Due: June 22, 1998,
    Workshop: September 23-25, 1998.

{\bf Submission Information:}
The submitted paper should not exceed 15 pages. We strongly encourage to use
the standard LaTeX article style. The primary means of submission will be
electronic by mailing an uuencoded compressed (or gziped) PostScript file to
one of the program co-chairs. Submissions received after March 15 will not be
considered.

{\bf Proceedings:}
Accepted contributions will be published in a technical report of the
Computer Science Department of the University Kaiserslautern. The report
will be available at the workshop.

{\bf Program Committee:}

General Chair:
     Bruno Buchberger,
     RISC Linz,
     Austria.

Program Committee Co-Chairs:\\
      Jacques Calmet,                    
      Faculty for Computer Science,      
      Karlsruhe University,              
      Germany,                           
      {\tt calmet@ira.uka.de                  }.\\
  Ingo Dahn                     
  Mathematical Institute,       
  Humboldt University Berlin,   
  Germany                       
  {\tt dahn@mathematik.hu-berlin.de  }


Program Committee Members:
      J"org Denzinger, University Kaiserslautern, Germany,
      John Harrison,  University of Cambridge,   UK,
      Tudor Jebelean, RISC-Linz,                 Austria,
      Tobias Nipkow,  TU Munich,                 Germany,
      Laurent Thery,  INRIA,                     France,
      Andreas Weber,  University of T"ubingen,    Germany.

Local Organization Chair:\\
     Martin Weese,
     Mathematical Institute,
     Potsdam University,
     Germany
     {\tt weese@rz.uni-potsdam.de}

{\bf Actual Information:}

See \URL{http://www.uni-kl.de/AG-AvenhausMadlener/cosysyco.html}

}



\item {\bf  Algorithmen und Zahlentheorie}
       
Dagstuhl, 12.10. -- 30.10.98

{\footnotesize

    {\bf Leiter:}\\
    H. Niederreiter, Academy of Sciences, Vienna, Austria,\\
    A. M. Odlyzko, AT\&T Florham Park, USA,\\
    M. E. Pohst, TU Berlin, Germany.

}

\end{enumerate}

%\vspace*{5mm}


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

{
%\vspace*{5mm}
\section*{\Large\bf \hrule\vspace{1mm}
\centerline{Berichte von Konferenzen}}\vspace{-3mm}\hrule}
\label{berkonf}
\addcontentsline{toc}{section}{\normalsize \bf 
Berichte von Konferenzen }%\toc_dotfill }


\vspace*{4mm}

\begin{enumerate}   


%\item {\bf Dritte Internationale Konferenz "uber Technologie in der
%                 mathematischen Lehre}

%Koblenz, 29. September - 2. Oktober 1997

%{\footnotesize

%N"ahere Einzelheiten erhalten Sie, wenn Sie das Formblatt ausf"ullen oder anfordern bei: 
%Prof.\ Wolfgang Fraunholz,
%     Universit"at - Mathematisches Institut,
%     Rheinau 1,
%     D-56075 Koblenz,
%     Tel.: +49-261-9119650,
%     Fax: +49-261-9119652,
%     Email: {\tt w.fraunholz@ifm.uni-koblenz.de.}

%}

\item {\bf Algorithmische Ideal- und Invariantentheorie (DMV-Seminar)}

   Oberwolfach, 12. -- 18.10.1997

{\footnotesize 
Das von G.-M. Greuel und B. H. Matzat geleitete DMV-Seminar fand mit 26
Teilnehmern statt. Darin wurde eine Einf\"uhrung in die algorithmische
Idealtheorie gegeben mit Anwendungen im Bereich der Invarianten- und
Singularit\"atentheorie. Dazu wurden \"Ubungen veranstaltet und
Computerpraktika haupts\"achlich mit SINGULAR und MAGMA durchgef\"uhrt.
Die einzelnen Vortr\"age (in zeitlicher Reihenfolge) waren:

%\begin{tabular}

{\bf G.-M. Greuel} (Kaiserslautern), {\it Einf\"uhrung von Gr\"obner- und
Standardbasen I, II} \\
{\bf G. Pfister} (Kaiserslautern), {\it Prim\"arzerlegung und Normalisierung
I, II} \\
{\bf B. H. Matzat} (Heidelberg), {\it Invariantenringe endlicher Gruppen I,
II} \\
{\bf G. Kemper} (Heidelberg), {\it Berechnung von Invariantenringen} \\
{\bf B. H. Matzat}, {\it Invariantenringe linear reduktiver Gruppen I, II} \\
{\bf G. Kemper}, {\it Invarianten endlicher Spiegelungsgruppen} \\
{\bf G.-M. Greuel}, {\it Singularit\"aten} \\
{\bf B. H. Matzat}, {\it Generische Polynome und das Noethersche Problem} \\
{\bf G. Kemper}, {\it Tiefe von Invariantenringen} \\
%\end{tabular}

Eine Ausarbeitung des DMV-Seminars in Buchform (f\"ur den
Birkh\"auser-Verlag) ist in Vorbereitung.

}

 \begin{flushright}
B. H. Matzat (Heidelberg)
 \end{flushright}                                                                              


\item {\bf Algorithmic Aspects of Drinfeld Modules}

Dagstuhl, 1.12. -- 6.12.97
       
{\footnotesize
Dieser von E.-U. Gekeler und B. H. Matzat geleitete (letzte) Workshop im
Rahmen des DFG-Schwerpunktprogramms Algorithmische Zahlentheorie und
Algebra wurde von 34 Teilnehmern besucht.
Es wurden die folgenden Vortr\"age (in zeitlicher Reihenfolge) gehalten:

%\begin{tabular}

{\bf H. G. R\"uck} (Essen), {\it $L$-series of Heegner points of Drinfeld
modular curves} \\
 {\bf U. Tipp} (Saarbr\"ucken), {\it Green functions for Drinfeld modular
curves} \\
{\bf A. Bruns} (Essen), {\it Explicit equations of Drinfeld modular curves} \\
{\bf M. Traulsen} (Essen), {\it Modular symbols for function fields} \\
{\bf A. Schweizer} (Montreal), {\it Elliptic curves over ${\bf F}_{q}(T)$
with conductor of degree four} \\
{\bf G. Cornelissen} (MPI Bonn), {\it Zeroes of Eisenstein series I} \\
{\bf N. Rebinguet} (Toulouse), {\it Zeroes of Eisenstein series II} \\
{\bf E.-U. Gekeler} (Saarbr\"ucken), {\it Zeroes of Eisenstein series III} \\
{\bf Cho Xing} (Wien), {\it Construction of algebraic curves over finite
fields with many rational points} \\
{\bf B. Wack} (Saarbr\"ucken), {\it Zeta functions of elliptic curves over
${\bf F}_{2}(T)$} \\
{\bf O. Scheja} (Saarbr\"ucken), {\it Zeta functions of modular graphs} \\
{\bf S. Abhyankar} (Purdue), {\it Galois theory of Moore-Carlitz Drinfeld
modules} \\
{\bf B. Angl\`es} (Toulouse), {\it On the analogue of a problem of
Mirimanoff in characteristic p.} \\
{\bf D. Thakur} (Univ. of Arizona), {\it Results and computational projects
in the arithmetic of Drinfeld modules} \\
{\bf L.-Ch. Hsia} (Nat. Cent. Univ. Taiwan), {\it On characteristic
polynomials of geometric Frobenius associated to Drinfeld modules} \\
{\bf I. Potemine} (KIAS Seoul), {\it Drinfeld-Anderson motives} \\
{\bf B. Lopez} (Madrid), {\it On the expansion of a product formula related
with the Drinfeld discriminant function} \\
{\bf F. Recher} (Lille), {\it Transcendence of the modular invariant in
finite characteristic} \\
{\bf R. Pink} (Mannheim), {\it The Galois action on the torsion points of a
Drinfeld module} \\
{\bf J. Yu} (Acad. Sinica), {\it On class number relations over function
fields} \\
{\bf D. Hayes} (Amherst), {\it j-invariants of CM-Drinfeld modules} \\
{\bf D. Dorman} (Middlebury), {\it Explicit factorization formulae for
singular moduli of Drinfeld modules} \\
{\bf S. Bae} (KAIST), {\it On the coefficients of Drinfeld modular
equations} 

%\end{tabular}

Der Workshop wurde mit einer Problem Session abgeschlossen.

}

 \begin{flushright}
B. H. Matzat (Heidelberg)
 \end{flushright}                                                                              





%\item {\bf CAS-97}

%Minsk, Wei"sru"sland, 8.12. -- 11.12.97
       
%{\footnotesize
%{\bf Organizing Committee:}
%Prof. Kurbatski A.N. - Belarussian State University {\bf (President of conference)}
%Prof. Chigarev A.V. - Belarussian State Polytechnical Academy {\bf (President of conference)}
%Prof. Worotnitsky Yu. I. - Belarussian State University {\bf (Deputy President of conference)}
%Dr.Adamchik V. - Wolfram Research, INC., USA
%Prof. Akimov V. A.- Belarussian State Polytechnical Academy 
%Apanasevich T.A. - Belarussian State University 
%Prof. Gurin N. I. - Belarussian State Technological University
%Prof. Kragler R. - FH Ravensburg-Weingarten, Germany
%Dr. Meteliza O.N. - Institute of Nuclear Problems
%Prof. Poznyak Yu.V. - Belarussian State University  {\bf (Secretary)}
%Prof. Samodurov A. A. - Belarussian State University
%Prof. Tomilchik L.M. - Belarussian Academy of Sciences

%{\bf Scientific Programme Committee:}
%Prof. Shumeiko N.M. - Center of Profound Research of High Energy Physics {\bf (President of committee)}
%Prof. Kuleshov A.A. - Belarussian State University 
%Prof. Tavgen O.I. - Belarussian State University 
%Prof. Tihomirov V.V. - Institute of Nuclear Problems
%Dr. Vlasov A. T. - Belarussian State University 

%}

\item {\bf RISC Linz: Intensive Course on Gr\"obner Bases  }\label{groebcourse}
       
Linz, "Osterreich, 7.1. -- 30.1.98

{\footnotesize

The {\sl Intensive Course on Gr\"obner Bases}, organized by
Prof. Bruno Buchberger and Prof. Franz Winkler, took place in Hagenberg,
the home of RISC-Linz, from January 12 through 30.
The course was primarily designed as a comprehensive introduction
for ph.d. students and young postdocs. The 28 participants came from
Austria, Belarus, Czechia, Germany, Hungary, Iran, Italy, Japan,
Moldavia, Norway, Romania, Russia, Spain, Sweden, Ukraine, and USA.

List of lecturers and subjects:

 {\sl B. Buchberger} (Linz): Introduction to the theory and
construction of Gr\"obner bases, elementary applications such as
ideal membership, computation in residue class rings, solution of
algebraic equations, linear syzygies, Hilbert functions,
non-linear syzygies, and inverse mappings.\\
 {\sl F. Winkler} (Linz): Introduction to general rewriting,
reductions relations, term rewriting, geometric applications of
Gr\"obner bases, such as implicitization and parametrization of
algebraic varieties, computation of dimension of a variety.\\
 {\sl F. Schwarz} (Bonn): Janet bases as an algebraic tool
for investigating partial differential equations, applications of
Janet bases for vector fields of Lie groups, for 2nd order
ordinary differential equations.\\
 {\sl L. Robbiano} (Genova): Introduction to the theory of
Hilbert functions and the computation of Hilbert functions, how to
compute Gr\"obner bases with the aid of Hilbert functions,
using Hilbert functions for computing free resolutions.\\
 {\sl W.W. Adams} (College Park, MD): Gr\"obner bases over rings,
primality testing using Gr\"obner bases, primary decomposition of
ideals by Gr\"obner bases.

}

 \begin{flushright}
B. Buchberger and F. Winkler (Linz)
 \end{flushright}                                                                              

\item {\bf International Conference on Gr\"obner Bases
(``33 Years of Gr\"obner Bases'') }\label{groebnerconf1}
       
Linz, "Osterreich, 2.2. -- 4.2.98

{\footnotesize
The conference ``33 Years of Gr\"obner Bases'' was held in Hagenberg
near Linz, the home of RISC-Linz, from February 2 through 4.
Prof. Bruno Buchberger and
Prof. Franz Winkler (both RISC-Linz) were the chairmen of the
conference.
The 94 participants came from 14 countries.

The conference consisted of one day of tutorial lectures on various
applications of the theory of Gr\"obner bases, and two days of
presentations of original research.
The proceedings are published as: B.Buchberger and F.Winkler (eds.),
{\it Gr\"obner Bases and Applications}, London Math. Soc. LNS 251,
Cambridge Univ. Press, 1998.

Titles of the tutorial lectures and research talks in alphabetic
order of the authors follow.

\noindent{\bf Tutorial lectures:}\\
 {\sl B. Buchberger} (Linz):  Introduction to Gr\"obner Bases.\\
 {\sl F. Chyzak} (Rocquencourt):
       Gr\"obner Bases, Symbolic Summation and Symbolic Integration.\\
 {\sl W. Decker and T. de Jong} (Saarbr\"ucken):
       Gr\"obner Bases and Invariant Theory.\\
 {\sl G.-M. Greuel and G. Pfister} (Kaiserslautern):
       Gr\"obner Bases and Algebraic Geometry.\\
 {\sl S. Ho\c sten and R. Thomas} (Fairfax, VA and College Station,
       TX):  Gr\"obner Bases and Integer Programming.\\
 {\sl H.M. M\"oller} (Dortmund):
       Gr\"obner Bases and Numerical Analysis.\\
 {\sl L. Robbiano} (Genova):  Gr\"obner Bases and Statistics.\\
 {\sl D. Wang} (Grenoble):  Gr\"obner Bases Applied to Geometric
      Theorem Proving and Discovering.\\

\noindent {\bf Original research talks:}\\
 {\sl B. Amrhein and O. Gloor} (Bern and T\"ubingen):
         The Fractal Walk.\\
 {\sl M.A. Borges and M. Borges} (Santiago de Cuba):
          Gr\"obner Bases Property on Elimination Ideal in the
          Noncommutative Case.\\
 {\sl M.-J. Gonzalez-Lopez and L. Gonzalez-Vega} (Santander):
          Newton Identities in the Multivariate Case: Pham Systems.\\
 {\sl M. Insa and F. Pauer} (Innsbruck):
          Gr\"obner Bases in Rings of Differential Operators.\\
 {\sl J.B. Little} (Worchester, MA):
         Canonical Curves and the Petri Scheme.\\
 {\sl H. Lombardi and H. Perdry} (Besan\c con):
        The Buchberger Algorithm as a Tool for Ideal Theory
        of Polynomial Rings in Constructive Mathematics.\\
 {\sl K. Madlener and B. Reinert} (Kaiserslautern):
          Gr\"obner Bases in Non-Commutative Reduction Rings.\\
 {\sl J.L. Miller} (Bowling Green, KY):
          Effective Algorithms for Intrinsically Computing
          SAGBI-Gr\"obner Bases in a Polynomial Ring over a Field.\\
 {\sl M\"uller-Quade, R. Steinwandt and T. Beth} (Karlsruhe):
        An Application of Gr\"obner Bases to the Decomposition
        of Rational Mappings.\\
 {\sl P. Nordbeck} (Lund):
          On some Basic Applications of Gr\"obner Bases in
          Non-commutative Polynomial Rings.\\
 {\sl L. Robbiano and M.P. Rogantin} (Genova):
           Full Factorial Designs and Distracted Fractions.\\
 {\sl T. Sauer} (Erlangen):
         Polynomial Interpolation of Minimal Degree and Gr\"obner Bases.\\
 {\sl J. Schicho} (Linz):
         Inversion of Birational Maps with Gr\"obner Bases.\\
 {\sl J. Snellman} (Stockholm):  Reverse Lexicographic Initial Ideals
          of Generic Ideals are Finitely Generated.\\
 {\sl Q.-N. Tran} (Linz):
          Parallel Computation and Gr\"obner Bases: An Application of
          Converting Bases with the Gr\"obner Walk.\\


\noindent {\bf The following invited talks were also given at the conference:}\\
 {\sl W.W. Adams} (College Park, MD):
         Some Applications of Computational Algebra to Partial
         Differential Equations.\\
 {\sl B. Buchberger} (Linz):
         33 Years of Gr\"obner Bases: The Early Years.\\
 {\sl F. Schwarz} (Bonn):
           Janet Bases for Symmetry Groups.

}
 \begin{flushright}
F. Winkler (Linz)
 \end{flushright}                                                                              

\newpage

\item {\bf Computeralgebra in Forschung und Lehre, Workshop}\label{WS_kuenzelsau}
       
K\"{u}nzelsau, 5.3. -- 6.3.98

{\footnotesize
Der Workshop Computeralgebra in Forschung und Lehre in K\"{u}nzelsau
wurde veranstaltet von der FG Computeralgebra der DMV, GI und
GAMM sowie der Fachhochschule Heilbronn. Die \"{O}rtliche Tagungsleitung
hatte Wilhelm Werner (\texttt{werner@fh-heilbronn.de}). Mehr als 50
Teilnehmer aus ganz Deutschland beteiligten sich an dem zweit\"{a}gigen
Workshop, in dem zahlreiche Einsatzm\"{o}glichkeiten von Computeralgebra
vorgestellt und lebhaft diskutiert wurden. Mehrere Verlage und Distributoren
von einschl\"{a}giger Software nahmen die Gelegenheit wahr, um ihre
aktuellen Produkte vorzustellen; im Rahmenprogramm wurde die Ausstellung
\emph{Italienische Transavantguardia} im Museum W\"{u}rth besucht.

{\bf Das Vortragsprogramm:}
Michael M\"{o}ller (Dortmund): \emph{Das L\"{o}sen von algebraischen
Gleichungssystemen}, Harald Gross (Ulm): \emph{Exakte und schnelle
Rechenverfahren f\"{u}r Matrizen,} Karl Buehler (Offenburg): \emph{%
Anwendungen der Computeralgebra in Thermo- und Fluiddynamik,} Karl-Heinz
Zimmermann (Hamburg-Harburg): \emph{Erzeugung guter Codes,} Laurent
Bernardin (Z\"{u}rich): \emph{Computeralgebra, Maple und die Zukunft,}
Thomas Westermann (Karlsruhe): \emph{Computeralgebrasysteme in der
Mathematikvorlesung,} Michael Komma (Reutlingen): \emph{Mathematikunterricht
und neue Technologien,} Hans-Dieter Janetzko (Konstanz): \emph{Direkte
Berechnung der Hertzschen Pressung mit MATHEMATICA,} Edgar M.E.Wermuth (N%
\"{u}rnberg): \emph{Invariante Mannigfaltigkeiten mit Maple,} Wolfram Koepf
(Leipzig): \emph{Potenzreihenentwicklungen und Summation in der
Computeralgebra,} Burkhard Alpers (Aalen): \emph{Flexible elektronische
VDI-Richtlinien am Beispiel von Kurvengetrieben,} G\"{u}nter Gramlich
(Kaiserslautern): \emph{Scientific Computing in der Strahlentherapie,}
Hans-Gert Gr\"{a}be (Leipzig): \emph{Einf\"{u}hrung in die Computeralgebra -
eine Lehrveranstaltung zwischen Mathematik und Informatik,} Axel Schenk
(Isny): \emph{Computerbasierte Mathematik-M\"{o}glichkeiten und Probleme am
Beispiel von MATLAB}

Im Jahr 2000 soll die Veranstaltungsreihe mit einem Workshop an der Fachhochschule Konstanz
fortgesetzt werden; Interessenten wenden sich bitte an \texttt{heinrich@fh-konstanz.de}.

}

 \begin{flushright}
W. Werner (K"unzelsau)
 \end{flushright}                                                                              





\end{enumerate}
%%\newpage
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%     Themen und Anwendungen der Computeralgebra                  %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%\vspace*{5mm}
\section*{\Large\bf \hrule\vspace{1mm}
\centerline{Themen und Anwendungen der Computeralgebra}}\vspace{-3mm}\hrule
\label{themen_ca}
\addcontentsline{toc}{section}{\normalsize \bf 
Themen und Anwendungen der Computeralgebra}%\toc_dotfill }


\vspace{1cm}
\subsection*{\Large\bf
\centerline{Audiosignalverarbeitung} 
}\label{m}
\addcontentsline{toc}{subsection}{\normalsize \sl 
M. Clausen, F. Kurth, Audiosignalverarbeitung
}%\toc_dotfill }
\vspace{0.4cm}
\centerline{Michael Clausen, Frank Kurth}
\centerline{Institut f"ur Informatik V, Rheinische Friedrich-Wilhelms-Universit"at Bonn}
\centerline{\tt clausen@cs.uni-bonn.de, kurth@informatik.uni-bonn.de}

\vspace{1.em}

%\newcommand{\Z}{\mbox{${\mathbb Z}$}}
\newcommand{\R}{\mbox{${\mathbb R}$}}
\newcommand{\Q}{\mbox{${\mathbb Q}$}}
\newcommand{\C}{\mbox{${\mathbb C}$}}
%\newcommand{\N}{\mbox{${\mathbb N}$}}
\newcommand{\one}{\mbox{\bf 1}}
\newcommand{\smZ}{\mbox{{\small$\!\! \raisebox{-0.2ex}{
 \Z}$}}}
\newcommand{\smC}{\mbox{{\small$\!\! \raisebox{-0.2ex}{
 \C}$}}}
\newcommand{\smN}{\mbox{{\small$\!\! \raisebox{-0.2ex}{
 \N}$}}}




Die Audiosignalverarbeitung (ASV) entstand als eines der ersten
 Teilgebiete der Nachrichtentechnik. Mittlerweile
ist aus dieser traditionellen Ingenieurwissenschaft ein
interdisziplin"ares Forschungsgebiet mit starken mathematischen,
informatischen sowie wahrnehmungspsychologischen Komponenten
geworden.  Die Entwicklungen der letzten Jahre waren
durch den Vormarsch des Internets und der Multimediakommunikation
gepr"agt. Anwendungen wie Audio-on-demand, Online-Kompression
und echtzeitf"ahige Kommunikationsdienste im Internet f"uhrten zu
zahlreichen offenen Fragestellungen.
Die Computeralgebra ist, besonders vom sys\-te\-ma\-tisch-\-struk\-tu\-rel\-len
Standpunkt betrachtet, ein wichtiges Hilfsmittel, das bereits
zur L"osung vieler Fragestellungen auf dem Gebiet der
ASV beitragen konnte. Im folgenden soll die Rolle der
Computeralgebra in der ASV anhand einiger Beispiele skizziert
werden.
\\

Elementare Bausteine der ASV lassen sich geeignet durch 
algebraische Strukturen beschreiben. Dies sind insbesondere
Polynome, (formale) Potenz- und Laurentreihen sowie Matrizen "uber bestimmten
K"orpern oder Ringen, mit deren Hilfe Signale, Filter und
lineare Systeme beschrieben werden. Viele dieser linearen Systeme
tragen ein hohes Ma"s an Struktur und erm"oglichen somit
den Entwurf effizienter Algorithmen. Beispielhaft seien
hier Fourier-, Cosinus- und (im Zusammenhang mit
Wavelettransformationen) Block-\-Toeplitz-\-Trans\-for\-ma\-tionen
genannt.
\\

Diskrete Signale entstehen zumeist aus analogen Signalen
durch zeitlich "aquidistante Abtastung und lassen sich durch 
Samplefolgen $(x_j)_{j\in\smZ}$ beschreiben. 
Hierbei wird meist ein bestimmter Folgenraum, wie der
Hilbertraum $\ell^2(\Z)$ der quadratsummierbaren Folgen,
zugrundegelegt. Jedoch sind f"ur Anwendungen im
allgemeinen nur Folgen mit endlichem Tr"ager relevant. 
Realisierungen innerhalb digitaler Schaltkreise oder Rechenanlagen
erfordern au"serdem eine {\em Quantisierung} der einzelnen
Samples, d.h. eine Einschr"ankung auf eine endliche
Anzahl m"oglicher Werte (siehe z.B.\cite{jayant-noll-book}).
Eine besonders h"aufig genutzte Darstellungsform f"ur diskrete
Signale verwendet Verz"ogerungselemente (engl. {\em Delays}), um
den zeitlichen Verlauf von Signalen zu beschreiben. 
Ein Verz"ogerungselement beschreibt hierbei einen Zeitschritt. Diese
Art der Darstellung eignet sich insbesondere zur Simulation
konkreter (Hardware-) Realisierungen digitaler Schaltungen.
Formal werden die Verz"ogerungselemente meist durch die komplexe
Variable $z$ dargestellt. Folgen werden verm"oge 
$(x_j)_{j\in\smZ}\mapsto \sum_j x_j z^{-j} =: X(z)$ in die 
Verz"ogerungsdarstellung, ihre {\em z-Transformierte}, "uberf"uhrt.
Hierbei werden Verz"ogerungselemente multiplikativ geschrieben,
wobei der Faktor $z^k$ einer "Anderung von $k$ Zeitschritten
entspricht. Negative Exponenten stellen Samples bzw. Ereignisse 
der Vergangenheit, positive dagegen solche aus der Zukunft dar.
Innerhalb einer konkreten Signalverarbeitung modelliert dies
die Tatsache, da"s nur momentan oder in der Vergangenheit 
aufgetretene (oder {\em beim Empf"anger angekommene}) Samples f"ur
die Berechnungen benutzt werden k"onnen. Es k"onnen also letztlich
nur Systeme verwendet werden, die sich aus negativen
Verz"ogerungselementen aufbauen. Solche Systeme hei"sen {\em kausal}.
Eine besondere Bedeutung kommt der Fourierreihendarstellung
eines Signals, $\omega\mapsto X(e^{i\omega})$ f"ur $\omega\in
[0,2\pi)$, zu. Hier bestimmt die Anzahl Samples pro Zeiteinheit,
die sog. {\em Abtastrate}, implizit den von der Fouriertransformation
dargestellten Frequenzbereich, die {\em Bandbreite} 
\cite{butzer-samplingtheorem-lpc} des Signals. Auf diese Weise
kann sowohl das Frequenzverhalten von Signalen als auch das
von Filtern bestimmt oder beschrieben werden.
\\

Zur Beschreibung von Transformationen auf den Folgenr"aumen
weicht man ebenfalls h"aufig auf den Raum der $z$-Transformierten
aus. F"ur $\ell^2(\Z)$ wird dies durch den Satz
von Riesz-Fischer "uber die Isomorphie von $\ell^2(\Z)$ und
$L^2(T)$, den $z$-Transformierten auf dem Einheitskreis, 
gerechtfertigt. Ein einfach zu beschreibender Operator auf dem
Folgenraum ist z.B. eine Translation um $k$ Samples. Im Raum
der $z$-Transformierten entspricht dies einer Multiplikation
mit $z^k$. Allgemeiner l"a"st sich die Wirkungsweise eines
linearen zeitinvarianten
Filters auf dem Folgenraum durch eine Faltung beschreiben.
Im $z$-Bereich ist dies ausgehend vom Sig\-nal $(x_j)_{j\in\smZ}$ 
und Filter $(t_j)_{j\in\smZ}$ eine Multiplikation $Y(z) = T(z)X(z)$.
Kombination mehrerer Faltungen, Translationen sowie einiger weiterer
Operatoren liefert allgemeiner {\em Filterb"anke}. (Aus algebraischer
Sicht handelt es sich bei Filterb"anken um spezielle Darstellungen
geeigneter K"ocher.) Das Ziel
ist hier die Zerlegung eines Eingangssignals in mehrere
{\em Subbandsignale}, die verschiedene Frequenzanteile des
Signals enthalten. Wichtige Klassen von Filterb"anken entstehen
durch Faktorisierungen bzw. Zerlegungen von $T(z)$ f"ur den Fall 
$|T(z)|=1$, $|z|=1$. Beispiele sind Filterb"anke der Form
$z^{-\ell} = T(z) = \sum_{j=0}^n S_j(z) A_j(z)$, $\ell\geq 0$,
wobei $(a_{j,k})_{k\in\smZ}$ das $j$-te Analysefilter bzw.
$(s_{j,k})_{k\in\smZ}$ das $j$-te Synthesefilter ist. Da
$Y(z) = z^{-\ell} X(z)$ in diesem Fall nur eine Verz"ogerung
des Eingangssignals beschreibt, nennt man solche Filterb"anke
auch Filterb"anke mit {\em perfekter Rekonstruktion}. 
Methoden zur Behandlung von Polynomen und Potenzreihen, wie
Faktorisierung oder schnelle Multiplikation, finden somit in 
Theorie und Entwurf von Filterb"anken und Filterbankalgorithmen
einen breiten Anwendungsbereich. Im Falle von {\em
Multiratenfilterb"anken}, dies sind Filterb"anke, die zus"atzlich
Operatoren zur Abtastraten"anderung verwenden, gibt es weiterhin
einen nat"urlichen Zusammenhang zwischen den m"oglichen
Filterbankfaktorisierungen und der linearen Darstellung des
gr"o"sten gemeinsamen Teilers der
 verwendeten Filter \cite{vetterli-wavelets}. Die
Qualit"at eines Filters h"angt meist von der Gestalt seiner
$z$-Transformierten ab. Z.B.\ sollte deren Betrag f"ur Frequenzen,
die abged"ampft werden sollen, m"oglichst klein sein. Dies steht
wiederum in engem Zusammenhang mit den (komplexen) Nullstellen
der $z$-Transformierten. Eine typische Designforderung an
Filterb"anke w"are etwa perfekte Rekonstruktion unter Vorgabe
bestimmter Nullstellen. Ein bekanntes Beispiel sind die
Waveletfilter von Daubechies \cite{daubechies-onwlets}.
\\

Die Verarbeitung digitaler Audiosignale in CD-Qualit"at
(44.1 kHz Abtastrate PCM, 16 Bit lineare Quantisierung) bringt
relativ gro"se Datenraten von ca. 1.5 MBit/Sek. mit sich. Viele
Multimedia- und Internetanwendungen erfordern daher sowohl 
hinreichende Datenkompression als auch geeignete
Schutzmechanismen zur Vermeidung von "Ubertragungsfehlern oder
Paketverlusten. Speziell zur Datenkompression sind in den letzten
zehn Jahren zahlreiche Standards entwickelt worden. Zwei der
bekanntesten Standards im Audio- und Videobereich sind
MPEG-1 und MPEG-2 von der Moving Pictures Experts Group (MPEG) der
International Organisation of Standardisation (ISO), siehe 
z.B. \cite{noll-mpeg-audio}. Im Audiobereich liefern die
verwendeten Verfahren
durch gezielte Kombination psychoakustischer Modelle und
Computeralgebra-Methoden (schnelle Fourier- und
Cosinustransformation, schnelle Multiratenfilterung) 
Kompressionsraten von bis zu $1:12$ unter Beibehaltung von
CD-Qualit"at. Es ist zu vermuten, da"s sich diese
Kompressionsraten durch den Einsatz besserer Filterb"anke
und verfeinerter psychoakustischer Modelle noch weiter steigern lassen.
\\

Die FFT wird neben der Signalanalyse zu zahlreichen anderen
Aufgaben eingesetzt. Ein Beispiel ist das Filterdesign. So wird in
\cite{cetin-fft-equiripple} eine Methode zum
FFT-gest"utzten Entwurf von sog. {\em Equiripplefiltern} beschrieben.
Da schnelle Fouriertransformationen bekanntlich schnelle
Faltungsalgorithmen liefern, sind hierdurch effiziente
Filteralgorithmen, z.B. f"ur echtzeitf"ahige Implementierungen
auf Signalprozessorbasis, zu gewinnen. "Ubersichten "uber
Algorithmen zur schnellen Fouriertransformation geben
\cite{beth-verfahren-fft,blahut-book,burrus-fftnotes,clausen-fft}. Viele
Aufgabenstellungen, wie der Filterentwurf, erfordern zus"atzlich
zur Effizienz m"oglichst genaue numerische Berechnungen. 
Besonders bei der Verwendung von Festkommasignalprozessoren
kommt es durch die Akkumulierung von Rundungsfehlern h"aufig
zu nicht akzeptablen Rechenfehlern. Ein neuer FFT-Algorithmus
\cite{buhler-precise-fft}, der auf schneller Approximation
komplexer Zahlen durch Elemente des f"ur $n\geq 7$ 
in $\C$ dichten Teilrings $\Z[e^{2\pi i/n}]$ und der Verwendung
 chinesischer Restetechniken basiert, umgeht dieses Problem.
\\
 
Zahlreiche Softwarepakete k"onnen zur Unterst"utzung von
ASV-Anwendungen verwendet werden. Eines der momentan 
bekanntesten Systeme ist das Paket {\tt MatLab} zur numerischen
Signalverarbeitung und Visualisierung. Eine Erweiterung dieses
Systems, die sog. {\em Symbolic Toolbox}, enth"alt die
Kernfunktionalit"at des Computeralgebrasystems {\tt Maple}, so
da"s auch symbolische Berechnungen aus {\tt MatLab} heraus
m"oglich sind. Des weiteren gibt es zahlreiche spezialisierte
Softwarepakete, die zum gro"sen Teil frei verf"ugbar 
sind, und auf {\tt MatLab} aufsetzen.
Beispiele sind das Paket {\tt WaveLab} \cite{wavelab-toolbox} f"ur
die Behandlung von Wavelets oder die
FBT-Tools \cite{kurth-clausen-fbt,kurth-clausen-fbt-waspaa}
f"ur Multiratenfilterb"anke. Weitere Programmbibliotheken,
die Hilfsmittel aus der Computeralgebra verwenden, sind z.B.\ 
Filterdesign-Routinen. Hier sei nur der Entwurf von
Multiratenfilterb"anke mit quasi perfekter Rekonstruktion erw"ahnt, 
wie sie auch in den MPEG Audiocodern verwendet werden. Das
Filterentwurfsproblem f"uhrt f"ur solche Filter h"aufig auf
quadratische Optimierungsprobleme mit quadratischen Nebenbedingungen
\cite{nguyen-npr-qcls}.
\\

Wir hoffen, mit diesem kurzen Artikel einen ersten Eindruck m"oglicher
Beitr"age der Computeralgebra zum Gebiet der ASV gegeben
zu haben. Als einf"uhrende Literatur seien die B"ucher 
\cite{jayant-noll-book,kahrs-book,zoelzer-asv-book} sowie einige der 
einschl"agigen Zeitschriften \cite{JournalAES,
IEEETransactionsSP,IEEETransactionsSAP} erw"ahnt.

{\footnotesize
\bibliography{asv}
%\bibliographystyle{plain}
}



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


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

%\centerline{Netzinformationsdienste zu Mathematik und Computeralgebra}}
%\vspace{-3mm}}\hrule
%\label{infoca}
%\addcontentsline{toc}{section}{\normalsize \bf 
%Netzinformationsdienste \\% \hspace{8.5cm} 
%zu Mathematik und Computeralgebra }%\toc_dotfill }

%\vspace*{0.5cm}
%\renewcommand{\arraystretch}{1.3}

%\noindent

%\newpage

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

{\vspace*{5mm}\section*{\Large\bf \hrule\vspace{1mm}
\centerline{Neues \"uber Systeme und Hardware}}\vspace{-3mm}}\hrule
\vspace*{0.5cm}
\label{systems}
\addcontentsline{toc}{section}{\normalsize \bf 
Neues \"uber Systeme und Hardware }%\toc_dotfill }

%\renewcommand{\arraystretch}{1.3}

\vspace*{4mm}

\begin{center} {\Large\bf Maple V Release 5.0} \end{center} 
\label{mapleV5}
\addcontentsline{toc}{subsection}{\normalsize \sl
Maple V Release 5.0}

{\footnotesize
Mit Release 5.0 f"uhrt Waterloo Maple die Entwicklung eines offenen, leistungsf"ahigen mathematischen Werkzeugs fort. Diese offene Umgebung bef"ahigt den Anwender von Maple V, interaktiv auf eine gro"se Zahl kommerziell erh"altlicher Softwarepakete zuzugreifen. Ingenieure aus allen technischen Bereichen in der Industrie steigern somit ihre Produktivit"at und verk"urzen Entwicklungszeiten.

''Ingenieure ben"otigen heutzutage eine Softwareumgebung, die ein breites Spektrum von Aufgaben l"ost'', erkl"art Dieter Hensler, Pr"asident und CEO von Waterloo Maple Inc. ''Die aktuellen technischen Aufgabenstellungen werden immer komplexer und der Bedarf nach immer gr"o"serer Genauigkeit steigt. Aus diesem Grund werden die Forderungen nach einem Softwaresystem vom Kaliber Maple V immer lauter. Der symbolische Ansatz von Maple V zur L"osung komplexer Aufgabenstellungen erm"oglicht den mathematischen Entwurf von Modellen, noch bevor viel Zeit in die Entwicklung teurer Prototypen investiert werden mu"s. Mit Maple V Release 5.0 stellt sich Waterloo Maple einmal mehr den Herausforderungen stetig wachsender Bed"urfnisse.''

Release 5.0 ist die L"osung, die im technischen Umfeld gebraucht wird. Maple V ist anerkannt f"ur seine Offenheit, seine technische Leistungsf"ahigkeit und f"ur seine Genauigkeit. Die neuen Funktionen in Release 5.0 erlauben dem Anwender einfachste Dateneingabe und schnellen Zugang zu seinen L"osungen in einer bedienerfreundlichen und leicht erlernbaren Umgebung. Zum Beispiel k"onnen mit Release 5.0 Excel-"ahnliche Tabellen definiert werden - eine Technologie, die schon von Millionen von Anwendern erfolgreich genutzt wird. Ab sofort stehen in Release 5.0 auch kontextabh"angige Men"us sowie Paletten zur Eingabe von Formeln, Matrizen oder Sonderzeichen zur Verf"ugung. Diese Merkmale machen den Umgang mit diesem intuitiven ''click \& solve'' Werkzeug bedeutend bequemer.

Viele der neuen Leistungsmerkmale werden von Ingenieuren in der Industrie angewandt, die eine integrierte, offene Umgebung suchen. Der MATLAB-Link als Beispiel erm"oglicht den direkten Zugang zu der numerischen Leistungsf"ahigkeit von MATLAB aus Maple V heraus. Release 5.0 besitzt weiterhin eine Funktion f"ur den Export von Maple V Arbeitsbl"attern nach HTML. Damit k"onnen sich Anwender schnell "uber laufende Projekte informieren, Forschungsmaterial austauschen und technische Dokumentationen "uber das Inter- oder Intranet ver"offentlichen. Kombiniert mit der ''click \& solve'' Technologie erweitern diese Funktionen die Modellierungs-, L"osungs- und Pr"asentationsm"oglichkeiten enorm.

\noindent
Die neuen Leistungsmerkmale von Maple V Release 5.0 umfassen unter anderem:

\noindent
{\bf MATLAB Link f"ur maximale Flexibilit"at}

Release 5.0 beinhaltet einen direkten Zugriff auf MATLAB aus der Maple V Umgebung heraus. Mit der Kombination numerischer Leistungsf"ahigkeit von MATLAB und dem mathematischen Potential von Maple V l"a"st sich jetzt ein noch gr"o"seres Spektrum von Aufgaben l"osen.


\noindent
{\bf Tabellenkalkulation inklusive}

Innerhalb von Maple V Arbeitsbl"attern lassen sich Tabellen einf"ugen, in denen algebraische Ausdr"ucke verarbeitet werden k"onnen. Diese Tabellen besitzen die Grundfunktionalit"at von g"angigen Tabellenkalkulationsprogrammen, wie z.B. Excel.


\noindent
{\bf Export nach HTML}

Mit Hilfe von Maple V Release 5 k"onnen Anwender mit wenigen Mausklicks HTML Seiten erstellen. Alle Ausdr"ucke in mathematischer Formelnotation als auch Grafiken sind hierin enthalten. Jetzt lassen sich mathematisch-technische Online-Dokumentationen f"ur r"aumlich "ubergreifende Projekte oder Online-Pr"asentationen auf Knopfdruck erstellen.


\noindent
{\bf Wesentlich verbesserte Benutzerschnittstelle}

Maple V geh"ort unbestritten zu den f"uhrenden mathematischen Softwarepaketen, insbesondere in Bezug auf einfache Bedienung und leichtes Erlernen. Das Arbeitsblatt-Konzept garantiert den effizientesten Weg f"ur die Eingabe und Ausgabe mathematischer Informationen und bietet umfangreiche Dokumentationsm"oglichkeiten.


\noindent
{\bf Einfachste Eingabe mit Paletten}

Maple V Release 5.0 enth"alt eine Reihe von Paletten, die die Eingabe von mathematischen Ausdr"ucken wesentlich vereinfachen. Die Paletten enthalten unter anderem griechische Symbole und mathematische Konstrukte wie Integrale, Begrenzungen, Summen, Quadratwurzeln und Potenzen.


\noindent
{\bf Neue, kontextabh"angige Men"us}

Men"us, die mit der rechten Maustaste aufgerufen werden, f"uhren den Anwender durch den umfangreichen mathematischen Befehlsvorrat und erleichtern Formatierungen und Grafikbearbeitung. Der Anwender klickt einfach auf einen mathematischen Ausdruck oder eine Grafik und Maple V generiert hierf"ur ein spezifisches Men"u an Befehlen.


Diese Leistungsmerkmale und eine Reihe von mathematische Highlights sind in Maple V Release 5.0 integriert, um die Benutzerfreundlichkeit und Flexibilit"at eines der weltweit f"uhrenden Computer Algebra Systeme nochmals zu verbessern.

Maple V Release 5.0 steht f"ur alle g"angigen Plattformen zur Verf"ugung. Dazu z"ahlen die Betriebssysteme Windows 95, Windows NT, Windows 3.1+, Macintosh, Power Macintosh sowie alle g"angigen UNIX-Systeme inklusive Linux. Anmerkung: die Funktionalit"at ist abh"angig vom Betriebsystem.

}

 \begin{flushright}
Andreas Himmeldorf (Aachen)
 \end{flushright}                                                              

%\vspace{5mm} \hrule \vspace{8mm}


%\begin{center} {\large\bf \mupad{} -- Integration Dynamischer Module} \end{center} 
%\label{mupad-DM}
%\addcontentsline{toc}{subsection}{\normalsize \sl
%\mupad{} -- Integration Dynamischer Module}


\newpage
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     Berichte "uber Arbeitsgruppen                               %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%\vspace*{5mm}
\section*{\Large\bf
\hrule\vspace{1mm}
\centerline{Berichte "uber Arbeitsgruppen}\vspace{-3mm}}\hrule
\label{BerAGs}
\addcontentsline{toc}{section}{\normalsize \bf 
Berichte "uber Arbeitsgruppen
}%\toc_dotfill }
\vspace*{5mm}


\begin{center} 
{\bf \Large Computeralgebra am Lehrstuhl D f\"ur Mathematik\\
der RWTH Aachen}
\end{center}
\addcontentsline{toc}{subsection}{\normalsize \sl
Computeralgebra an % am Lehrstuhl D f\"ur Mathematik
der RWTH Aachen
}

%\bigskip
\noindent 
{\bf Mitglieder der Arbeitsgruppe:} Prof.\  Dr.\ G.~Hi{\ss}, Prof.\ em
Dr.\  J.~Neu\-b\"u\-ser,   Prof.\   Dr.\  H.~Pahlings,   Prof.\   Dr.\ 
U.~Schoenwaelder, Dr.\ V.~Felsch, Dr.~U.~Klein, Dr.\ F.~L\"ubeck, Dr.\ 
J.~M\"uller, T.~Breuer, T.~Merkwitz, M.~Neun\-h\"of\-fer, M.~Sz{\H    o}ke.
%\bigskip

\noindent
{\bf  Arbeitsgebiete:}   Darstellungstheorie      endlicher   Gruppen,
rechnergest\"utzte    Gruppen-  und  Darstellungstheorie,  Erweiterung
vorhandener Com\-puter\-algebra-\-Sys\-teme.

%\bigskip
\noindent
Hier eine Liste laufender Projekte, in denen  der Einsatz von Rechnern
eine wichtige Rolle spielt:

\begin{itemize}
\item Entwicklung   des  Programmpakets \chevie\  ~[1]  zum Rechnen in
  Coxetergruppen,  zum    Konstruieren  und  Manipulieren  generischer
  Charaktertafeln von Iwahori-Hecke-Algebren und endlichen Gruppen vom
  Lie-Typ.
  
  Anwendung der Ergebnisse in  der Darstellungstheorie dieser Algebren
  und Gruppen.
  
\item  Konstruktion modularer Charaktertafeln sporadischer Gruppen als
  Beitrag zu  einem zweiten   Band  des Modularen  Atlas~[2].   Hierzu
  werden neben \gap\  ~[3]   die Programmpakete  \meataxe\ und   \moc\ 
  benutzt und weiterentwickelt, insbesondere die Kondensationsmethoden
  der \meataxe.
  
  Anwendung       der     Ergebnisse   etwa      im     Projekt    zur
  Matrix\-gruppen-\-Erken\-nung.
  
\item  Strukturanalyse von   Modulkategorien  verschiedener Algebren.  
  Hierzu werden  die \meataxe\ mit   neueren Erweiterungen sowie \gap\ 
  verwendet.
  
  Insbesondere Berechnung von Green-Korrespondenten und Beitr\"age zur
  Verifikation der Vermutungen von Alperin und Dade.
  
\item  Weiterentwicklung   und Betreuung der darstellungstheoretischen
  Algorithmen  und  Datensammlungen  von \gap, insbesondere  laufendes
  Erg\"anzen der Bibliothek  der Charakter- und Markentafeln endlicher
  Gruppen.  Beantwortung von Benutzeranfragen zu \gap\ aus dem Bereich
  der Darstellungstheorie.
  
\item Weiterentwicklung und Betreuung von Restklassenmethoden in \gap,
  {\sc Xgap}, Einsatz von \gap\ in der Lehre.
\end{itemize}

%\bigskip

\noindent
{\bf Literatur:}\\
{\sc M.~Geck, G.~Hiss, F.~L{\"u}beck, G.~Malle,
                 and G.~Pfeiffer},
                 {\chevie} --- A system for computing and processing generic
                 character tables, {\em AAECC} {\bf 7} (1996), 175--210.\\
{\sc C.~Jansen, K.~Lux, R.~A.~Parker, and R.~A.~Wilson},
                 An Atlas of Brauer Characters,
                 Oxford University Press, 1995.\\
{\sc M.~Sch{\accent127 o}nert et~al.}, {{\gap} --- {Groups},
                 {Algorithms}, and {Programming}},
                 Lehrstuhl D f{\accent127 u}r Mathematik,
                 RWTH Aachen, Germany, fifth ed., 1995.\\

\noindent
{\bf  Computeralgebra  in der  Lehre:}  Regelm\"a{\ss}ige  Vorlesungen
\"uber Computeralgebra und Kurse in \maple.

%\bigskip

\noindent
{\bf Zusammenarbeit:} 
Im Rahmen der oben genannten Projekte besteht eine dauernde aktive
Zusammenarbeit mit den  folgenden Arbeitsgruppen:

\noindent
Prof.\@ Dr.\ W.\@ Plesken (Lehrstuhl   B f\"ur  Mathematik,  RWTH Aachen),
Prof.\@ Dr.\ B.\@  H.\@  Matzat (IWR  Heidelberg), Prof.\@ Dr.\  M.\@  Brou{\'e}
(\'Equipe  des  groupes finis, Paris),  Prof.\@ Dr.\  E.\@ Robertson, Dr.\@
S.\@ Linton (The \gap-team, St. Andrews),  Prof.\@ Dr.\ T.\@ Shoji (Tokio),
Prof.\ Dr.\@ K.\@ Lux  (Tucson, Arizona), Prof.\@ Dr.\  \'A.\@ Seress (Columbus,
Ohio), Dr.\ D.\@ Holt (Warwick), Prof.\@ Dr.\ C.\@ Wright (Oregon).


%\bigskip

%\noindent
%{\bf Adressen:} 
%\begin{itemize}
%\item[Post:] Lehrstuhl D f\"ur Mathematik\\
%             RWTH Aachen\\
%             Templergraben 64\\
%             D - 52062 Aachen
%\item[e-mail:] {\it Vorname.Nachname}{\tt @Math.RWTH-Aachen.DE} oder\\
%  {\it Nachname}{\tt @Math.RWTH-Aachen.DE}, wobei Umlaute und {\ss} wie 
%  \"ublich umgeschrieben werden, etwa: {\tt hiss} statt {\tt hi{\ss}},
%{\tt luebeck} statt {\tt l\"ubeck}.
%\item[URL:]  
%\end{itemize}

\noindent
{\bf Weitere Informationen} unter der URL: {\tt http://www.Math.RWTH-Aachen.De/LDFM}


 \begin{flushright}
G.~Hi{\ss} (Aachen)
 \end{flushright}                                                              


%\hrule
\newpage

\begin{center}
{\bf \Large The FRISCO Project}\\
\end{center}
\addcontentsline{toc}{subsection}{\normalsize \sl
The FRISCO Project
}

{\em FRISCO: A Framework for Integrating Symbolic/Numeric Computation} is an
Esprit Long Term Research project which began in March 1996.
The project lasts three years and is dedicated to developing
state-of-the-art algorithms for solving systems of polynomial equations, and
a framework for delivering implementations of those algorithms in an industrial
environment.  The FRISCO consortium consists of the Numerical Algorithms Group
Ltd (NAG) as co-ordinating partner, with INRIA Sophia-Antipolis, IRMAR at the
University of Rennes, the University of Cantabria and the University of Pisa
as partners.  This consortium brings together some of the main members of
the PoSSo consortium, who under a previous Esprit project developed amongst
other things a C++ library for solving polynomial systems, with some of the
people directly involved in developing Aldor, the new compiler for the AXIOM 
computer algebra system.

A principle outcome of the first year of the project was a review of real-life
industrial problems which can be reduced to systems of polynomials (this
review can be found at 
{\tt http://www.nag.co.uk\slash{}projects\slash{}FRISCO\slash{}reports\slash{}industry.ps}).
In the second year contacts with industry have continued and we have begun to
tackle a number of problems in areas including Computer Aided Design,
Engineering and Telecommunications.  A lot of effort has been devoted to
developing implementations of algorithms which are suitable for the solution
of these kinds of problems.  In the third year we expect to devote more
effort to applying these algorithms in practice.

Until now the project has maintained two libraries of algorithmic code: the
successor to the original PoSSo Library, written in C++; and the new BasicMath
Library, written in Aldor.
A key result of the second year is a mechanism to allow interoperability
between programs written in Aldor and C++.  This allows Aldor programmers
to use highly efficient libraries such as those produced during the PoSSo
project.  Currently work is underway to allow the same kind of interaction
between Aldor and Fortran.
Further work has also been done on component software technologies
to allow FRISCO algorithmic technology to be integrated into other applications
via ``black boxes'' which use a simple interface to hide the complexity of 
the underlying mathematical algorithms from a non-expert
user.  During the third year the project
hopes to develop a number of these black boxes for carrying out high-level
tasks.

More information about FRISCO can be found at 
{\tt http://www.nag.co.uk/projects/FRISCO}, 
or from the coordinator, {\tt miked@nag.co.uk}.

 \begin{flushright}
Mike Dewar (Oxford)
 \end{flushright}                                                              


%{\bf Mike Dewar}\\
%NAG Ltd, Wilkinson House, 
%Jordan Hill Rd, Oxford, OX5 1DP\\
%{\tt miked@nag.co.uk}}


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

%\vspace*{5mm}
\section*{\Large\bf
\hrule\vspace{1mm}
\centerline{Publikationen "uber Computeralgebra}\vspace{-3mm}}\hrule
\label{publ}
\addcontentsline{toc}{section}{\normalsize \bf 
Publikationen "uber Computeralgebra }%\toc_dotfill }


\vspace*{4mm}


\begin{itemize}

\item {B"undgen, R.}, { \sl Termersetzungssysteme}, \Vieweg {, ISBN 3-528-05652-5}, {1998}, {pp. 228}, DM 49,80.

\item {Blum, L., Cucker, F., Shub, M., Smale, S.,}, { \sl Complexity and Real Computation}, \Springer {, ISBN 0-387-98281-7}, {1997}, DM 79,00. 

\item {Fr"oberg, Ralf}, { \sl An Introduction to Gr"obner Bases}, \AWiley {, ISBN 0-471-97442-0},
{1997}, DM 95,00. 

Das Buch wird im n"achsten Rundbrief besprochen.

\item {Grey A., Mezzino M., Pinsky M.A.}, { \sl Introduction to Ordinary Differential Equations with Mathematica -- An Integrated Multimedia Approach}, \Springer {, ISBN 0-387-94481-8}, {1997}, {pp. 890}. 

Das Buch wird in diesem Rundbrief auf Seite \pageref{Gray_ea} besprochen.

\item {Klimek, G., Klimek, M.}, { \sl Discovering Curves and Surfaces with Maple}, \Springer {, ISBN 0-387-94890-2}, {1997}, {pp. 640}, DM 86,00. 

\item {Vasconcelos, Wolmer V.}, { \sl Computational Methods in Commutative Algebra and Algebraic Geometry}, \Springer {, ISBN 0-540-60520-7}, {1998}, {pp. 394}, DM 118,00. 

Das Buch wird in diesem Rundbrief auf Seite \pageref{Vasconcelos} besprochen.

\end{itemize}

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


\vspace*{5mm}
\section*{\Large\bf
\hrule\vspace{1mm}
\centerline{Besprechungen zu B"uchern der Computeralgebra}
\vspace{-3mm}}\hrule
\label{buchbespr}
\addcontentsline{toc}{section}{\normalsize \bf 
Besprechungen zu B"uchern der Computeralgebra }%\toc_dotfill }

\vspace*{4mm}

\begin{itemize}


\item {\large \bf Grey A., Mezzino M., Pinsky M.A., Introduction to Ordinary Differential Equations with Mathematica -- An Integrated Multimedia Approach}

Verlag Springer: Berlin - Heidelberg - New York, ISBN 0-387-94481-8, 1997, 890 Seiten, CD-ROM.
\addcontentsline{toc}{subsection}{{\normalsize \sl 
{Grey A., Mezzino M., Pinsky M.A.},  Introduction to Ordinary Differential Equations with Mathematica}}\label{Gray_ea}

{\footnotesize
Das vorliegende Buch stellt einen abgeschlossenen Kurs "uber gew"ohnliche Differentialgleichungen dar, erweitert und multimedial angereichert durch den Einsatz des CAS {\it Mathematica}. Dass es sich im Wesentlichen um ein traditionelles Lehrbuch zum genannten Thema handelt, zeigt eine Zusammenfassung der behandelten Themen:\begin{itemize}
\item Differentialgleichungen 1. Ordnung: separierbare, exakte, Bernoulli Differentialgleichungen. Existenz- und Eindeutigkeitsbeweise f"ur deren L"osungen, Anwendungen dazu.
\item Lineare Differentialgleichungen 2. Ordnung: Theorie zur Existenz und Eindeutigkeit der L"osungen, Wronski-Determinante, Reduktion der Ordnung, konstante Koeffizienten, Anwendungen.
\item Lineare Differentialgleichungen h"oherer Ordnung: mit konstanten Koeffizienten, Variation der Parameter, seminumerische L"osungen.
\item Numerische L"osungsmethoden: Euler, Heun, Runge-Kutta
\item Lapace Transformation
\item Systeme von linearen Differentialgleichungen: Existenz- und Eindeutigkeitss"atze, Variation der Parameter, L"osung mit Hilfe der Laplace Transformation, Anwendungen. 
\item Stabilit"at und Anwendung von nichtlinearen Systemen
\item L"osung von Differentialgleichungen 2. Ordnung mit Hilfe von Potenzreihen
\item Frobenius L"osungen von Differentialgleichungen 2. Ordnung\end{itemize}
{\it Mathematica} kommt auf zwei Arten zum Einsatz: Erstens ist der Text mit einer Unzahl von {\it Mathematica}-generierten Grafiken versehen, die der Visualisierung schwieriger Sachverhalte dienen und durchwegs ihren Zweck erf"ullen. Zweitens haben die Autoren ein Zusatzpaket zu {\it Mathematica} geschrieben -- ODE.m --, das eine erweiterte Behandlung von Differentialgleichungen erlaubt, als dies normal unter {\it Mathematica} m"oglich ist. So kann beim Aufruf von ODE z.B. die Art der Differentialgleichung und damit die L"osungsmethode angegeben werden. ODE.m l"auft, obwohl es f"ur {\it Mathematica} 2.2 geschrieben wurde auch unter {\it Mathematica} 3.x, neue Versionen k"onnen im Internet von  \URL{http://math.cl.uh.edu/ode/ode.html} geladen werden.\\
Dem Vortragenden steht also ein das Stoffgebiet umfassend abdeckendes Buch zur Verf"ugung. Aber auch Studenten kann man dieses Buch empfehlen. Wie bereits erw"ahnt tragen die zahlreichen Grafiken durchaus zum Verst"andnis bei. Nach kurzer Einlernzeit in ODE, steht den Studenten ein m"achtiges Werkzeug zur Verf"ugung, um Differentialgleichungen ohne den klassischen Ballast der seitenweise h"andischen Rechnung behandeln und l"osen zu k"onnen. Sehr gut gelungen sind auch die Beispiele zu den einzelnen Abschnitten. Es gibt ca. 300 durchgerechnete, sowie weitere 650 nicht gel"oste Beispiele, sowohl rein theoretischer, wie auch anwendungsorientierter Art. Zum Erlernern von L"osungsstrategien, wurden diese nach ihrer Erarbeitung in \glqq Procedure Boxes\grqq\, zusammengefasst, sodass, hat man den Typ einer Gleichung erkannt, das Abarbeiten des L"osungsalgorithmus' leicht wird. Eine nette Idee sind auch die immer wieder vorkommenden historischen Anmerkungen mit Portr"ats der wichtigsten Mathematiker, die auf den entsprechenden Gebieten gearbeitet haben.\\
Die beiliegende CD-ROM enth"alt das bereits erw"ahnte Paket ODE.m mit einem Reference Manual, L"osungsnotebooks zu den "Ubungen des Buches sowie einige Zusatznotebooks zu Themen, die im Buch nicht behandelt werden (z.B. Phasenportr"at eines Pendels]. Alle Notebooks liegen sowohl im {\it Mathematica} 2.2 als auch im {\it Mathematica} 3.x Format vor, sodass es keine Versionsprobleme geben d"urfte. Weiters gibt es einige mit {\it Mathematica} erzeugte Movies, die z.B. die Entwicklung des Lorentz-Attraktors zeigen, sowie auch Movies, die im Quick-Time Format vorliegen.\\
Zusammenfassend kann man sagen, dass den Autoren ein Buch gelungen ist, das man sowohl Vortragenden als auch Studenten empfehlen kann, die einerseits Literatur "uber Differentialgleichung ben"otigen und zweitens einen \glqq halbklassischen\grqq\,(Klassisch mit Erweiterung durch den Einsatz eines CAS) zu diesem Thema suchen. Einziger kleiner Wermutstropfen: Der im Titel versprochene \glqq Multimedia Approach\grqq\, findet praktisch nur unvollst"andig statt, zu Multimedia geh"ort mehr als einige Movies.

}

\begin{flushright}
Werner Cyrmon (Bad Fischau, "Osterreich)
\end{flushright}


\item {\large \bf Klimek, G., Klimek, M., Discovering Curves and Surfaces with
Maple}

Springer-Verlag, Berlin-Heidelberg-New York, 1997, ISBN 0-387-94890-2, 120 Abb., 640 S., Hardcover DM 86,00.
\addcontentsline{toc}{subsection}
{{\normalsize \sl  Klimek, G., Klimek, M., Discovering Curves and Surfaces with
Maple
}} \label{Klimek}

{\footnotesize
\noindent Die Visualisierung von Ergebnissen spielt im wissenschaftlichen
Rechnen eine immer gr"o"sere Rolle.  Dementsprechend verf"ugen die meisten
Computeralgebrasysteme "uber immer ausgefeiltere und umfangreichere graphische
Komponenten.  Die meisten Benutzer k"onnen zwar ohne gr"o"sere Probleme
einfache Graphiken wie der Plot einer Funktion oder einer Punktmenge
erstellen; das volle Potential der Systeme werden sie aber oft nicht einmal
erahnen.  Zur Erstellung komplexerer Graphiken, insbesondere dreidimensionaler
Darstellungen von Fl"achen, fehlen h"aufig auch Grundkenntnisse bei so
wichtigen Aspekten wie Perspektive oder Beleuchtung.

In dem vorliegenden Buch werden die graphischen M"oglichkeiten von {\scshape
Maple} detailliert besprochen.  Es erl"autert zum einen die wesentlichen
Befehle mit ihren vielen Optionen sowie die dahinter stehenden
Datenstrukturen.  Zum anderen versucht es, dem Leser ein Basiswissen zu
vermitteln.  So werden Themen wie geometrische Transformationen, Schattenwurf,
Perspektive oder Licht und Farbe behandelt.  Dabei beschr"ankt sich das Buch
--- wie schon aus dem Titel klar hervorgeht --- auf die Darstellung von Kurven
und Fl"achen (inklusive Animationen).

Das Buch will kein umfassendes Lehrbuch der Computergraphik oder der
Visualisierung sein.  Wie die Autoren im Vorwort schreiben, soll es als ein
\glqq pragmatic do-it-yourself guide\grqq\ dienen.  Dieses Ziel haben sie auch
sehr gut erreicht.  Ein Ingenieur oder Naturwissenschaftler, der die
graphische Darstellung seiner Ergebnisse verbessern m"ochte, aber auch jeder
Benutzer von {\scshape Maple}, der einfach ein wenig mit der Graphik spielen
will, wird in dem Buch viele n"utzliche Hinweise oder Anregungen finden.

}

\begin{flushright}
Werner M. Seiler (Mannheim)
\end{flushright}




\item {\large \bf Krawietz, A., Maple V f"ur das Ingenieurstudium}

Springer-Verlag, Berlin-Heidelberg-New York, 1997, ISBN 0-540-60223-2, ix+358 Seiten, DM 78,00.
\addcontentsline{toc}{subsection}
{{\normalsize \sl  Krawietz, A., Maple V f"ur das Ingenieurstudium
}} \label{krawietz}


{\footnotesize
Der Autor verfolgt mit seinem Buch zwei Ziele:

\begin{enumerate}
\item Die Darstellung wichtiger \textsl{Maple}-Elemente, die zur L"osung
von Problemen der Ingenieurmathematik ben"otigt werden.
\item Die Vermittlung eines vertieften Verst"andnisses mathematischer Methoden
und ihrer technischen Anwendungen.
\end{enumerate}

Das Buch gliedert sich in die Kapitel
\textit{1. Grundkonzepte der Computeralgebra},
\textit{2. Funktionen, Kurven und Gleichungen},
\textit{3. Lineare Algebra},
\textit{4. Analysis},
\textit{5. Statistik und Wahrscheinlichkeitsrechnung},
\textit{6. Approximation von Funktionen},
\textit{7. Gew"ohnliche Differentialgleichungen} und
\textit{8. Partielle Differentialgleichungen}
und endet mit einem Literatur- sowie einem Sachwortverzeichnis. Viele
Abschnitte enthalten "Ubungsvorschl"age, jedoch ohne L"osungen. Dem
Buch ist eine Diskette beigelegt, auf der die im Text beschriebenen
interaktiven \textsl{Maple}-Sitzungen und -Prozeduren als
DOS-Text-Dateien enthalten sind.

In Kapitel 1 behandelt der Autor Grundtechniken im Umgang mit
\textsl{Maple}. Besprochen werden Variable, Listen, Mengen und Zahlen.
Dar"uber hinaus werden in diesem Kapitel die Grundlagen der
\textsl{Maple}-Programmierung (Kontrollstrukturen, Prozeduren)
vorgestellt. Das zweite Kapitel ist den elementaren Funktionen und
Gleichungen gewidmet. Eingegangen wird auf Funktionen zweier Variablen,
dem Zeichnen von Kurven in Ebene und Raum sowie der Bestimmung der
L"osungen von Gleichungen und Gleichungssystemen. Das Kapitel "uber
lineare Algebra befa"st sich mit den L"osungen linearer
Gleichungssysteme mit zwei- und drei Unbekannten. Als ausf"uhrliches
Anwendungsbeispiel wird gezeigt, wie die Statik eines zweidimensionalen
Fachwerks mit den entsprechenden \textsl{Maple}-Befehlen berechnet
werden kann. Ein zweites Anwendungsbeispiel demonstriert die Berechnung
von Fl"achenmomenten. Im vierten Kapitel werden Grenzwerte von Folgen
und Funktionen sowie Taylorreihen, Ableitungen und Integrale
untersucht. Das Kapitel zur Statistik und Wahrscheinlichkeitsrechnung
befa"st sich mit Stichproben, linearer und nichtlinearer Regression,
Fehlersch"atzungen sowie diskreten Verteilungen. Als Anwendungsbeispiel
wird die Auswertung eines physikalischen Versuchs (Schwingung eines
Pendels) beschrieben. Im sechsten Kapitel werden Methoden erl"autert,
wie eine gegebene Funktion in \textsl{Maple} n"aherungsweise
beschrieben werden kann. Zu diesem Zweck werden verschiedene
Approximationsverfahren (z.\,B. Taylor-, Pade-, Polynom-Approximation,
trigonometrische Approximation, Fourier-Reihen) vorgestellt.
Ausf"uhrliche Anwendungsbeispiele enthalten die beiden Kapitel "uber
Differentialgleichungen. Erw"ahnt seien an dieser Stelle die
W"armeleitung in Hohlzylindern, Schwingungen, Rand- und
Eigenwertprobleme sowie ebene Potential- und Bipotentialprobleme.

Eine erfolgreiche Arbeit mit diesem Buch setzt gewisse
Grundfertigkeiten voraus. So ist es beispielsweise notwendig, da"s der
Leser des Buchs die Oberfl"ache von \textsl{Maple} kennt und mit ihr
umgehen kann. Das Buch kann und soll nicht als Handbuch oder
Nachschlagewerk f"ur \textsl{Maple} dienen. Ebenso wird vom Leser
erwartet, da"s er die behandelten mathematischen Teilgebiete sicher
beherrscht.

Das erste der beiden obigen Ziele wird vom Autor durch eine gro"se
Anzahl sch"oner Anwendungsbeispiele erreicht. Diese Vielzahl von
Beispielen ist es auch, die dieses Buch von einer Reihe anderer Werke
zum Computeralgebrasystem \textsl{Maple}, die in den letzten Jahren
erschienen sind, unterscheidet. Viele der Beispiele stammen aus der
Physik oder der Technischen Mechanik, andere Gebiete (zum Beispiel
Anwendungen aus der Elektrotechnik) kommen zu kurz oder fehlen
vollst"andig.

Besonders gegl"uckt ist der Abschnitt 7.2.4 "uber die Behandlung von
Differentialgleichungen am Beispiel eines \glqq Doppelpendels\grqq. An
zehn numerischen Anfangswerten werden die m"oglichen Verhaltensmuster
dargestellt. Mit solchen Beispielen vermag es der Autor daher durchaus,
ein vertieftes Verst"andnis mathematischer Methoden zu vermitteln.
Andererseits gibt es auch Abschnitte (z.\,B. 6.1 Taylor- und
Pade-Approximation), die sich mehr oder weniger auf das Vorstellen von
\textsl{Maple}-Befehlen beschr"anken und daher das zweite Ziel
verfehlen.

Insgesamt ist das Buch durch die gro"se Anzahl von Anwendungsbeispielen
gewi"s gelungen und kann Studenten der Ingenieurwissenschaften als
Lekt"ure empfohlen werden. Es ist mit einem Preis von DM~78,-- jedoch
relativ teuer.

}

\begin{flushright}
W. Struckmann (Braunschweig)
\end{flushright}




\item {\large \bf Vasconcelos, W.V., Computational Methods in Commutative
Algebra and Algebraic Geometry} 

Band 2 der Reihe {\em Algorithms and Computations in Mathematics},
Springer-Verlag Berlin-Heidelberg-New York 1998, ISBN 3-540-60520-7,
pp. 394, DM 118.
\addcontentsline{toc}{subsection}
{{\normalsize \sl  Vasconcelos, W.V., Computational Methods in Commutative
Algebra and Algebraic Geometry
}} \label{Vasconcelos}

{\footnotesize
Dieses Buch eines ausgewiesenen Experten auf dem Gebiet der
konstruktiven Methoden in der kommutativen Algebra (um diese geht es
im wesentlichen) ist ein weiterer Mosaikstein in der monographischen
Aufarbeitung der Grundlagen des symbolischen Rechnens, der sich eine
Reihe von Autoren in den letzten Jahren verst"arkt gewidmet haben.

Ein wichtiges Anliegen des Autors besteht darin, auf beschr"anktem
Raum eine Vielzahl von Ideen aufzugreifen und in (oft allerdings nur
dem fortgeschrittenen Leser verst"andlichen) Grundz"ugen darzustellen,
die sich in den letzten Jahren bei quantitativen Untersuchungen im
Bereich der kommutativen Algebra als fruchtbar erwiesen haben und
bisher einzig "uber eine Vielzahl von Zeitschriftenartikel (wenn
"uberhaupt) zug"anglich waren.

Um dieses Ziel zu erreichen, mu"s die Darlegung des umfangreichen
begrifflichen Apparats der kommutativen Algebra rudiment"ar bleiben,
was mit Hinblick auf existierende klassische (Kaplansky, Matsumura)
oder neuere Texte ([E] oder [BH]) allerdings kein Mangel ist. Wissen
im Umfang von [AM] wird vorausgesetzt, jedoch sollte der Leser auch
einige Erfahrung mit den dar"uber hinaus in einem Anhang A (60 S.) ``A
Primer on Commutative Algebra'' entwickelten Konzepten besitzen, die
von Noetherschen Ringen "uber ganze Erweiterungen und Syzygientheorie
bis hin zu lokaler Kohomologie und Liaison reichen. Kenntnisse "uber
Hilbertreihen als einem der grundlegenden Werkzeuge f"ur homogene
Ideale sind ebenfalls n"utzlich, obwohl in einem von J.Herzog
verfa"sten Anhang B (24 S.) wichtige Ergebnisse "uber
Hilbertfunktionen ($G$-Filtrierungen und die Rolle des Rees- sowie des
assoziierten graduierten Rings; das Bayersche Deformationsargument;
Hilbert-Funktionen, Aufl"osungen und lokale Kohomologie;
Lex-Segment-Ideale, Bettizahlen und die S"atze von Green und Gotzmann)
zusammenh"angend entwickelt werden.

Aus "ahnlichem Grund wird auf eine fundierte Einf"uhrung in die
Theorie der Gr"obnerbasen verzichtet, obwohl diese das primum mobile
eigentlich aller diskutierten konstruktiven Verfahren sind; es wird
einfach davon ausgegangen, da"s diese in einer gen"ugend effizienten
und umfassenden (Modulfall, Syzygienberechnung) Implementierung zur
Verf"ugung stehen. Neben einer Zusammenstellung grundlegender Begriffe
zu diesem Thema in Kapitel 1 (20 S.) wird deshalb im Anhang C (25 S.,
Autoren: D.Eisenbud, D.R.Grayson, M.E.Stillman) das Arbeiten mit der
Version 2 des bekannten Spezialsystem {\sc Macaulay} als einem f"ur
die entsprechenden Rechnungen bestens geeigneten Werkzeug vorgestellt.
\medskip

Das Buch ist also kein Lehrbuch im herk"ommlichen Verst"andnis, obwohl
f"ur Graduiertenseminare bei entsprechenden Vorkenntnissen durchaus
geeignet (und vom Autor in Teilen auf verschiedenen Sommerschulen auch
bereits eingesetzt). Es beginnt im wesentlichen dort, wo in den oben
genannten grundlegenderen Monographien insbesondere konstruktive
Aspekte nicht weiter vertieft werden und ist damit ein Mosaikstein im
wirklichen Sinne.

Es ist zugleich keine Monographie im herk"ommlichen Verst"andnis, die
sich an einem engen Thema ersch"opfend abarbeitet, sondern mehr eine
Fundgrube von Ideen und Ans"atzen, in denen die verschiedensten
Techniken der kommutativen Algebra bis hin zu tiefliegenden
homologischen Methoden zusammenspielen. Sie sind, wie vom Autor
gewohnt, oft unterschiedlich detailliert ausgearbeitet, beleuchten
aber an vielen Stellen Querverbindungen, die man in dieser
Kostellation in anderen Arbeiten selten findet. 

F"ur ein {\em detaillierteres} Studium insbesondere von
Fragestellungen, die in den sp"ateren Kapiteln aufgegriffen werden,
wird der Leser deshalb kaum um die Konsultation der entsprechenden
Zeitschriftenaufs"atze herumkommen, sofern er sie nicht sowieso schon
kennt. Als guter Leitfaden f"ur ein solches Unterfangen ist das
vorliegende Buch allerdings bestens geeignet und deshalb jedem, der
sich ernsthaft mit konstruktiven Methoden in der kommutativen Algebra
besch"aftigen m"ochte, zu empfehlen.

Um dem Leser dieser Rezension auch einen gewissen inhaltlichen
"Uberblick zu erm"oglichen, seien zum Abschlu"s aus den einzelnen
Kapiteln die wichtigsten Themen aufgelistet, die aufgegriffen und auf
konstruktive Aspekte hin untersucht werden:

Kap. 2 (34 S.): Toolkit\\ Endomorphismenringe und regul"are Elemente;
Noether-Normalisierung und Noether-Kom\-plexit"at; Fitting-Ideale; ganze
Erweiterungen; Flachheit, generische Flachheit und Torsionsfreiheit;
Cohen-Macaulay-Algebren und deren Hilbertfunktion.

Kap. 3 (36 S.): Prim"arzerlegung\\ Grundlegende Begriffe;
Prim"arzerlegung von Monomidealen; "aquidimensionale Zerlegung und
homologische Methoden; grobe "aquidimensionale Zerlegung ohne Exts;
Lokalisierungstechniken und verschiedene Reduktionen auf Dimension 0;
Primalit"ats\-tests f"ur Ideale ohne Faktorisierung; Symbolische
Potenzen.

Kap. 4 (24 S.): Rechnen in Artinschen Algebren\\ Artinsche Algebren
und lineare Algebra, Sockel und Jacobson-Radikal; Radikal
nulldimensionaler Ideale; Berechnung von Dekompositionen als
verallgemeinerte Faktorisierung.

Kap. 5 (22 S.): Nullstellens"atze\\ Radikalberechnung und
Jacobi-Ideal; generische Sockel-Formeln; Konstruktion regul"arer
Sequenzen; obere Jacobi-Ideale und das Top-Radikal.

Kap. 6 (38 S.): Ganzer Abschlu"s\\ Multiplikationsring ${\rm
Hom}_R(I,I)$; $S_2$-ifizierung; Desingularisierung in Kodimension 1;
ganzer Abschlu"s eines Ideals und eines Rings.

Kap. 7 (28 S.): Idealtransformierte und Invariantenringe\\ Gleichungen
f"ur verschiedene Aufblasungsringe; Tangentialkegel und analytic
spread; faktorieller Abschlu"s und symbolische Aufblasung; Unterringe
von Polynomringen; Semigruppen-Ringe; SAGBI-Basen; Invariantenringe
von linearen Gruppen.

Kap. 8 (8 S.): Zur Kohomologieberechnung "uber dem ${\bf P}^n$ (von
D.Eisenbud)

Kap. 9 (52 S.): Komplexit"atsgrad eines graduierten Moduls\\ Grad,
arithmetischer und geometrischer Grad und Verallgemeinerungen;
Schranke von Brownawell/Kollar im Nullstellensatz (o. Bew.);
Reduktionszahl; arithmetischer Grad und Reduktionszahl; arithmetischer
Grad und Erzeugendenzahl; Verallgemeinerungen des arithmetischen
Grades, die verschiedene Homologien genauer ber"ucksichtigen;
verschiedene Schranken. 
\medskip



\begin{itemize}
\item[{[AM]}] M.F.Atiyah, I.G.MacDonald: Introduction to Commutative 
Algebra, Addison-Wesley 1969
\item[{[BH]}] W.Bruns, J.Herzog: Cohen-Macaulay Rings, Cambridge
Univ. Press 1993 
\item[{[E]}] D.Eisenbud: Commutative Algebra with a View towards
Algebraic Geometry, Springer 1994
\end{itemize}
}

\begin{flushright}
Hans-Gert Gr"abe (Leipzig)
\end{flushright}

\end{itemize}
%}
%\indent
%\newpage
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     Lehrveranstaltungen                                         %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%\vspace*{5mm}
\section*{\Large\bf
\hrule\vspace{1mm}
\centerline{Lehrveranstaltungen \"uber Computeralgebra im SS 1998}
\vspace{-3mm}}\hrule
\label{lehrv}
\addcontentsline{toc}{section}{\normalsize \bf 
Lehrveranstaltungen \"uber Computeralgebra im SS 98 }%\toc_dotfill }

\vspace*{4mm}

\begin{itemize}

\item {\bf Rheinisch--Westf"alische Technische Hochschule Aachen}\\
{\em Einf"uhrungspraktikum in das Formelmanipulationssystem MAPLE}, G. 
Hi"s, U. Klein, V. Dietrich, P2\\
{\em Praktikum Programmieren in MAPLE}, G. Hi"s, U. Klein, P4\\
{\em Seminar "uber Maple}, V. Dietrich, S2

%\item {\bf Freie Universit"at Berlin}\\

\item {\bf Technische Universit\"at Berlin}\\
{\em Einf\"uhrung in die Codierungstheorie }, M. Pohst, V4 \\
{\em Seminar Algorithmische Zahlentheorie und Algebra}, M. Pohst, S2

%\item {\bf Universit"at Bonn}\\

\item {\bf Technische Hochschule Darmstadt}\\
{\em Seminar Lie-Gruppentheorie (Grundlagen, Berechnung der Erzeugenden und Anwendung in Mechanik,
Physik und Technik)}, K.G. Roesner, S2

\item {\bf Universit"at Dortmund}\\
{\em Symbolisches und numerisches L"osen von Gleichungssystemen}, H.M.M"oller, V4 + "U2\\
{\em Oberseminar "uber alg. Geometrie und ihre Algorithmen}, E. Becker, H.M.M"oller, S2

%\item {\bf Technische Universit"at Dresden}\\

\item {\bf Universit"at Erlangen-N"urnberg}\\
{\em Topics in Computer Algebra}, V. Strehl, V2+"U1

%\item {\bf Universit\"at Greifswald}\\

%\item {\bf Technische Hochschule Hamburg-Harburg}\\
 
\item {\bf Martin-Luther-Universit"at Halle(Saale)}\\
{\em Praktikum Mathematik mit Mathcad}, H. Benker, P2\\
{\em Mathematica-Begleitkurs zur Analysis}, Benker, Carl, Kirsch,
Pluschke, P2

\item {\bf Universit"at Heidelberg}\\
{\em Computeralgebra}, G. Malle, V4 + "U2

\item {\bf Universit"at Kaiserslautern}\\
{\em Computer Algebra}, G. Pfister, V4 + "U2\\
{\em Praktkum Computeralgebra}, G. Pfister, P4\\
{\em Oberseminar Singularit"atentheorie und Computeralgebra}, 
G.-M. Greuel, G. Pfister S2

\item {\bf P"adagogische Hochschule Karlsruhe}\\
{\em Informatik II (unter Verwendung von \cas en)}, J. Ziegenbalg, V2\\
{\em Hauptseminar  Algorithmen}, J. Ziegenbalg, HS2

%\item {\bf Universit"at Karlsruhe}\\

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

%\item {\bf Hochschule f\"ur Technik, Wirtschaft und Kultur Leipzig}\\

\item {\bf Universit\"at Leipzig}\\
{\em Kodierungstheorie}, J. Apel, V2\\
{\em Grundlegende Algorithmen der Computeralgebra}, H.-G. Gr"abe, V2\\
{\em Algebraische Komplexit"atstheorie }, H.-G. Gr"abe, V2\\
{\em Mechanisiertes Theorembeweisen in der Geometrie }, H.-G. Gr"abe, V2

\item {\bf Universit"at Linz, Research Institute for Symbolic Computation}\\
{\em Computer-Algebra f"ur Fortgeschrittene}, F. Winkler, V2\\
{\em Geometrische Grundlagen f\"ur Symbolic Computation}, S. Stifter, V2 + "U1\\
{\em Algorithmische Algebraische Geometrie}, F. Winkler, V2\\
{\em Mathematikunterricht mit DERIVE}, B. Kutzler, V2\\
{\em Elimination Theory}, D. Wang, V2\\
{\em Programming in MATHEMATICA}, W. Windsteiger, V2\\
{\em Projektseminar Computer Algebra}, F. Winkler, S2


%\item {\bf Universit"at Mannheim}\\

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

\item {\bf Universit"at Oldenburg}\\
{\em Gr"obnerbasen und Anwendungen}, W.Schmale, V4,"U2\\
{\em Seminar Ganze Zahlen, Polynome und Matrizen}, W.Schmale S2

%\item {\bf Universit"at-Gesamthochschule Paderborn}\\

\item {\bf Universit"at Passau}\\
{\em Algebra und Logik}, V. Weispfenning, V3 + "U2\\
{\em Oberseminar Computeralgebra}, V. Weispfenning, S2

\item {\bf Universit"at Rostock}\\
{\em Symbolisches Rechnen}, K. Hantzschmann, V2\\
{\em Seminar Symbolisches Rechnen}, A. Widiger, S2

%\item {\bf Universit"at des Saarlandes Saarbr"ucken}\\

\item {\bf Universit"at T"ubingen}\\
{\em Praktikum Einf"uhrung in die Computeralgebra}, R. Loos, P1 + "U2\\
{\em Seminar Generic Programming (in Englisch)}, R. Loos, D. Musser, S2

\item {\bf Universit"at Ulm}\\
{\em Symmetrie Analyse von Differentialgleichungen mit MathLie}, G.
Baumann, V2\\ 
{\em Praktikum Symbolisches und Algebraisches Rechnen},
> G. Baumann, P4\\ 
{\em Seminar zu Mathematische Methoden der Physik mit Mathematica 
}, G. Baumann and T.F. Nonnenacher S2

\item {\bf ETH Z"urich}\\
{\em Computer Algebra II}, G. Gonnet, V2 + U1

\end{itemize}

%\indent
%\newpage

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

%\vspace*{5mm} 
\section*{\Large\bf \hrule\vspace{1mm}
\centerline{Kurze Mitteilungen} \vspace{-3mm} }\hrule
\label{mitteil}
\addcontentsline{toc}{section}{\normalsize \bf 
Kurze Mitteilungen }%\toc_dotfill }

%{\small
\vspace*{4mm}

\begin{itemize}



%\item {\bf \ca-Anwendungen und Systeminformationen f"ur die "uberarbeitete 
%englische Version des \ca-Reports !!! ALT
%}

%Die Fachgruppenleitung hat Johannes Grabmeier, Erich Kaltofen  und
%Volker Weispfenning beauftragt ...

\item {\bf Lehrerfortbildung Computeralgebra an der Universit"at Heidelberg}

{\footnotesize
Die Universit"at Heidelberg hat in Zusammanrbeit mit dem Oberschulamt
Karlsruhe und Gymnasien im Fachbereich Mathematik am 14. Januar 1998 in den
R"aumen des IWR (Interdisziplin"ares Zentrum f"ur Wissenschaftliches
Rechnen) eine Lehrerfortbildung zum Thema 'Computeralgebra' veranstaltet.
Diese stie"s auf reges Interesse, ungef"ahr 75 Gymnasiallehrer aus der
n"aheren und weiteren Umgebung Heidelbergs nahmen daran teil.
Das Programm des Einf"uhrungstages bestand in je einem "Ubersichtsvortrag
"uber 'Themen und Schwerpunkte der Computeralgebra' von J. Grabmeier (IBM
Heidelberg) sowie "uber 'Computeralgebra und Kryptographie' von B. H.
Matzat (Univ. Heidelberg). Diese Vortr"age wurden am 22.1. bzw. 28.1. durch
praktische "Ubungen am Rechner (vor allem mit MAPLE) erg"anzt. Die
Computeralgebra-Praktika wurden von R. Busam (Univ. Heidelberg) mit
Unterst"utzung von M. Ku"s geleitet.

%Die Fakult"at f"ur Mathematik hat in Zusammenarbeit mit dem
% IWR (Interdisziplin"ares Zentrum f"ur Wissenschaftliches Rechnen)
%und dem  Oberschulamt Karlruhe eine Fortbildungsveranstaltung 
%durchgef"uhrt. Das Interesse der Gymnasiallehrer aus der
%Region war sehr gro"s. Es nahmen ca.\ 75 Mathematiklehrer
%teil. Das Programm des ersten Tags bestand in
%einem "Uberblicksvortrag "uber
%die Themen und Schwerpunkte der \ca, erl"autert mit live
%durchgef"uhrten Berechnungen in einem \cas(J.~Grabmeier, IBM Heidelberg)
%und einem Vortrag von B.H.~Matzat (IWR/U Heidelberg) zum Thema
%Kryptoverfahren (RSA).
%An zwei weiteren Terminen in den folgenden zwei Wochen konnten
%die Teilnehmer eigene Erfahrungen unter der
%Leitung von R.~Busam und M.~Kuss (U Heidelberg) an \maple-Arbeitspl"atz=
%en
%machen.

%Die Diskussionen im Rahmen der Veranstaltung zeigten klar, da"s
%einerseits ein sehr gro"ses Interesse an \ca\ seitens der Mathematiklehrer
%besteht, aber auch andererseits, da"s -- wie es der Leiter
%des Oberschulamtes formulierte -- die Gew"ohnungsphase bei vielen
%Mathematiklehrern zur Bereitschaft nicht nur neue p"adagogische
%Konzepte zu erfahren, sondern sich auch neueren Methoden in der Mathematik
%wie sie gerade die \cas e ben"otigen  zu erarbeiten, noch 
%nicht abgeschlossen ist. 

}

\item {\bf Preis zur F"orderung der Qualit"at der Lehre der G. A. M"uller-Stiftung 1997}

{\footnotesize
Prof. Dr. Robert Ke"sler und Prof. Dr. Thomas Westermann, beide aus dem Fachbereich Naturwissenschaften der Fachhochschule Karlsruhe - Hochschule f"ur Technik, wurden am 4. Dezember 1997 zu gleichen Teilen mit dem Preis der G. A. M"uller-Stiftung zur F"orderung der Qualit"at der Lehre ausgezeichnet. Der Preis wurde verliehen zur Anerkennung der pers"onlichen Lehrqualifikation, der innovativen Konzepten des Einsatzes von Computern in der Physik- bzw. Mathematikausbildung sowie f"ur die zahlreichen Projektarbeiten. Den Preis, verbunden mit einer Pr"amie von 5.000 Mark, "uberreichte Heinz Heiler, Pr"asident der Landesvereinigung Bauwirtschaft Baden-W"urttemberg und Gesch"aftsf"uhrer der G. A. M"uller GmbH \& Co. KG, im Anschlu"s an den Vortrag von Prof. Dr. Westermann ''Mathematik alive - "uber den Einsatz von Computeralgebra-Systemen in der Mathematikvorlesung''.

%Prof. Dr. Thomas Westermann wird durch den von der Industrie vergebenen Preis f"ur seine innovativen Konzepte und Methoden in seinen Mathematikvorlesungen ausgezeichnet, in denen er das Computeralgebra-System Maple einsetzt, um mathematische Begriffe, Formeln und numerische Ergebnisse zu visualisieren. Auch werden durch den Einsatz von Maple komplexe Sachverhalte sowohl der Mathematik als auch von physikalisch-technischen Anwendungen "uber Animationen leichter nachvollzogen - was die Studierenden begeistert best"atigen. ''Wir k"onnen in den Vorlesungen durch den Einsatz dieses Systems den Studierenden zwar die "Ubungsaufgaben nicht ersparen'', so Prof. Dr. Westermann in seinem Vortrag, ''mit ihm lassen sich jedoch elementare Begriffe der Mathematik und komplizierte Zusammenh"ange darstellen, die ansonsten sehr abstrakt bleiben w"urden. Das System l"a"st sich zur multimedialen und damit auch interaktiven Vermittlung der gesamten Mathematik einsetzen.'' 

%Inwieweit rechnergest"utzte Methoden und Modelle den Studierenden auch die Physik leichter verst"andlich machen k"onnen, zeigte auch der zweite Preistr"ager, Prof. Dr. Robert Ke"sler, in seinen Lehrveranstaltungen und zahlreichen Projektarbeiten mit Studierenden. Fr"uhzeitig setzte er Computer und numerische Simulation ein, um komplizierte physikalische Zusammenh"ange zu visualisieren. Die Modellierung konkreter Anwendungen stellte er in den Mittelpunkt seiner Veranstaltungen und konnte durch diesen Rechnereinsatz Lehrinhalte vermitteln, die weit "uber den "ublichen Lehrstoff der Physik hinausgehen.

%''Mit dem Einsatz innovativer Methoden und moderner Medien in den Vorlesungen'', wie Prof. Dr. Westermann die Zielvorgabe erl"auterte, ''m"ochten wir den Studierenden vermitteln, wie wichtig heute das entsprechende mathematische und physikalische 'R"ustzeug' f"ur einen Ingenieur im Beruf ist und wie er dort mit solchen Systemen selbst sehr erfolgreich arbeiten kann.''

}


%\item\fbox{\parbox{16cm}{


%\begin{center}
%{\Large \bf OpenMath postdoc position available}\\
%\end{center}

%As of September 1, 1997, a three year postdoc position will be available at Eindhoven University of

%}}



\end{itemize}


\newpage

\pagestyle{empty}

%\newpage
%\input{Aufnahmeantrag.tex}
%\addcontentsline{toc}{section}{\normalsize \bf 
%Aufnahmeantrag f\"ur Mitgliedschaft in der Fachgrup\-pe}%\toc_dotfill }

%\pagestyle{plain}

%\newpage
%\input{CARimpressum.tex}
%\addcontentsline{toc}{section}{\normalsize \bf 
%Fachgruppenleitung Computeralgebra 1996-1999, Impressum}%\toc_dotfill }


%\newpage
%Werbeseite der Fa. Springer Verlag

\end{document}










