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

\usepackage{german}
\usepackage{CAR_toc}
\usepackage{psfig}
\usepackage{html}

\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}

\renewcommand{\htmladdnormallink}[2]{{#2}}
\newcommand{\URL}[1]{\htmladdnormallink{#1}{\tt #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 21  \hfill Oktober  1997 } 

\vspace{4mm}

\tableofcontents

\end{minipage}

\vspace{5mm}


\newpage
\pagestyle{plain}

\input{CARimpressum.tex}

\newpage
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     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}

auf ihrer Sitzung am 28.\ September in Heidelberg
hat die Fachgruppenleitung den Dialog zum Thema 
{\em \ca{} im Unterricht} mit den Fachgesellschaften GDM
(Gesellschaft f"ur Didaktik der Mathematik) und  MNU (Verein zur
F"orderung des mathematischen und naturwissenschaftlichen Unterrichts)
begonnen. Prof.~Dr.~Weigand aus Gie"sen von der GDM und 
G.~Schmidt aus Mainz vom MNU referierten "uber die Erfahrungen und
Aktivit"aten ihrer Gesellschaften. Auch die Fachgruppe
Didaktik der Mathematik der DMV wird sich am Dialog beteiligen.

Die Fachgruppe hatte zu diesem Thema im Sommer die Ministerien der
16 Bundesl"ander angeschrieben und angeboten, zum Thema 
{\em Curriculumsentwicklung \ca} mit ihnen in die Diskussion zu treten.
Die Resonanz bislang dazu war sehr positiv.

Wir haben deshalb u.a.\ folgende gemeinsame Aktivit"aten geplant.
Im April 1998 wird ein Symposium zu diesem Thema auf Schlo"s Thurnau
bei Bayreuth stattfinden. Dort soll eine Bestandsaufnahme vorgenommen 
werden. Die beteiligten Gesellschaften werden dazu Vertreter der 
Ministerien und Schulbeh"orden einladen. Die organisatorische
Verantwortung daf"ur liegt bei Prof.~Dr.~Kerber aus Bayreuth.

Interessante didaktische Beispiele mit und zur \ca\ sollen 
auf einem WWW-Server bereitgestellt werden. Dazu wird ein 
Herausgebergremium gebildet werden. Schon heute bitten wir Sie,
uns "uber interessante Projekte und Links zu informieren.

Die Vorbereitungsarbeiten f"ur die ISSAC'98 in Rostock laufen 
plangem"a"s. Wir wollen von dieser Stelle aus alle Mitgliedern
ermuntern, sich an der ISSAC zu beteiligen:
Einreichung von 
Beitr"agen bis 20.~Januar~1998; 
Teilnahme in Rostock in der Zeit 13.--15.~August 1998 sowie
anschlie"send am International Congress in Mathematics (ICM98)
in Berlin. Auch dort ist das Thema {\em Computational Mathematics}
vertreten. Weiter wird es eine Ausstellung von \cas en geben.
N"aheres zur ISSAC'98 auf Seite \pageref{issac98} dieses Rundbriefs.


Wir wollen auch wieder an die elektronische \ca-Liste
der Fachgruppe erinnern. Sie dient zur Versendung von Informationen
zwischen der Rundbriefen und zur Diskussion von Themen der \ca.
Sie k"onnen sich mit einer Note an 
\begin{center}
{\tt listserv@rz.uni-karlsruhe.de}
\end{center}
mit dem Text 
\begin{center}
{\tt SUBSCRIBE CAIS-L <Vorname> <Nachnahme> }
\end{center}
anmelden.
Eigene Beitr"age zur Verteilung k"onnen Sie an 
\begin{center}
{\tt cais-l@rz.uni-karlsruhe.de}
\end{center}
schicken.

 \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 Dritte Internationale Konferenz "uber Technologie in der
%                 mathematischen Lehre ???}

%Koblenz, 29. September - 2. Oktober 1997

%{\footnotesize
%Diese Tagung will die Rolle der Technologie in der mathematischen Lehre an Schulen,
%Fachhochschulen und Universit"aten beleuchten. Sie versucht, unter einem europ"aischen Blickpunkt
%die Tradition fortzusetzen, die mit den Internationalen Konferenzen "uber 
%\glqq Technology in Collegiate
%Mathematics'' in den Vereinigten Staaten von Amerika von Prof. Bert Waits und Prof. Franklin
%Demana von der Ohio State University begr"undet wurde und seit 1988 j"ahrlich fortgesetzt wird. Diese
%Tradition hat eine gro"se Bedeutung f"ur den effektiven Gebrauch der Technologie in der
%Mathematischen Lehre erlangt. ICTMT setzt als dritte europ"aische Konferenz die Tagungen in
%Birmingham, England, 1993, und Edinburgh, Schottland, 1995, fort. 

%Die dritte europ"aische Internationale Konferenz "uber Technologie in der Mathematischen Lehre will
%Unterrichtspraktiker, Curriculum-Entwickler, Mathematik-Didaktik-Forscher und Hochschullehrer
%der Mathematik zusammenbringen, die alle den Wunsch nach einer Verbesserung der Lehre und des
%studentischen Lernens haben. Hauptvortr"age von ausgewiesenen Rednern werden durch ein Programm
%von speziellen Kurzreferaten und Workshops erg"anzt. Wir hoffen, auch eine Ausstellung von
%B"uchern, Soft- und Hardware zur Thematik bieten zu k"onnen. Die Tagung findet auf dem Campus
%der Universit"at in Koblenz statt, der auf der Halbinsel Koblenz-Oberwerth, eineinhalb Kilometer
%vom Hauptbahnhof Koblenz entfernt, liegt.

%Die Konferenzsprachen werden Deutsch und Englisch sein.

%Die Tagungsgeb"uhr betr"agt DM 200 (bei Zahlung bis 01.07.1997; DM 220 bei sp"aterer Zahlung) und
%schlie"st die Kosten des Mittagessens, Tee und Kaffee, den Ausflug am Dienstag nachmittag, sowie
%den Tagungsband auf einer CD-ROM ein.

%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.}

%Die Tagung kann "uber die WWW-Seite
%\URL{http://euler.uni-koblenz.de/} erreicht werden. Hier ist
%auch ein Anmeldeformular erh"altlich.
%}

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

   Oberwolfach, 12.--18.10.1997

{\footnotesize {\bf Referenten:} G.-M. Greuel (U Kaiserslautern), B. H. Matzat (U Heidelberg)

{\bf Subjects:} Gr"obnerbasen und verschiedene Varianten des
Buchbergeralgorithmus mit Verwendung bei der algorithmischen L"osung von
Grundaufgaben der kommutativen Algebra wie z.B. der Berechnung der
Hilbertfunktion, des Radikals und der Prim"arzerlegung eines Ideals.
Invariantenringe endlicher und linearer reduktiver Gruppen, polynomiale
Invariantenringe, Cohen-Macaulay-Eigenschaft und Algorithmen zur Berechnung
von Invariantenbasen, Anwendung auf das Noethersche Problem.
Als weitere Anwendungsbereiche sind vorgesehen algorithmische algebraische
Geometrie und Singularit"atentheorie sowie ganzzahlige lineare Optimierung.
Mit dem Seminar ist ein Computerpraktikum zur Demonstration und Ein"ubung
der Algorithmen verbunden. Dabei werden die Computeralgebrasysteme MAPLE
(mit INVAR), MACAULAY und SINGULAR zur Verwendung kommen.

{\bf Prerequisites:} Grundkenntnisse in der Algebra inklusive der
Darstellungstheorie, der algebraischen Geometrie und der Computeralgebra,
Bekanntschaft mit MAPLE.

{\bf Anmeldung} bis 1.9.97 bei:  Prof. Dr. Matthias Kreck, Universit"at Mainz,
Fachbereich Mathematik, 55099 Mainz

Bitte f"ugen Sie der Anmeldung eine kurze Schilderung Ihres Werdeganges,
Ihres Arbeitsgebietes und Ihrer derzeitigen T"atigkeit bei.
}



\item {\bf Mathematica Developer Conference 1997}

Champaign, Illinois, USA, 27.10.--29.10.97


{\footnotesize
Wolfram Research is happy to announce the latest in our well-received
series of Mathematica Developer Conferences. The 1997 Mathematica
Developer Conference will be held October 27-29 in Champaign, Illinois,
home of Wolfram Research. As always, these three days will be packed
with activities designed to help Mathematica developers keep up-to-date,
become more productive, and learn the secrets of successful technical
software development.

The 1997 Mathematica Developer Conference will give you the following
informative seminars and tutorials on these and other topics:\\
  -- Developing applications,\\
  -- Programming in Mathematica,\\
  -- Customizing the front end with palettes, buttons, and style sheets,\\
  -- Using Mathematica 3.0 to author books and courseware,\\
Direct interaction with Wolfram Research developers,
Discussion with Stephen Wolfram, chief architect of the Mathematica system,
Tips and tricks from experienced developers,
Roundtable discussions are  possible.
Tools and features of the Mathematica 3.0 Developer Kit can be seen.

The conference will be an excellent resource for the latest information
on developing application packages with Mathematica 3.0, as well as your
chance to trade notes with developers from around the world.

These gatherings are an opportunity for developers to show their
accomplishments, and we always encourage Mathematica Developers to give
presentations during the conference. We are particularly interested in
highlighting projects developed using Mathematica 3.0 and the various
tools and techniques that were used in development. 
%Submissions for
%presentations for the 1997 Mathematica Developer Conference must be
%received by August 1, 1997.

Registration fees include your developer manual, the Mathematica 3.0
Developer Kit, continental breakfasts, lunches, and a reception
banquet. Space is limited, so please reserve your place now. See
\URL{http://www.wolfram.com/devconf97}
for registration and hotel
information.
}


\item {\bf    Third International Conference on Principles and Practice of
Constraint Programming (CP97)    }

Schloss Hagenberg, Linz, "Osterreich, 29.10.--1.11.97


{\footnotesize

 {\bf Scope of the Conference}
    Constraints have emerged as the basis of a representational and
    computational paradigm that draws from many disciplines and can
    be brought to bear on many problem domains. The conference is
    concerned with all aspects of computing with constraints including:
    algorithms, applications, environments, languages, models,
    systems.

    Contributions are welcome from any discipline concerned with
    constraints, including: artificial intelligence, combinatorial
    algorithms, computational logic, concurrent computation,
    databases, discrete mathematics, operations research,
    programming languages, symbolic computation.

    Contributions are welcome from any domain employing constraints,
    including: computational linguistics, configuration, decision support,
    design, diagnosis, graphics, hardware verification, molecular
    biology, planning, program analysis, qualitative reasoning,
    real-time systems, resource allocation, robotics, scheduling,
    software engineering, temporal reasoning, type inference, vision,
    visualization, user interfaces.

    Papers are especially welcome that bridge disciplines or combine
    theory and practice.

 {\bf  Conference Venue: }
    CP97 will take place at Schloss Hagenberg, a medieval, renovated
    castle close to Linz, Austria, known as the site of the Research
    Institute for Symbolic Computation (RISC).

  {\bf Paper Submissions:}
    The submission deadline is April 15, 1997. Submission is by email
    (up to exceptions). Send a message that contains a uuencoded
    postscript file preceeded by the title page (title, authors, abstract)
    in plain text to {\tt cp97@ps.uni-sb.de}, with ''submission'' as the
    subject line.

    Decisions on acceptance will be sent by June 15, 1997. Some
    submissions not accepted as papers may be offered presentation
    as posters, with an extended abstract (2 pages) in the
    proceedings.

  {\bf Publication:}
    The proceedings will be published in the Springer LNCS series.
    Camera-ready copy will be due by July 15, 1996. The publication
    must not duplicate an earlier conference publication. Papers and
    posters must be presented at the conference by one of the authors.
    Authors of selected papers will be invited to submit revisions to a
    special issue of the CONSTRAINTS journal devoted to the
    conference.

  {\bf Call for Tutorials:}
    Several tutorials will be held during the conference. Proposals for
    two-hour tutorials should be sent to the Program Chair until May
    15, 1997.

  {\bf Call for Workshop Proposals:}
    There will be workshops on the last day of the conference.
    Proposals for one-day or half-day workshops should be sent to
    the Workshop Chair as soon as possible but no later than May 15,
    1997.

 {\bf  Exhibition and Sponsors:}
   Companies, publishers, agencies or organizations interested in
    exhibition space, or in becoming conference sponsors, should
    contact the Conference Chair. Researchers interested in providing
    computer demonstrations should contact the Program Chair.

  {\bf Conference Organization:}

    {\em Conference Chair:}
       Bruno Buchberger (RISC),
      {\tt Bruno.Buchberger@risc.uni-linz.ac.at}

    {\em Program Chair:}
       Gert Smolka (DFKI and Universit"at des Saarlandes),
       {\tt smolka@ps.uni-sb.de}

    {\em Program Committee:}
       Franz Baader (RWTH Aachen),
       Frederic Benhamou (University of Orleans),
       Alex Brodsky (George Mason University),
       Yves Caseau (Bouygues),
       Hoon Hong (RISC),
       John Hooker (CMU),
       Joxan Jaffar (National University of Singapore),
       Claude Kirchner (INRIA Lorraine and CRIN),
       Michael Maher (Griffith University),
       Kim Marriott (Monash University),
       Dave McAllester (AT\&T Research),
       Ken McAloon (Brooklyn College),
       Bernhard Nebel (University of Freiburg),
       Tobias Nipkow (TU M"unchen),
       Martin Odersky (TU Karlsruhe and University of South Australia),
       Cartuscia Palamidessi (University of Genova),
       Andreas Podelski (Max-Planck-Institut f"ur Informatik),
       Jean-Francois Puget (ILOG),
       Francesca Rossi (University of Pisa),
       Thomas Schiex (INRA),
       Bart Selman (AT\&T Research),
       Gert Smolka (DFKI and Universit"at des Saarlandes),
       Peter J. Stuckey (University of Melbourne),
       Edward Tsang (University of Essex),
       Peter van Beek (University of Alberta),
       Mark Wallace (ICL/Imperial College).

    {\em Publicity and Workshop Chair:}
       Andreas Podelski (Max-Planck-Institut f"ur Informatik)
       {\tt podelski@mpi-sb.mpg.de}

    {\em Organizing Committee:}
       Alan Borning (University of Washington),
       Alain Colmerauer (University of Marseille),
       Eugene Freuder (University of New Hampshire),
       Jean-Pierre Jouannaud (University of Paris Sud),
       Jean-Louis Lassez (New Mexico Tech),
       Ugo Montanari (University of Pisa),
       Anil Nerode (Cornell University),
       Vijay Saraswat (AT\&T Research),
       Pascal Van Hentenryck (Brown University),
       Ralph Wachter (Office of Naval Research).

 {\bf Important Dates:}

    April 15, 1997: Paper submission deadline\\
    May 15, 1997: Submission of tutorial and workshop proposals\\
    June 15, 1997: Acceptance notification\\
    July 15, 1996: Camera-ready copy due\\
    October 29-31, 1997: Main program of the conference\\
    November 1, 1997: Workshops\\

 {\bf Further Information:}
    Additional information will be posted, and will be available at the
    CP97 web site: \\
  \URL{http://www.mpi-sb.mpg.de/conferences/CP97/}
  .
}

\item {\bf Algorithmic Aspects of Drinfeld Modules}

Dagstuhl, 1.12.--6.12.97
       
{\footnotesize

This is the last workshop held in the framework of the DFG program
''Algorithmische Zahlentheorie und Algebra''.

{\bf Topics} include\\
- theory of Drinfeld modules, mainly that part of the
  theory relevant to computation\\
- algorithms (e.g., determination of rank one modules, torsion
  points, class numbers, special functions and their values)\\
- explicit programs\\
- numerical material, tables, and their evaluation\\
- proved or conjectured consequences of empirical data\\
- applications (e.g., construction of curves with many rational
  points).

{\bf Organizers:}\\
E.-U. Gekeler {\tt gekeler@math.uni-sb.de}\\
B. H. Matzat {\tt matzat@iwr.uni-heidelberg.de}\\
}



\item {\bf CAS-97}

Minsk, Wei"sru"sland, 8.12.--11.12.97
       
{\footnotesize
       The main goal of the conference is to
       provide a forum for exchange of ideas how
       to obtain the mathematical knowledge on
       different levels of education and
       scientific investigations based on
       computer algebra methods.

{\bf Topics:} 
 Computer algebra systems and software on the base of computer algebra systems,
 Computer algebra system applications in scientific and technical research,
 Computer algebra system in education,
 theory and algorithms,
 software, 
 Natural Sciences, 
 Human Sciences and Economics, 
 Engineering,
 New
 educational technologies using Computer algebra system methods, 
 Studying Computer algebra system in secondary schools and universities,
 Computer       Algebra       Tutorials, 

{\bf Instructions for the format of the Abstract:}
Abstracts will be published before the beginning of the conference. 

Abstracts should be submitted in English or Russian on white paper A4 and in file format for WORD
6.0-8.0 for Windows or \LaTeX using a font comparable to Times New Roman 12-point. Please
center Title, Authors, and Affiliations. Please provide an abstract using left and right margins to 20
mm, top - 25 mm, bottom - 30 mm. 

Abstracts must be received by Committee CAS-97 by October 15, 1997.

{\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 

{\bf Registration Fee:} 50 US\$ - for registration, 
10 US\$ - for scientists from the former Soviet Union.

{\bf Further information:} under URL:    \URL{http://www.hep.by/cas/cas.html}

}

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

{\footnotesize

 From January 7 until January 30, 1998, we will organize and teach
an intensive course on Gr\"obner bases. The goal of this course is
to provide a thorough introduction to
Gr\"obner bases. Topics that will be relevant to this course
include\\

 -  abstract reduction relations and the properties of
   confluence and termination,\\
 -  term orderings for Gr\"obner bases and their
   classification,\\
 -  existence, uniqueness, and construction of Gr\"obner
   bases for polynomial ideals over a field,\\
 -  immediate applications to elimination theory,
   operations on ideals, and linear algebra in residue class
   rings,\\
 -  improved construction of Gr\"obner bases, such as
   criteria for eliminating unneccessary critical pairs,
   syzygies, information on Hilbert functions,
   linear algebra techniques for change of ordering, and
   Gr\"obner walk,\\
 -  complexity analysis,\\
 -   more advanced applications to problems in algebraic
   geometry, such as Hil\-bert's Nullstellensatz, dimension
   of ideals, computation of radicals, primary decomposition
   of ideals,\\
 -  applications, for example in computer aided geometric design,
   such as implicitization of algebraic curves and surfaces,
   and in geometry theorem proving.

The course will be taught by Bruno Buchberger and Franz Winkler
from RISC-Linz together with guest lecturers from other
institutes (names will be announced soon).
It is intended mainly for graduate students.
Participants in the course are expected to have a good basic
understanding of algebra and some know\-ledge in computer
programming.
}

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

{\footnotesize

The institute RISC-Linz of the Johannes Kepler Universit\"at
in Linz, Austria, will organize an International Conference on Gr\"obner Bases,
entitled ``33 Years of Gr\"obner Bases'', in February 2--4, 1998.
The site of the conference will be the medieval Castle of Hagenberg near
Linz, the home of RISC-Linz.

Since the invention of Gr\"obner bases by Buchberger in 1965, this new method
in polynomial ideal theory and algebraic elimination theory has become one
of the standard methods in computer algebra.
There exists by now a considerable amount of theoretical work on Gr\"obner
bases, every major computer algebra system has an implementation of
Gr\"obner bases, and the field of applications ranges from algebraic geometry
and computer aided geometric design to chemical structure analysis.
The aim of the conference is to assess the state of the art in the theory
and practice of Gr\"obner bases.
Topics of the conference include

 -  theoretical development of the algebraic theory of
    Gr\"obner bases,\\
 -  numerical aspects of the computation and use of Gr\"obner
bases,\\
 -  applications of Gr\"obner bases in science and
    engineering,\\
 -  implementations and issues of software design in
    connection with Gr\"obner bases.

In addition to the regular program of the conference we plan to
organize a software exhibition.

The site of all events during the Special Year on Gr\"obner Bases
will be the medieval Castle of Hagenberg, the home of RISC-Linz.

{\bf {Organizers:}}\\
  Bruno Buchberger,                     
  RISC-Linz,                            
  Johannes Kepler Universit\"at,        
  A-4040 Linz, Austria,                 
  {\tt buchberger@risc.uni-linz.ac.at},\\
 Franz Winkler,
 RISC-Linz,
 Johannes Kepler Universit\"at,
 A-4040 Linz, Austria,
 {\tt winkler@risc.uni-linz.ac.at}.

{\bf {Program Committee:}}
 W.W. Adams (College Park, USA)
 B. Buchberger (Linz, Austria),
 J.H. Davenport (Bath, England),
 R. Fr\"oberg (Stockholm, Sweden),
 A. Galligo (Nice, France),
 V.P. Gerdt (Dubna, Russia),
 M. Giusti (Palaiseau, France),
 M. Kalkbrener (Z\"urich, Switzerland),
 W.W. K\"uchlin (T\"ubingen, Germany),
 Y.N. Lakshman(Philadelphia, USA),
 A.H.M. Levelt (Nijmegen, Netherlands),
 B. Mishra (New York, USA),
 T. Mora (Genova, Italy),
 T. Recio (Santander, Spain),
 H.J. Stetter (Vienna, Austria),
 M. Sweedler (Ithaca, USA),
 C. Traverso (Pisa, Italy),
 V. Weispfenning (Passau, Germany),
 F. Winkler (Linz, Austria).

{\bf {Secretary of the Conference:}}
 Secretary of the,
 Internat. Conf. on Gr\"obner Bases,
 RISC-Linz,
 Johannes Kepler Universit\"at,
 Phone: +43 7236 3231 39,
 Fax: +43 7236 3231 30,
 E-mail: {\tt gb-conf@risc.uni-linz.ac.at},
 A-4040 Linz, Austria.

{\bf  {Contributions:}}
Authors are invited to submit papers of about 12 pages
to the Secretary of the Conference. Preferably submissions should
be sent by e-mail.
Paper submissions must be sent in triplicate.
Submissions are to be written in LaTeX. For further information, see
\URL{http://www.risc.uni-linz.ac.at/conference/GB/GBconf.html}
.

Submissions are for presentation at the Conference as well as for
inclusion in the Proceedings; they must not be submitted elsewhere.
Submissions will be refereed by at least 2 referees.
Accepted papers will be presented at the Conference and published in
a proceedings volume in ``Texts and Monographs
in Symbolic Computation'', the RISC-Linz book series published by
Springer-Verlag Wien New York.

{\bf {Official Language:}}
English is the only official language for the Conference and for the
Proceedings.

{\bf {Important dates:}}
  Submission:   {\bf June 30, 1997},
  Notification: {\bf September 30,  1997},
  Camera-ready: {\bf October 31, 1997}.

Accepted presentations at the conference will be published in
a proceedings volume
 in ``Texts and Monographs
in Symbolic Computation'', the RISC-Linz book series published by
Springer-Verlag Wien New York.

}


\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}),
Huber 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.

      Alle Tagungsteilnehmer sind eingeladen, einen Kurzvortrag "uber ein aktuelles
      Thema aus den Gebieten der angewandten Mathematik und der Mechanik zu
      halten. Auch Anwendungen der Mathematik auf ingenieurwissenschaftliche
      Probleme, die nicht der Mechanik entstammen, sind willkommen. Die Vortragszeit
      betr"agt 15 Minuten, weitere 5 Minuten stehen f"ur die Diskussion zur Verf"ugung.
      Die Vortragszeit ist unbedingt einzuhalten. Vortragssprachen sind Deutsch,
      Englisch und Franz"osisch. Im Rahmen der Sektionen erfolgen auf Vorschlag der
      Sektionsleiter ein bis zwei Einladungen zu Vortr"agen 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 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,\\
\URL{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}

%\vspace{2ex}
\noindent
{\bf Instructions to Authors:}
%\vspace{2ex}
\noindent
ISSAC'98 is foremost a conference for
new and topical ideas of significance to the community and which
deserve to be disseminated rapidly. Research results and insightful
analyses of current concerns are the primary focus. Papers will be
reviewed by a program committee and additional referees.\\
Survey articles may be suitable for submission, if clearly identified
as such, and will be considered in a separate category from the
research papers.\\
{\it Simultaneous submission for publication elsewhere is not
  allowed.}\\
Papers may be submitted either by e-mail (preferable) or by regular
mail. Please state the contact author's name, address and telephone
number, as well as fax and e-mail if available. The authors may submit
additional background reference material that is not widely available.\\
Papers must be in English and should not exceed 8 pages in the standard
format for ACM proceedings, or 20 to 22 pages of
text in {\LaTeX} 12pt article style. The necessary files for article
and bibliography style can be
obtained from the  ISSAC'98 web
site \URL{http://wwwteo.informatik.uni-rostock.de/ISSAC98/}
or by anonymous FTP from 
\URL{ftp.informatik.uni-rostock.de/pub/ISSAC98}.\\
%\vspace{3mm}
Each paper should have an introductory section that:\\
%\begin{itemize}\\
-- Describes the problem\\
-- Motivates the study of the problem\\
-- States the main results\\
-- Compares other work (including theoretical or empirical
  performance)\\
-- Summarizes the original contribution\\
%\end{itemize}
%\vspace{3mm}
{\em To submit by e-mail:} 
Send e-mail with a compressed uu-encoded Postscript-file to the Internet
  address \\
{\tt issac98@julian.uwo.ca}. The subject-field should read
  {\tt <surname>.uu} and the compressed Postscript-file should be named  
  {\tt <surname>.ps.Z}. In case of multiple authors {\tt <surname>}  
should
  be the surname of the first author. In case of multiple submissions 
  by the same author(s) {\tt <surname>} is to be changed to
  {\tt <surname><number of submission>}. Please indicate whether or 
   not the postscript file is intended to be printed on A4 paper.
%\vspace{3mm}\\
{\em To submit by regular mail:} Send regular mail addressed to the Program Committee Chair. Papers
  submitted in this way should be preferably in the ACM proceedings
  format or else in 12 point font, and six copies of the submission,
  together with fifteen copies of a one-page abstract, should be
  enclosed. Authors whose access to reproduction facilities is
  severely limited may submit a single copy of their paper.\\
%\vspace{3mm}
Authors of accepted papers are expected to present
their work at the symposium and will be required to sign the ACM
copyright agreement. Some papers may be accepted for poster-session
presentation; these will not appear in the proceedings.
%\vspace{3mm}
A copy of these instructions is also available at the ISSAC'98 web
site \\
\URL{http://wwwteo.informatik.uni-rostock.de/ISSAC98/}. They can
also be obtained by sending e-mail to\\
{\tt ISSAC98@informatik.uni-rostock.de}, with the Subject
line {\tt send author instructions} to receive the instructions by
return e-mail.
%\vspace{2ex}


}

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

{\footnotesize
{\bf Topics:}
  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. \\
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  IMACS - ACA'98 The Fourth International IMACS Conference
 on Applications of Computer Algebra}

Prag, August 9.--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  Euro-Par'98}

Southampton, 1.--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}
}



\end{enumerate}

%\vspace*{5mm}
%\newpage
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     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 GAMM Jahrestagung 1997}

 Regensburg, 24.3.--27.3.97

{\footnotesize
Wie in den vergangenen Jahren, so war auch dieses Mal die 
Computeralgebra auf der GAMM-Jahrestagung vertreten. In  
diesem Jahr allerdings nur in einer gemeinsamen Sektion 
mit der Computeranalysis. Die Sektion wurde geleitet von 
S. Rump (Hamburg-Harburg) und A. Frommer (Wuppertal). Die
Vortr\"{a}ge wurden in f\"{u}nf Bl\"{o}cke aufgeteilt unter
den Titeln 
{\sl Numerical computation with result verification,}
{\sl A priori and a posteriori bounds,} 
{\sl Algebraic computation,} 
{\sl Software and scientific computing,} 
{\sl Complexity and computability.}
Der Block {\sl Algebraic computation} war dabei ausschlie\ss{}lich 
der Computeralgebra gewidmet mit den Vortr\"{a}gen
H.J. Stetter: {\sl 
    Matrix eigenproblems and polynomial system solving},
H.M. M\"{o}ller: {\sl
    Symbolisches Preprocessing f\"{u}r polynomiale Gleichungssysteme},
G. Baumann: {\sl
    Symmetrieanalyse von Differentialgleichungen mit Mathematica},
J.S. Rodriguez-Mill\'{a}n : {\sl
    Nonlinear extensions of classical controllers using symbolic
    computation techniques: A dynamical systems unifying approach.}
Auch in den anderen vier Bl\"{o}cken gab es Vortr\"{a}ge, die
Elemente der Computeralgebra enthielten. Zwei davon waren eher der 
Computeralgebra zuzurechnen:   
H. Hong: {\sl 
    Root bound for multivariate polynomials},
E. Gerbracht, W. Struckmann: {\sl
   Symmetrie elementarer Funktionen: Entscheidbarkeitsfragen 
   und Algorithmen.}

Die Vortr\"{a}ge des Blocks {\sl Algebraic computation} fanden 
in einem kleinen H\"{o}rsaal stattt, der nur mit M\"{u}he die
vielen Interessenten fa\ss{}te, die den Vortr\"{a}gen der 
Computeralgebra folgen wollten.
}

\begin{flushright}
H. Michael M\"{o}ller (Dortmund)
\end{flushright}


\item {\bf Computational methods for representations of groups and algebras}
 
Essen, 01.--05.04.1997.
 
{\footnotesize
 
The conference was organized by G. Michler (Essen) and
P. Dr\"axler (Bielefeld). It was the first Euroconference
in a series of four arranged by the network
`Invariants and Representations of Algebras'
(Antwerp, Bielefeld, Edinburgh, Essen, Ioannina, Leeds, Murcia, Paris VI,
Toru\'n, Trondheim) and coordinated by C.M. Ringel (Bielefeld).
Among about 80 participants there were 41 young researchers from
all over Europe.
 
The conference aimed to serve as a platform to communicate the latest
results and to introduce European young researchers to
up-to-date methods in computational representation theory of groups and
algebras. In particular, in view of the training and teaching purposes
there were four introductory two hour lectures on the main topics
of the meeting.
Apart from the European keynote and focal lecturers the organizers also
invited speakers from outside of Europe. Altogether there were 19
keynote and focal lectures of one hour.

The participants had access to the computational facilities of the
Institute for Experimental Mathematics in order to experiment with
the computer algebra packages and programs presented. This experimental
aspect was enhanced by two practical training sessions which were
appreciated very much by all the participants.

The main contributions of the conference will be published in a
'Proceedings' volume in the series ''Progress in Mathematics'' by Birkh\"auser.\\

Introductory lectures:
P. Dr\"axler (Bielefeld): {\it Classification problems in combinatorial representation theory of algebras},
H. Gollan (Essen): {\it Parallel linear algebra over finite fields},
E. Green (Blacksburg): {\it Projective resolutions and Gr\"obner bases for
path algebras},
R. Wilson (Birmingham): {\it Computer constructions of finite simple groups}.\\

Keynote and focal lectures:
J. Carlson (Athens): {\it Computer calculations of modules and cohomology},
A. Cohen (Eindhoven): {\it On the series behaviour of the exceptional groups},
G. Cooperman (Boston): {\it Probabilistic methods in computational group theory},
H. Derksen (Basel): {\it Computation of reductive group invariants},
P. Dowbor (Toru\'n): {\it Weighted projective lines and canonical algebras},
F. Du Cloux (Villeurbanne): {\it Some open problems in the theory of Coxeter groups and
Kazhdan-Lusztig polynomials},
P. Fleischmann (Essen): {\it On degree bounds for modular invariant rings},
D. Green (Essen): {\it Computing cohomology of p-groups},
G. Pfister (Kaiserslautern): {\it Introduction to SINGULAR and SINGULAR at work},
G. Havas (Brisbane): {\it Coset enumeration and related topics},
H. v. H\"ohne (Berlin): {\it Reductions of unit forms},
D. Holt (Warwick): {\it Computation in finitely presented groups},
G. Kemper (Heidelberg): {\it Computing invariant rings of finite groups},
H. Lenzing (Paderborn): {\it Coxeter transformations associated with finite dimensional algebras},
F. L\"ubeck (Heidelberg): {\it CHEVIE - dealing with generic groups of Lie type, Weyl groups and Iwahori-Hecke algebras on a computer},
K. Lux (Aachen): {\it Morita Equivalence and Condensation},
S. Ovsienko (Kiev): {\it Bimodule and matrix problems},
J. A. de la Pe\~na (Mexico): {\it Integral quadratic forms and algebras: Some theoretical and computational aspects},
V. Ufnarovski (Lund): {\it Non-commutative Gr\"obner bases and Anick's resolution}.
}
\begin{flushright}
Peter~Dr\"axler (Bielefeld)
\end{flushright}



\item {\bf Instructional Workshop on the Use of \gap }
       
St. Andrews, England, 6.4.--11.4.97

{\footnotesize
Das Ziel dieser Tagung war, die Teilnehmer in das Gruppentheorie-System
{\gap} einzuf\"uhren und anhand von konkreten Beispielen zu zeigen, wie
{\gap} benutzt  werden kann, um gruppentheoretische und kombinatorische
Probleme zu l\"osen.  Information \"uber {\gap} ist \"uber die
WWW-Adresse 
\URL{http://www-groups.dcs.st-and.ac.uk/\~{}gap}
verf\"ugbar.


Die Tagung richtete sich haupts\"achlich an Leute, die keine oder wenig
Erfahrung im  Umgang mit  {\gap} hatten, insbesondere  Doktoranden, die
{\gap} bei ihrer Arbeit  einsetzen  k\"onnten.  Dazu hatte  die  London
Mathematical  Society finanzielle Unterst\"utzung f\"ur Reisekosten von
britischen    PhD-Studenten    und den    Hauptrednern  bereitgestellt.
Insgesamt  kamen 47  Teilnehmer  zu  dem  Workshop.   Die Mehrheit  der
Teilnehmer hatte praktisch keine Erfahrung  mit dem System.  Unter  den
32 Teilnehmern, die nicht aus St Andrews kamen, waren 19 Doktoranden, 13
von ihnen aus Gro{\ss}britannien.  Die restlichen Teilnehmer kamen aus
Deutschland, Gro{\ss}britannien,  Irland, Israel,  Italien, Neuseeland,
Polen, \"Osterreich und den USA.

In 3 Serien von Hauptvortr\"agen wurde  anhand von verschiedenen Themen
erl\"autert, wie {\gap}    in den  jeweiligen Arbeitsgebieten   benutzt
werden  kann.    Jede   Vortragsreihe  bestand  aus   3  einst\"undigen
Vortr\"agen  sowie  zwei einst\"undigen   Demonstrationen in  einem der
hiesigen ``Computer-Labors''.   Dieses Labor ist   mit 40 Computern vom
Typ Power Macintosh ausgestattet, die \"uber das Universit\"atsnetz mit
dem   Internet  verbunden  sind.    Dem Vortragenden  steht  ein eigener
Computer  zur Verf\"ugung, an den  ein Projektor angeschlossen ist, der
den Bildschirm des Vortragenden auf  eine Leinwand \"ubertr\"agt.   Die
Teilnehmer    konnten somit nicht   nur  die Demonstration der Software
verfolgen,     sondern    gleichzeitig    die  ausgef\"uhrten  Schritte
selbstst\"andig ausprobieren.  Diese Kombination von theoretischen
Vortr\"agen zusammen mit praktischen \"Ubungen schien bei den
Teilnehmer sehr gut anzukommen.

Der  Workshop begann mit einem  einf\"uhrenden  Vortrage von von Steve
Linton (St Andrews).   Der Rest des ersten  Tages war der Einf\"uhrung
in {\gap} gewidmet (Werner Nickel).   Dabei wurden die Teilnehmer  mit
dem System und der Computerausstattung vertraut gemacht und eine Basis
f\"ur  die  an  den   folgenden  Tagen  stattfindenden Hauptvortr\"age
geschaffen.

Neben den Hauptvortr\"agen  gab es 25-min\"utige Vortr\"age, in  denen
Teilnehmer  des Workshops  \"uber   ihre Arbeit  und ihr  Interesse an
{\gap}  bzw. Einsatzm\"oglichkeiten   von  {\gap} berichteten.     Der
Workshop schlo{\ss} mit  einem abschlie{\ss}enden Ausblick \"uber  die
Zukunft von {\gap} von Steve Linton.

\noindent
Die 3 Hauptvortragsreihen waren:

\noindent Professor Gene Cooperman (Northeastern University, Boston, Mass.)
{\em Task-Oriented Parallelism in Algebra} and {\em Using Tadpoles for
Parallel Enumeration of Very Large Data Sets}

\noindent
Dr G\"otz Pfeiffer (University College Galway) {\em Finite Coxeter
Groups -- An Algorithmic Approach}

\noindent
Dr Leonard Soicher (Queen Mary and Westfield College, London) {\em
Investigating partial linear spaces using groups, graphs, and GRAPE}

\noindent Die Teilnehmerbeitr\"age waren:

\noindent Philippe Cara (Brussels): {\em The Use of the Computer in
        Finite Geometry} 
 
\noindent Andrew Cutting (St Andrews): {\em Automorphisms of Free Groups}
 
\noindent Alexander Hulpke (St Andrews): {\em Constructing Transitive
        Permutation Groups with {\gap}}
 
\noindent Mikhail Klin (Beer-Sheva): {\em Enumeration in Algebraic
        Combinatorics: an interplay between {\gap} and other computer
        packages} 
 
\noindent Dennis McCaughan (Otago): {\em Questions on subnormal subgroups.}
 
\noindent Aidan MacDermott (Galway): {\em Computation of the
        non-abelian tensor product of Groups}
 
\noindent Akos Seress (Aachen): {\em Primitive groups with no regular
        orbits on the set of subsets}
}

\begin{flushright}
Werner Nickel (St Andrews)
\end{flushright}

\newpage
\item {\bf Computational Representation Theory
}
       
Dagstuhl, 20.5.--23.5.97

{\footnotesize
Der von Dr. G. Hi{\ss}, Dr. M. Geck, Dr. W. Kimmerle, Dr. K. Lux und 
Dr. G. Malle 
geleitete Workshop  wurden von 39   Teilnehmern
besucht.
Der Inhalt  des Workshops  war die Darstellung der neuesten Methoden und Ergebnisse
in der algorithmischen Darstellungstheorie. 

Die Vortragsthemen lauten zusammengefa"st:


Herbert Br\"uckner (Aachen): {\it A soluble quotient algorithm and applications},
Nabila Mohammed (Budapest):
{\it Dade's conjecture for the sporadic Higman-Sims group},
Bernard Leclerc (Caen):
{\it Decomposition matrices and Fock representations
of affine Lie algebras},
G\"otz Pfeiffer (Galway): 
{\it Character tables of Iwahori-Hecke algebras},
J\"urgen M\"uller (Heidelberg):
{\it {\sf Meat-Axe}, condensation, and applications},
Martin Wursthorn (Stuttgart):
{\it Automorphisms of modular group rings and cohomology},
Jean Michel (Paris):
{\it Coxeter groups, braid groups and Hecke algebras
in {\sf CHEVIE}},
Magdolna Sz\H{o}ke (Aachen):
{\it Computing endomorphism rings},
Eamonn O'Brien (Auckland):
{\it Structural investigations of matrix groups},
Fokko du Cloux (Villeurbanne):
{\it A survey on the computation of Kazhdan-Lusztig
polynomials},
Andrew Mathas (London):
{\it Canonical bases and the Ariki-Koike algebras},
Gregor Kemper (Heidelberg):
{\it Calculating invariant rings of finite groups}, 
Frauke Bleher (Philadephia):
{\it Zassenhaus conjecture for finite simple groups}, 
Martin Hertweck (Stuttgart):
{\it The isomorphism problem}, 
Frank Celler (Aachen):
{\it Constructive recognition of matrix groups},
Gabriele Nebe (Aachen):
{\it Finite integral matrix groups},
Gene Cooperman (Boston):
{\it Computation in large matrix groups:
Condensation and permutation group representations},
Peter Fleischmann (Essen):
{\it On degree bounds in modular invariant theory of
finite groups}, 
Frank L\"ubeck (Heidelberg):
{\it Generic character tables in {\sf CHEVIE} and
computing with them}, 
Katsushi Waki (Hirosaki):
{\it Decomposition Numbers of $Sp(4,q)$}, 
Bernd Souvignier (Sydney):
{\it Turning guesses into proofs by constructing 
representations of finitely presented groups}, 
David Green (Wuppertal):
{\it Computational calculation of $p$-group cohomology}.
}

\begin{flushright}
Klaus Lux (Aachen)
\end{flushright}


\item {\bf Computeralgebra im Mathematikunterricht -- 
neue Medien im mathematisch-natur\-wissenschaftlichen Unterricht}

M"unster, 20.5.--23.5.97

\begin{footnotesize}

%% Tagungsbericht Computer-Algebra im Mathematikunterricht -- neue Medien im 
%% mathematisch-naturwissenschaftlichen Unterricht (20.05.--23.05.1997) 

\glqq Computer-Algebra im Mathematikunterricht`` -- wie wichtig dieses Thema f"ur 
den zuk"unftigen Mathematikunterricht ist, zeigte erneut die Tagung der Zentralen 
Koordination Lehrerausbildung (ZKL) der Westf"alischen Wilhelms-Universit"at 
M"unster vom 20.\ Mai - 23.\ Mai. Bereits in der Er"offnung machten Prof.\ Dr.\ 
Dieckheuer, Rektor der Westf"alischen Wilhelms-Universit"at, Dr.\ G"unter 
Neumann, Referent f"ur die Zentren f"ur Lehrerbildung im 
Wissenschaftsministerium NRW und Prof.\ Dr.\ Achim Clausing vom Fachbereich 
Mathematik und Informatik der Universit"at M"unster deutlich, wie wichtig es ist, 
in geeigneter Fortbildung, Mathematiklehrer/innen auf die neuen Anforderungen 
im Mathematikunterricht vorzubereiten.
Von gro"sem Interesse waren die  drei Keynote-Vortr"age von Prof.\ Dr.\ J.-M.\ 
Laborde aus Grenoble, Prof.\ Dr.\ Weigand aus Gie"sen und Dr.\ Wolfram Koepf 
aus Berlin, die neben neuen didaktischen Aspekten an exemplarischen Beispielen 
den Einsatz der neuen Technologien deutlich machten. Daneben hatten die "uber 
200 Teilnehmer/innen in vielen anderen Pr"asentationen Gelegenheit, sich ein Bild 
der neuen M"oglichkeiten zu verschaffen. 23 Kurzvortr"age und ein Block mit drei 
Vortr"agen zum graphikf"ahigen Taschenrechner TI-92 sowie 18 Workshops zum 
Computereinsatz im Mathematikunterricht standen am Ende zu Buche.
 
Gro"sen Anklang fand auch die Podiumsdiskussion zur 
Mathematiklehrerausbildung, die von mehr als 150 Teilnehmern wahrgenommen 
wurde und bei der auf die besonderen Probleme der Lehrerausbildung an den 
Universit"aten eingegangen wurde. Hierbei wurde sehr stark als gemeinsame 
Aufgabe f"ur die Zukunft die Notwendigkeit der Zusammenarbeit zwischen  
Schule, Hochschule und Studienseminaren unterstrichen. 

Die Atmosph"are war insgesamt sehr gut und das Tagungszentrum mit 
Tagungsb"uro und B"ucherst"anden stets gut besucht.  F"ur die gelungene Tagung sei 
in erster Linie Herrn Dr.\ Detlef Berntzen, ZKL, f"ur seine gleicherma"sen 
fachkundige wie umsichtige Tagungsleitung gedankt. Diese Tagung greift die von 
IC-CAME (International Coucil for Computeralgebra in Math-Education) in 
D"usseldorf (1995) und Birlinghoven (1996) begonnene Tradition vergleichbarer 
Tagungen auf, und da die Zentrale Koordination Lehrerausbildung (ZKL) seit 
diesem Jahr ein Zentrum des europ"aischen Lehrerfortbildungsprojektes \glqq Teachers 
Teaching with Technology`` ist, bleibt zu hoffen, da"s von hier noch mancher 
Impuls in Richtung Lehrerfortbildung ausgehen wird.

Die Tagungsbeitr"age werden in einer Ver"offentlichung der ZKL in ihrer Reihe 
\glqq ZKL-Texte`` erscheinen -- in "ahnlicher Qualit"at, wie dies bereits f"ur die Tagung 
\glqq Teaching Mathematics with Derive and the TI-92`` (Birlinghoven 1996) 
geschehen ist. Gedacht ist, den Tagungsband \glqq M"unster`` um eine CD-ROM mit 
Programmbeispielen zu bereichern. Der Tagungsband \glqq Birlinghoven`` kann bei 
der Zentralen Koordination Lehrerausbildung, Prinizipalmarkt 38, 48143 
M"unster, zum Preis von 50 DM (inkl. Versand) bestellt werden. Interessenten f"ur 
den Band \glqq M"unster`` (Erscheinungstermin: Jahreswechsel 1997/98) k"onnen sich 
ein Exemplar unter der gleichen Adresse reservieren lassen.

\end{footnotesize}

\begin{flushright}
B"arbel Barzel (D"usseldorf)
\end{flushright}


 \item {\bf Symposium on Differential-Algebraic Equations:
Algebraic and Numerical Aspects (DAE '97)}

Grenoble, Frankreich, 26.--28.5.1997

{\footnotesize

Ziel dieses kleinen Workshops war es, Wissenschaftler aus recht
unterschiedlichen Disziplinen zusammenzubringen, um verschiedene
Aspekte von Algebrodifferentialgleichungen zu beleuchten.  Dies ist
auch hervorragend gelungen.  So befanden sich unter den knapp
50~Teilnehmern Numeriker, angewandte Mathematiker,
Computeralgebraiker, Physiker \dots\ Auch die Themen der Vortr"age
spiegelten dieses weite Spektrum wieder und reichten von der
Modellierung von Blutegeln "uber spezielle numerische Verfahren und
Hamiltonsche Mechanik bis zur Computeralgebra.

Aus Sicht der Computeralgebra waren vor allem die folgenden Vortr"age
von Interesse: S.~Campbell, \emph{Mixed Symbolic-Numerical
Computations with general DAEs}; V.~Edneral und N.~Vasiliev,
\emph{Approach to Solution of Equations in the Ring of Formal Power
Series. Generalization of Buchberger's Algorithm}; V.~Gerdt,
\emph{Algebraic Differential Equations with Inexactly Known Boundary
Conditions and Gr"obner Bases}; G.~Le Vey, \emph{About Various Indices
for DAEs}; Y.~Macutan und G.~Thomas, \emph{Nonlinear DAEs in a
Computer Algebra Context}; J.~Pryce, \emph{Solving Systems of DAEs by
Taylor Series}; J.~Tuomela, \emph{Singularities of Differential
Systems}; N.~Vasiliev, \emph{Constructing Formal Integrals for a
Symplectic Approximation of some Hamiltonian Systems}.  Der Vortrag
von S.~Belghith "uber \emph{Symbolical and Numerical Analysis for
Studying Nonlinear Behavior} mu"ste leider wegen Visumsproblemen
entfallen.  Die Proceedings werden als ein Sonderband der Zeitschrift
\emph{Annals of Numerical Analysis} erscheinen. Herausgeber wird
R.~Coleman sein.
}

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

\item {\bf Workshop ``Computational Methods for Permutation and Matrix
Groups''}

Schlo"s Dagstuhl, 26.5.--1.6.1997

{\footnotesize

Der von Prof. \'Akos  Seress  geleitete Workshop  wurde von 22   Teilnehmern
besucht. In  der ersten  H"alfte berichteten  GAP-Entwickler "uber die  neuen
Konzepte,   die  in GAP~4     bei  der  Darstellung  von    Permutations- und
Matrixgruppen  Anwendung  finden,  und  insbesondere "uber die Programmierung
dieser Ideen in    der  GAP-Funktionsbibliothek. Jedem Vortrag    folgte eine
Terminal-Sitzung, in der  die Programmiertechniken in "Ubungsaufgaben erprobt
werden konnten.

In  der  zweiten H"alfte des Workshops  wurden  Forschungsvortr"age "uber die
algorithmische  Behandlung  von Permuta\-tions-  und  Matrixgruppen gehalten.
Alle   vorgestellten    Algorithmen  sind  in  GAP    (meist  noch Version~3)
implementiert worden.

Die Vortragsthemen lauten zusammengefa"st:

Thomas Breuer (Aachen): {\it Introduction to GAP-4},
Heiko Thei"sen (Aachen): {\it Permutation groups in GAP-4},
Thomas Breuer: {\it Algebras in GAP-4},
Frank Celler (Aachen): {\it Matrix groups in GAP},
Anton Betten (Bayreuth): {\it Plesken rings and intersection numbers
of designs},
J"urgen M"uller (Heidelberg): {\it Condensation of induced modules},
Peter Dobcs\'anyi (Auckland): {\it Development of a parallel low-index
program},
Gene Cooperman (Boston, MA): {\it Parallel GAP},
Heiko Thei"sen: {\it Backtrack algorithms conducted by
graph-theoretical partitions},
Ferenc R\'ak\'oczi (Eugene, OR): {\it A data structure for computing in
solvable permutation groups},
Alexander Hulpke (St. Andrews): {\it Constructing conjugacy classes
for permutation groups},
Frank Celler: {\it Recognizing matrix groups},
Alice Niemeyer, Cheryl Praeger (Perth): {\it Randomized algorithms for
recognizing finite classical matrix groups},
Peter Neumann (Oxford): {\it Matrix algorithms: desiderata and
suggestions},
\'Akos Seress (Columbus, OH): {\it Black box classical groups},
Robert Beals (Tucson, AZ): {\it Matrix groups and the Tits alternative},
Chris Charnes (Wollongong): {\it Weaknesses in the $SL_2$ hashing
functions},
Alla Detinko (Vitebsk): {\it On a group library for irreducible
maximal solvable subgroups of prime degree classical groups},
Gene Luks (Eugene, OR): {\it Solvable matrix groups},
George Havas (Queensland): {\it On the worst-case complexity of
integer Gaussian elimination},
Graham Sharp (Oxford): {\it Recognition of permutation groups as
actions on unordered pairs},
Sven Reichard (Bochum): {\it On the construction of partial
geometries}

}

\begin{flushright}
Heiko Thei"sen (Aachen)
\end{flushright}

\item {\bf Oberwolfach meeting on Computational Group Theory}

Oberwolfach, 1.6. -- 7.6.1997 

{\footnotesize
Die von M. F. Newman, Canberra, und H. Pahlings, Aachen, geleitete
Tagung, die dritte ihrer Art in Oberwolfach, wurde von 49 Teilnehmern
besucht. 
Die Vortragsthemen in zeitlicher Reihenfolge: 

C. Leedham-Green (London):
{\it Some aspects of the matrix recognition project},
R. Beals (Tucson): 
{\it Algorithms for matrix groups and the Tits alternative},
G. Cooperman (Boston):
{\it Reduction of center and other problems to matrix recognition},
A. Niemeyer (Perth):
{\it Recognising the full symmetric group as a black box group},
P. Neumann (Oxford):
{\it Tensor factorisation problems},
E. O'Brien (Auckland):
{\it Implementation of matrix group algorithms},
J. Carlson (Athens):
{\it Homological algebra with computers},
J. Michel (Paris):
{\it Applications of the Chevie package of {\sf GAP:} Determination of the
charactertable of the Hecke algebra of type $E_8$},
F. L\"ubeck (Heidelberg):
{\it Parametrisation of semisimple conjugacy classes of simple groups
of Lie type},
K. Lux (Aachen):
{\it Group algebras and Morita-equivalence},
W. Plesken (Aachen):
{\it Algorithms for crystallographic groups},
G. Nebe (Aachen):
{\it Some arithmetic in definite quaternion algebras},
G. Havas (Brisbane):
{\it Integral gaussian elemination},
S. Rees (Newcastle):
{\it Hairdressing in groups},
D. Holt (Warwick):
{\it Automatic groups and subgroups},
W. Nickel (St. Andrews):
{\it Polynomials for nilpotent groups},
W. Kantor (Eugene) and A. Seress (Aachen):
{\it Updating Monte Carlo permutation group algoritms to Las Vegas},
A. Hulpke (St. Andrews):
{\it Algorithms for permutation groups based on homomorphisms},
B. Eick (Aachen):
{\it Construction of finite soluble groups},
G. Pfeiffer (Galway):
{\it Computing the size of a semigroup},
S. Linton (St.Andrews):
{\it {\sf GAP:} status report and some possible directions},
M. Conder (Auckland):
{\it Recent uses and adaptions for the low index subgroup process},
A. Kerber (Bayreuth):
{\it Applied group actions},
L. Soicher (London):
{\it Using computational group theory to study finite geometries},
G. Ostheimer (New Brunswick):
{\it Algorithms for polycyclic groups},
E. Lo (New Brunswick):
{\it Enumerating finite index subgroups in polycyclic groups},
A. Betten (Bayreuth):
{\it Construction of finite soluble groups},
E. Luks (Eugene):
{\it Symmetry-breaking predicates},
A. Cohen (Eindhoven):
{\it Algorithms for (Lie) algebras},
M. Vaughan-Lee (Oxford):
{\it Lie relators in varieties of groups},
M. Atkinson (St. Andrews):
{\it Decent algebras},
R. Wilson (Birmingham):
{\it Taming the monster},
L. Finkelstein (Boston):
{\it Constructive recognition of black box groups isomorphic to $PSL(n,q)$},
J. McKay (Montreal):
{\it Developments in Moonshine},
C. Sims (New Brunswick):
{\it Subgroups of automorphism groups and other topics},

}

\begin{flushright}
\hfill Bettina Eick (Aachen)
\end{flushright}



\vspace{-0.5ex}
\item {\bf First ISAAC Conference, Sektion Orthogonale Polynome und 
Computeralgebra}

University of Delaware, Newark, Delaware, 3.6.--7.6.1997

{\footnotesize
Session 13 at the First ISAAC Conference
 was devoted to
{\sl Orthogonal Polynomials}, and was organized by Wolfram Koepf.
The session took place on June 6 and June 7, and on June 6 there was
also a plenary talk by Wolfram Koepf on
{\sl Orthogonal Polynomials and Computer Algebra}.
Since the other sessions of the conference were relatively
distant from our topic, the session had a rather firm attendance
of 15 to 30.

     Andr\'e Ronveaux, {\sl Recurrence Relations for Connecting
                Coefficients Between Some Orthogonal Polynomials Families--A
                Simple Algorithm (Mathematica)},
Ivan Area, E. Godoy, A. Ronveaux and A. Zarzo,
{\sl
Inversion Problems for Classical Orthogonal Polynomials and their
$q$-analogues},
A. Zarzo, {\sl
                Spectral Properties of Orthogonal Polynomials:
                        A Computer Algebra Approach},
     Tom H. Koornwinder, {\sl rec2ortho:
Three-term Recurrence Relations and the Askey Scheme},
     Doron Zeilberger (talk presented by Tewodros Amdeberhan),
{\sl The Super-Holonomic Hierarchy},
     Tewodros Amdeberhan, {\sl Computer Aided Proofs of a
                Determinant Identity},
John Majewicz, {\sl On a Positivity Conjecture of Richard Askey},
     Richard A. Askey, {\sl Some Problems on Orthogonal Polynomials},
Alan Schwartz, {\sl
           Polynomials of Several Variables and Harmonic Analysis},
 Natig M.\ Atakishiyev, {\sl On the Fourier-Gauss Transforms of some
$q$-exponential and $q$-trigonometric Functions},
     Charles F. Dunkl, {\sl Using Maple to Explore Special Functions of
                Several Variables},
     Victor Adamchik, {\sl On Series Involving the Riemann Zeta Function},
 Yang Chen, Mourad Ismail:
{\sl Asymptotics of the Largest Zeros of Some Orthogonal Polynomials},
     Kelly Roach, {\sl Maple and Orthogonal Polynomials}.

Many participants told me that the session was a pleasure.
My feeling was that the attendees liked the session a lot, and they
liked the brewery in Main Street.

A Special Issue of the {\sl Journal of Symbolic Computation} on
{\sl Orthogonal Polynomials and Computer Algebra} will be dedicated to the
subject of this session and will include some of the presented lectures,
see p.~\pageref{Call For Papers}. I am very happy that Dick Askey and Tom
Koornwinder have agreed to co-edit this volume with me.
}

\begin{flushright}
Wolfram Koepf (Leipzig)
\end{flushright}

\vspace{-4.5ex}
\item {\bf CoCoA V}

Herstmonceux Castle, 3.6. -- 6.6 1997 

{\footnotesize
Bei der f\"{u}nften Tagung \"{u}ber Computational Commutative
Algebra (CoCoA V) verlie\ss{}en die Organisatoren zum ersten
Mal den italienischen Boden, auf dem ja auch schon das 
Computeralgebra System COCOA entstanden ist.

Organisiert von Tony Geramita (Queens University), Gianfranco
Niesi (Genua) und Lorenzo Robbiano (Genua) fand die Tagung in den
historischen Gem\"{a}uern einer Normannenfestung in der N\"{a}he
von Hastings statt. Das Geb\"{a}ude geh\"{o}rt jetzt der
Queens Universit\"{a}t in Ontario (Kanada) und ist zu
einer idealen Tagungsst\"{a}tte umgebaut. In einer lockeren
Atmosph\"{a}re, die sehr viel Zeit zu ausf\"{u}hrlichen Diskussionen
bot, fanden folgende Vortr\"{a}ge statt.

Decker: {\sl 
    Computer algebra and algebraic geometry},
Struppa: {\sl
    Computer algebra and analysis},
Coste-Roy: {\sl
    Computer algebra and complexity},
Tenberg: {\sl
    Some algorithms for ideals given by multiple points},
Noro: {\sl
    The computer algebra system RISA/ASIR (Demo)},
Robbiano: {\sl
    Computer algebra and statistics},
Watt: {\sl
    Computer algebra and systems},
Riccomagno: {\sl
    Identifyability problems in experimental designs},
Chyzak: {\sl
    Skew Gr\"{o}bner bases prove combinatorial identitites},
Caboara: {\sl
    Families of ideals in statistics},
Bigatti: {\sl
    Cocoa for beginners -- the implementation of Gr\"{o}bner bases
    (Tutorial)},
Carette: {\sl
    The new Gr\"{o}bner package in MAPLE (Demo)},
Sturmfels: {\sl
    Computer algebra and numerical geometry},
Buchberger: {\sl
    Computer algebra and theorem proving},
Abbott: {\sl
    Hensel lifting using small integers},
Delliere: {\sl
    Triangular sets of Lazard},
Kreuzer: {\sl 
    How to compute linear resolutions},
Greuel: {\sl
     The computer algebra system SINGULAR (Demo)},
Thomas: {\sl
     Arithmetics and localization in integer programming},
Recio: {\sl
     Computer algebra and applications},
Bayer: {\sl
     Computer algebra and combinatorics},
Martin/Siebert: {\sl
     An algorithm for direct sum decomposition},
Ufnarovski: {\sl
     Anick and orthogonal decomposition},
Aubry/Maza: {\sl
     Triangular sets for solving polynomial systems -- a comparison 
     of four methods},
Stillman: {\sl
      The computer algebra system Macaulay II (Demo).}
}
\begin{flushright}
H. Michael M\"{o}ller (Dortmund)
\end{flushright}


\item {\bf Nilpotent and Soluble Quotient Methods}
       
Trento, Italien, 23.6.--28.6.97

{\footnotesize
Der Workshop wurde von A. Caranti, Trento, und M. F. Newman, Canberra,
geleitet. Die Vortragsthemen in zeitlicher Reihenfolge: \\
S. Linton (St. Andrews): {\it Introduction to GAP},
%G. Havas (Brisbane): {\it Integer matrices},
E. A. O'Brien (Auckland): {\it $p$-groups} ,
G. Havas (Brisbane): {\it Integer matrices},
E. A. O'Brien (Auckland): {\it $p$-groups},
W. Nickel (St. Andrews): {\it Nilpotent groups},
A. C. Niemeyer (Perth): {\it Soluble groups},
%M. Vaughan-Lee (Oxford): {\it Lie (super) algebras},
W. Nickel (St. Andrews): {\it Nilpotent groups},
B. Eick (Aachen): {\it Automorphisms},
A. Seress (Ohio): {\it Soluble permutation groups} ,
M. Vaughan-Lee (Oxford): {\it Lie (super) algebras},
H. Br\"uckner (Aachen): {\it Soluble groups},
J. Wisliceny (Greifswald): {\it Lie algebras with few relators},
C. Schneider (Canberra): {\it Lie rings},
C. R. Leedham-Green (London): {\it Three basic $p$-group algorithms}.\\
Dar\"uberhinaus fanden eine Reihe von Computer-Tutorials statt.
}

\begin{flushright}
Bettina Eick (Aachen)
\end{flushright}




\item {\bf  Workshop \"uber ``Computational Number Theory''}

Dagstuhl, 7.7.--9.7.97

{\footnotesize
Vom 7. bis zum 9. Juli 1997 fand auf Schlo\ss\ Dagstuhl im Rahmen
des Schwerpunktprogramms ``Algorithmische Zahlentheorie und Algebra''
der DFG ein Workshop \"uber ``Computational Number Theory'' unter
der Leitung von J. Buchmann (Darmstadt), M.E. Pohst (Berlin) und
H.G. Zimmer (Saarbr\"ucken) statt. Zu dem Workshop hatten die
Organisatoren neben den Mitgliedern des Schwerpunktprogramms auch
vier ausw\"artige Zahlentheoretiker eingeladen:\\
 \phantom{aaaaaaaaaa}Klaus Hoechsmann (Vancouver, derzeit Bielefeld)\\
 \phantom{aaaaaaaaaa}Franck Leprevost (Paris, derzeit Berlin)\\
 \phantom{aaaaaaaaaa}Attila Peth\"o (Debrecen)\\
 \phantom{aaaaaaaaaa}Nigel Smart (Kent)\\
Als weiterer Teilnehmer kam noch Franz Lemmermeyer (z. Zt. Saarbr\"ucken)
hinzu. Ziel des Workshops war es einerseits, vor allem j\"ungeren
Nachwuchswissenschaftlern Gelegenheit zur Pr\"asentation und Diskussion
ihrer neuesten Resultate auf dem Gebiet der ``Computational Number
Theory'' zu geben, und andererseits, durch die Vortr\"age der 
ausw\"artigen G\"aste Anregungen zu weiteren Untersuchungen auf diesem
Gebiet zu liefern. Die behandelten Themen umfa\ss ten Algorithmen zur

-   Arithmetik elliptischer und hyperelliptischer Kurven\\
- L\"osung diophantischer Gleichungen\\
- Konstruktion von Zahl- und Klassenk\"orpern\\
- Arithmetik von hyperelliptischen Kongruenzfunktionenk\"orpern\\
- Bestimmung von Einheitengruppen in ganzzahligen Gruppenringen und
- in Kreisteilungsk\"orpern\\
- Klassifikation von Formen (insbesondere hermiteschen Formen)\\
- Theorie der Modulformen\\

Im einzelnen wurden folgende Vortr\"age gehalten (aufgef\"uhrt in
zeitlicher Abfolge).

Nigel Smart: {\it Computing Mordell-Weil Groups},
Alexander Schiemann: {\it Klassifikation hermitescher Formen mit
dem Nachbarverfahren},
Katharine Roegner: {\it Metabolic Reduction},
Klaus Hoechsmann: {\it Multiplicative computations in integral
group rings},
J\"urgen Kl\"uners: {\it Automorphismen und Teilk\"orper},
Sebastian Pauli: {\it Strahlklassengruppen und Restklassenringe},
Claus Fieker: {\it Berechnung von Klassenk\"orpern},
Franz Lemmermeyer: {\it Computation and presentation of Hilbert
Class Fields},
Claus Fieker: {\it Normgleichungen in algebraischen Zahlk\"orpern},
Abderrahmane Nitaj: {\it Numerical examples for the ABC conjecture},
Attila Peth\"o: {\it $\sim 20$ Jahre Debrecen-Deutsche Kooperation
in der algorithmischen Zahlentheorie},
Sachar Paulus: {\it Eindeutige Darstellung der Divisorklassengruppe
eines hyperelliptischen Funktionenk\"orpers mit reduzierten Idealen},
Volker M\"uller: {\it Fast multiplication on elliptic curves},
Franck Leprevost: {\it Berechnung in der jakobischen Variet\"at einer
``modularen'' Kurve vom Geschlecht 2},
Michael Pfeifer: {\it Berechnung von Weierstra\ss-Punkten auf
$X_0(N)$},
Susanne Schmitt: {\it Das Verhalten der Mordell-Weil Gruppe in speziellen
K\"orpererweiterungen},
Marc Conrad: {\it  Konstruktion von Normalbasen}.
}

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

\item {\bf PASCO'97 --   Second International Symposium on 
                       Parallel Symbolic Computation}

Maui, Hawaii, USA 20.7.--22.7.97

{\footnotesize
Dieses Jahr fand die PASCO im Verbund mit der ISSAC statt, um 
die etwas lange und teure Anreise an den wundersch\"onen Konferenzort
mit einem besonders reichhaltigen Programm zu belohnen. Anschliessend
gab es dann noch die M\"oglichkeit, an der IMACS-ACA, die ebenfalls
im Aston Wailea Resort durchgef\"uhrt wurde, teilzunehmen.
Die folgende Liste von Vortr\"agen gibt einen guten Eindruck von den
gegenw\"artigen Tendenzen auf dem Gebiet des symbolischen
Hochleistungs-Rechnens. Dabei bezieht sich der Begriff Hochleistung
auf das L\"osen von sehr grossen Aufgaben mittels paralleler,
verteilter und vernetzter Computer-Systeme, oder Rechnern mit
mehreren Prozessoren. Beeindruckend
ist besonders die grosse Bandbreite der Beitr\"age, von der Theorie
der Algorithmen \"uber den Entwurf von Computer-Algebra-Systemen,
bis hin zu Anwendungen in der k\"unstlichen Intelligenz:\\

O. Bachmann, H. Sch\"onemann und S. Gray: {\it A Proposal for
Syntactic Data Integration for Math Protocols},
L. Bernardin: {\it Maple on a massively parallel, distributed memory
machine},
M. P. Bonacina: {\it Experiments with subdivisions of search
in distributed theorem proving},
G. Cesari: {\it CALYPSO: A Computer Algebra Library for Parallel
Symbolic Computation},
Wei-Ngan Chin, S. Huat Tan und Yong Meng Teo:
{\it Deriving Efficient Parallel Programs for Complex Recurrences},
V. Santos Costa, R. Bianchini und I. de Castro Dutra:
{\it Evaluating Parallel Logic Programming Systems on Scalable
Multiprocessors},
W. Eberly: {\it Processor-Efficient Parallel Matrix Inversion over
abstract Fields: Two Extensions},
T. Gautier und J.-L. Roch: {\it Fast parallel algebraic numbers
computations},
M. Giesbrecht: {\it Efficient Parallel Solution of Sparse Systems
of Linear Diophantine Equations},
J. Glauert: {\it Object Graph Rewriting: An Experimental Parallel
Implementation},
G. Gupta und E. Pontelli: {\it Extended Dynamic Dependent
And-parallelism in ACE},
S. Haridi, P. Van Roy und G. Smolka: {\it An Overview of
the Design of Distributed Oz},
X. Huang und V. Y. Pan: {\it Fast Rectangular Matrix Multiplications
and Improving Parallel Matrix Computations},
S. Kato, H. Seki und H. Itoh: {\it A Parallel Implementation of
Cost-based Abductive Reasoning},
Monica Lam, {\it Maximizing Performance on Parallel Machines},
J. Montelius und S. Haridi: {\it An evaluation of Penny: a system
for fine grain implicit parallelism},
H. Murao und T. Fujise: {\it Towards an efficient implementation of
a fast algorithm for multipoint polynomial evaluation and its
parallel processing},
A. Norman und J. Fitch: {\it CABAL: Polynomial and power series algebra
on a parallel computer},
M. Noro und J. McKay: {\it Computation of replicable functions
on Risa/Asir},
K. Ohno, M. Ikawa, M. Goshima, S. Mori, H. Nakashima und S. Tomita:
{\it Improvement of Message Communication in Concurrent Logic Language},
M. Sperber, H. Klaeren und P. Thiemann: {\it Distributed Partial Evaluation},
\'A. Sz\'ant\'o: {\it Complexity of the Wu-Ritt decomposition},
P. S. Wang: {\it Tools for Parallel/Distributed Mathematical Computation},
E. Zima: {\it Mixed representation of polynomials oriented
towards fast parallel shift}.
}

\begin{flushright}
Markus A.~Hitz (Raleigh, North Carolina)
\end{flushright}



\item {\bf ISSAC'97 --   International Symposium on Symbolic and Algebraic Computation}\label{issac97}
       
Wailea, Maui, Hawaii, U.S.A., 21.7.--23.7.97

{\footnotesize  
ISSAC'97 was held in federation with PASCO'97 (dedicated to parallel
symbolic computation) and was immediately followed
by IMACS-ACA'97 (dedicated to applications of Computer Algebra).

The {\bf Issac proceedings} can be ordered from ACM (order number 505970,
ISBN 0-89791-875-4).
The Proceedings Homepage is located at
{\tt http://www-sr.informatik.uni-tuebingen.de/~issac97}
It contains the LaTex bibliography of the Proceedings (Bibtex file),
the Table of Contents in HTML format with links to authors,
and the link to the Conference home page.

Three {\bf tutorials} were given on July, 20:
{\em Parallel Computer Algebra}, by Jean-Louis Roch and Gilles Villard;
{\em Algorithmic Geometric and Algebraic Methods for Nonlinear PDEs},
by Gregory Read and Ian Lisle;
{\em Real World Arithmetic}, by David Matula.

There were two {\bf invited presentations}:
{\em The Cycloheptane Molecule---a challenge to computer algebra},
by A.H.M. Levelt,
and the shared PASCO presentation  
{\em Maximizing Performance on Parallel Machines}, by Monica Lam.

There were 59 {\bf Contributed papers} in 17 sessions:

{{\bf Algorithms I} }
{\em A Class of Logarithmic Integrals,}{ Victor Adamchik},
{\em Rankings of Partial Derivatives,}{ C.J.~Rust, G.J.~Reid},
{\em Lazy Multiplication of Formal Power Series,}{ Joris van der Hoeven},
{\em Uniform Quantifier Elimination and Constraint Query Processing,}{ Saugata Basu}.



{{\bf Algorithm Analysis \& Complexity I}}
{\em On the Worst-case Complexity of Integer Gaussian Elimination,}{ Xin Gui Fang, George Havas},
{\em Further Analysis of Coppersmith's Block Wiedemann Algorithm
for the Solution of Sparse Linear Systems,}{ G.~Villard},
{\em Fast Algorithms for Taylor Shifts and Certain Difference Equations,}{ Joachim von zur Gathen, J\"urgen Gerhard},
{\em Complexity and Uniformity of Elimination in Presburger Arithmetic,}{ Volker Weispfenning}.



{{\bf Applications I}}
{\em Constructing Faithful Matrix Representations of Lie Algebras,}{ W.\ A.\ de Graaf},
{\em Tensor Product Decomposition and Other Algorithms
for Representations of Large Simple Lie Algebras,}{ Andrej A.~Zolotykh},
{\em Polynomial Time Algorithms for Modules over Finite Dimensional Algebras,}{ Alexander Chistov, G\'abor Ivanyos, Marek Karpinski}.




{{\bf Polynomial Algorithms I}}
\font\rms=cmr8
\newcommand{\McKay}{M\raise0.8ex\hbox{\rms\underbar{c}}Kay},
{\em Finding Relations Among the Roots of an Irreducible Polynomial,}{ John \McKay , Richard Stauduhar},
{\em Relative Resolvents and Partition Tables in Galois Group
Computations,}{ Antoine Colin},
{\em Resolvent Computations by Resultants Without Extraneous Powers,}{ Fr\'ed\'eric Lehobey}.




{{\bf Algorithms II}}
{\em Application of Genetic Algorithms to the Algebraic
Simplification of Tensor Polynomials,}{ M.~Kavian, R.G.~McLenaghan, K.O.~Geddes},
{\em Decomposing a Permutation into a Conjugated Tensor Product,}{ Sebastian Egner, Markus P\"uschel, Thomas Beth},
{\em A Solution to the Extended GCD Problem With Applications,}{ Arne Storjohann}.




{{\bf Systems of Equations}}
{\em Stabilization of Polynomial Systems Solving with Groebner Bases,}{ Hans J.~Stetter},
{\em Fraction-free Computation of Matrix Pad\'e Systems,}{ Bernhard Beckermann, Stan Cabay, George Labahn},
{\em A Reordered Schur Factorization Method for
Zero-dimensional Polynomial Systems with
Multiple Roots,}{ Robert M.~Corless, Patrizia M.~Gianni, Barry M.~Trager},
{\em Extraneous Factors in the Dixon Resultant Formulation,}{ Deepak Kapur, Tushar Saxena}.




{{\bf Differential Equations I}}
{\em Algorithms and Design for
 a Second-Order Automatic Differentiation Module,}{ Jason Abate, Christian Bischof, Lucas Roh, Alan Carle},
{\em On Symmetric Powers of Differential Operators,}{ Manuel Bronstein, Thom Mulders, Jacques-Arthur Weil},
{\em An Algorithm for Computing Exponential Solutions  of First Order Linear Differential Systems,}{ Eckhard Pfl\"{u}gel},
{\em A Method for the Integration of Solutions of Ore Equations,}{ Sergei A.~Abramov, Mark van Hoeij}.




{{\bf Algorithm Analysis \& Complexity II}}
{\em On Randomized Lanczos Algorithms,}{ Wayne Eberly, Erich Kaltofen},
{\em Fast Polynomial Factorization Over High Algebraic
Extensions of Finite Fields,}{ Erich Kaltofen, Victor Shoup},
{\em The Structure of Sparse Resultant Matrices,}{ Ioannis Z.~Emiris, Victor Y.\ Pan}.




{{\bf Applications II}}
{\em A Sequence of Series for the Lambert $W$ Function,}{ Robert M.~Corless, David J.~Jeffrey, Donald E.~Knuth},
{\em Meijer G Function Representations,}{ Kelly Roach},
{\em Integral Closure of Noetherian Rings,}{ Patrizia Gianni, Barry Trager}.




{{\bf Polynomial Algorithms II}}
{\em A Numerical Absolute Primality Test for Bivariate Polynomials,}{ Andr\'e Galligo, Stephen Watt},
{\em Polynomial Real Root Isolation using Approximate Arithmetic,}{ J.R.~Johnson, Werner Krandick},
{\em Asymptotically Fast Computation of Subresultants,}{ Daniel Reischert}.




{{\bf Systems I}}
{\em An OpenMath 1.0 Implementation,}{ St\'ephane Dalmas, Marc Ga\"etano, Stephen Watt},
{\em Network Servers for Symbolic Mathematics,}{ Richard J.~Fateman},
{\em A Toolbox for Program Manipulation and Efficient Code Generation with an Application to a Problem in Computer Vision,}{ Michael B.~Monagan, Gladys Monagan}.




{{\bf Polynomial Algorithms III}}
{\em Factoring Polynomials over Algebraic Number Fields via Norms,}{ Mark J.~Encarnaci\'on},
{\em GCD of Polynomials and Bezout Matrices,}{ Luca Gemignani},
{\em The Average Number of Modular Factors in Trager's Polynomial Factorization Algorithm,}{ Mark J.~Encarnaci\'on},
{\em A Modular Algorithm for Computing Greatest Common Right Divisors of Ore Polynomials,}{ Ziming Li, Istv\'an Nemes}.




{{\bf Differential Equations II}}
{\em Minimal Completely Factorable Annihilators,}{ Sergei A.~Abramov, Eugene V.~Zima},
{\em About the Newton Algorithm for Non-Linear Ordinary
Differential Equations,}{ J.~Della Dora,  F.~Richard-Jung},
{\em Computer Evaluation of Cyclicity in Planar Cubic System,}{ Victor F.~Edneral},
{\em Symbolic Manipulation of Integrodifferential Expressions and
Factorization of Linear Ordinary Differential Operators
over Transcendental Extensions of a Differential Field,}{ S.P.~Tsarev}.




{{\bf Algorithms III}}
{\em Rectilinear  p-Piercing Problems,}{ Doron Nussbaum},
{\em Integration of the Signum, Piecewise and Related Functions,}{ D.J.~Jeffrey, G.~Labahn, M.~v.~Mohrenschildt, A.D.~Rich},
{\em The Minimised Geometric Buchberger Algorithm: 
An Optimal Algebraic Algorithm for Integer Programming,}{ Qiang Li, Yi-ke Guo, Tetsuo Ida, John Darlington},
{\em Practical Integer Division with Karatsuba Complexity,}{ Tudor Jebelean}.




{{\bf Geometry}}
{\em Moduli Spaces and Symmetry Loci of Polynomial Maps,}{ Masayo Fujimura, Kiyoko Nishizawa},
{\em A Relatively Optimal Rational Space
Curve Reparametrization Algorithm Through Canonical
Divisors,}{ Carlos Andradas, Tom\'as Recio, J.~Rafael Sendra},
{\em On Computing the Dual of a Plane Algebraic Curve,}{ Emil Volcheck},
{\em Symbolic Computation of Object/Image Equations,}{ Peter F.~Stiller}.




{{\bf Systems II}}
{\em SIMATH - a Computer Algebra System for Number Theoretic Applications
\emph{(survey paper)},}{ Horst G.~Zimmer},
{\em Guarded Expressions in Practice,}{ Andreas Dolzmann, Thomas Sturm},
{\em A Survey of the \emph{Theorema} Project,}{ Bruno Buchberger, Tudor Jebelean, Franz Kriftner,
Mircea Marin, Elena Tomu\c{t}a, Daniela V\u{a}saru}.




{{\bf Applications III}}
{\em On the Computation of Conjugacy Classes in Permutation Groups,}{ John Cannon, Bernd Souvignier},
{\em Computing with Subgroups of Automorphism Groups of Finite Groups,}{ Charles C.~Sims},
{\em Families of Ideals in Statistics,}{ Massimo Caboara, Lorenzo Robbiano}.

}


\begin{flushright}
Wolfgang K\"uchlin (T\"ubingen)
\end{flushright}

\item {\bf The 3rd IMACS Conference on APPLICATIONS OF COMPUTER ALGEBRA}

Wailea, Maui, Hawaii, 24.--26.7.97

{\footnotesize
Die IMACS ACA Konferenzreihe ist daf"ur gedacht, "uber ernsthafte Anwendungen
von Computeralgebra zu berichten. Die dritte Tagung in diesem Zyklus fand
zwischen dem 14.\ und dem 26.\ Juli 1997 im unmittelbaren Anschluss an
die ISSAC'97 statt.

IMACS-ACA ist traditionell in Sektionen aufgeteilt, die vom 
Programmkomitee genehmigt und vom jeweiligen
{\em session chair}\/ selbst\"andig organisiert werden.
Der etwas informellere {\em workshop}\/ Charakter der Tagung
inspirierte zu lebhaften Diskussionen. Moderierte Diskussionsforen
erfreuten sich besonderer Beliebtheit.

Informationen zur Tagung sind unter der URL
\URL{http://math.unm.edu/ACA/1997.html}
erh"altlich (z.B. Teilnehmerliste, Sektionsliste). 
Elektronische {\em proceedings}\/ sind geplant.
Einige {\em proceedings}\/ werden als Sonderausgaben diverser
IMACS Zeitschriften erscheinen {\em Mathematics and Computers in Simulation;
Applied Numerical Mathematics, J. Computational Acoustics}.

{\bf Conference Organization}\\
{\em General Chair:}      Michael Wester   ({\tt wester@math.unm.edu})\\
{\em Program Chairs:}     Jacques Calmet   ({\tt calmet@ira.uka.de}),
                    Vladimir Gerdt   ({\tt gerdt@jinr.dubna.su})\\
{\em Local Arrangements:} Stanly Steinberg ({\tt stanly@math.unm.edu}),
                    Nicolas Robidoux ({\tt mia@math.unm.edu}).


{\bf Sessions:}\\
{\sl Computer Algebra Methods in Integration and Analysis of ODEs:
Lie Symmetry Methods} (Vladimir Gerdt),
{\sl Moderated Forum on Computer Algebra Systems} (Michael Wester),
{\sl Symbolic Computing Aspects of Multi-Agent Systems and Autonomous Agents}
(John Campbell),
{\sl Algorithmic Analysis of PDEs using Elimination Algorithms} (Greg Reid),
{\sl Non-standard Applications} (Eugenio Roanes Lozano),
{\sl Automatic Differentiation}             (Stephen Watt, Christele Faure),
{\sl Computer Algebra Methods in Integration and Analysis of ODEs:
Linear Equations and Hamiltonian Systems} (Fritz Schwarz),
{\sl Grand Challenges in Computer Algebra}  (Laurent Bernardin),
{\sl Algorithmic Computation of Conservation Laws} (Greg Reid,
Thomas Wolf and Alexei Bocharov),
{\sl Computer Algebra in Education}         (Ian Cohean and Martin Lesser),
{\sl Computer Algebra Methods in Integration and Analysis of ODEs:
Approximate Solutions} (Vladimir Gerdt and Fritz Schwarz),
{\sl Problem Solving Environments / Symbolic-Numeric Interfaces} 
(Bruce Char, Jeremy Johnson, Sanjiwa Weerawarana and Paul Wang).
IMACS-ACA 1998 wird in Prag stattfinden in zeitlicher N\"ahe zu ISSAC'98.
Siehe die Ank\"undigung {\em (Call for Sessions)}\/ in diesem Rundbrief.
}
\begin{flushright}
Wolfgang K\"uchlin (T\"ubingen)
\end{flushright}



\item {\bf Groups St. Andrews 1997 in Bath}

Bath, England, 26.7.--9.8.97

{\footnotesize

\noindent
This conference was the fifth in  a series of conferences on
general   group  theory  organized   every  four  years   by
E.Robertson and  C.Campbell  (St.  Andrews,  Scotland).  The
last two conferences took place  (as will the next one) away
from St Andrews.  This year it was jointly organized in Bath
with G. Smith.   Post-conference information  (including the
schedule, the  conference newspaper and e-mail addresses for
all participants) can be obtained from the WWW-site
\URL{http://www.bath.ac.uk/\~{}masgcs/gps97/}

At   this   conference   computational   group  theory   was
represented by two of the five main  lecture courses (with 4
one   hour   lectures each)  which   were devoted  to recent
developments  in computational  group theory,  in particular
the  use  of probabilistic methods    for finite groups.  In
addition, there were 6  one hour plenary talks  as well as a
number  of research talks on  topics  in computational group
theory.    Because  group   theoretic computations play   an
increasing role as a research tool we do  not list each talk
that mentioned  machine  computations  but only  those whose
main theme   was  computational in   the  sense  that either
progress on algorithmic  methods was reported or that  group
theoretic computations played  a major  role.  The selection
is necessarily personal and there are, undoubtedly, cases on
the boundary, therefore no claim of completeness of the list
below is made.  We apologize to anyone whose talk is omitted
but feels that it should have been included.

With   respect to group theoretic  software,  it can be said
that the conference showed that integrated packages offering
a  wide    range of   different    algorithms  have   become
indispensable  in implementing     complex   group theoretic
algorithms.    The    group    theoretic systems   mentioned
frequently at this  conference were  {\sf GAP,} {\sc  Magma}
and  MAGNUS.  For information on the  first and third system
WWW-addresses were advertised in the conference newspaper:
\URL{http://www-gap.dcs.st-and.ac.uk/\~{}gap}, 
\URL{http://zebra.sci.ccny.cuny.edu/web/html/magnushome.html}

{\bf Main lecture courses:}
C.   Praeger  (University  of  Western Australia):
{\em Matrix Groups, Algorithms and Probability},
  L.    Babai (University  of Chicago): Statistical
{\em Methods in Algorithms for Finite Groups}

{\bf One hour plenary lectures:}

 B.  Beals (University of  Arizona) : {\em Algorithms for
Matrix Groups and the Tits Alternative},
  S.  Linton  (University  of  St  Andrews):  {\em Recent
Developments in Computational Algebra},
  H.  Pahlings  (RWTH    Aachen): {\em Checking    Dade's
Conjecture},
N. Ruskuc (University of St Andrews): {\em Groups,
Semigroups and Presentations },
A. Seress (Ohio State University): {\em Black Box Classical Groups},
A.  Vera--Lopez (Universidad del Pais Vasco,
Bilbao): {\em On $p$-groups of maximal class }

{\bf Research talks:}
B. Eick(W\"urzburg): {\em Enumerating p-Groups and the Groups of Order 512},
A. Hulpke (St Andrews): {\em Galois Groups Through Invariant Relations},
D. Leemans (Brussels): {\em The Residually Weakly Primitive Geometries of
        the Suzuki Simple Group $Sz(8)$ }, 
S. Linton (St Andrews): {\em Generalizations of the Todd-Coxeter Algorithm},
R. Morse (Quincy, USA): {\em On Computing the Non-Abelian Tensor Square of
        $2$-Engel Groups}, 
N. Rocco (Campinas, Brasil): {\em Engelian Actions and Non-Abelian Tensor
        Products of Groups}, 
E.  Romero (Valencia): {\em Some Algorithms for the Degree of Commutativity
        of a $p$-Group of Maximal Class},
G. Sharp (Oxford): {\em Algorithmic Recognition of Group Actions on Pairs},
R.  van der Waal (Amsterdam): {\em On Dedekind Zeta Functions, Monomial
        Characters, Conjugacy Classes, Use of {\sf GAP} }
}
\begin{flushright}
Werner Nickel (St. Andrews)
\end{flushright}



\item {\bf Algorithmic Algebra and Number Theory}

   Heidelberg, 29.9.--3.10.1997

{\footnotesize 
Dies war die Abschlu"stagung des DFG-Schwerpunktprogramms Algorithmische
Zahlentheorie und Algebra. Neben den Teilnehmern am Schwerpunktprogramm
waren M. Brou\'{e} (Paris), H. Cohen (Bordeaux), G. James (London), S. Linton
(St. Andrews) und C. Traverso (Pisa) als Hauptvortragende eingeladen.

Im einzelnen wurden die folgenden Vortr"age in zeitlicher Reihenfolge gehalten:

H. Cohen (Bordeaux): {\sl  A survey on computational class field theory},
M. Pohst (Berlin): {\sl  On the computation of ray class fields},
R. Scharlau (Dortmund): {\sl  Classification of integral quadratic forms},
G. Pfister / T. de Jong (Kaiserslautern): {\sl  Normalization, a reinvented algorithm},

C. Traverso (Pisa): {\sl  Algorithmic primary decomposition and radical},
W. Decker (Saarbr"ucken): {\sl  Computational aspects of algebraic geometry},
W. Plesken (Aachen): {\sl  Presentations and representations of groups},

S. Linton (St. Andrews): {\sl  GAP: Achievements, status report and future plans},
A. Hulpke (St. Andrews): {\sl  Identification of Galois groups},
G. Nebe (Aachen): {\sl  Maximal finite matrix groups},
B. Eick (W"urzburg): {\sl  Enumerating p-groups - the groups of order 512},

M. Brou\'{e} (Paris): {\sl  From a conjecture on abstract finite groups to
computations on strange creatures},
G. Hi"s (Aachen): {\sl  On Chevalley groups in non-describing characteristics},
J. M"uller (Aachen): {\sl  Computational representation theory},

G. Frey (Essen): {\sl  Arithmetic of modular curves and applications},
E.-U. Gekeler (Saarbr"ucken): {\sl  Arithmetic of automorphic forms of Drinfeld
type over function fields},
H.-G. R"uck (Essen): {\sl  Towards a Gross-Zagier formula over function fields},
J. Buchmann (Darmstadt): {\sl  Sieving methods for computing class groups},

G. James (London): {\sl  (Q,q)- and cyclotomic q-Schur algebras},
J. Gruber (Stuttgart): {\sl  Application of q-Schur algebras},
W. Kimmerle (Stuttgart): {\sl  Computational aspects of the isomorphism problem},
J. Rosenboom (Essen): {\sl  Construction of large group representations},

E. Becker (Dortmund): {\sl  On the real Nullstellensatz},
V. Weispfenning (Passau): {\sl  Geometric applications of real elimination methods},
G. Kemper (Heidelberg): {\sl  Modular invariants of reflection groups}.

}
\begin{flushright}
B. Heinrich Matzat (Heidelberg)
\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{?? Ein Anwendungsgebiet der Computeralgebra ...} 
%}\label{m}
%\addcontentsline{toc}{subsection}{\normalsize \sl 
%??  Ein Anwendungsgebiet der Computeralgebra ...}%\toc_dotfill }
%\vspace{0.4cm}
%...

%%\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


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     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 New Features in MAGMA V2.2} \end{center} 
\label{mas}
\addcontentsline{toc}{subsection}{\normalsize \sl
New Features in MAGMA V2.2}

\noindent \textbf{Groups:}

The database used for finding representatives of conjugacy
        classes of subgroups has been expanded so that the subgroups
        of a group having a radical quotient of order up to 216,000
        may now be found (previous limit was 20,160).

    The algorithm used for finding conjugacy classes of elements
        for a permutation group has been vastly improved. This extends
        its range of application enormously and has an impact on other
        algorithms, e.g.  computing the character table of a group.

    Optimization of the algorithm used for finding conjugacy
        classes in soluble groups defined by polycyclic presentations.
        In some cases the enhanced algorithm may be up to 100 times
        faster.

    A fast algorithm for computing the action of a permutation
        group on the cosets of a subgroup has been installed. This
        effects many other algorithms, e.g. testing whether a subgroup
        is maximal; computing transitive representations of a permutation
        group.

    Constructions for additional families of Chevalley groups\\
        $ (E_6(q), E_7(q), F_4(q), G_2(q), 3D_4(q), 2F_4(q), 2G_2(q)) $

    \noindent \textbf{Ring of Integers:}

    A new fast integer arithmetic has been developed from scratch.
        This provides very substantial speed-ups over the previous
        integer package used by Magma.  New data structures are employed
        and many new (for Magma) algorithms have been introduced.  These
        include Karatsuba for integer product, an exact divide function
        and the Weber accelerated GCD algorithm.  Assembler macros are used
        for critical operations.  On a Sun Ultra 2, Magma V2.2 multiplies
        integers 25-40\% faster than GNU gmp.

    As part of the upgrade of the integer module, all higher level
        integer functions, other than the ECM and MPQS factorization modules
        have been rewritten or heavily revised to improve performance and
        to remove memory leaks.  Also, improved memory management strategies
        have contributed to the performance upgrade.  Significant functions
        included in this revision include the Shanks SQUFOF factorization
        algorithm, the Pollard p-1 and rho factorization algorithms, the
        calculation of square roots modulo m (m not necessarily prime) and
        the solution of Pell's equation.

    A much more efficient strategy for integer factorization has been
        introduced.  The central idea is to strike the right balance between
        the application of ECM and QS.  The new strategy will, in the worst
        case, factor 70 digit integers in about an hour and 80 digit integers
        in about 8 hours using a single processor on a Sun Ultra 2.  The
        average time for factoring a random  80 digit integer is less than
        one hour.  Using a small network of workstations, factoring 90--100
        digit integers is routine.

    The Elliptic Curve Primality Prover (ECPP) designed and implemented
        by Francois Morain at INRIA has been installed in Magma V2.2.  This
        provides fast rigorous primality proofs for integers having several
        hundred digits.  The primality of a 100 digit integer is established
        in 24 seconds (on an Ultra 2).

    \noindent \textbf{Multivariate Polynomial Rings:}

    An interpolation-based algorithm has been installed for computing
        GCDs in multivariate polynomial rings over finite fields.  This
        gives far better performance than the previous algorithm in the
        case of many indeterminates and higher degrees.

    A range of improvements and optimizations have been made to the
        Groebner Basis machinery to improve its performance over the
        rational field.  The Groebner Walk algorithm has also been
        improved in light of the new integer package (constructions with
        weight vectors).  Improved strategies for the main Buchberger
        algorithm have been introduced, including (automatic) homogenization
        of ideals, and new techniques for reducing the basis during the
        computation.  A grevlex Groebner basis for the Cyclic-7 roots example
        takes 930 seconds on a Sun Ultra 2.

    \noindent \textbf{Invariant Rings:}

    Magma V2.2 contains the second stage of our planned invariant theory
        machinery.  A new algorithm developed by Gregor Kemper for computing
        primary invariants guarantees that the degrees of the invariants
        constructed are optimal (with respect to their product).  Similarly,
        an improved algorithm for computing secondary invariants in the
        modular case has been developed.  It is now possible to determine
        the (algebraic) relations between secondary invariants.  Many
        attributes of invariant rings may be set or examined by the user.

    \noindent \textbf{Linear algebra:}

    A powerful family of LLL algorithms are included.  These are
        based on the FP-LLL algorithms of Schnorr \& Euchner.  There are
        many different variants on the main algorithm to achieve
        optimization.  The case for the coefficient ring of integers is
        specially optimized, particularly when the integers are small.
        C double precision floating-point numbers are used for high
        efficiency but arbitrarily-sized integers are also handled robustly,
        avoiding overflow problems.

    \noindent \textbf{Algebras:}

    A module for computing with finite dimensional associative
        algebras defined by structure constants.  An algebra may
        be constructed from a free module defined over a field or
        Euclidean Domain.  Apart from arithmetic with elements and
        ideals, the user may compute the Jacobson radical, maximal
        and minimal {left-, right-, two-sided-} ideals, composition
        series etc.

    A major new module for computing with group algebras.  This
        allows computation in the group algebra for any small group
        over a field or Euclidean Domain.  Apart from arithmetic with
        elements and ideals, the user may compute the augumentation
        ideal, Jacobson radical, maximal and minimal {left-, right-,
        two-sided-} ideals, composition series etc.



 \begin{flushright}
John Cannon (Sydney)
 \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 Arbeitsbereich Symbolisches Rechnen an der
%       Universit"at T"ubingen}\\
%\end{center}
%\addcontentsline{toc}{subsection}{\normalsize \sl
%Arbeitsbereich Symbolisches Rechnen  an der Universit"at T"ubingen
%}

\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 {J"ager, A.H.}, { \sl Statistik mit Mathematica, Methoden und ihre Anwendungen}, \Springer , {ISBN 3-540-61180-0}, {1997}. 

\item {Kayser, H.-J.}, { \sl Analysis mit \derive{}}, Ferd. D"ummlers Verlag , {ISBN 3-427-45231-X}, {1996}, {pp. 157}, DM 29,80 . 

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

\item {Kluge, O.}, { \sl Entwicklung einer Programmierumgebung f"ur die Parallelverarbeitung in der Computeralgebra}, \Teubner , {ISBN 3-519-02196-X}, {1997}, {pp. 125}, DM 44,-. 

\item {Koepf, W.}, { \sl \derive{} f"ur den Mathematikunterricht}, \Vieweg , {ISBN 3-528-06752-7}, {1996}, {pp. 186}, DM 58,00 . 

\item {Krawietz, A.}, { \sl Maple V f"ur das Ingenieurstudium}, \Springer , {ISBN 3-540-60223-2}, {1997}, {pp. X+358}, DM 78,00. 

\item {M"oller, H.}, { \sl Algorithmische Lineare Algebra}, \Vieweg , {ISBN 3-528-05528-6}, {1997}, {pp. X+289}, DM 58,00. 

\item {Naundorf, H.}, { \sl Ein denotationales Modell f"ur parallele objektbasierte Systeme}, \Teubner , {ISBN 3-519-02197-8}, {1997}, {pp. 186}, DM 47,-. 

\item {Naundorf, H.}, { \sl MAMMUT, eine verteilte Speicherverwaltung f"ur symbolische Manipulation}, \Teubner , {ISBN 3-519-02198-6}, {1997}, {pp. 120}, DM 44,-. 

\item {Schwalbe, D., Wagon, S.}, { \sl VisualDSolve, Visualization Differential Equations with Mathematica}, \Springer , {ISBN 0-387-94721-3}, {1997}, DM 54,-. 

\item {Strampp, W.}, { \sl H"ohere Mathematik mit Mathematica 1}, \Vieweg , {ISBN 3-528-06788-8}, {1997}, DM 48,-. 

\item {Strampp, W.}, { \sl H"ohere Mathematik mit Mathematica 2}, \Vieweg , {ISBN 3-528-06789-6}, {1997}, DM 48,-. 

\item {Werner, W.}, { \sl Mathematik lernen mit Maple}, \dpunkt , {ISBN 3-920993-94-2}, {1997}, {pp. ca. 600}, ca. DM 68,-,

\item {Westermann, T.}, { \sl Mathematik f"ur Ingenieure mit Maple, Band 1}, \Springer , {ISBN 3-540-61249-1}, {1997}. 

Das Buch wird im n"achsten Rundbrief besprochen.

\item {Westermann, T.}, { \sl Mathematik f"ur Ingenieure mit Maple, Band 2}, \Springer , {ISBN 3-540-61248-3}, {1997}. 

Das Buch wird im n"achsten Rundbrief 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 Borgert, J., Schwarze, H., Maple in der Physik:  Von der grafischen Veranschaulichung zum physikalischen Verst"andnis}

Verlag Addison-Wesley, Bonn, Paris, ISBN 3-89319-781-8, 1995, 
288 Seiten, DM 59.90.
\addcontentsline{toc}{subsection}
{{\normalsize \sl  Borgert, J., Schwarze, H., Maple in der Physik
}} \label{BorgertSchwarze}

Das vorliegende Buch f"uhrt an Hand von Anwendungsbeispielen
aus der Physik in das Computeralgebrasystem Maple ein. 
Das Hauptgewicht liegt -- wie schon der Untertitel andeutet -- 
darauf zu zeigen, wie man mit Hilfe von Computeralgebra 
physikalische Sachverhalte veranschaulichen und verst"andlich
machen kann. Alle besprochenen Befehlsfolgen sowie einige 
selbsterstellte Prozeduren, die fast alle zur Grafikerzeugung 
dienen, liegen auf einer Diskette bei. 

Das Buch wendet sich in erster Linie an \emph{Lehrer}, die die
ausgearbeiteten Beispiele direkt in den Physikuntericht der
Oberstufe einbauen k"onnen. In jedes der acht Kapitel sind
hierf"ur ein oder mehrere Arbeitsb"ogen eingearbeitet. Zum 
weiteren Leserkreis geh"oren \emph{Physikstudenten}, die 
Anwendungsm"oglichkeiten von Computeralgebra auf ihre Wissenschaft 
kennenlernen wollen. 
Dar"uber hinaus k"onnen einige der Beispiele zur Vertiefung des 
Grundstudiumsstoffes hilfreich sein.

In einem elementaren, einf"uhrenden Kapitel werden gleichf"ormig
beschleunigte Bewegungen berechnet und dargestellt.
Aus dem Gebiet der Mechanik werden weiterhin elastische und inelastische
St"o"se in zwei Dimensionen sowie Schwingungen unter Ber"uchsichtigung
des Ph"anomens der Schwebung behandelt. 
Danach folgt ein Kapitel "uber die Darstellung von Feldern als 
Pfeildiagramme und von deren "Aquipotentiallinien. 
Zudem wird mit Maple die L"osung von gew"ohnlichen, linearen  
Differentialgleichungen am Beispiel des Schwingkreises gezeigt.
Im n"achsten Kapitel werden die bei der Beugung am Spalt und an Gittern 
auftretenden Intensit"atsverteilungen visualisiert. 
Dieses leitet "uber zur Beschreibung von Wellenpaketen, wobei   
die Begriffe Phasen- und Gruppengeschwindigkeit eingef"uhrt und
verdeutlicht werden.

Das abschlie"sende Kapitel geht "uber den "ublicherweise an den 
Schulen gelehrten Stoff hinaus, insofern es an einige Betrachtungsweisen 
und Rechenmethoden der Quantenmechanik heranf"uhrt. Nun wird 
die Wahrscheinlichkeitsinterpretation der Beugungsexperimente am
Spalt gegeben. Anschlie"send wird die Schr"odingergleichung im Kasten 
und die radiale Schr"odingergleichung f"ur das Wasserstoffatom gel"ost. 

Die Diskussion der Semantik und der graphischen M"oglichkeiten 
von Maple ist immer direkt an den physikalischen Beispielen orientiert.
Das f"uhrt dazu, da"s der Leser oft nicht leicht nachvollziehen kann,
warum eine bestimmte Befehlsfolge das gew"unschte Ergebnis liefert,
was etwas unbefriedigend ist. Hier ist er dann gezwungen, die 
Online-Hilfe von Maple und andere B"ucher zur Hilfe zu nehmen.  

Insgesamt scheinen die Einsatzm"oglichkeiten von Computeralgebra 
in der Lehre etwas "ubersch"atzt zu werden. Der mehrfach vertretenen 
Meinung, da"s Computersimulationen viele Schauexperimente gut
ersetzten k"onnten, weil sie einfacher durchzuf"uhren und
\glqq genauer\grqq{} sind, kann sich der Rezensent nicht anschlie"sen.
Einer h"ohere Anschaulichkeit, Lebendigkeit und Einpr"agsamkeit
als im Experiment l"a"st sich kaum erreichen. Schauexperimente
sind au"serdem gerade an Schulen wichtig, weil sie die wissenschaftliche 
Vorgehensweise verdeutlichen.

Trotzdem handelt es sich um ein empfehlenswertes Buch f"ur alle, die 
sich f"ur den Einsatz von \emph{Computeralgebra in der Lehre} interessieren
oder direkt diesbez"ugliches Unterichtsmaterial f"ur die Oberstufe suchen.


 \begin{flushright}
Jan Budczies (K"oln)
 \end{flushright}                                                              






\item {\large \bf B"urgisser, P., Clausen, M., Shokrollahi, M.A., Algebraic
Complexity Theory} 

Volume 315 der {\em Grundlehren der mathematischen Wissenschaften},
Springer-Verlag Berlin-Heidelberg-New York 1997, ISBN 3-540-60582-7,
pp. 618, DM 188. 
\addcontentsline{toc}{subsection}
{{\normalsize \sl  B"urgisser, P., Clausen, M., Shokrollahi, M.A.,\\ Algebraic~Complexity~Theory
}} \label{BuergClausenSh}


Gegenstand des vorliegenden Buches ist die algebraische
Komplexit"atstheorie, d.h. ``the study of the intrinsic algorithmic
difficulty of algebraic problems within an algebraic model of
computation''. Dies ist ein recht junges Gebiet der Mathematik, dessen
Etablierung als eigenst"andiges Wissenschaftsgebiet gew"ohnlich in die
50er und 60er Jahre datiert wird. Wie die Komplexit"atstheorie
insgesamt hat es seine Wurzeln einerseits im Bereich des Designs
effektiver Algorithmen und andererseits in der Suche nach Invarianten,
die die inh"arente Schwierigkeit gewisser Probleme widerspiegeln. Es
greift dazu anspruchsvolle Argumente aus vielen Bereichen der
Mathematik auf, was eine einigerma"sen umfassende monographische
Darstellung ebenso w"unschenswert wie schwierig macht.

Hier besteht in der vorhandenen Literatur noch eine L"ucke, wie die
Autoren unter Verweis auf eine Reihe von "Ubersichtsbeitr"agen
vermerken: ``However, with the exception of the now classic monograph
by Borodin and Munro (American Elsevier, 1975) a systematic treatment
of this theory is not available.'' Das vorliegende Buch leistet einen
wesentlichen Beitrag, diese L"ucke auszuf"ullen. Es besteht aus 5
Teilen sowie einem informellen Einf"uhrungskapitel in die
Fragestellungen der algebraischen Komplexit"atstheorie.  
\medskip

Die 5 Teile behandeln im einzelnen folgende Aspekte:
\medskip

{\bf Teil 1: Grundlegende Algorithmen} (78 S.), f"uhrt asymptotisch
schnelle Algorithmen zur Poly\-nom-Multiplikation, zum Rechnen mit
Potenzreihen (Algorithmen von Sieveking, Kung, Brent und Brent-Kung),
zur GCD-Berechnung von univariaten Polynomen (Knuth-Sch"onhage) und
zur Mehrfachevaluierung (Horowitz) ein und diskutiert Meyer auf der
Heides Ergebnis zum Rucksackproblem.

{\bf Teil 2: Elementare untere Schranken} (66 S.), f"uhrt das im
Weiteren verwendete algebraische Berechnungsmodell (straight line
programs und Berechnungsb"aume) ein und beschreibt verschiedene
Techniken zur Herleitung elementarer (d.h. linearer) unterer
Komplexit"ats-Schranken (Transzendenzgrad, Substitutionsmethode,
Strassens Vermeidung von Divisionen, Derivationen).

{\bf Teil 3: High Degree} (132 S.), zeigt, wie Konzepte der
algebraischen Geometrie und der algebraischen Toplogie eingesetzt
werden k"onnen, um nichtlineare untere Schranken herzuleiten.

Einen gro"sen Teil des Buches nimmt {\bf Teil 4: Low Degree} (236 S.)
ein, in dem sehr detailliert Fragen der Matrixmultiplikation und der
bilinearen Komplexit"at behandelt werden und der von den Autoren als
``book within the book'' bezeichnet wird.

Das Buch beschlie"st ein kurzer {\bf Teil 5:
Vollst"andigkeitsprobleme} (32 S.), in dem Valiants nicht\-uniformes
algebraisches Analogon zur Problematik P vs. NP diskutiert wird.
\medskip

Das Buch ist sehr ausf"uhrlich in der Argumentation und mit einer
Vielzahl von "Ubungsaufgaben unterschiedlichen Schwierigkeitsgrads
untersetzt. Es ist damit sowohl als Referenz als auch als Lehrbuch
vorz"uglich geeignet.  

Vergleicht man es mit den in der Einleitung genannten
"Ubersichtsbeitr"agen, so f"allt die starke Affinit"at zu Strassens
Kap. 11 im {\em Handbook of Theoretical Computer Science}, Elsevier
1990, ins Auge, dessen Einflu"s die Autoren auch dankend
vermerken. Damit bleiben trotz der Dicke des Buches eine Reihe
wichtiger Entwicklungen, wie sie etwa in v.z.Gathens Beitrag in {\em
Ann. Rev. Comp. Sci. \bf 3} (1988), 317-344, f"ur andere algebraische
Teilgebiete (Polynomfaktorisierung, Permutationsgruppen) aufgerissen
werden, au"ser Betracht.

Man mag eine solche Beschr"ankung mit Hinweis auf eben diese Dicke des
Buches hinnehmen. Besonders bedauert es der Referent allerdings, da"s
dabei auch das ganze Thema der parallelen algebraischen Komplexit"at
ausgeklammert wurde, die ebenfalls auf wichtige Ergebnisse verweisen
kann. Eine w"unschenswerte monographische Aufarbeitung dieser
Ergebnisse, die bereits im Buch von Borodin/Munro begonnen wurde,
k"onnte nahtlos an den entwickelten Begriffsapparat anschlie"sen und
h"atte kaum einer Aufstockung des verwendeten mathematischen Apparats
bedurft.

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



\item {\large \bf {{Cucker, F., Shub, M. (Eds.)}, Foundations of Computational Mathematics }

Selected Papers of a conference held at IMPA in Rio de Janeiro, Jan. 1997}, \Springer , \ASpringer , {ISBN 3-540-61647-0}, {1997}, {pp. XV + 441}

\addcontentsline{toc}{subsection}
{{\normalsize \sl {Cucker, F., Shub, M. (Eds.)},\\Foundations of Computational Mathematics }} \label{CuckerShub}

\noindent
Das Buch enth"alt Ausarbeitungen zu ausgew"ahlten Vortr"agen der
gleichnamigen Konferenz, die im Januar~1997 in Rio de Janeiro
stattfand.  Weitere Konferenzen mit dem gleichen Titel sollen in
Zukunft regelm"a"sig stattfinden (Die ``FoCM'' Homepage
\URL{http://www.damtp.cam.ac.uk/user/na/FoCM} enth"alt genauere
Informationen "uber geplante Veranstaltungen ).  Organisatorisch
bestand die Konferenz aus einer Reihe von Workshops zu den Themen:
\emph{Systems of algebraic equations and computational algebraic
complexity}, \emph{Homotopy methods and real machines},
\emph{Information-based complexity}, \emph{Numerical linear algebra},
\emph{Approximation and PDEs}, \emph{Optimization}, \emph{Differential
equations and dynamical systems}, \emph{Relations to computer science}
und \emph{Vision and related computational tools}. Diese Themen
spiegeln sich auch in den insgesamt 36~Beitr"agen wieder.
Ausarbeitungen zu weiteren auf der Konferenz gehaltene Vortr"age
erschienen in einem Sonderband der Zeitschrift \emph{Journal of
Complexity}.\par

Wenn man den stolzen Titel ``Foundations'' als Ma"sstab nimmt, ist der
Band etwas entt"auschend.  So h"atte man vielleicht erwartet, da"s er
zu jedem der Themen einen "Ubersichtsartikel eines f"uhrenden Experten
enth"alt.  Tats"achlich gibt es in dem Band nicht einmal zu einem der
Plenarvortr"age eine Ausarbeitung.  Es w"are auch w"unschenswert
gewesen, wenn versucht worden w"are, Verbindungen zwischen den doch
recht breit gestreuten Themen zu kn"upfen. Dies ist ja gerade ein Ziel
der ``FoCM''-Initiative.  Stattdessen sind die Beitr"age kommentarlos
alphabetisch hintereinander gereiht und reichen von einseitigen
Abstracts bis zu Arbeiten mit "uber 25~Seiten.\par

In engerem Bezug zur Computeralgebra stehen vor allem die folgenden
Beitr"age: \emph{Computing Roadmaps of Semi-algebraic Sets on a
Variety (extended abstract)}, S.~Basu, R.~Pollack, M.-F.~Roy;
\emph{Residues in the Torus and Toric Varieties (abstract)},
A.~Dickenstein; \emph{Algorithms for Computing Finite Semigroups},
V.~Froidure, J.-E.~Pin; \emph{The Space Complexity of Elimination
Theory: Upper Bounds}, G.~Matera, J.M.T.~Torres; \emph{Solving Special
Polynomial Systems by Using Structured Matrices and Algebraic
Residues}, B.~Mourrain, V.Y.~Pan; \emph{Tests and Constructions of
Irreducible Polynomials over Finite Fields}, S.~Gao, D.~Panario;
\emph{Toric Laminations, Sparse Generalized Characteristic
Polynomials, and a Refinement of Hilbert's Tenth Problem}, J.M.~Rojas;
\emph{Computational Aspects of Jacobian Matrices}, A.~Simis.


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





\item {\large \bf {Garcia, Alfonsa (Hrsg.), Klingen, Leo H. (\"Ubers. \& Bearb.)},
Mathematisches Praktikum mit Derive{} }

Addison-Wesley Publ.\ Co., Bonn, ISBN 3-89319-857-1, 1995, pp.\ 200,

\addcontentsline{toc}{subsection}
{{\normalsize \sl {Garcia, A.},
Mathematisches Praktikum mit Derive 
}} \label{garcia}


Mit Mathematisches Praktikum mit \derive{}  machte L. H. Klingen eines der zahlreichen spanischsprachigen B\"ucher \"uber \derive{}  im deutschen Sprachraum verf\"ugbar. Als Autoren der Originalausgabe fungieren 13 Universit\"atsdozenten der Universit\"at Madrid, die ihre mehrj\"ahrigen Erfahrungen in der Nutzung von \derive{}  eingebracht haben. Die deutsche Fassung begn\"ugt sich nicht mit einer reiner \"Ubertragung, sondern ist eine \"Uberarbeitung in dem Sinne, da\ss{} der \"Ubersetzer durchg\"angig seine eigenen Erfahrungen als Erg\"anzungen in die einzelnen Kapitel eingebracht hat.

Das Hauptanliegen des Buches wird durch den gew\"ahlten Titel sachgerecht beschrieben. Es soll den mathematischen Unterricht als \"Ubungs-Praktikum begleiten und erg\"anzen. Es geht vordergr\"undig nicht um eine Demonstration der potentiellen M\"oglichkeiten von \derive{}, sondern darum, wie dieses leistungsf\"ahige Hilfsmittel zum Lernen und Verstehen von mathematischem Grundwissen eingesetzt werden kann. Als Zielgruppen ist an Sch\"uler der gymnasialen Oberstufe sowie Studenten an Fachhochschulen  und Universit\"aten, die Mathematik als Hilfswissenschaft ben\"otigen, gedacht. F\"ur universit\"are Studieng\"ange in Naturwissenschaften und Ingenieurwissenschaften k\"onnte man sich aber eine Erweiterung und Vertiefung des mathematischen Lehrstoffes vorstellen.

Das Buch gliedert sich in drei Teile. Teil 1 hat vorbereitenden Charakter und ist den graphischen Funktionsdarstellungen sowie den Grundbegriffen Grenzwert und Stetigkeit gewidmet. Die Teile 2 und 3 decken die wichtigsten Bereiche der Infinitesimalrechnung mit den Abschnitten Ableitungen, Zahlenfolgen, numerische L\"osung von Gleichungen, unendliche Reihen, Taylor-Polynome und Potenzreihen, Interpolation, Riemannsches Integral sowie uneigentliche Integrale und lineare Algebra mit den Abschnitten Matrizen und lineare Gleichungssysteme, Vektorr\"aume, lineare Abbildungen, Diagonalisierung von Matrizen sowie Euklidische Vektorr\"aume ab.

Allen detailliert untergliederten Abschnitten liegt ein einheitliches didaktisches Grundkonzept zu Grunde. Jedes Kapitel beginnt mit einer Zusammenstellung der vorausgesetzten mathematischen Kenntnisse, Begriffe und S\"atze, die zum Verst\"andnis der Demonstrationsbeispiele und \"Ubungsaufgaben ben\"otigt werden. Die jeweils vollst\"andig gel\"osten Beispiele werden ausf\"uhrlich und gut verst\"andlich unter Zuhilfenahme der vom Computer mit \derive{}  erzeugten M\"oglichkeiten zur Veranschaulichung des mathematischen Sachverhaltes beschrieben. Dabei wird Wert darauf gelegt, ein weites Spektrum zum Gegenstand geh\"orender relevanter Grundaufgaben abzudecken. Die sich anschlie\ss{}enden vorgeschlagenen \"Ubungen dienen zum Teil der Festigung des in den Demonstrationen vorgestellten Sachverhaltes, aber auch der mit ausreichender Anleitung versehenen Erweiterung des mathematischen Stoffes.

Vom \"Ubersetzer wurden  den meisten Kapiteln Ausblicke hinzugef\"ugt, die zu weiterem selbst\"andigen Arbeiten anregen sollen. Erfreulich ist, da\ss{} in vielen Kapiteln m\"ogliche Anwendungsbeispiele Platz gefunden haben.

Im Gegensatz zu anderen B\"uchern, die den Einsatz von \derive{}  in der mathematischen Grundausbildung zum Gegenstand haben, wird hier keine detaillierte Anleitung zum Umgang mit \derive{}  gegeben. Die notwendigen Fertigkeiten werden vorausgesetzt. In jedem Kapitel wird lediglich unter der \"Uberschrift Methoden erkl\"art, welche Funktionalit\"at aus dem Men\"u von \derive{}  zu nutzen ist, welche Hilfsdateien in Frage kommen und welche selbst programmierten Funktionen empfohlen werden. 

Einen Anhang mit einer zusammenfassenden Darstellung der wichtigsten Funktionen und Benutzungshinweise von \derive{}  gibt es nicht. Dabei w\"are solch ein Hilfsmittel zur Unterst\"utzung der selbst\"andigen Arbeit von Sch\"ulern und Studenten im Sinne einer Nachschlagem\"oglichkeit sicher sinnvoll und n\"utzlich. F\"ur die \derive{}-Demonstrationen kommt durchg\"angig die Version 3.0 zum Einsatz.


 \begin{flushright}
Karl Hantzschmann (Rostock)
 \end{flushright}                                                              



\item {\large \bf {Herzberger, J\"urgen},
Einf\"uhrung in das wissenschaftliche Rechnen: f\"ur Informatiker, Mathematiker und Naturwissenschaftler
}

Addison-Wesley Publ.\ Co., Bonn, ISBN 3-8273-1062-8, 1997, pp.\ 286,

\addcontentsline{toc}{subsection}
{{\normalsize \sl {Herzberger, J.},
Einf\"uhrung in das wissenschaftliche Rechnen
}} \label{herzberger}

Mit Herzbergers ''Einf\"uhrung in das wissenschaftliche Rechnen'' wird
die Palette der diesem Zweig der Mathematik gewidmeten
Buchproduktionen um ein weiteres Exemplar bereichert. Obwohl im
Klappentext wissenschaftliches Rechnen ausdr\"ucklich als ''der Bereich
der Angewandten Mathematik, Technik und Naturwissenschaften, in dem
der Computer eingesetzt wird'' bezeichnet wird und mit den Worten ''dabei handelt es sich um den Einsatz des Computers zu Rechenzwecken, die sich auf streng mathematische Schlu\ss{}weisen st\"utzen'' charakterisiert wird, ist der Inhalt des Buches vollst\"andig auf die Probleme und Algorithmen des numerischen Rechnens beschr\"ankt. Methoden und Werkzeuge der Computeralgebra spielen ebensowenig eine Rolle wie die Nutzung von Hilfsmitteln der Computergraphik und im besonderen der wissenschaftlichen Visualisierung. Wissenschaftliches Rechnen mu\ss{} doch wohl wesentlich komplexer gesehen werden.

Dem Buch liegen die vom Autor in seiner langj\"ahrigen Vorlesungst\"atigkeit an der Universit\"at Oldenburg gewonnenen Erfahrungen zu Grunde. Vordergr\"undig wird auf die Vermittlung von Prinzipien des numerischen Rechnens und grundlegender numerischer Verfahren orientiert. Erg\"anzungsm\"oglichkeiten werden durch vielf\"altige Hinweise auf Spezialliteratur angeboten. Jedem Kapitel ist eine umfangreiche Bibliographie beigef\"ugt.

Bez\"uglich Stoffauswahl und Aufbau weicht das vorliegende Buch doch deutlich von der vorhandenen einf\"uhrenden Literatur zur Numerischen Mathematik ab. Ein relativ breit angelegtes Kapitel zur Computerarithmetik mit den Abschnitten Rechnerzahlen, Rundungen, Grundoperationen, Rundungsfehlerbetrachtungen und Summierungsalgorithmen macht hinreichend detailliert mit den Problemen des Rechnens im Bereich der Maschinenzahlen vertraut. Kapitel zwei stellt Hilfsmittel aus der Analysis und Linearen Algebra bereit. Im Mittelpunkt stehen dabei die mit der Approximation durch Polynome zusammenh\"angenden Fragen als theoretische Basis f\"ur die zu besprechenden numerischen Verfahren. Die H\"alfte des Buches ist numerischen Verfahren gewidmet: Interpolation, Differentiation, Integration, L\"osung nichtlinearer Gleichungen, numerische Lineare Algebra. Dabei wird auch auf solche 
f\"ur das numerische Rechnen mit Computern wichtigen Aspekte wie automatisches Differenzieren, Konvergenzordnung, Effizienzindex, Intervallmethoden, Parallelverfahren eingegangen.

Das Buch ist als Lehrbuch f\"ur Studenten der Mathematik, Informatik und Naturwissenschaften gedacht und entspricht etwa dem Wissensniveau ab drittem Semester. Es ist in einem gut verst\"andlichen Stil abgefa\ss{}t. Alle Herleitungen sind hinreichend detailliert  und gut nachzuvollziehen. Viel Wert wurde auf die jeweilige Motivation der Vorgehensweise gelegt. Mathematische Aussagen werden in den meisten F\"allen bewiesen. Wenn Umfang und Anliegen des Buches dieses nicht gestatten, sind entsprechende Verweise angegeben. Algorithmen werden in gewohnter mathematischer Notation beschrieben. An einigen Stellen wird eine Notation als Programm angegeben, allerdings nur auf der Basis von BASIC.
 
Gelegentlich eingef\"ugte Demonstrationsbeispiele beruhen auf Rechnungen mit dem programmierbaren Taschenrechner SHARP PC 1401. Dem Anliegen des Buches entsprechend h\"atten wesentlich mehr numerische Beispielrechnungen aufgenommen werden m\"ussen. Auch vermi\ss{}t man die f\"ur ein Lehrbuch obligatorischen Abschnitte mit \"Ubungsaufgaben und Musterl\"osungen.



 \begin{flushright}
Karl Hantzschmann (Rostock) 
 \end{flushright}                                                              




\item {\large \bf {Kayser, H.-J.}, Analysis mit Derive{} }

D"ummlerbuch 4523, 
Ferd.\ D"ummlers Verlag, Bonn, ISBN 3-427-45231-X, 1996, pp.\ 157,
DM 29,80.
\\
Diskette zum Buch, ISBN 3-427-45242-5, 1996, DM 36,00.
\addcontentsline{toc}{subsection} {{\normalsize \sl {Kayser, H.-J.}, 
Analysis mit Derive 
}} \label{kayser}

{\it Analysis mit \derive{}\/} ist wohl
das erste Buch im deutschen Sprachraum,
in dem versucht wird, den Unterrichtsstoff der 11.\ Gymnasialklasse unter
Zuhilfenahme eines Computeralgebrasystems, n"amlich \derive{}, zu pr"asentieren.
Dies gelingt dem Autor im gro"sen und ganzen sehr sch"on.

Extremwertprobleme werden an einem Musterbeispiel (Optimierung einer
Schachtel) zun"achst ohne Differentialrechnung behandelt. Dasselbe
Problem wird dann zur Definition der Ableitungsfunktion verwendet.
Nach der Ableitung wird auch die Kr"ummung am Beispiel der Planung einer
Autobahnauf\"fahrt behandelt. Dies ist ein sehr instruktives Beispiel.
Die Kr"ummungsformel wird hierbei allerdings vom Autor angegeben und
verwendet, ohne n"aher auf sie einzugehen. Das ist ein bi"schen schade,
denn auch f"ur die Interpretation dieser Formel (etwa als Kehrwert 
des Kr"ummungsradius) bietet sich ein Werkzeug wie \derive{}  geradezu an.

Das immer wieder auftretende Nullstellenproblem ({\sl reelle} Nullstellen einer
Funktion bzw.\ {\sl reelle} Nullstellen der Ableitungsfunktion usw.) wird
genauso wie die generelle Kurvendiskussion (Nullstellen, Extremwerte, 
Wendepunkte, Symmetrieeigenschaften) mit \derive{}  automatisiert.
Naturgem"a"s wird auch von den graphischen F"ahigkeiten von \derive{}  vielfach 
Gebrauch gemacht.

Schade ist, da"s die Diskette, die der Autor verfa"st hat und die zur
Arbeit mit dem Buch ben"otigt wird, dem Buch nicht beiliegt.
Sie mu"s f"ur teures Geld extra gekauft werden. Zwar sind Ausz"uge
aus den \derive{}-Dateien im Anhang dokumentiert, aber dies sind eben nur
Ausz"uge, und zum anderen ist die manuelle Eingabe naturgem"a"s sehr
m"uhselig. Daher ist jeder K"aufer auf die Diskette angewiesen.
Dies senkt den Wert des Buchs erheblich, m.~E.\ macht ein separater
Verkauf wenig Sinn. 

\iffalse
Ferner l"a"st die Druckqualit"at leider zu w"unschen "ubrig. Die abgedruckten
\derive{}-Sitzungen sind teilweise 
so fett gedruckt, da"s man manchen Buchstaben nicht
deutlich erkennen kann. Dies springt dem Leser bereits auf S.\ 14 ins Auge.
% S. 14, c
\fi

"Uberrascht hat mich ferner, da"s der Autor nicht die deutsche \derive{}-Version
mit den deutschen Men"unamen verwendet. Ich bin zwar selbst kein besonderer
Freund hiervon (wem die englischen Men"unamen und Hotkeys gel"aufig sind,
dem f"allt der Wechsel schwer), es ist aber nicht von der Hand zu weisen,
da"s dieses deutschsprachige Men"u auf die Forderung 
deutschsprachiger Lehrer eingef"uhrt worden ist.

Es liegt aber dennoch ein alles in allem 
sch"ones Buch vor, mit dem ich die Hoffnung
verbinden m"ochte, da"s derartige B"ucher den Einzug von 
Computeralgebra ins mathematische Schulcurriculum vorbereiten helfen.

\begin{flushright}
Wolfram Koepf (Berlin)
\end{flushright}




\item {\large \bf Komma, M., Moderne Physik mit Maple}

Int. Thomson Publishing, Bonn, ISBN 3-929821-81-8,1996,
                   DM 59,00; "oS 461,00.
\addcontentsline{toc}{subsection}
{{\normalsize \sl  Komma, M., Moderne Physik mit Maple
}} \label{komma}


Der Autor will mit seinem Buch zeigen, wie mit Hilfe des
\cas s 
Maple die physikalische Forschung n\"aher an die Schulphysik herangebracht
werden kann. Das Buch hat seine Urspr\"unge in der Lehrt\"atigkeit des Autors
an einem Gymnasium und richtet sich daher in erster Linie an Sch\"uler der
gymnasialen Oberstufe und (Physik) Studenten der ersten Semester. 

Der ``Rote Faden'' des Buches ist der Versuch eines Br\"uckenschlags von der
klassischen
Physik zur Quantenphysik. Nach einer kurzen Einf\"uhrung in das ``Werkzeug''
Maple
folgen hierzu Kapitel \"uber die Newtonsche Mechanik des Massenpunktes, die
Wellenmechanik und das Wirkungsprinzip. Mit Hilfe von
Plausibilit\"atsbetrachtungen
werden dann die Mechanik des Massenpunktes und die Wellenmechanik verkn\"upft,
also der Versuch des ``Br\"uckenschlags'' zur Quantenphysik vollendet. 

Alle Kapitel des Buches enthalten viele interessante Maple Anwendungen zu den
oben
erw\"ahnten Gebieten. Diese Beispiele stellen sicherlich eine Fundgrube dar
f\"ur
PhysikerInnen in Schule, Studium und Industrie. Zudem sp\"urt man eigentlich
w\"ahrend
der Lekt\"ure des gesamten Buches den Enthusiasmus des Autors bzgl. der
M\"oglichkeiten,
die ein Computer--Algebra--System wie Maple bietet. 

Sehr irritierend sind die Bemerkungen des Autors \"uber physikalische
Fragestellungen
von mehr grunds\"atzlicher Natur, z.B. \"uber den "Ubergang von der
klassischen Physik
zur Quantenphysik oder die ``Pfeiler'', die die gesamte Physik tragen. So gibt
es z.B.
sicherlich mehr Zug\"ange zur Quantenphysik als die vom Autor propagierte
``eine
Br\"ucke von der klassischen Physik zur Quantenphysik'' (S.vi) durch die
``Mechanisierung
eines Problems'' (S.vi), und da"s die gesamte Physik auf dem Wirkungsprinzip
und dem Huygensschen Prinzip beruht (S.vi) d\"urfte wohl nur bei ganz wenigen
Physikern ungeteilte Zustimmung hervorrufen. \"Ahnlich unhaltbare Aussagen
finden
sich leider auch in anderen Teilen des Buches, so z.B. die Aussage, da"s die
``Hamilton-Jacobi-Theorie den Schl\"ussel zu einer einheitlichen Beschreibung
der
Natur (liefert)'' (S.183). 

Somit kann aufgrund der erheblichen Defizite bei der Darstellung physikalischer
Zusammenh\"ange das Buch nur sehr bedingt empfohlen werden.

 \begin{flushright}
Peter Altevogt (Heidelberg)
 \end{flushright}                                                              

\item {\Large \bf {Ross, C.C.}, Differential Equations: An Introduction with Mathematica}

Textbooks in Mathematical Sciences, \Springer, \ASpringer, 1995,  ISBN
3-540-94301-3, pp. 503, DM 74,-.

\addcontentsline{toc}{subsection} {{\normalsize \sl {Ross, C.C.},
Differential Equations: An Introduction with Mathematica}} \label{ross}


Das Buch stellt eine elementare Einf\"uhrung in die Theorie
gew\"ohnlicher Differentialgleichungen dar. Von der Stoffauswahl her
kann es mit anderen Einf\"uhrungen wie etwa Boyce/DiPrima oder Walter
verglichen werden, d.h.\ das Buch beschr\"ankt sich auf die lineare
Theorie. Das Ziel des Buches ist es, in das {\em L\"osen\/} von
Differentialgleichungen einzuf\"uhren. Klassisch wird dabei die
eigentliche Differentialgleichungstheorie oft in den Hintergrund
ger\"uckt von Problemen wie dem L\"osen charakteristischer Gleichungen
oder dem Bestimmen von Eigenwerten. Dies vermeidet Ross, indem er
solche Aufgaben an Mathematica \"ubertr\"agt.  Er legt jedoch gro\ss
en Wert darauf, da\ss\ grundlegende Techniken erst an einfachen
Beispielen vorgef\"uhrt und erlernt werden, bevor sie bei gr\"o\ss
eren Problemen dem Computer \"ubertragen werden. F\"ur eine Vorlesung
ist das Buch weniger geeignet, da es theoretisch nicht tief genug
geht. Selbst die klassischen Existenz- und Eindeutigkeitss\"atze
werden nicht bewiesen. Da keinerlei Kenntnisse in Linearer Algebra
vorausgesetzt werden, kann auch z.B.\ die Jordan-Normalform nur
oberfl\"achlich benutzt werden. Gut geeignet ist das Buch f\"ur
vorlesungsbegleitende \"Ubungen oder ein Praktikum. Etwas schade ist,
da\ss\ die f\"ur das Buch entwickelten Notebooks, auf die viel
verwiesen wird, nicht auf einer Diskette oder CD beigelegt wurden. Der
Verweis auf einen amerikanischen ftp server ist f\"ur europ\"aische
Leser nur bedingt hilfreich.

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



\item {\Large \bf {Werner, W.}, Mathematik lernen mit Maple}

mit CD, dpunkt, Heidelberg, ISBN 3-920993-43-8, 2.\ Auflage,
1996, pp.\ 688, 68 DM .
\\
%% Ein Lehr- und Arbeitsbuch f"ur das Grundstudium, Band 1. 
%% Grundlagen, Differentialrechnung,
%%      Numerische Methoden
%%      dpunkt /HVS,   1996
%%      ISBN 3-920993-43-8

\addcontentsline{toc}{subsection} {{\normalsize \sl {Werner, W.},
Mathematik lernen mit Maple}} \label{wilhelm}

{\it Mathematik lernen mit Maple\/} ist das beste Buch, das ich zu diesem
Thema bislang in die H"ande bekam. Es zeigt auf,
wie durch den Einsatz eines Computeralgebrasystems der Unterricht
bereichert werden kann.

Thematisch umfa"st das Buch folgende Bereiche:
1. Grundlagen 
(Logik und Mengenlehre;
Summen und Produkte;
Polynome und rationale Funktionen;
Die trigonometrischen Funktionen);
\linebreak
2. Zahlen und Vektoren
(Nat"urliche Zahlen und Induktion;
Die reellen Zahlen;
Vektoren;
Die komplexen Zahlen);
3. Funktionen; Folgen und Reihen
(Abbildungen; Funktionen;
Folgen; Grenzwerte von Folgen;
Reihen;
Potenzreihen);
4. Differentialrechnung
(Grenzwert bei Funktionen; Stetigkeit;
Differenzierbare Funktionen;
Taylorpolynom; Taylorreihe).

Das Buch ist vor allem f"ur den Einsatz im Rahmen des Ingenieurstudiums 
gedacht (der Autor verwendet beispielsweise konsequent die Bezeichnung $j$ f"ur
die komplexe Einheit) mit einer besonderen Betonung auf numerischen Verfahren.
Diese Ausrichtung ist anwendungsbezogen und gef"allt mir sehr gut.
Allerdings mu"s jeder Dozent, der das vorliegende
Buch f"ur seinen Kurs einsetzen will, das Material geh"orig abspecken. 
Immerhin umfa"st das Buch 688 Seiten, geht jedoch inhaltlich nicht
"uber die Differentialrechnung hinaus. Beim Einsatz im Fachhochschulstudium
(der Autor ist Professor an einer Fachhochschule) k"onnen vielfach die 
Beweise durch Beweisideen ersetzt werden.

Das dargebotene Material ist exzellent aufbereitet.
Als ein typisches Beispiel daf"ur, wie der Autor es versteht, das Erlernen
mathematischen Wissens durch interessante und originelle
Beispiele zu f"ordern, f"ur die der Computeralgebraeinsatz wegen des
Aufwands sinnvoll ist, sei Aufgabe 1-36 aufgef"uhrt:
\begin{quote}
\sl
Sogenannte Intelligenztests beinhalten h"aufig Aufgabenstellungen wie 
die folgende:
\[
\mbox{\glqq Setzen Sie die folgende Zahlenfolge fort: $3, 5, 7, 9, \ldots$ ''}
\]
Finden Sie durch Interpolation eine Gesetzm"a"sigkeit, die diese Zahlen 
{\rm nicht} durch die \linebreak
\glqq offensichtliche'' Fortsetzung $11$ sondern durch
$12$ fortsetzt. Beweisen Sie, da"s die von Ihnen berechnete Gesetzm"a"sigkeit
die gegebenen Zahlen durch {\rm nat"urliche} Zahlen fortsetzt.
\end{quote}
Hier werden verschiedene mathematische Fertigkeiten (Polynom-Interpolation,
Induktion) ge"ubt in Verbindung mit au"serhalb der Mathematik
liegenden interessanten Erkenntnissen.

Leider haben sich in das Buch
auch einige substantielle Druckfehler eingeschlichen. Beispielsweise wird
auf S.~473 die Binomialreihe definiert durch
\[
(1+x)^\alpha=\sum_{k=0}^\infty (-1)^k\,{-\alpha \choose k}\,x^k
\;,
\]
wobei
\[
{\alpha \choose k}:=\frac{\alpha\,(\alpha-1)\cdots(\alpha-k+1)}{k!}=
\frac{(-1)^k\,(\alpha)_k}{k!}
\;.
\]
Hier stellen sich beide Formeln als fehlerhaft heraus,
und entsprechende Fehler wurden in die Potenzreihentabelle auf S.~472 kopiert.

\begin{flushright}
Wolfram Koepf (Berlin)
\end{flushright}

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

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

\vspace*{4mm}

\begin{itemize}


\item {\bf Rheinisch--Westf"alische Technische Hochschule Aachen}\\
{\em Computeralgebra}, G. Hi"s, F. L"ubeck, V4 + "U2\\
{\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


\item {\bf Freie Universit"at Berlin}\\
{\em Algorithmische algebraische Geometrie und ihre Anwendungen}, K. Gatermann, V2

\item {\bf Technische Universit\"at Berlin}\\
{\em Konstruktive Zahlentheorie II}, M. Pohst, V4 \\
{\em Seminar Algorithmische Zahlentheorie un Algebra}, M. Pohst, S2

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

%\item {\bf Technische Hochschule Darmstadt}\\

\item {\bf Universit"at Dortmund}\\
{\em Oberseminar "uber reelle Algebraische Geometrie u. Algorithmen}, 
E. Becker, H. M. M"oller, S2

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

\item {\bf Universit"at Erlangen-N"urnberg}\\
{\em Computeralgebra}, V. Strehl, V4 + "U2\\
{\em Computeralgebra} (Ferienkurs f"ur Lehrer), V. Strehl, V3

%\item {\bf Universit\"at Greifswald}\\
%czichowski@math-inf.uni-greifswald.d400.de  ??

%\item {\bf Technische Hochschule Hamburg-Harburg}\\ 

\item {\bf Martin-Luther-Universit"at Halle(Saale)}\\
{\em Mathematik mit MATHCAD}, H. Benker, V2\\
{\em Wirtschaftsmathematik mit dem Computer}, H. Benker, V4

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

\item {\bf Universit"at Kaiserslautern}\\
{\em Computational Commutative Algebra}, G. Pfister, V2 + "U1\\
{\em Seminar Algebraische Geometrie und Computeralgebra}, G.-M. Greuel, S2\\
{\em Seminar Singularit"aten und Computeralgebra},
 G.-M. Greuel, G. Pfister, S2

\item {\bf P"adagogische Hochschule Karlsruhe}\\
{\em Grundlagen: Algorithmen und Informatik I (unter Verwendung von \cas en) }, J. Ziegenbalg, V2\\
{\em Workshop: Programmiersysteme und -methoden der 'Ku"nstlichen 
Intelligenz' (unter Verwendung von \cas en) }, J. Ziegenbalg, HS2 

\item {\bf Universit"at Karlsruhe}\\
{\em Praktikum Computeralgebra}, J. Calmet, W. Seiler, C. Zenger, P4\\
{\em Konkrete Mathematik}, J. Calmet, C. Zenger, S2

\item {\bf Universit"at K"oln}\\
{\em Galoisgruppen und Permutationsgruppen}, N.Klingen, V2

\item {\bf Hochschule f\"ur Technik, Wirtschaft und Kultur Leipzig}\\
{\em Programmieren mit Mathematica}, W. Koepf, v2



\item {\bf Universit\"at Leipzig}\\
{\em Grundprinzipien des symbolischen Rechnens}, J. Apel, V2.\\
{\em Einf\"uhrung in die Computeralgebra}, H.-G. Gr\"abe, V2.\\
{\em Computeralgebra-Praktikum}, H.-G. Gr\"abe, P2.\\
{\em Konstruktive Invariantentheorie}, H.-G. Gr\"abe, V2.

\item {\bf Universit"at Linz, Research Institute for Symbolic Computation}\\
{\em Einf"uhrung in die Computer Algebra}, F. Winkler, V2 + "U1\\
{\em Kommutative Algebra und algebraische Geometrie}, F. Winkler, V2\\
{\em Diskrete algorithmische Geometrie}, S. Stifter, V2\\
{\em Mathematikunterricht mit Derive }, B. Kutzler, V2\\
{\em Systolic Algorithms in Computer Algebra}, T. Jebelean, V2\\
{\em Algebraic Constraint Solving}, H.Hong, V2\\
{\em Computer Algebra Methods for Elimination}, Tran Quoc Nam, V2\\
{\em Projektseminar Computer Algebra}, F. Winkler, S2

\item {\bf Universit"at Mannheim}\\
{\em Seminar "uber Computeralgebra}, M. Schlichenmaier, W. Seiler, H. Kredel,
S2

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

\item {\bf Universit"at Oldenburg}\\
{\em Gr"obnerbasen und Anwendungen}, W. Schmale, S2

\item {\bf Universit"at-Gesamthochschule Paderborn}\\
{\em Mathematik am Computer}, F. Schwarz, V2 + "U2\\
{\em Computeralgebra I}, von zur Gathen, V4 + "U2\\
{\em MuPAD Seminar}, MuPAD Gruppe, S2

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

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

\item {\bf Universit"at des Saarlandes Saarbr"ucken}\\
{\em Algorithmen zur Polynomfaktorisierung}, W. Decker, V2\\
{\em Proseminar zur Analysis mit Maple}, G. Wittstock, S2

\item {\bf Universit"at T"ubingen}\\
{\em Algorithmen}, R. Loos, V2 + "U2\\
{\em Seminar Bibliotheken in C++}, R. Loos, S2\\
{\em Mitarbeiterseminar Computeralgebra-Software},R. Loos, S2

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

\item {\bf ETH Z"urich}\\
{\em Computeralgebra I}, T. Mulders, 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
}

Die Fachgruppenleitung hat Johannes Grabmeier, Erich Kaltofen  und
Volker Weispfenning beauftragt, eine neue und "uberarbeitete Version 
des \ca-Reports von 1993 herauszugeben. Das wird in englischer Sprache
geschehen und beim Springer-Verlag als Buch erscheinen.
Die Herausgeber bitten um Mitarbeit insbesondere zu den folgenen 
Themen:

%\begin{quote}

% We are preparing an updated translation of a computer algebra
% survey that appeared in German language in 1993.  The new book
% is being published by 

%\begin{center}
%                     Springer Verlag.  
%\end{center}
%\end{quote}


\begin{enumerate}
\item Application reports on computer algebra 

One important chapter of the book is devoted to interesting applications  
of computer algebra sorted in fields like:

\begin{center}
   Mathematics,  Physics, Computer Science, Engineering, Chemistry
   Biology, Medicine, Economy, Business, ...
\end{center}

 Please contact one of the editors and send an abstract and -
 if available - a Web-page info of your application. 
 In case we accept your application report for the survey, we expect to
 get a 1-2 page contribution in LaTeX using the style files and
 bibtex references as explained at the following Web-page:

\begin{center}
{\tt  http://www.math.ncsu.edu/~kaltofen} 
\end{center}
and follow the link {Sample style files}. 
 
 As the book will be delivered with a CD, we even might include your 
 notebook, code, input file for the computer algebra system you have used, 
 please inform us in this case in your abstract about the code 
 (platform, requirements, size, \ldots)

\item Chapter on computer algebra systems and packages

 Here we will have both general purpose and special purpose systems 
 listed and described. Please give us informations on your newly 
 developed systems and interesting packages. As above, please send us 
 an abstract which clearly covers the following topics:
\begin{itemize}
    \item system requirements
    \item availability
    \item target topics
    \item clear distinction from other systems, what is new, what is different
      and why?
    \item user base
    \item applications
\end{itemize}

\item System or demo versions

 We are also interested to distribute your system or a demo version of
 it on the CD delivered with the book.

 Thank you for considering a contribution, and helping us making
 the book a success.
\end{enumerate}


\begin{flushright}
 Johannes Grabmeier, {\tt grabm@heidelbg.ibm.com} \\
 Erich Kaltofen, {\tt kaltofen@eos.ncsu.edu} \\
 Volker Weispfenning, {\tt weispfen@alice.fmi.uni-passau.de} \\
 Editors
\end{flushright}


\item {\bf Prof.~Dr.~Karl~G.~Roesner mit dem Gay-Lussac/Alexander-von-Humboldt-Preis\\
ausgezeichnet.}

Das Mitglied der Fachgruppenleitung, Prof.~Dr.~Karl~G.~Roesner von 
der TH Darmstadt ist einer von f"unf Preistr"agern in diesem Jahr.
Der Preis gibt ihm die M"oglichkeit sich l"angere Zeit an einem
Forschungszentrum in Frankreich aufzuhalten.

Ins Leben gerufen wurde der Preis 1982 aufgrund eines Abkommens zwischen
dem franz"osischen Ministerium f"ur Forschung und Technologie und der 
deutschen Alexander-von-Humboldt-Stiftung. Er wird an franz"osische und
deutsche Wissenschaftler verliehen, die durch ihre Arbeiten
internationale Anerkennung gefunden und zur F"orderung der
deutsch-franz"osischen Zusammenarbeit einen bedeutenden Beitrag
geleistet haben. Prof.~Roesner pflegt seit vielen Jahren
wissenschaftliche Beziehungen zur Universit\'e Pierre et Marie Curie in
Paris und Nantes, sowie zu Wissenschaftlern in Nizza, die sich mit
Fragen der hydrodynamischen Stabilit"at und der numerisch/symbolischen
Behandlung von Problemen der Str"omungsmechanik besch"aftigen. Sein
Forschungsaufenthalt wird der Vertiefung dieser bestehenden Kontakte
dienen.


\item {\bf Fachgruppe Computeralgebra ist weiterhin im ISSAC Steering Committee
vertreten. }


Die Mitgliedschaft unserer Fachgruppe lief mit der ISSAC'97 aus.
Die vom ISSAC Business Meeting gew"ahlten Mitglieder des ISSAC Steering
Committee -- seit Juli sind das  
Manuel Bronstein (bis 1998), Hoon Hong (bis 1999) und
B. David Saunders (bis 2000) -- hatten satzungsgem"a"s "uber die
Beteiligung einer neue \ca-Gesellschaft bzw.\ "uber die Verl"angerung 
unserer Beteiligung zu entscheiden. Die  deutsche Fachgruppe
Computeralgebra wird danach weitere 3 Jahre in der Leitung der
ISSAC-Konferenzreihe vertreten sein. Bis zur ISSAC'98 in Rostock
wird damit die Fachgruppe durch ihren Sprecher, Johannes Grabmeier,
vertreten sein, danach turnusgem"a"s bis zur Neuwahl 1999 durch den
stellvertretenden Sprecher, B. Heinrich Matzat. Die weiteren Vertreter
von \ca-Gesellschaften sind Marc Giusti (Medicis, Frankreich, bis 1999)
und Bruce Char (SIGSAM, USA, bis 1998).

Manuel Bronstein wurde zum neuen Chair des Steering Committees gew"ah"lt.

\item {\bf Journal of Symbolic Computation: Special Issue} 

\noindent
{\em
Orthogonal Polynomials and Computer Algebra, 
Guest Editors: R. A. Askey, W. Koepf and T. H. Koornwinder
},Academic Press, London.\label{Call For Papers}

\noindent
In the last decade major steps towards an algorithmic treatment of
orthogonal polynomials and special functions (OP \& SF) have been made, notably
Zeilberger's brilliant extension of Gosper's algorithm on algorithmic
definite hypergeometric summation.
By implementations of these and other algorithms symbolic computation has
the potential to change the daily work of everybody who uses orthogonal
polynomials or special functions in research or applications.
It can be expected that symbolic computation will also play an
important role in on-line versions of major revisions of existing
formula books in the area of OP \& SF.

In this special issue of the {\sl Journal of Symbolic Computation}
we would like to collect articles about the interaction between
computer algebra and orthogonal polynomials and special functions.
Hopefully, the participants of Session 13 at the First ISAAC Congress
will submit papers, but this special issue is
open for everybody.
Rather than a Proceedings of a session, the issue is meant as a state of the
art account of this topic.

{\bf Important dates:}\\
    Deadline for submission of full papers: 15 January, 1998 \\
    Notification of acceptance/rejection:   31 May, 1998    \\
    Final revised manuscripts due:          15 September, 1998     \\
    Appearance of special issue:            1998/1999

{\bf Guest editor addresses:}\\
Wolfram Koepf,
WWW: \URL{http://www.imn.htwk-leipzig.de/\~{}koepf}.
Fachbereich IMN,
HTWK Leipzig,
Gustav-Freytag-Str.\ 42 A,
D-04277 Leipzig,
Tel.: (0341) 307-6495,
Telefax: (0341) 307-2722,
email: {\tt koepf@imn.htwk-leipzig.de}.\\
Richard A. Askey,
WWW: \URL{http://conley.math.wisc.edu/\~{}askey}.
University of Wisconsin,    
Department of Mathematics,
480 Lincoln Drive,
Madison, WI 53706-1313, USA,\\
email: {\tt askey@math.wisc.edu}. \\
Tom H. Koornwinder,
WWW: \URL{http://turing.wins.uva.nl/\~{}thk}
Department of Mathematics,
University of Amsterdam,
Plantage Muidergracht 24,
NL-1018 TV Amsterdam,
The Netherlands,
email: {\tt thk@wins.uva.nl}.



\item {\bf The OpenMath Consortium} 
\noindent

The OpenMath Consortium was formally established at the Amsterdam Workshop, February 9 -
10, 1996. The Steering Committee of the OpenMath Consortium consists presently of the
following persons: 
\begin{itemize}
\item
     Arjeh Cohen (chairman) (CAN/RIACA, Amsterdam, The Netherlands) 
\item
     Gaston Gonnet (ETH, Z"urich, Switzerland) 
\item
     Mika Sepp"al"a (FSU, Tallahassee, Florida) 
\item
     Robert Sutor (IBM Research, Yorktown Heights, New York) 
\item
     Stephen Watt (INRIA, Sophia Antipolis, France) 
\end{itemize}
During 1993 -- 1996 seven OpenMath workshops have been organized. Much of the material
presented there can be found on the OpenMath History Pages\\
(
\URL{http://www.openmath.org/OpenMath/History}
).
The main URL of the OpenMath project
is 
\URL{http://www.openmath.org/}
 where other details can be found.


\item {\bf Proposal of a Mathematical Markup Language}

The OpenMath community is invited to comment upon the first
draft proposal of the Mathematical Markup Language accessible
via the web page 
\URL{http://www.w3.org/pub/WWW/MarkUp/Math/}

Many OpenMath members participated in drafting this proposal and
elements of the proposal were discussed at the OpenMath
workshop in Nice.

\item {\bf M -- ein System f"ur symbolische und numerische Berechnungen}

Ein neues System f"ur  symbolische und numerische Berechnungen wird derzeit an der Universit"at Heidelberg, Fachbereich Theoretische Physik, entwickelt. Der Stand des Projektes und der derzeitige Umfang des Systems ist unter der URL\\
\URL{http://www.thphys.uni-heidelberg.de/\~{}overmann/M.html} beschrieben.
 

\item {\bf Vergleich der numerischen Datenanalyse bei \cas en und numerischer Software}

  Der Testbericht mit dem Schwerpunkt der numerischen Datenanalyse umfa"st
  Informationen "uber die derzeit aktuellen Versionen von GAUSS       (V:3.2),
  Macsyma     (V:2.2), Maple       (V:4.0), Mathematica (V:3.0), Matlab
  (V:5.1), MuPAD       (V:1.3), O-Matrix    (V:3.2), Ox          (V:1.11),
  S-Plus      (V:4.0). Er beinhaltet Informationen "uber die folgenden Punkte :
Mathematische Funktionen, Grafische Funktionen, Programmierumgebung,
 Datenim- und -export M"oglichkeiten, Verf"ugbarkeit f"ur verschiedene
  Betriebssysteme, Geschwindigkeitsvergleich, sowie eine Zusammenfassung.
 Der Test ist im HTML-Format an folgender Adresse verf"ugbar:
      \URL{http://www.uni-frankfurt.de/\~{}stst/ncrunch.html}




%\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}




%}

\pagestyle{empty}

%\newpage
%%%\input{Aufnahmeantrag.tex}

\newpage
\addcontentsline{toc}{section}{\normalsize \bf 
Aufnahmeantrag f\"ur Mitgliedschaft in der 
Fachgrup\-pe}%\toc_dotfill }
\rule{0cm}{1cm}
 \begin{figure}[htbp]
      \centerline{\psfig{figure=Aufnahmeantrag.ps,width=19cm,height=27cm}}
 \end{figure}
%\pagestyle{empty}


\end{document}










