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


\newcommand\tm{$^{\rm tm}$}
\def\CA{Com\-pu\-ter\-al\-ge\-bra}
\def\ca{Com\-pu\-ter\-al\-ge\-bra}
\def\cas{Com\-pu\-ter\-al\-ge\-bra-Sy\-stem}
\def\bibtex{{\sc Bib}\TeX}
%\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{\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}
%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}

\input{psfig}

\begin{document}
\pagestyle{empty}

\input{CARtitel.tex}



 \vskip 76mm

%{\bf \hspace{3.9cm} Nummer 17  \hfill Oktober 1995 \hspace{0.4cm}}\vskip 9mm

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

{\bf Nummer 17  \hfill Oktober 1995 } 

\vspace{-7mm}

\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 Kolleginnen und Kollegen,

 
mit diesem Rundschreiben erhalten Sie die Wahlunterlagen
f"ur die Neuwahl der Fachgruppenleitung. Die Amtszeit der
derzeitigen Fachgruppenleitung geht im Fr"uhjahr 1996 zu Ende.

Die Fachgruppenleitung hat 12 Mitglieder, von
denen 3 von den beteiligten Tr"agergesellschaften als deren Vertreter bestimmt
werden. Die restlichen 9 werden von den Mitgliedern gew"ahlt. 
Die Amtszeit der
Fachgruppenleitung ist nach unserer Ordnung drei Jahre.
 
Von den von Ihnen zu dieser Wahl vorgeschlagenen Kollegen haben sich 14 % ?15?
bereiterkl\"art, zu kandidieren. Sie werden Ihnen im folgenden mit
Name, Alter, Arbeitsplatz und Arbeitsgebiet kurz vorgestellt:
 
\vspace*{2mm}

\begin{itemize} 

%\item
%{\bf Prof.~Dr. Thomas Beth}, 45, Professor f"ur Informatik an der
%Universit"at
%Karlsruhe, Algebraische Algorithmen und Kodierungstheorie.
% kandidiert nicht (Anruf Matzat 20.10.95)
\item 
{\bf Prof. Dr. Albrecht Fortenbacher}, 41, Fachhochschule f"ur Technik 
  und Wirtschaft Berlin, \axiom, Datentypen, Design von  \cas en.
\item
{\bf Dr.~Johannes~Grabmeier}, 39, IBM Heidelberg Scientific and Technical Center,
Computeralgebra, Computeralge"-bra--System \axiom.
\item 
{\bf Dr.~Hans-Gert~Gr"abe}, 39, Wiss. Mitarb. am Institut f"ur
Informatik der Universit"at Leipzig, kommutative Algebra und Computeralgebra.
\item
{\bf Prof.~Dr.~Karl~Hantzschmann}, 56, Professor f"ur Informatik an der 
Universit"at Rostock, Computeralgebra und Computeranalytik.
\item
{\bf Prof.~Dr.~Adalbert~Kerber}, 56, 
Professor f"ur Mathematik an der Universit"at Bayreuth,
Darstellungstheorie endlicher Gruppen, insbesondere symmetrischer Gruppen.
Algebraische Kombinatorik, konstruktive Theorie diskreter Strukturen und 
 Anwendungen.
\item
{\bf Dr.~Wolfram~Koepf}, 42, Konrad-Zuse-Zentrum f"ur Informationstechnik
Berlin, Computeralgebra und Computeranalysis, orthogonale Polynome und
spezielle Funktionen, Computeralgebra in der mathematischen Lehre,
Computeralgebra-Systeme \maple, \reduce, \mathematica, \derive.
\item    
{\bf Dr.~Heinz~Kredel}, 41, Wissenschaftlicher Mitarbeiter, 
   Rechenzentrum der Universit"at Mannheim,  
   Parallelrechner, Computeralgebra, Computeralgebra-System MAS.
\item
{\bf Prof.~Dr.~Wolfgang~K"uchlin}, 41, Professor f"ur 
symbolisches Rechnen am Wilhelm-Schickard-Institut f"ur 
Informatik an der  Universit"at T"ubingen, paralleles
symbolisches Rechnen.
%\item
%{\bf Prof.~Dr.~Wolfgang~La"sner ???}, 51, 
%Universit"at Leipzig, Analyse von Lie-Algebren.
% kandidiert nicht (bisher keine Zusage)
\item
{\bf Prof.~Dr.~B.~Heinrich~Matzat}, 50, Professor f"ur Mathematik an der
Universit"at Heidelberg, Konstruktive (computerunterst\"utzte)
Algebra und Zahlentheorie.
\item
{\bf Prof.~Dr.~H.~Michael~M"oller}, 48, Professor f"ur Mathematik an der
Universit"at Dortmund, Gr\"obnerbasen und L\"osen von algebraischen
Gleichungssystemen.
\item
{\bf Prof.~Dr.~Michael~Pohst}, 50, Professor f"ur Mathematik an der
Technischen Universit"at Berlin, Computational Number Theory.
\item
{\bf Prof. Dr. Volker~Weispfenning}, 51, Professor f"ur Mathematik an der
Universit"at Passau, Algorithmische Algebra und Logik.
\item    
{\bf Prof. Dr. Wilhelm Werner}, 47, Professor an der Fachhochschule Heilbronn,
Computeralgebra in der Fachhochschullehre.
\item
{\bf Prof. Dr.~Horst G\"unter Zimmer}, 58, Professor f"ur Mathematik an der
Universit"at Saarbr"ucken, Computational Number Theory.

\end{itemize}


Die Wahlleitung f"ur diese Wahl 
haben Prof.\ Friedrich W. Hehl aus K"oln  (Wahlleiter) und
Prof.\ Karl G.\ Roesner aus Darmstadt (stellvertretender Wahlleiter)
"ubernommen.

Bitte kreuzen Sie auf dem Stimmzettel bis zu 9
Namen an und senden ihn im verschlossenen Wahlumschlag
zusammen mit der unterschriebenen "`Versicherung zur Briefwahl"' im
beigef\"ugten R\"ucksendeumschlag bis zum 
\begin{center}
{\bf Freitag 1.~12.~1995, Eingang beim Wahlleiter!} 
\end{center}
an den Wahlleiter, Prof. Dr. Friedrich W. Hehl, Institut f"ur Theoretische Physik, Universit"at K"oln, D-50923 K"oln,
zur\"uck.
Bitte machen Sie von Ihrer Wahlm\"oglichkeit Gebrauch. 

In die neue Fachgruppenleitung sind bereits von den Gesellschaften
delegiert: von der DMV Herr Prof.\ Benno Fuchssteiner, Universit\"at
Paderborn, und von der GAMM Herr Prof.\ Karl G. Roesner, Technische
Universit\"at Darmstadt. 
Der Vertreter der GI wird in der 
n"achsten Sitzung des Fachbereichs 2 im Dezember benannt.
Herr Fuchssteiner und Herr Roesner geh\"orten bereits der alten
Fachgruppenleitung an. 

Die konstituierende Sitzung der neuen Fachgruppenleitung wird 
am Freitag, dem 1. M"arz 1996 in Darmstadt stattfinden.

Die Ordnung sieht weiterhin vor, da"s bis zu 3 weitere Fachexperten
in die Fachgruppenleitung berufen werden k"onnen. Bislang
waren Prof.\ Friedrich Hehl, Universit"at zu K"oln, als Fachexperte
f"ur Physik und Dr.\ Ulrich Schwardmann, Gesellschaft f"ur
Wissenschaftliche Datenverarbeitung, G"ottingen, als Fachexperte
f"ur den Rundbrief berufen. Die Fachgruppenleitung hat 
in ihrer letzten Sitzung in Passau beschlossen, der neuen Fachgruppenleitung
zu empfehlen, diese Fachexperten auch in der neuen Amtszeit wieder
zu berufen.

Die Fachgruppe war bei der Organisation des Workshops
{\rm Symbolic Rewriting Techniques} auf dem Monte Verita bei
Ascona in der Schweiz beteiligt. Einen Bericht dar"uber 
finden Sie auf Seite \pageref{verita}. Besonders herauszuheben 
ist auch der Erfolg der Sektion \ca\ auf der diesj"ahrigen 
Jahrestagung der DMV in Ulm. Es gab so viele Anmeldungen, 
da"s an zwei Nachmittagen die Sitzungen parallel abgehalten 
werden mu"sten. Damit war diese Sektion die drittst"arkste
von den 17 Sektionen der Tagung.  Ein detaillierter
Bericht "uber diese Sektion ist auf Seite \pageref{dmvulm}. 
Dar"uberhinaus gab es
auch in den Sektionen {\rm Mathematische Modelle in den 
Anwendungen} und besonders in der Sektion {\rm Didaktik der Mathematik} 
etliche weitere Vortr"age zum Themenbereich \ca.  Es wird
eine Aufgabe der n"achsten Fachgruppenleitung sein, gerade 
dem verst"arkten Interesse der Didaktik an \cas en durch
gemeinsame Veranstaltungen Rechnung zu tragen.
Auch im n"achsten Jahr wird es wieder eine Sektion \ca\ bei 
der Jahrestagung der DMV in Jena geben.

Auch f"ur eine der zentralen internationalen Konferenzreihen der
\ca, dem {\rm International Symposium on Symbolic and Algebraic
Computation (ISSAC)} wurden in diesem Jahr neue Weichenstellungen
getroffen. Es wurde eine Satzung durch Urwahl verabschiedet, und
dem neu gew"ahlten Leitungskomitee geh"ort unsere Fachgruppe
nun als institutionelles Mitglied, vertreten durch den Sprecher, an. 
Der Bericht dazu steht auf Seite \pageref{issacinfo}.
Insbesondere wurde damit auch die Ausrichtung der ISSAC'98 durch
die Fachgruppe in Deutschland als Satellitenkonferenz zum 
{\rm International Congress of Mathematics (ICM)} in Berlin endg"ultig
festgelegt. 
Bei der letzten Sitzung der Fachgruppenleitung wurde Rostock als
Konferenzort bestimmt. 
Prof.\ Hantzschmann hat bereits die Unterst"utzung der dortigen 
Universit"atsleitung zugesagt bekommen.
Die ISSAC'96 findet in Z"urich statt, 
siehe dazu die Ank"undung auf Seite 32.%\pageref{issac96}. 
Die Organisatoren
dort erhoffen sich eine rege Beteiligung aus Deutschland.

Am Ende dieses Heftes auf Seite
\pageref{beitritt} finden Sie ein neu gestaltetes Beitrittsformular. 
Es ist auch im WWW in unserem \ca-Informationssystem \cais, 
{\tt http://www.uni-karslruhe.de/\~{}CAIS}, als elektronisches
Formular verf"ugbar. Bitte nutzen Sie dies zur Mitgliederwerbung! 
Insbesondere haben wir erreicht, da"s jedes Mitglied seine
Beitragsrechnung mit der Jahresbeitragsrechnung seiner 
Tr"agergesellschaft erh"alt. Mitglieder, die keiner 
der 3 Tr"agergesellschaften angeh"oren, erhalten sie von der GI. 
In den wenigen F"allen, bei denen der Beitrag f"ur 1995 noch nicht 
eingegangen bzw.\ noch nicht in Rechnung gestellt worden ist, 
wird in der n"achsten Zeit unabh"angig von der Jahresbeitragsrechnung
f"ur 1996 daran erinnert bzw.\ im Falle einer Einzugsvollmacht dieser 
eingezogen.

Zur weiteren Verbesserung der elektronischen Kommunikation
haben wir einen Verteiler \\
{\tt cais-l@rz.uni-karlsruhe.de}, 
siehe Seite \pageref{cais-l},
eingerichtet, bei dem Sie subskribieren und an den Sie allgemein
 interessierende Informationen schicken k"onnen. 
Wenn Sie den Eintrag eines Links zu Ihrer eigenen WWW-Homepage 
w"unschen, dann senden Sie bitte entsprechende Informationen 
an \\ {\tt cais@rz.uni-karlsruhe.de}. Die Rundbriefe der
letzten Jahre sind im \cais\  nun auch im {\tt http}-Format bereitgestellt
(siehe Seite \pageref{car-html}).

Auch dieser Rundbrief enth"alt wieder Annoncen. Wir bitten 
Sie die Anzeigen zu beachten, und uns auch Hinweise auf m"ogliche
Anzeigenkunden f"ur kommende Rundbriefe zu geben.
Es sei auch nochmals an die Rubrik {\rm 
Themen und Anwendungen zur Computeralgebra} erinnert. 
Ein- oder zweiseitige "Ubersichtsartikel und interessante
Anwendungsberichte k"onnen daf"ur bei Prof. Matzat eingereicht
werden.
Bitte beachten Sie, da"s wegen der konstituierenden Sitzung  am 01.03.1996
der Redaktionsschlu"s des n"achsten Rundbriefes auf Mittwoch, 26.02.1996
vorverlegt werden mu"ste.

Mit Sorge betrachtet wir auch, da"s der Begriff {\rm Wissenschaftliches 
Rechnen} durchaus unterschiedlich verstanden wird. 
Unserer Auffassung nach ist dies ein Gebiet, bei dem die verschiedenen
wissenschaftlichen Methoden des numerischen, symbolischen und 
grafischen Rechnens
vertreten sind und auch falls n"otig zusammenwirken. 
Gelegentlich wird aber einengend darunter etwa ausschlie"slich das 
numerische L"osen partieller 
Differentialgleichungen aus ingenieur- und naturwissenschaftlichen
Anwendungen verstanden und hierbei der Begriff aus vermeintlich
historischen Gr"unden allein in Anspruch genommen. Hier sollten wir
verst"arkt unsere Methoden, Positionen und Ansichten zur Geltung bringen.
 
\vspace*{3mm}
 
\hspace*{70mm} Johannes~Grabmeier \hspace*{15mm} B.~Heinrich Matzat
\vspace*{5mm}

}%end 

%\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 Representation Theory of Groups, Orders and Algebras}

%Constan\c{t}a, Rum"anien, 25.9.--7.10.1995

%{\footnotesize
% The topics will be the following: \\
% - Computer algebra and representation theory, 
% Wolfgang Kimmerle\\
% - Auslander--Reiten sequences and derived categories, 
% Steffen K\"onig\\
% - Structure of blocks with cyclic defect and Green 
% correspondence, 
% Alexander Zimmermann \\
% - Stable and derived equivalences of blocks,
%  Markus Linckelmann \\
% - Clifford theory and the Zassenhaus conjectures,
%  Klaus Roggenkamp\\
% - Demonstrations of computer algebra systems like GAP and 
% Maple,
%  Martin Wursthorn .

% For more {\bf informations} please do contact one of the 
% {\bf organizers}: \\
% {\rm  Prof.~Dr.~N.~Popescu},
% Dept.~Math.,
% University of Bucharest,
% Rumania,
% E-mail {\tt nipopesc@roimar.imar.ro},  
% FAX 0040-131-29829\\
% {\rm  Prof.~Dr.~K.~W.~Roggenkamp},
% Math.~Institut B,
% Universit\"at Stuttgart,
% Deutschland,\\
% E-mail  {\tt ovid@machnix.mathematik.uni-stuttgart.de},
% FAX 0049-711-685-5322\\
% {\rm  Prof.~Dr.~M.~Stefanescu},
% Dept.~Math.,
% Ovidius University,
% Constan\c{t}a,
% Rumania,
% E-mail {\tt mirela@roimar.imar.ro},
% FAX 0040-41-618372. 


%}

%\item {\bf EUROMECH 343, Computerized Symbolic Manipulation in Mechanics}

%Hamburg-Harburg, 9.--13.10.1995

%{\footnotesize
%A broader understanding of mechanical phenomena can be gained 
%by means of analytical methods. But even for seemingly simple 
%mathematical models, analytical calculations by paper and pencil 
%may become very time-consuming, may be the source of many 
%errors, and will sometimes be impossible. In such cases, 
%computerized symbolic manipulation is clearly faster as well as 
%safer and therefore preferable. Although notable advances in 
%symbolic computation continue to take place on a broad front, 
%purely symbolical investigations often cannot fulfill all of our 
%needs in mechanics. Therefore, a semi-analytical approach, 
%combining the features of analytical and numerical computations, 
%is a most desirable synthesis. This allows the analytic work 
%to be pushed further before numerical computations start.

%The objective of this EUROMECH Colloquium is to present basic 
%concepts, methods and recent applications of computerized symbolic 
%manipulation systems in mechanics.
           
%%{\bf Deadlines:} announcement:            January 31, 1995,
%%           submission of abstracts: May 31, 1995

%{\bf Chairmen:} \\
%Prof. Dr.-Ing. E. Kreuzer, Meerestechnik II, TU Hamburg-Harburg, 
%D-21071 Hamburg, Germany, Tel.: +49/40/7718-3120, Fax: +49/40/7718-2028, 
%Email: {\tt Kreuzer@tu-harburg.d400.de}.\\
%Prof. M. Lesser, Ph.D., Royal Institute of Technology, Lindstedsvagen 25, 
%S-100 44 Stockholm, Sweden, \\Tel.: +46/8/790-7580, Fax: +46/8/796-9850, 
%Email: {\tt mlesser@mech.kth.se}.
%}

\item {\bf Workshop on World Wide Access to Emerging Technology}

Stockholm (Schweden), 23.--27.10.95

{\footnotesize
 Many specialized software systems are emerging throughout the world to
 perform such diverse activities as solving systems of equations,
 constructing algebraic structures, examining properties of geometric
 objects, and visualizing abstract mathematical systems.  Many of these
 programs are not easily ported to other platforms.  Many are unknown.
 The emergence of the world wide web (WWW) now provides remote access to
 these programs.  This opens up some exciting possibilities for
 scientific research and education on an international level.
 
 This workshop will be held in Stockholm, Sweden on October 23-27, 1995,
 to provide a forum where we will discuss ways that we might reach a
 consensus on how best to share their systems.  We will also discuss
 issues involving long distance education in general.  This
 collaboration will result in sharing not just with developers, but with
 the entire scientific and educational community, connected by the
 internet.
 
 Among the issues to be discussed are the following.  Is a common
 interface feasible?  What multimedia features can be exploited by these
 systems?  What are appropriate software development tools for building
 such interfaces?  Can the scientific community agree to share code?
 
 The proceedings will be recorded in a special issue of the Journal of
 Symbolic Computation and we are encouraging submissions.  We will shortly
 announce the editorial board for this issue in a separate mailing.
 
 The MBONE will be used to multicast audio and video from a selection of
 the workshop meetings. Those who wish to view these broadcasts should
 contact their local network administration and check for the presence
 of the "sd" program on local unix-systems.
 
 Please contact Professor Torsten Ekedahl ({\tt teke@matematik.su.se}),\\
 Professor Larry Lambe ({\tt llambe@cesl.rutgers.edu} or {\tt lambe@matematik.su.se}),  or \newline
Professor Brian Malloy 
 ({\tt malloy@cs.clemson.edu}) if you wish to give a
 talk or organize a special session.
}

\item {\bf Workshop on Quadratic Forms in the Representation Theory of\\ 
Finite-Dimensional Algebras}

Bielefeld, 9.--12.11.1995

{\footnotesize
The SFB 343 'Diskrete Strukturen in der Mathematik',
Universit"at Bielefeld
plans to organize at Bielefeld a workshop on the above topic.
Tentative date is November 9 - 12, 1995.

The aim is to survey the present knowledge about the interaction of
quadratic forms (weak definiteness, roots, Coxeter transformation,...)
and the representations of finite-dimensional algebras (representation
type, Grothendieck group, growth number,...) in several 1 hour lectures.
Moreover there should be 30 minutes talks devoted to recent developments.

S. Brenner (Liverpool), D. Happel (Chemnitz), H. v. H"ohne (Berlin),
H. Lenzing (Paderborn), S. Ovsienko (Kiev), J.A. de la Pena (UNAM),
A. Skowronski (Torun) already indicated their participation.

People interested in further information are asked to contact
Peter Dr"axler, Fakult"at f"ur Mathematik, Universit"at Bielefeld,
POBox 100 131, 33501 Bielefeld, Germany
(by email: draexler@mathematik.uni-bielefeld.de)

Organizers: P. Dr"axler, H. Krause, C.M. Ringel}


\item {\bf 6th International Conference on Modern Group Analysis}

Johannesburg, South Africa, 15.--20.1.1996

{\footnotesize
The aim of the conference is to bring together
leading scientists in this field. The conference will also highlight
educational aspects.  The
main topics of the conference will  include:
\null\hspace{0.5cm}$\bullet$ Classical heritage
\null\hspace{0.5cm}$\bullet$ Global and qualitative analysis of
differential equations
\null\hspace{0.5cm}$\bullet$ Perturbation methods and deformations of
symmetry Lie algebras
\null\hspace{0.5cm}$\bullet$ Computer aspects
\null\hspace{0.5cm}$\bullet$ B\"acklund and Darboux transformations
\null\hspace{0.5cm}$\bullet$ Geometric and Group theoretic aspects in
Relativity and
\null\hspace{0.5cm} \phantom{$\bullet$}Quantum Mechanics
\null\hspace{0.5cm}$\bullet$ Symmetry in Classical and Continuum
Mechanics
\null\hspace{0.5cm}$\bullet$ Applications in Engineering and Industrial
problems
\null\hspace{0.5cm}$\bullet$ Educational workshop.

This conference is closely related to the previous five international
conferences held in 1974 (Calgary, Canada), 1978 (Novosibirsk, USSR),
1991 (Ufa, USSR), 1992 (Catania, Italy) and 1994 (Johannesburg, S.A.).

{\bf Scientific Committee}\\
Atiyah M. (UK), Choquet-Bruhat Y. (France), Clarkson P. (UK),
Ibragimov N.H. (Chairman, S.A.), Leach P.G.L. (S.A.), Lichnerowicz A.
(France), Maartens R. (UK),
Mahomed F.M. (Co-chairman, S.A.), Mason D.P. (S.A.), Nayfeh A. (USA),
Olver P.J. (USA), Ovsiannikov L.V. (Russia), Podio-Guidugli P. (Italy),
Rogers C. (Australia), Sears M. (S.A.),
Torrisi M. (Italy), Wright C.J. (S.A.).\\
{\bf Organizing Committee}\\
Adam A.A., Gazizov R.K., Kara A.H., Mahomed F.M. (Chairman),
Manale J., Momoniat E., Nakayama M., Ovenden G., Roussous N.,
Sherwell D., Vawda F., \\
{\bf Conference address}\\
Ms F Vawda\\
Dept.\ Comp.\ Applied Mathematics, University of the Witwatersrand\\
P O Wits 2050, Johannesburg, South Africa\\
Fax: (+27)(11) 339 79 65 \hspace{1cm} Phone: (+27)(11) 716 3444;
\hspace{0.2cm} (+27)(11) 716 3923 \\
E-mail: \tt{fatima@gauss.cam.wits.ac.za}

}

\item {\bf Workshop on  Algorithmic Algebraic Geometry and Singularity Theory}

Dagstuhl, 22.--26.1.1996

{\footnotesize
The workshop is part of the activities of the DFG Schwerpunkt ''Algorithmische 
Zahlentheorie und Algebra'' and is limited to 50--60 participants. Expenses for
accomodation and lodging will be provided by the DFG for all participants, 
travel expenses for members of the Schwerpunkt only.

Organizers: G.-M.\ Greuel, R.~Stobbe.
E-mail: {\tt stobbe@mathematik.uni-kl.de}.
}

\item {\bf Dagstuhl-Seminar 9606 -- Computeralgebra - Software}

Dagstuhl, 5.--9.2.1996

{\footnotesize
im Internationalen Begegnungs- und Forschungszentrum f"ur Informatik in Schlo"s
Dagstuhl ist vom 05.02.1996 bis zum 09.02.1996 ein Seminar mit dem Thema:
{\em Computeralgebra - Software} geplant.

{\bf Leiter:} Prof. Dr. J. Buchmann, University of Saarbr"ucken, Germany,
Prof. Dr. R. Loos, University of T"ubingen, Germany,
Prof. Dr. M"ader, ETH Z"urich, Switzerland.

Das Hauptgewicht bei den Dagstuhl-Seminaren liegt auf dem Austausch neuer Ideen
und der Diskussion neuer Entwicklungen und Ergebnisse. Das Vortragsprogramm
wird deshalb erst im Laufe des Seminars von Tag zu Tag festgelegt. Da Zeit zur
Diskussion (im Plenum, in Gruppen und in Einzelgespr"achen) bleiben soll, kann nur eine beschr"ankte Anzahl von Vortr"agen gehalten werden.
}

\item {\bf 2. AXIOM-Nutzer-Treffen (ANT-2)}

Karlsruhe, geplant Ende Februar -- Anfang M\"arz 1996

{\footnotesize
Die Tagung wird voraussichtlich
Ende Februar/Anfang M\"arz an der Universit\"at Karlsruhe stattfinden.
Weitere Informationen im WWW: 
{\tt http://iaks-www.ira.uka.de/iaks-calmet/conf/ant2.html}. Organisatoren:
Gerhard Schneider, Werner M. Seiler ({\tt seilerw@ira.uka.de}).
}

\item {\bf Fifth Rhine Workshop on Computer Algebra}

Saint-Louis, France, 1.--3.4.1996

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

{\bf Purposes:}\\
This is the fifth edition of a workshop initiated in Strasbourg in
1988. To avoid competition with well-established conferences, the workshop will
be 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 to participants and submissions from western Europe.

{\bf Scientific Committee:}
%\begin{center}
%\begin{tabular}{ll}
Hubert Caprasse (Li\`ege), 
Jacques Calmet (Karlsruhe),
Pierre Jost (Strasbourg), 
Leon Brenig (Brussels),
Didier Pinchon (Paris),
Jean Della-Dora (Grenoble),
Fritz Schwarz (Bonn),
Jean Thoman(Strasbourg).
%\end{tabular}
%\end{center}

{\bf Local Organizers:}
Alain Carri\`ere and Louis-R. Oudin (Saint-Louis)

{\bf Submission:}
Send {\bf two} copies of either a {\bf full paper} or a {\bf four
pages} abstract to
the workshop organizers. Electronic mail submissions in Postscript format are
accepted. Submissions will not be formally refereed. Accepted papers/abstracts
will appear in locally printed proceedings (of good quality).

{\bf Deadlines:}
October 31, 1995 : Submission of papers,
December 15, 1995 : Notification of acceptance.

{\bf Information and submissions:}
By Snail mail:
Alain Carri\`ere or Louis Oudin,
5, rue du G\'en\'eral Cassagnou,
Post Box 34,
F-68301 Saint-Louis (France),
Tel: 033 89 69 51 18 (Carri\`ere),
Tel: 033 89 69 50 71 (Oudin),
Fax: 033 89 69 50 02

By E-mail: (postscript only)
{\tt calmet@ira.uka.de}

Updated information will be available at URL \\
{\tt http://avalon.ira.uka.de/iaks-calmet/conf/rwca96.html}

}
\item {\bf Computeralgebra in Matheducation -- 2nd International Derive Conference}

Bonn, 2.--6.7.1996

{\footnotesize
{\bf Organisatoren:} GMD, ICCAME\\
{\bf Leiter:} B"arbel Barzel (D"usseldorf) und Dr. Leo Klingen (Bonn)\\
{\bf Eingeladene Sprecher:} Michelle Artigue (Frankreich), John Berry (UK), Bruno Buchberger ("Osterreich), Wolfram Koepf (Deutschland), Jeanette Palmiter (USA), Bert Waits (USA).\\
{\bf Konferenzsprachen:} Deutsch und Englisch\\
{\bf Weitere Informationen:} B"arbel Barzel, Heinrich-K"onn-Str. 225, D-40625 D"usseldorf.\\

\cas e finden eine immer gr"o"sere Verbreitung und ihr Einflu"s auf den Mathematikunterricht w"achst st"andig. Thema dieser Konferenz ist es, sich mit Fragen des Einsatzes von \cas en im Mathematikunterricht zu besch"aftigen. 
}

\item {\bf Analytische und Elementare Zahlentheorie}

Wien, 19.--21.7.1996

{\footnotesize
Das Institut f"ur Mathematik und Angewandte Statistik an der Universit"at
f"ur Bodenkultur und das Institut f"ur Mathematik an der Universit"at Wien
laden zu einer wissenschaftlichen Tagung 
nach Wien ein. Es ist dies eine offizielle Satellitenkonferenz zum
Europ"aischen Mathematikerkongress 1996.

Im Rahmen dieser Tagung soll auch der 80. Geburtstag von Prof. Edmund Hlawka
gew"urdigt werden.

Geplant sind Hauptvortr"age der Herren M. Huxley (Cardiff),
 M. Jutila (Turku),
 E. Kr"atzel (Jena),
W. Schmidt (Boulder),
W. Schwarz (Frankfurt/Main). Ausserdem kann jeder Teilnehmer 
(solange der Zeitvorrat reicht) einen Vortrag
in der Dauer von 20 Minuten ank"undigen.

Sollten Sie an weiteren Informationen "uber diese Tagung interessiert sein,
dann senden Sie bitte eine Nachricht entweder per e-mail an
                                Prof. W. G. Nowak,
                              {\tt nowak@mail.boku.ac.at},
oder schriftlich an
                              Prof. J. Schoissengeier,
                              Institut f"ur Mathematik,
                                 Universit"at Wien,
                                  Strudlhofgasse 4,
                                     A-1090 Wien.
Sie erhalten dann zu gegebener Zeit eine zweite Aussendung.
}
\item
{\bf ISSAC 96: International Symposium on Symbolic and Algebraic Computation}

Z\"urich, Schweiz, 24.--26.7.96.

{\footnotesize
Kontaktadresse:
Prof.~Erwin Engeler,
Mathematik, ETH Zentrum HG, CH-8092 Z\"urich, Schweiz,\\
{\tt issac96@math.ethz.ch}.
Stichtag zum Einreichen von Arbeiten ist der 8.1.96 in \TeX\ oder
Postscript an \\ {\tt issac96@cis.udel.edu} oder 6 Kopien an
Prof. B.~F.~Caviness, Computer \& Information Sciences, 103 Smith Hall,
University of Delaware, Newark DE 19716, USA.

N\"ahere Angaben in: {\tt http://www.inf.ethz.ch/ISSAC96/ISSAC96.html} (WWW),\\
{\tt louie.udel.edu:/pub/conferences/issac96} (ftp) oder in diesem Rundbrief
 auf der Seite 32.%\pageref{issac96}. %vorangegangenen Seite.
}

\item {\bf Workshop on Representations of Algebras and Related Topics}

Trondheim, Norwegen, 30.7.--3.8.1996

{\footnotesize
As announced in Cocoyoc, Mexico August 1994, the next meeting in the
series Representations of Algebras and Related Topics will be held in
Norway.

The Workshop on Representations of Algebras and Related Topics will
take place at the University of Trondheim from July 30-th to August
3-rd, 1996. The cost accommodation in Trondheim will be in the range
450-520 NOK for a single room and 275-375 NOK per person in a double
room both including breakfast. There will be some possibilities for
cheaper accommodation, but this number will be limited.
}

\item {\bf ICRA VIII -- 8-th International Conference on Representations of Algebras}
       
Geiranger, Norwegen, 5.--10.8.1996

{\footnotesize
The 8-th International Conference on Representations of Algebras,
ICRA VIII will take place in Geiranger, Norway from August 5-th to
10-th. The program will be arranged on the basis of abstracts received
by the Secretary of ICRA VIII. The deadline for submitting abstracts
will be announced later. The approximate cost for participating in
ICRA VIII at Geiranger will be 100 US dollar in a single room
including all meals. The corresponding cost per person in double room
will be 80 US dollar.

The registration fee will totally be approximately 150 US dollar with
a 50 percent discount for students. The transportation from Trondheim
to Geiranger will be organized and charged each participant. In
general the total cost actually paid by each participant will depend on the
support the local organizing committee will obtain.

The members of the {\bf advisory committee} for ICRA VIII are: R. Bautista
(UNAM, Mexico), S. Brenner (Liverpool, England), M. C. R. Butler
(Liverpool, England), V. Dlab (Ottawa, Canada), Y. Drozd (Kiev,
Ukraine), I. Reiten (Chairman, Trondheim, Norway), C. M. Ringel
(Bielefeld, Germany), A. Roiter (Kiev, Ukraine), H. Tachikawa
(Ashikaga, Japan).

The members of the {\bf program committee} for ICRA VIII are: W.
Crawley-Boevey (Leeds, England), J. A. de la Pena (UNAM, Mexico), E.
Green (Virginia, USA), D. Happel (Chemnitz, Germany), H.  Lenzing
(Paderborn, Germany), A. Skowronski (Torun, Poland), S. O.  Smaloe
(Chairman, Trondheim, Norway).

The local {\bf organizing committee} is: I. Reiten, I. H. Slungaard,
S. O. Smaloe, Oe. Solberg.

If you are interested in further information and updates, please fill
in the attached form and return to the following postal address:
                  Secretary ICRA VIII,
                  c/o Institutt for matematikk og statistikk,
                  Universitetet i Trondheim, AVH,
                  N-7055 Dragvoll,
                  Norway, 
or the following E-mail address or FAX number:
                  E-mail:   {\tt icra@matstat.unit.no}, 
                  Fax:      +47 73 59 10 38, 
                  Phone:    +47 73 59 18 80
before June 1-st 1995.
}

\item {\bf DMV -- Jahrestagung 1996}
       
Jena, 15.--21.9.1996

{\footnotesize
Es findet wieder eine Sektion \ca\ statt. Sie wird von G. Hi"s (Heidelberg) und M. Pohst (Berlin) geleitet.

N"ahere Hinweise unter URL: {\tt http://www.minet.uni-jena.de//dmv96} 
}

\item {\bf DISCO `96 -- International Symposium on Design and Implementation of
                          Symbolic Computation Systems}
       
Karlsruhe, 18.--20.9.1996

{\footnotesize
DISCO `96  is  the fourth  edition of  an  international  Symposium  aiming  at 
presenting and discussing new trends in the development of symbolic computation
systems.

The Symposium focuses on innovative methodological and technological aspects of
computing and reasoning in the following areas of symbolic computation:
%\begin{itemize}
%\item                            Algebraic  Computation 
%\item                            Automated  Reasoning 
%\item                            Geometric  Modelling
%\end{itemize}
Algebraic  Computation, Automated  Reasoning, Geometric  Modelling
  In particular,  contributions are encouraged
 to present substantial new results
in:
{\bf Theoretical Aspects:}
   Language  and specification  issues,  Abstract data types,  Type  inference,
   Programming paradigms,  Reasoning techniques,  Integration of  computing and
   reasoning paradigms, Efficiency and computational issues.
\\
{\bf  Architecture and Software Environments:}
   Parallel  and specialized  architectures,  Software architectures,  Software
   development tools, User interfaces, Visual and graphic tools.
\\
{\bf  Implemented Systems:}
   Reports,  evaluation  and  comparisons  of  significant  innovative  running systems.
\\
{\bf  Scientific Program:}
The program will consist of invited lectures,  panel discussion and contributed papers selected from the submissions. 
\\
{\bf  Paper Submission:}
Four copies of a one-page abstract and of the full paper  (unpublished results,
written in English,  not exceeding 15 double-spaced pages) 
 must be received by 
the  Program Chair  by February  19, 1996. 
 Papers can be sent  via e-mail  (in 
poscript, gzip, uuencode form)  
to the Program Chair at {\tt disco96@dis.uniroma1.it}
\\
{\bf  Publication:}
Accepted papers will be published by Springer Verlag, LNCS-Series,  and will be
made available at the Symposium.
\\
{\bf  Demo Request:}
DISCO `96  offers  commercial  and  academic  participants  an  opportunity  to
demonstrate their systems and / or applications. Please announce your intention
to demo to  the local organizer  by August 1, 1996,  and specify precisely what
type of hardware and software you need. We strongly encourage authors of papers
that describe  systems or  application to  accompany their  presentation with a
demo.
\\
{\bf  Conference Chair:}   
   Jacques Calmet,                   
   Department of Informatics,       
   University of Karlsruhe,          
   Am Fasanengarten 5,               
   76131 Karlsruhe, Germany,         
   {\tt calmet@ira.uka.de},                
   Tel: (+49)721-608-4208,           
   Fax: (+49)721-608-6116.           
\\
{\bf  Program Chair:}                                                          
 Luigia Carlucci Aiello,                    
 Dipartimento di Informatica e Sistemistica,
 University of Rome ''La Sapienza'',         
 via Salaria 113,                          
 00198 Roma, Italy,                        
 {\tt aiello@dis.uniroma1.it},                    
 Tel: (+39)6-8841947,                       
 Fax: (+39)6-85300849.                      
\\
{\bf  Program Committee:}
   L.C. Aiello (I - Chair),           R. Caferra (F),
   J. Calmet (D),                     J.A. Campbell (UK),
   C.M. Hoffmann (USA),               C. Kirchner (F),
   A. Miola (I),                      J. Pfalzgraf (A),
   F. Pfenning (USA),                 A. Salwicki (F/P).
\\
{\bf  Organized by:}
   Institute of Algorithms and Cognitive Systems
   University of Karlsruhe
\\
{\bf  Local Organizer:}
   Karsten Homann,
   {\tt homann@ira.uka.de}
\\
{\bf  Deadlines:}
                        Submission: February 19, 1996,
                        Notification:    May  6, 1996,
                        Final version:  June 15, 1996,
\\
{\bf  Further Information:}
For additional information  about registration  and program  contact  
the local organizer or 
{\tt http://iaks-www.ira.uka.de/iaks-calmet/conf/disco.html}

}

\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 Conference on Symbolic Rewriting Techniques}
 
 Monte Verita, Ticino, Schweiz  1.-4. Mai 1995 
 
 {\footnotesize 
 \label{verita}
 Der von Manuel Bronstein, Erwin Engeler, Johannes Grabmeier und
 Volker Weispfenning organisierte Workshop fand im Centro Stefano
 Franscini der ETH Z"urich in der malerischen Umgebung des Lago
 Maggiore statt. 
 
 Das wissenschaftliche Spektrum der Konferenz zeigte einmal mehr die
 Breite des Gebietes des Symbolischen Rewritings auf. So nahmen neben dem
 klassischen Termersetzungsansatz auch der algebraische Zugang der
 Gr"obner- und Standardbasen mit seinen Erweiterungen und Anwendungen,
 sowie der Stand der Softwareentwicklung einen gro"sen Raum im
 Konferenzprogramm ein.   
 
 Entsprechend den Regeln des Centro  Stefano Franscini fand im Rahmen
 des Seminars ein "offentlicher Vortrag in italienischer Sprache
 statt. Dieser von Teo Mora gehaltene Vortrag zum Thema: {\em
   Risoluzione di equazioni di polinomi: Storia e approcci recenti} 
 wurde aufgrund der geschickten Themenwahl und der bekannten
 Ausstrahlungskraft des Vortragenden zu einem H"ohepunkt der besonderen Art.
 
 Das Konferenzprogramm umfa"ste f"unf einst"undige eingeladene
 "Ubersichtsvortr"age: 
 \begin{itemize} \parsep0.ex \topsep0.ex \itemsep0.ex
 \item J. Davenport: Systems of non-linear equations.
 \item D. Holt: Use of rewriting techniques in finitely presented.
   groups and monoids.
 \item W. K"uchlin: Parallel Completion Techniques.
 \item K. Madlener: Rewriting techniques in monoids and groups.
 \item T. Mora: Non-commutative Gr\"obner bases.
 \end{itemize}
 
 Erg"anzt wurde es durch 30-45 min"utige Vortr"age:
 
 J. Apel: An Algebraic Foundation of Involutive Bases, 
 F. Boulier \& M. Petitot: An algorithm to ``solve'' systems of differential
    polynomial equations, using differential algebra, 
 R. B"undgen: Term Completion Based on a Generalized Symmetrization Procedure, 
 F. Chyzak: Groebner bases in Ore algebras and combinatorial applications, 
 S. Collart: Polynomial Reduction Systems, 
 H. Ganzinger: Refutational First-Order Theorem Proving for Monoids with
    Cancellation, 
 W. Gehrke:  The uniform word problem for monads is decidable,
 M. G"obel: Rewriting permutation-invariant polynomials,
 H.-G. Gr"abe: Computing Triangular Systems in Positive Dimension,
 M. Kalkbrenner:  On the stability of Groebner bases under specializations, 
 B.J. Keller: Algorithmic Issues in Implementing a Non-commutative
    Groebner Basis Package, 
 L. Lambe: A Categorical View of Coset Enumeration and Related Procedures, 
 S. Linton: Vector Enumeration -- a New Tool for Computational Algebra, 
 K. Madlener \& B. Reinert: On Groebner Bases For Ideals in Nilpotent
    Group Rings,  
 D. Mall: Groebner Bases and Fans, 
 C. March\'e: Normalized Completion: A unified view of Knuth-Bendix
    Completion and Buchberger algorithm for computing Groebner bases, 
 U. Martin: Rewriting invariants and group theory, 
 W. Nickel: Using Rewriting Techniques in Polycyclic Groups, 
 A. Peladan-Germa: Testing identities of series defined by algebraic
    differential equations (method and result of an implementation), 
 M. Pesch: Groebner bases in iterated Ore extensions of polynomial rings, 
 D. Shand: Specialised Heuristics for Completing Group Presentations,
 P. Strogova: Finding a Finite Group Presentation Using Rewriting,
 A. Widiger: Deciding degree-four-identities for alternative rings by
    rewriting,  
 H.G. Zimmer: Computing the torsion group of elliptic curves by the
    method of Groebner bases. 
 
% Im Laufe des Workshops wurde die Herausgabe eines Konferenzbandes beim
% Birkh"auser-Verlag ins Auge gefa"st. Eine abschlie"sende Entscheidung
% steht jedoch noch aus.
Ein Konferenzband zum Workshops wird beim Birkh"auser-Verlag erscheinen.
}

    \begin{flushright}
       Joachim Apel (Leipzig)
    \end{flushright}

\item {\bf Computational Number Theory}

 Oberwolfach, 28.5.3.6.95
  
 {\footnotesize 

{\bf Tagungsleitung:} Hendrik W. Lenstra, jr. (Berkeley), Michael
E. Pohst (Berlin), Horst G. Zimmer (Saarbr\"ucken)

Die dritte Tagung \"uber "`Computational Number Theory"' in Oberwolfach
hatte - wie die beiden vorherigen in den Jahren 1988 und 1991 - 
international gro\ss e Resonanz ausgel\"ost. Die 45 Teilnehmer kamen
diesmal aus 12 L\"andern. Leider mu\ss ten wieder viele Anfragen von
Interessenten negativ beschieden werden.

Auf der diesj\"ahrigen Tagung wurde erstmals das Vortragsprogramm
etwas reduziert, um mehr Zeit f\"ur Diskussionen und gemeinsame
Forschungsaktivit\"aten zur Verf\"ugung zu stellen. Und
in der Tat haben diesmal besonders lebhafte Diskussionen 
zahlentheoretischer Probleme der Theorie und Praxis 
stattgefunden und sind ersichtlich
durch wechselseitige Anregungen Fortschritte in Forschungsprojekten
erzielt worden. Beispielsweise wurden einerseits Anregungen zur
Steigerung der Effizienz und Verbesserung der Reichweite von
Algorithmen gegeben und andererseits durch Anwendung von
Computeralgebra-Systemen L\"ucken in theoretischen Untersuchungen
gef\"ullt. Diese Tagung zeichnete sich somit durch eine besondere
Atmosph\"are intensiver Forschungsarbeit aus.

Die Vortr\"age erstreckten sich u.\ a. auf die Themen: Faktorisierung,
diskrete Logarithmen, Polynomarithmetik, Potenzreihen, algebraische
Zahlk\"orper, Klassenk\"orpertheorie, Iwasawatheorie, Modulformen,
elliptische Kurven und Diophantische
Gleichungen allgemeineren Typs. In einer Abendsitzung wurden dann
noch die neuesten Errungenschaften der bekannten zahlentheoretischen
Software-Systeme vorgestellt, und eine weitere Abensitzung war der
Pr\"asentation und Diskussion offener Probleme gewidmet.

Im einzelnen fanden folgende (in zeitlicher Reihenfolge aufgelistete)
Vortr\"age statt: 
J. Pila, {\it Factoring integers with hyperelliptic curves};
R. J. Stroecker, {\it Solving elliptic diophantine equations by
using elliptic logarithms}; J. M. Couveignes, {\it The computation of
coverings of $ P_1\setminus\{a_1,\ldots, a_n\}$ by numerical
methods}; O. Schirokauer, {\it General discrete logarithms}; 
A. J. van der Poorten, {\it Constructing curves with prescribed
singularities}; R. Schoof, {\it Computing Iwasawa modules over
real quadratic fields}; U. Schneiders, {\it Estimating the 2-rank of
cubic number fields by the Selmer group of the corresponding elliptic
curves}; D. Koppenh\"ofer, {\it Monogeneity of quartic number fields};
M. Zieve, {\it Exceptional polynomials}; A. Odlyzko, {\it Some curious
power series coefficients}; Ch. Thiel, {\it Computing short 
representations of algebraic integers}; J. E. Cremona, {\it Infinite
descent on elliptic curves}; P. Serf, {\it How to compute the rank of
elliptic curves over real qudratic number fields of class number one};
D. Zagier, {\it Polylogarithms and multiple zeta values}; M. Daberkow,
{\it On the explicit arithmetic computation of Hilbert class fields};
F. Lemmermeyer, {\it Explicit construction of Hilbert class fields};
F. Diaz y Diaz, {\it Computing the narrow class group}; 
D. J. Bernstein, {\it Multidigid modular multiplication with the
explicit Chinese Remainder Theorem}; E. V. Flynn, {\it Jacobians of
hyperelliptic curves}; E. Volcheck, {\it Addition in the Jacobian of
a plane algebraic curve}; D. Kohel, {\it On the category of supersingular
elliptic curves}; L. Washington, {\it Proving modularity of
$ Q$-curves};
H. G. Zimmer, {\it On Mordell's equation};
K. Nagao, {\it On the construction of high-rank elliptic curves};
W. Bley, {\it Explizite Berechnung von arithmetischen
assoziierten Ordnungen}; P. L. Montgomery, {\it Some aspects of the
number field sieve}; I. Ga\'{a}l, {\it Power integral bases in
algebraic number fields}.\vspace{0.5cm}\\

}

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

\item {\bf Relativit"at und Wissenschaftliches Rechnen:\\
 Computeralgebra, Numerik, Visualisierung}

Bad Honnef, September 1995
                                                        
 {\footnotesize 

Das Wissenschaftliche Rechnen -- auch in der Relativit"ats-- und 
Gravitationstheorie -- steht auf drei S"aulen (siehe Titel), 
wovon die Anwendung der Computeralgebra (CA) durch die zunehmende 
Verf"ugbarkeit hinreichend gro"ser Computer--Resourcen in den 
letzten Jahren einen erheblichen Aufschwung nahm. Auch deshalb 
war etwa ein Drittel der Vortr"age dieser Schule der CA gewidmet. 
\medskip

David Hartley (GMD und Graduiertenkolleg `Scientific Computing' 
K"oln--St.\ Augustin) gab einen "Uberblick "uber verschiedene 
CA--Systeme und deren Anwendung auf Probleme der Allgemeinen 
Relativit"atstheorie. Er besprach sowohl universell anwendbare, 
als auch speziell f"ur die Allgemeine Relativit"at entwickelte 
Systeme. 
\medskip

Anwendungen in der Quantengravitation mit Hilfe von FORM -- beim 
Aufsummieren von Feynman--Graphen -- wurden von Anton van de Ven 
(DESY, Hamburg) pr"asentiert. Harald Soleng (CERN, Genf) las 
"uber Mathematica und dessen Pakete MathTensor (Parker and 
Christensen) und CARTAN (Soleng). Er demonstrierte die Benutzung 
dieser Pakete an Hand von einschl"agigen Problemen der Allgemeinen 
Relativit"atstheorie und der Einstein--Cartan--Theorie der 
Gravitation.
\medskip

Thomas Wolf (Queen Mary and Westfield College, London) besprach 
sein Reduce--Paket CRACK und wie man damit die L"osung von 
partiellen Differentialgleichungen angehen kann. Ein weiteres
Reduce--Packet, n"amlich EDS (exterior differential systems), 
wurde von seinem `Erfinder', n"amlich David Hardley (s.o.), vorgestellt. 
Er l"oste  damit einige in der derzeitigen Relativit"atsliteratur 
auftretende Probleme.
\medskip

Schlie"slich wurde ein Vortrag von Eberhard Schr"ufer (GMD, St.\ 
Augustin) "uber das Reduce--Paket EXCALC3, mit dem im "au"seren 
Differentialkalk"ul Rechnungen zur Differentialgeometrie 
durchgef"uhrt werden k"onnen, verlesen (er selbst war krank). 
Insbesondere M"oglichkeiten zum Kartenwechsel werden in dieser 
neuen Version von EXCALC (die in K"urze erscheinen soll) zur 
Verf"ugung gestellt. 
\medskip

Alles in allem f"uhrte dieser Kurs u.a.\ in all die Methoden ein, 
die notwendig sind, um Computeralgebra in der Gravitationstheorie 
anzuwenden. 
Die Vorlesungen der Schule werden bei Springer Anfang 1996 
erscheinen: {\it Relativity and Scientific Computing}, Hehl et 
al.\ (eds.). 
}

    \begin{flushright}
          Friedrich W.\ Hehl und Roland A.\ Puntigam (K"oln)
    \end{flushright}

\item {\bf DMV Jahrestagung 1995, Sektion Computeralgebra.}

Ulm, 18.--23.9.1995
                                                        
{\footnotesize 
 \label{dmvulm}
Auf der DMV-Tagung in Ulm war die Sektion Computeralgebra wie schon in
Duisburg eine der gr"o\3ten Sektionen, so da\3 an zwei Nachmittagen sogar
Parallelsitzungen durchgef"uhrt werden mussten.
%Die Sektionsleitung lag in den H"anden von J. Grabmeier und dem Berichterstatter.
Entsprechend interessant und vielseitig war das Vortragsprogramm.
Es umfa\3te die folgenden eingeladenen "Ubersichtsvortr"age:
\begin{itemize} \parsep0.ex \topsep0.ex \itemsep0.ex
\item M.~Bronstein (Z"urich): Recent advances in symbolic indefinite
  integration
\item G.~Hi\3 (Heidelberg): \textsf{CHEVIE}---Ein System zum Rechnen mit
  generischen Charaktertafeln, Hecke-Algebren und endlichen Coxeter-Gruppen
\item P.~Kov\'acs (Berlin): Symbolische Eliminationsverfahren und funktionale
        Dekomposition in der Robotik
\item L.~Lambe (Rutgers): ``New Style'' Mathematics: Computation in the Aid of
        Pure Mathematics with Pure Mathematics in the Aid of Computation
\item F.~Ulmer (Rennes): Differential-Galois-Theorie
\end{itemize}
Daneben wurden die folgenden Sektionsvortr"age gehalten:

O.~Becken: Ein Algorithmus zum Bestimmen aller exponentiellen L"osungen einer
        linearen homogenen gew"ohnlichen Differentialgleichung und dessen
        Implementation in Reduce,
A.~Betten: Gruppenaktion auf Verb"anden und die Konstruktion von Designs,
K.~Gatermann: Automatische Klassifikation von symmetrischen
        Verzweigungsproblemen,
M.~G"obel: Strategy Compliant Multi-Threaded Term Completion,
M.~Grap: "uber die Benutzung von fehlerkorrigierenden Codes zur
        Authentifikation,
T.~Gr"uner: Rekursive Erzeugung von schlichten Graphen,
S.~Hoeppner: Lineare Differentialgleichungen in positiver Charakteristik,
K.~Homann: L"osen mathematischer Probleme durch Integration und Kooperation
        mathematischer Software,
M.~Kalkbrener: Rechnen in Polynomringen,
U.~Klaus: Parallele Berechnung von Standardbasen,
W.~Koepf: Algorithmische Summation in MAPLE,
B.~Kutzler: Mathematik unterrichten mit DERIVE und dem TI-92,
J.~M"uller: Analyse von Matrixalgebren,
R.~N"orenberg: Rechnen in der Darstellungstheorie von Algebren mit CREP,
G.~Pfister: Demonstration des Computeralgebra-Systems Singular,
K.~Schilling: Berechnung der Eigenschaften von Satellitenbahnen mit Hilfe von
        Computeralgebra-Systemen,
W.~Seiler: Involutive Systeme von Differentialgleichungen und ihre Anwendungen,
J.~Ueberberg: Abstraktes Beweisen auf dem Rechner,
P.~Zimmermann: MuPAD 1.2.2: a free CAS with all you need.
}

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

\item {\bf CARMA Workshop ``Topics in Symbolic Computation''}

Kopenhagen, D"anemark, 05.--06.10.1995
                                                        
 {\footnotesize 

Das Forschungsprojekt CARMA (Computer Aided Research in Mathematics),
unterst\"utzt durch das Danish Natural Science Research Council,
wird derzeit am Mathematischen Institut der Technischen Universit\"at
von D\"anemark (DTU) durchgef\"uhrt. Der erste CARMA Workshop,
gl\"anzend organisiert von Poul Hjorth und Steen Markvorsen, 
diskutierte verschiedene Aspekte des Symbolischen Rechnens insbesondere
der Experimentellen Mathematik und stimulierte den Ideenaustausch
in hervorragender Weise.
                         
Es folgt eine Liste der eingeladenen Hauptvortr\"age:

{\footnotesize
J. Borwein (CECM, Vancouver): {\it What is Experimental Mathematics:
Some Examples},
A. Cohen (RIACA, Amsterdam): {\it The Influence of Computers on Proofs},
P. Flajolet (INRIA, Paris): {\it Combinatorial Calculus and Symbolic
Computation},
G. Gonnet (ETH, Z\"urich): {\it Symbolic Solution of Equations and Systems
of Equations: New Algorithms in Maple},
G. Michler (IFEM, Essen): {\it Efficient Computation of Elementary
Divisors of Matrices on Parallel Machines},
P. Paule (RISC, Linz): {\it Recent Progress in ($q$-)Hypergeometric 
Summation}.
}}
\begin{flushright}
Peter Paule (Linz)
\end{flushright}       

\item {\bf EUROMECH 343, Computerized Symbolic Manipulation in Mechanics}

Hamburg-Harburg, 9.-13.10.1995


 {\footnotesize 

Diese Konferenz wurde gemeinsam von E. Kreuzer (Technische Universit"at 
Hamburg-Harburg)  und M. Lesser (Royal Institute of Technology, Stockholm) 
veranstaltet. Die Tagungsvorbe- reitung lag in den bew"ahrten H"anden von 
Herrn Kreuzer und seinen Mitarbeitern, die einen "au"serst angenehmen Rahmen 
f"ur den perfekten Ablauf der Tagung geschaffen haben. Tagungs- ort war die 
Technische Universit"at Hamburg-Harburg. Es waren 19 Nationen vertreten.

Es handelte sich um die erste Tagung im Rahmen der EUROMECH-Konferenzen, die 
dem Thema der Computeralgebra im Bereich der Mechanik gewidmet war.
Wie sich anhand der Vortr"age aber zeigte, umfa"ste dieses Thema nicht nur die
Mechanik im engeren Sinne, sondern bezog sich auf viele Ingenieurbereiche,
Mathematik und Physik. Es waren 41 Teilnehmer erschienen, von denen 34 einen
Vortrag hielten. Die Gliederung der einzelnen Sitzungen entsprach in etwa den
verschiedenen Themenbereichen, die den Schwerpunkt der Anwendung von 
Computeralgebra behandelten: 
\begin{itemize} \parsep0.ex \topsep0.ex \itemsep0.ex
\item
Vielk"orperprobleme
\item
Semi-analytische Verfahren
\item
Anwednung auf die Modellierung
\item
Algorithmen
\item
Verzweigunsgprobleme und N"aherungsl"osungen
\item
Programmpakete
\item
Randwertprobleme und Verzweigungstheorie
\item
Vielk"orperprobleme und L"osungen von Differentialgleichungen
\item
Strukturmechanik und Materialeigenschaften
\item
Computeralgebra als Werkzeug
\end{itemize}
Der Behandlung von gew"ohnlichen sowie partiellen Differentialgleichungen und 
von Randwertproblemen waren 10 Vortr"age gewidmet. Der Beschreibung der 
Kinematik und Dynamik von Vielk"orpersystemen galten 9 Vortr"age, 4 Vortr"age 
behandelten Fragen der Strukturmechanik, 3 hatten Verzweigungsprobleme zum
Gegenstand, der Str"omungsmechanik speziell waren 4 Vortr"age zuzurechnen,
2 Vortr"age behandelten die L"osung von gew"ohnlichen Differentialglei- chungen
zweiter Ordnung und 2 Vortr"age bezogen sich thematisch auf die Entwicklung 
von Computeralgebra-Werkzeugen f"ur spezielle Probleme der Mechanik, z.B. der 
effektiven Bildung von Gradienten von Funktionen mehrerer Variablen.\\*[0.3cm]
Von gro"sem Interesse war die Frage nach dem Einsatz von Computeralgebra in der
Lehre. Als ein Musterbeispiel f"ur den konsequenten Einsatz der 
Computeralgebra im Studiengang Mechanik kann das Buch von M. Lesser angesehen 
werden: The Analysis of Complex Nonlinear Mechanical Systems - A Computer 
Algebra Assisted Approach -  World Scientific Series on 
Nonlinear Science E, series A, Vol. 17, 1995 (ISBN 981-02-2209-2). "Uber die 
wichtigsten Ergebnisse der Computeralgebra im Bereich Mechanik gibt das 
folgende Buch einen "Uberblick: Computerized Symbolic Manipulation in 
Mechanics, ed. E. Kreuzer, Springer-Verlag, 1994 (ISBN 3-211-82616-5).

Gegen Ende der Konferenz fand eine Podiumsdiskussion statt, die von M. Lesser 
geleitet wurde und bei der Diskussionsbeitr"age von allen Teilnehmern der 
Konferenz zugelassen und erw"unscht waren. Da der Wunsch ge"au"sert wurde, eine
Gruppe von interessierten Wissenschaftlern aus der Mechanik zu einem engeren
Arbeitskreis "uber Computeralgebra zusammenzufassen, habe ich als Vertreter 
der GAMM in der Fachgruppe zun"achst einmal auf die Arbeit der Fachgruppe 
Computeralgebra hingewiesen (Bericht: Computeralgebra in Deutschland) und den 
Vorschlag unterbreitet, nicht allein die Mechanik, sondern alle 
Ingenieurwissenschaften einzubeziehen. Der Vorschlag fand Zustimmung, und es 
steht zu erwarten, da"s sich in zun"achst lockerer Form ein intensiver 
Ideen- und Gedankenaustausch zu verschiedenen Fragen ergeben wird. Geplant 
ist, nach einem l"angeren Zeitintervall im Rahmen der 
EUROMECH-Veranstaltungen diese "au"serst fruchtbare Konferenz zu wiederholen. 
In diesem Zusammenhang habe ich auch auf die ISSAC'96 aufmerksam gemacht und 
das First Announcement an die Teilnehmer verteilt. In Zukunft sollen 
diejenigen zusammenarbeiten, die z.B. aktiv an der Entwicklung von 
Lernprogrammen auf der Basis der Computeralgebra beteiligt sind. "Uber die 
email-Adressen aller Teilnehmer, die allen Konferenzteilnehmern zug"anglich 
gemacht wurden, soll die Diskussion "uber aktuelle Fragen im Bereich der 
Ingenieurwissenschaften in Gang gehalten werden.

}

\begin{flushright}
K.G. Roesner (Darmstadt)
\end{flushright}


\end{enumerate}

\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{7cm} zu Mathematik und Computeralgebra }%\toc_dotfill }

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

\noindent

\begin{center}
{\bf Der Computeralgebra-Rundbrief im HTML-Format}\\
\label{CAR-HTML}\label{car-html}
\end{center}
\addcontentsline{toc}{subsection}{\normalsize \sl
 Der Computeralgebra-Rundbrief im HTML-Format}

{\footnotesize
\noindent
Seit etwa Anfang des Jahres sind WWW Seiten f"ur die Computeralgebra in Deutschland auf dem WWW--Server des Rechenzentrums der Universit"at Karlsruhe (URL: {\tt http://www.uni-karlsruhe.de/\~{}CAIS}) eingerichtet. Von diesem Server konnten bereits die Computeralgebra-Rundbriefe der Vergangenheit sowohl in LaTeX-Format abgerufen, oder im dvi-Format mit lokalem Viewer am Bildschirm ausgegeben werden. 

\noindent
Die Computeralgebra-Rundbriefe Nr.10 bis Nr.16 sind nun in das HTML-Format konvertiert worden, und liegen damit jetzt auch als Hypertext-Dokumente vor.
Sie sind sowohl "uber die URL {\tt http://www.gwdg.de/\~{}car} als auch  "uber einen Link in der entsprechenden Rubrik des CAIS erreichbar.

\noindent
Die zuk"unftigen Computeralgebra-Rundbriefe sollen in gleicher Weise konvertiert werden. Auf diese Weise ist eine gezieltere Abfrage gew"unschter Informationen aus den vergangenen und den zuk"unftigen Computeralgebra-Rundbriefen m"oglich
}

    \begin{flushright}
      Ulrich Schwardmann (G"ottingen)
    \end{flushright}

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

\begin{center}
{\bf CAIS-L -- Verteilerliste der Fachgruppe \ca}\\
\label{cais-l}
\end{center}
\addcontentsline{toc}{subsection}{\normalsize \sl
CAIS-L -- Verteilerliste der Fachgruppe \ca
}

{\footnotesize
\noindent
Um die Verteilung von Informationen innerhalb der Mitglieder unserer
Fachgruppe zu vereinfachen, haben wir eine sogenannte {\sl mailing liste}
eingerichtet. In diese Liste kann sich jeder formlos eintragen, es gen"ugt eine
email an \\
{\tt listserv@rz.uni-karlsruhe.de}, die als einzige Zeile den Text
{\tt SUBSCRIBE CAIS-L <Vorname> <Nachname>} enth"alt. Wenn Sie sich
wieder austragen wollen, schicken Sie analog eine Nachricht mit 
{\tt UNSUBSCRIBE}

\noindent
Diese Liste eignet sich insbesondere zum Verteilen von Konferenzank"undigungen.
Schicken Sie dazu einfach eine email mit den entsprechenden Informationen an
{\tt cais-l@rz.uni-karlsruhe.de}, sie wird dann automatisch an alle
Abonnenten weiterverteilt. Da auch der Administrator unseres WWW-basierten
Informationssystems auf dem Verteiler ist, wird dann innerhalb kurzer Zeit
eine
"uberarbeitete Fassung einer solchen Ank"undigung in die entsprechende
WWW-Seite "ubernommen.

\noindent
Weitere Informationen zu dieser Liste finden Sie im WWW unter
{\tt http://www.uni-karlsruhe.de/\~{}listserv}, 
% bitte darauf achten, dass im Text die Tilde richtig erscheint:
% Tilde, gefolgt von listserv ohne Blank dazwischen
von wo aus Sie auch direkten Zugang
zum Archiv aller "uber die Liste verteilten Rundschreiben haben.
Ansonsten hat sich am Informationssystem \cais\ nichts ver"andert. 
Sie erreichen
den Administrator nach wie vor direkt "uber {\tt cais@rz.uni-karlsruhe.de}
}
    \begin{flushright}
        Gerhard Schneider (Karlsruhe)
    \end{flushright}

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

\begin{center}
{\bf Math-Net Links to the Mathematical World}\\
\label{Math-Net}
\end{center}
\addcontentsline{toc}{subsection}{\normalsize \sl
Math-Net Links to the Mathematical World
}

{\footnotesize
\noindent
      Seit kurzem gibt es ein weiteres - noch experimentelles - mathematisches
Informationssystem im Web, die
      Math-Net Links to the Mathematical World

     {\tt  http://elib.zib-berlin.de:88/Math-Net/Links/math.html}

\noindent
      Dabei handelt es sich um z.Z. etwa 700 Verweise auf mathematische
Information im Internet bzw. auf Beispiele f"ur Anwendungen der Mathematik
(im weiteren Sinne) in den Wissenschaften (Scientific Computing, Visualisierung,
High Performance Computing und Communication, und ''The Mathematical Museum'').
}
    \begin{flushright}
Joachim L"ugger (Berlin)
    \end{flushright}

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

\begin{center}
{\bf IM-Net (Industrial Mathematics Digest)}\\
\label{IM-Net}
\end{center}
\addcontentsline{toc}{subsection}{\normalsize \sl
 IM-Net: Industrial Mathematics Digest }

{\footnotesize
\noindent
 IM-Net is an electronic newsletter for mathematics in science and industry.
 IM-Net offers communication and information on industrial mathematics
 \begin{itemize} \parsep0.ex \topsep0.ex \itemsep0.ex
 \item announcements of conferences and workshops
 \item calendars of events
 \item job offers for mathematics in industry
 \item contents of journals related to industrial mathematics
 \item discussions of open problems
 \item requests for mathematical references or software solutions
 \item infos on special funding programmes
 \end{itemize}
 
\noindent
 To place a message in the IM-Net newsletter, mail to
          {\tt im-net-digest@iwr.uni-heidelberg.de}
 To receive/delete the IM-Net newsletter, mail to 
          {\tt im-net-request@iwr.uni-heidelberg.de}
 and write {\tt subscribe}/{\tt unsubscribe} in the body of the mail.

\noindent
The newsletter will be edited by Bettina Heimsoeth. We are planning to back
up IM-NET on IWR's WWW-Server of the Interdisciplinary Center for 
Scientific Computing, IWR,  University of Heidelberg
with additional documentation in the near future.
} 


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

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

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

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

%}
%    \begin{flushright}
%      Paul S. Wang (Kent, Ohio)
%    \end{flushright}

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




%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     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
AXIOM Release 2.0a
}}
\end{center}
\addcontentsline{toc}{subsection}{\normalsize \sl 
\axiom\ Release 2.0a }


\noindent
As well as a number of enhancements and bug-fixes to the algebraic libraries,  AXIOM Release 2.0a incorporates three major changes to 
the AXIOM system:

\begin{itemize} \parsep0.ex \topsep0.ex \itemsep0.ex
\item  Introduction of a new patch facility: this will allow users (and NAG) to keep track of future bug-fixes and enhancements 
applied to AXIOM from materials distributed electronically. via the WWW. or by more traditional means.

\item  Reorganisation of the link to the NAG library: to save space the interfaces have been grouped together into packages, so that 
where previously the routine c05adf was implemented in c05adfPackage, it is now implemented in NagRootFindingPackage 
(abbreviated NAGC05) along with all other NAG routines whose name begins ``c05''. Users may need to recompile code 
which uses the NAG link.

\item A large number of improvements have been made to the axiomxl compiler: in particular, compilation is now faster and 
executables are now smaller, and there have been a number of improvements to the optimiser. AXIOM code compiled with 
earlier versions of the compiler will need to be recompiled because of improvements to the runtime system.
\end{itemize}
   
\vspace{1em}\hrule\vspace{1em}

%\begin{center}
%{\Large {\bf
%Derive Version 3
%}}
%\end{center}
%\addcontentsline{toc}{subsection}{\normalsize \sl 
%\derive\ Version 3 }
      
%   Implicit plots, autoscaling, and trace-mode. Animated 3D-plots via
%   hot-links to the AcroSpin program. Boolean simplification and truth
%   tables. Subscripts, and optional degree-mode trigonometric functions.
%   Extension of Taylor series to invert functions or solve algebraic as
%   well as differential equations. Support for the HP-95, 100 and 200LX
%   palmtop computers and Color printers.
%       For information: swh@aloha.com, phone +1-808-734-5801, fax
%       +1-808-735-1105

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

\begin{center}
{\Large {\bf
PC Macsyma 2.0 and Unix Macsyma 419 
}}
\end{center}
\addcontentsline{toc}{subsection}{\normalsize \sl
PC Macsyma 2.0 and Unix Macsyma 419 }

\noindent
PC Macsyma(R) 2.0 marks the second generation of math software.  The major
new features are summarized below.

\noindent
{\bf Notebook Interface} %Macsyma 2.0 has the best notebooks interface in math software.  
Notebooks combine math, text, and graphics in one document.

\begin{itemize} \parsep0.ex \topsep0.ex \itemsep0.ex

\item Math display: Output expressions (and echoed input if desired) appear
   with textbook quality display, including math symbols, Greek
   letters.  Special formatting methods make large expressions easier
   to read at a glance.  You can make large math expressions appear in 
   sections which scroll horizontally and/or vertically.  You can select
   most formatted math output with a mouse and resubmit it as input.
\item Graphics editing and display: In a typical 3D graph, you can edit
   over 200 attributes right in the notebook, using five custom dialog
   boxes and context-sensitive toolbars.
\item Text processing:  Format individual characters (font type and size,
   bold, italics, underline, color) paragraphs (left-right-first-line
   indent, left-center-right alignment, vertical spacing inside and
   between paragraphs, tabs), and pages (margins, page breaks,
   headers, footers).
\item Hypertext links (starting with Macsyma 2.0.8): includes user-defined
   hypertext links within and between notebooks. Links can target
   closed notebooks in different directories.
\item Navigate dialog (starting with Macsyma 2.0.8): contains a short
   summary or assigned names of sections in a notebook or notebooks.
   It can be used to present an outline of the notebook.  Users can
   jump to any section displayed in the dialog. 

\end{itemize}
The hypertext links and Navigate dialog enable you to seamlessly link
very large documents consisting of dozens of notebooks.

\noindent
{\bf Graphics} Macsyma 2.0 has object-oriented graphics with camera animation, data
animation and clipping planes.
\begin{itemize} \parsep0.ex \topsep0.ex \itemsep0.ex

\item A typical 3D plot has over 200 editable attributes, which can be
   edited in the notebooks with five custom dialog boxes.
\item Publication quality labeling
\item IHS and RGB color models, spot and flood lighting
\item Adjust viewpoint, roll, truck, zoom
\item Interactive query for coordinates

\end{itemize}
The product comes with an animated movie of a safari through the
inside of a Klein bottle.  (You do survive and come out ''the 
other end''.)

\noindent
{\bf Linear Algebra} Macsyma 2.0 has more symbolic-numerical linear algebra than any other
product, and almost as much numerical linear algebra as specialized
numerical products.
\begin{itemize} \parsep0.ex \topsep0.ex \itemsep0.ex

\item 180 new matrix commands, including SVD, Schur form, and many other
   operations.
\item Language extensions for compactly specifying matrix operations,
   using a Matlab-like syntax.
\item A Matlab-to-Macsyma translator.  Translate Matlab(TM) function files
   into Macsyma command files, load Matlab files directly into
   Macsyma, or type Matlab commands into Macsyma.

\end{itemize}
\noindent
{\bf Numerical Analysis} Macsyma 2.0 has many new features in numerical analysis.
\begin{itemize} \parsep0.ex \topsep0.ex \itemsep0.ex

\item Numerical integration: a new extrapolated Gaussian quadrature
   package called QUADRATR.
\item Differential equations: ODE\_STIFFSYS solves stiff systems of
   O.D.E.s.  See P.D.E.s below.
\item Data fitting: nonlinear multivariate least squares fits of
   data.  More descriptive statistics.  

\end{itemize}

\noindent
{\bf Partial Differential Equations} Macsyma can find symbolic symmetries and solutions of systems of
P.D.E.s.  It has new capabilities to generate symbolic P.D.E.s in 
arbitrary coordinates.  The companion product PDEase(R) solves 
P.D.E.s numerically using finite element analysis.  

\noindent
{\bf Symbolic Integration} Macsyma 2.0 has improved symbolic integration, for integrals involving
error functions, incomplete gamma integrals, and more elliptic
integrals.  A new implementation of the transcendental Risch
algorithm is faster and more powerful.

\noindent
{\bf Documentation} The Macsyma Reference Manual (15th edition) and the Macsyma User's
Guide (second edition) and the on-line help document the new
features in Macsyma 2.0. Hypertext help is context-sensitive:
Place your cursor on a word, and the F1 key sends you directly to
the description of that word. German language versions of the main
on-line documention are available.

\noindent
PC Macsyma 2.0 is available for the Windows 3.1 or 3.11, Windows 95
and Windows NT 3.5 or 3.5.1 operating systems. Macsyma 419 for 
UNIX workstations includes the same math engine as PC Macsyma 2.0, 
without some of the notebook and graphics features.


\noindent
{\bf For more information contact:}
Macsyma Inc.,
20 Academy Street,
Arlington, MA 02174-6436,
tel: 617-646-4550 or 1-800-macsyma,
fax: 617-646-3161,
email: {\tt info@macsyma.com},
URL: {\tt  http://www.macsyma.com}
or contact one of our international distributors.

    \begin{flushright}
      Richard Petti (Arlington, USA)
    \end{flushright}


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

\begin{center}
{\Large {\bf
Maple V Release 4
}}
\end{center}
\addcontentsline{toc}{subsection}{\normalsize \sl
\maple\ V Release 4 }

   Shipping in the winter of 1995, this release will provide significant
   enhancements to all dimensions of Maple --- graphical user interface,
   plotting, symbolic computation, numeric computation, and the Maple
   language itself.
       One of the most important areas of improvement is in the graphical
   user interface for preparation of Mathematical documents. Release 4
   includes an enhanced worksheet model with outlining controls,
   stylesheet-based document formatting and display facilities, and
   in-line display and manipulation of Maple graphics.
   
\vspace{1em}\hrule\vspace{1em}

%\begin{center}
%{\Large {\bf
%Mathematica
%}}
%\end{center}
%\addcontentsline{toc}{subsection}{\normalsize \sl
%\mathematica }
      
%   A major new version of Mathematica that has been under development for
%   over three years is now in testing.
%       New front end features include editable, typeset input and output,
%   extensive hypertext electronic help, customizable and programmable
%   user interface, and a new notebook file format compatible with layout
%   languages such as TeX and html.
%       Major new kernel functionality includes more powerful symbolic
%   integration, an improved numerical differential equation solver,
%   additional special functions, and faster, more compact overall
%   performance.
   
%\vspace{1em}\hrule\vspace{1em}

\begin{center}
{\Large {\bf
REDUCE 3.6
}}
\end{center}
\addcontentsline{toc}{subsection}{\normalsize \sl
\reduce\ 3.6 }
Version 3.6 of REDUCE is now available for distribution. This is the first major update since the release 
of REDUCE 3.5 in October 1993. As is usual for a new release, a large number of bugs and awkward 
features (including those documented in the patches.red available from the REDUCE Network Library) 
have been corrected. Taken together with the many new features that have been added, REDUCE 3.6 
represents a significant enhancement over previous versions.


In addition to the capabilities of the original release of REDUCE 3.5, this new version supports, among other things:

\begin{itemize} \parsep0.ex \topsep0.ex \itemsep0.ex


\item definite integration



\item noncommutative Gr”bner bases



\item expanded special function handling



\item improved solve capabilities



\item improved trigonometric simplification



\item linear algebra and linear programming



\item matrix normal forms



\item operations on sets



\item residue computations.


\end{itemize}
The REDUCE algebraic mode has been improved substantially since the last release, in particular it offers:

\begin{itemize} \parsep0.ex \topsep0.ex \itemsep0.ex


\item improved rule list capabilites, including free operators, conditional binding of variables and better match facilities e.g. for quotients



\item a new trace module allows the trace on algebraic level which includes a trace facility for rule lists.

\end{itemize}


The REDUCE graphic interface has been improved e.g. the user is now able to plot implicitly defined functions.


%\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 {Blachmann, N., Mossinghoff, M.J.}, { \sl Maple griffbereit, Alle Versionen bis Maple V 3}, \Vieweg , {ISBN 3-528-06529-X}, {1995}, {pp. 365}, DM 58,- . 
\item {Bronstein, I.N., Semendjajew, K.A., Musiol, G., M"uhlig, H.}, { \sl Taschenbuch der Mathematik}, 2."uberarb. und erw. Aufl.. Verlag Harri Deutsch, Thun 1995;

enth"alt einen Abschnitt "uber \ca .

\item {Edwards, H.M.}, { \sl Linear Algebra}, \Birkhaeuser , {ISBN 3-7643-3731-1}, {1995}, {pp. 198}, DM 68,-, sFr 58,-, "oS 530,40. 

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

\item {Feagin, J.M.}, { \sl Methoden der Quantenmechanik mit Mathematica (R)}, \Springer , {ISBN 3-540-58544-3}, {1995}, {pp.535+XXIII}, DM 88,-. 

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

\item {Gander, W. and H\v reb\'\i\v cek, J.}, { \sl Solving Problems in Scientific Computing using Maple and Mathematica, 2nd Edition}, \Springer , {ISBN 3-540-58746-2}, {1995}, DM 68,-. 

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


\item {J. Glynn}, { \sl Mathematik entdecken mit DERIVE, von der Algebra bis zur Differentialrechnung}, \Birkhaeuser , {ISBN 3-7643-5001-6}, {1995}, {pp. 162}, DM 38,-. 

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


\item {Heinrich, E., Janetzko, H.-D.}, { \sl Das Maple Arbeitsbuch}, \Vieweg , {ISBN 3-528-06591-5}, {1995}, {pp. IX+263}, DM 38,-. 

Das Buch wird auf Seite \pageref{heinr-jan} in diesem Rundbrief besprochen.

\item {{H}ermann, C.}, { \sl {M}athematica, {P}robleme, {B}eispiele}, \Thomson , {ISBN 3-929821-10-9}, {1995} DM 79,-. 

\item {Strampp, W. and Ganzha, V.}, { \sl {D}ifferentialgleichungen mit {M}athematica} \Vieweg , {ISBN 3-528-06618-0} {1995}, {}. 

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

\item {van der Poorten, A.J., Shparlinski, I., Zimmer, H.G., (eds.)}, { \sl Number Theoretic and Algebraic Methods in Computer Science. Proceedings of the International Conference in Moscow, June-July 1993.}, World Scientific, Singapore, {ISBN 981-02-2334-X}, {1995}, {pp. ix + 205}, USD 64. 

{\footnotesize
     NTAMCS'93 brought to Moscow researchers from areas of computer science and mathematics that traditionally have been apart, but which use similar number    theoretic and algebraic methods. An incomplete list of such areas includes 
cryptography, coding theory, computational algebra and number theory, and       numerical analysis. The papers in this volume emphasise the common principles 
and the essential unity of the computational and mathematical sciences. 
  Readership: Mathematicians and computer scientists.
}

\item {Yavetz, I.}, { \sl From Obscurity to Enigma, The Work of Oliver Heaviside. 1872-1891}, \Birkhaeuser , {ISBN 3-7643-5180-2}, {1995}, {pp. 334}, DM 118,- öS 861,40, sFr 98,-
 
Das Buch wird im n"achsten Rundbrief besprochen.

\end{itemize}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     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 \subsection*{Harold M. Edwards, Linear Algebra} Birkh\"auser Verlag,
Basel, Berlin, Boston, 
\hfil\break
1995, ISBN 0-8176-3731-1, 198 Seiten, Hardcover, DM 68,-; \"OS 530,40; SFr 58,-
\label{edwards}
\addcontentsline{toc}{subsection} {{\normalsize \sl 
H.M. Edwards, Linear Algebra} }


Der Titel "`Linear Algebra"' des Buches von Edwards ist irref\"uhrend
und sollte, wie der Autor selbst einr\"aumt, durch ''Matrixarithmetik''
ersetzt werden. Die Matrixarithmetik wird dabei aber nur f\"ur Matrizen
mit Eintr\"agen aus ganzen bzw. gebrochen rationalen Zahlen behandelt.
Dieser spezielle Ansatz ist eine Konsequenz der Absicht des Autors,
Mengentheorie zu vermeiden. Da der Grenzwertbegriff nicht zur Algebra
geh\"ort, werden auch reelle Zahlen als Matrixeintr\"age (weitgehend)
vermieden. Dadurch k\"onnen fundamentale S\"atze \"uber Matrizen
wie der Spektralsatz in dem Buch nur rudiment\"ar anklingen.

Mit diesen Einschr\"ankungen wird ansonsten Matrixarithmetik unter 
algorithmischen
Aspekten betrachtet, d.h. zu den S\"atzen \"uber Matrizen
werden stets die entsprechenden Algorithmen angegeben. Zur 
Illustration dienen ausgiebige Beispiele und \"Ubungsaufgaben am
Ende eines jeden Kapitels (mit L\"osungen am Schlu\ss\ des Buches). 
Gerechtfertigt wird der durch Beispiele erg\"anzte algorithmische 
Ansatz mit dem Argument, da\ss\ einerseits kein
Beispiel ohne Bezugnahme auf die allgemeine Theorie durchgerechnet
werden kann und andererseits die allgemeine Theorie ohne die
Heranziehung von Beispielen unverst\"andlich bleibt. Der Autor
erinnert an Hilberts Ausspruch, wonach man immer "`mit den ganz 
einfachen Beispielen"' anfangen soll.

Der Zweck des Buches besteht darin, die F\"ahigkeit des Lesers
zum Rechnen mit Matrizen zu f\"ordern oder genauer sogar die
Veranschaulichung dieses Rechnens zu erm\"oglichen.

Das Buch beginnt in Kapitel 1 mit der Matrixmultiplikation, die aus
der Hintereinanderausf\"uhrung von Substitutionen erkl\"art wird.
Der in Kapitel 2 eingef\"uhrte Begriff der Matrix\"aquivalenz leitet 
dann in Kapitel 3 zur Matrizendivision und ihren Zusammenhang mit
Diagonalmatrizen \"uber. Die \"Aquivalenz von Matrizen wird in
Kapitel 5 durch die Gleichheit ihrer \"aquivalenten ''stark 
diagonalen Matrizen'' algorithmisch entschieden. Der dazu ben\"otigte
Determinantenbegriff, rekursiv eingef\"uhrt durch den Laplaceschen
Entwicklungssatz, findet sich in Kapitel 4. Diese ersten f\"unf
Kapitel behandeln nur Matrizen \"uber den ganzen Zahlen.

Erst ab Kapitel 6 werden auch gebrochen rationale Zahlen als 
Matrixeintr\"age zugelassen. Das Problem der Matrixinversion \"uber
beliebigen rationalen Zahlen reduziert sich durch Multiplikation mit
dem Hauptnenner auf dasjenige \"uber den ganzen Zahlen. Interessant
ist der in Kapitel 7 durch Verallgemeinerung der Methode der
kleinsten Quadrate 
eingef\"uhrte Begriff des Pseudo-Inversen (hier "`mate"' genannt).
Bekanntlich sind zwei Matrizen genau dann \"ahnlich, wenn ihre
charakteristischen Matrizen \"aquivalent sind. Die \"Aquivalenz
von Polynommatrizen ist daher Gegenstand von Kapitel 8, und zwar
nat\"urlich ganz in Analogie zur \"Aquivalenz ganzzahliger
Matrizen in Kapitel 2; und in Kapitel 9 wird die \"Aquivalenz
von Polynommatrizen -- in Analogie zur \"Aquivalenz ganzzahliger 
Matrizen in Kapitel 5 -- algorithmisch entschieden. Um unter Vermeidung
der komplexen Zahlen ganz im Bereich der rationalen Zahlen
verbleiben zu k\"onnen, kommt hier statt der Jordannormalform nur
die rationale Normalform als die einfachste Matrix, zu der eine gegebene
Matrix \"ahnlich ist, zur Sprache. Der Spektralsatz erscheint im
abschlie\ss enden Kapitel 10 zun\"achst nur in der rudiment\"aren Version
\"uber den rationalen Zahlen, wird dann aber doch noch \"uber den
reellen Zahlen voll ausformuliert. Ein Anhang bringt Anwendungen auf
lineare Programmierung.

Das Buch ist wegen seines restriktiven Ansatzes, n\"amlich ohne
Mengenlehre auszukommen und daher nur ganze oder gebrochen rationale
Zahlen als Grundbereiche zuzulassen, in sehr eingeschr\"ankter Weise
verwendbar. (Denn in Deutschland wird die ''Mengenlehre'' ja bereits
auf dem Gymnasium betrieben, und die reellen und komplexen Zahlen
lernen die Studenten an der Universit\"at bereits in den ersten
Semestern.) Vermutlich hat der Autor vorwiegend an undergraduate students
und high school teachers als Leser gedacht. Der algorithmische 
Standpunkt des Buches ersch\"opft sich auch in der jeweiligen
\"Ubertragung der S\"atze in ein aus endlich vielen Schritten
bestehendes Rechenverfahren ohne Anspruch auf Praktikabilit\"at.
Es soll eben die ''Imagination'' des Rechnens mit Matrizen 
gef\"ordert werden. Lineare Algebra steht dabei naturgem\"a\ss\
immer im Hintergrund, so da\ss\ der Titel ''Linear Algebra'' doch
in gewisser Weise gerechtfertigt ist. Da der beschriebene Ansatz
interessant ist und die Theorie auf originelle Art dargestellt wird,
kann das Buch trotz der gemachten Einschr\"ankungen zur Lekt\"ure
empfohlen werden. 

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


\item \subsection*{James M. Feagin, Methoden der Quantenmechanik mit Mathematica} Springer-Verlag~ Berlin~ Heidelberg~ New York,
\hfil\break
1995, ISBN 3-540-58544-3~  80 Abb., XXIV+535 Seiten, gebunden, DM 88,-; \"OS 686,40; SFr 84,50
\label{feagin}
\addcontentsline{toc}{subsection} {{\normalsize \sl 
J. M. Feagin, Methoden der Quantenmechanik mit Mathematica} }

\def\Ma{{\it Mathematica}}
\def\qu{Quantenmechanik}
\def\lf{\hfil\break}

Das Geleitwort bezeichnet das Buch als {\it Werkzeugkasten
zur Quantenmechanik}. Dies ist allerdings ein {\it understatement}.
Es stellt nicht nur eine Sammlung von Tools zur Nutzung von {\it
Mathematica} in der Quantenmechanik dar, sondern ist, im Gegensatz
zu anderen \mathematica --B\"uchern, auch als Physiklehrbuch zu lesen.
So wie die \qu{} sonst von der Spannung zwischen Funktionalanalysis und Physik
lebt, hat James M. Feagin ein Buch geschrieben, in dem der Formalismus
von \mathematica{} parallel zur Physik verdeutlicht wird.
Angenehm ist hierbei, da\ss{} Feagin die M\"oglichkeiten von
\mathematica{} voll ausnutzt, um die Gestalt der Gleichungen m\"oglichst nahe am 
\"ublichen Lehrbuchgebrauch zu halten, beispielsweise durch Nutzung
von reinen Funktionen und Pr\"afixformen (Operatoren) und,
um die zwei Ebenen Physik und \mathematica--Syntax m\"oglichst sauber
auseinanderzuhalten, durch Arbeit mit Postfixformen.

Das Buch ist als Parallelkurs zu einer Vorlesung \"uber 
nichtrelativistische Quantenmechanik geeignet.
Es bearbeitet einen breiten Themenbereich, vom Teilchen im Kastenpotential
\"uber den ausf\"uhrlich behandelten harmonischen Oszillator 
bis hin zum Wasserstoffatom, mit dem daf\"ur detailliert
ausgearbeiteten Formalismus. Wert gelegt wird auch auf motivierende
Beispiele, d.h. solche, die von Hand eher m\"uhselig auszuf\"uhren
sind, insbesondere aus der Quantendynamik.
Eine Einf\"uhrung in \mathematica{} % und die
%bevorzugte Darstellungsweise dieses Buches sind 
ist enthalten, so da\ss{}
zus\"atzliches Nachschlagen im \mathematica--Buch im allgemeinen nicht n\"otig
ist.

Das mit Abstand rechenzeitaufwendigste Beispiel, eine graphische Darstellung 
der Wahrscheinlichkeitsverteilungen in einem Kontinuumszustand
des Wasserstoffatoms, f\"ur das im Buch 20 Minuten angegeben werden
(Mac, 68030-Prozessor, 16 MHz, 8 MB), ben\"otigte \mathematica{} 2.2
auf einem SparcServer 1000 eine Zeit von 2:10 min, %  (TimeUsed[]=236.75),
auf einer Sparc1 Workstation      15:10 min %(TimeUsed[]=860.717)
und \mathematica{} 2.0 auf einem 25 MHz schnellen 386-er PC (mit Coprozessor)
15:56 min. % (TimeUsed[]=950.3). 
Da nur bei zwei Beispielen
Rechenzeiten gr\"o\ss{}er als eine Minute angegeben werden, kann dies als
obere Absch\"atzung dienen.

Zusammengefa\ss{}t ist {\bf Methoden der Quantenmechanik mit  Mathematica} 
ein f\"ur An\-f\"anger taug\-liches
Buch, aus dem auch \mathematica--erfahrene Leser viele spannende Anregungen
entnehmen k\"onnen. Und es ist au\ss{}erdem der angek\"undigte 
Werkzeugkasten mit vielen Funktionen, die man schon immer gern haben wollte,
aber zu faul war selbst zu programmieren.


\begin{flushright} Falko Spiller (K\"oln) \end{flushright}


\item \subsection*{{Gander, W.,  H\v reb\'\i\v cek, J.}, Solving Problems in Scientific Computing Using Maple and
Matlab, second, expanded edition} \Springer , Heidelberg, {ISBN 3-540-58746-2}, {1995}, {pp. 320}, Softcover DM 68,00, "oS 530,50, SFr 65,50.
\addcontentsline{toc}{subsection} {{\normalsize \sl {W. Gander,  J. H\v reb\'\i\v cek}, Solving Problems in Scient. Comp., 2nd Ed.%Using Maple and Matlab
} }\label{gander}


Der berechtigte Erfolg dieses Buches hat nun nach zwei 
Jahren bereits eine Neuauf\/lage n"otig gemacht. Im Rundbrief 15
wurde vom Rezensenten bereits die erste Auf\/lage besprochen.

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

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

Die entstandenen Programme wurden auf die neuesten Versionen der
verwendeten Software angepa"st und k"onnen mittels anonymen {\tt ftp}
vom Rechner {\tt ftp.inf.ethz.ch} "ubertragen werden. 

Einige Kapitel wurde verbessert und erweitert. Das Kapitel 15 lautet
nun {\sl Modeling Penetration Phenomena}, das Kapitel 17 {\sl Free Metal
compression}. In zwei g"anzlich neuen Kapiteln werden die 
Themen {\sl Transient Response of a Two-Phase Half-Wave Rectifier} und
{\sl Circuits in Power Electronics} behandelt.

Meine Empfehlung dieser noch attraktiver gewordenen 
Beispielsammlung gilt nat"urlich weiterhin. Sie kann auch durchaus als Modell
gesehen werden, den Einsatz von symbolischen und algebraischen
Methoden gerade bei solchen Problemen aus Ingenieur- und Naturwissenschaften
weiter bekannt zu machen. 

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


\item \subsection*{Glynn, J., Mathematik entdecken mit Derive
 -- von der Algebra zur Differentialrechnung}
\Birkhaeuser , {ISBN 3-7643-5001-6}, {1995}, {pp. 162}, DM 38,-. \label{glynn}
\addcontentsline{toc}{subsection} {{\normalsize \sl 
J. Glynn, Mathematik entdecken mit Derive
} }


Es ist erfreulich, da"s sich zunehmend mehr Publikationen mit
dem f"ur die 
Akzeptanz von Werkzeugen der Computeralgebra ausserordentlich
wichtigen 
Anliegen, die Nutzung von Computeralgebra-Systemen in die
Mathematikausbildung von Sch"ulern und Studenten zu integrieren, widmen.

Das Ziel des von Glynn verfa"sten Buches ist im Titel
treffend charakterisiert. 
Es geht dem Autor vordergr"undig nicht darum, das System
Derive vorzustellen 
oder das Spektrum der m"oglichen Anwendungen vorzuf"uhren. Das
Buch soll vor 
allem dem Lehrer in der Schule und seinen Sch"ulern zeigen,
wie man durch 
Integration des Computers in den Mathematikunterricht und in
die Freizeitbesch"aftigung mathematische Erkenntnisse und
Ph"anomene entdecken, sowie mathematische Vermutungen und
Aussagen verifizieren kann. Jedes Kapitel
 offenbart, da"s sich hier ein Lehrer mit seinen langj"ahrigen
didaktischen
 Erfahrungen und seiner ausgepr"agten Liebe zur 
mathematischen Bildung von 
jungen Menschen zu Wort meldet.

Das vom Birkh"auser Verlag herausgegebene Buch ist die
deutsche "Ubersetzung 
der 1992 erschienenen dritten Auflage der amerikanischen
Originalausgabe.

Glynn vermittelt seine Erfahrungen mit dem von ihm
realisierten Mathematikprogramm, in dem einige typische
Probleme aufgezeigt werden. Das Spektrum
des behandelten mathematischen Stoffes reicht in 15 Kapiteln
vom einfachen Zahlenrechnen bis zu den Anfangsgr"unden der
Differential- und  Integralrechnung und erfasst wohl alle relevanten Themen der
Schulmathematik. Zu 
jeder Aufgabe werden die f"ur die Untersuchungen notwendigen
Eingaben f"ur
 Derive beschrieben. Bildschirmabbildungen sind ebenfalls
vorhanden. Der in Dialogform gestaltete Text und die
zahlreichen Aufforderungen zur eigenen 
Aktivit"at sind sicher sehr geeignet, junge Leser anzusprechen
und sie zur 
aktiven Besch"aftigung mit Mathematik unter Zuhilfenahme des
Computers
 zu animieren und zu bef"ahigen. Insbesondere wird das Buch
aber f"ur alle 
Lehrer ein "`Lehrbuch"' zur didaktischen Gestaltung eines
modernen
Mathematikunterrichts sein.

Ein Nachteil des Buches  besteht nach Meinung des Rezensenten
aber darin, 
dass es keinen Abschnitt gibt, in dem das System Derive in
seiner Gesamtheit vorgestellt und die Handhabung und Anwendung
des Systems zusammenh"angend
 und "urbersichtlich erl"autert wird. Die jeweils zu den
Aufgaben angegebenen 
Tastenfolgen sind zwar eine Anleitung zum Handeln, k"onnen
aber nicht das gew"unschte Verst"andnis f"ur
Computeralgebra-Systeme vermitteln. Im Anhang 
des Buches sind die Befehle, Funktionen und Dateien des
Systems tabellenartig zusammengestellt.
 
\begin{flushright} Karl Hantzschmann (Rostock) \end{flushright}

\item \subsection*{ E. Heinrich, H.-D. Janetzko,  Das Maple Arbeitsbuch} 
Vieweg, Braunschweig/Wiesbaden, 1995, ISBN 3-528-06591-5,
IX+263 Seiten, DM 38,00.\label{heinr-jan}
\addcontentsline{toc}{subsection} {{\normalsize \sl 
E. Heinrich, H.-D. Janetzko,  Das Maple Arbeitsbuch
} }

Das vorliegende Buch ist eine elementare Einf"uhrung in die Anwendung von {\sl Maple}.
Es gliedert sich in die acht Kapitel
{\it Einf"uhrung,} {\it Differentialrechnung,} {\it Integralrechnung,}
{\it Differentialgleichungen,} {\it Algebra,} {\it Statistik und Kombinatorik,}
{\it Graphik} sowie {\it Maple als Programmiersprache.}
Die Beispiele entstammen, wie die Autoren in ihrem Vorwort schreiben,
Mathematikvorlesungen f"ur Studenten an Fachhochschulen.
Einige Abschnitte enthalten "Ubungsaufgaben ohne L"osungen.
Das Buch endet mit einem Sachwortverzeichnis, das (leider) die {\sl Maple}-Befehle
nicht enth"alt.

In Kapitel 1 wird zun"achst ein "Uberblick "uber {\sl Maple} gegeben, sodann
werden die grundlegenden Eigenschaften von Zahlen, Vektoren, Matrizen und Funktionen
dargestellt.  Kapitel 2 ist der Differentialrechnung einer und mehrerer Ver"anderlicher
gewidmet. Es werden auch die Bereiche Grenzwerte, Interpolation
und Vektoranalysis angesprochen. In Kapitel 3 wird dem
Leser erkl"art, wie sich mit {\sl Maple} bestimmte und unbestimmte, eigentliche
und uneigentliche Integrale einer und mehrerer Ver"anderlicher berechnen lassen.
Der letzte Abschnitt dieses Kapitels untersucht Fourierreihen und -transformationen.
Kapitel 4 stellt M"oglichkeiten zur L"osung von gew"ohnlichen und partiellen
Differentialgleichungen vor. Im Kapitel "uber Algebra werden Gleichungen,
lineare Gleichungssysteme, Matrizen, Determinanten sowie Eigenwerte und -vektoren
behandelt. In Kapitel 6 stellen die Autoren einige {\sl Maple}-Befehle
zur beschreibenden und schlie"senden Statistik sowie zur Kombinatorik vor.
Kapitel 7 erl"autert die M"oglichkeiten von {\sl Maple} zur graphischen
Darstellung von Kurven und Fl"achen im Raum und in der Ebene, einschlie"slich
ihrer Animation. Im letzten Kapitel zeigen die Autoren, wie sich eigene
{\sl Maple}-Programme entwickeln lassen.

Wenn man den Versprechungen auf dem r"uckseitigen Deckblatt des Buchs
Glauben schenkt, erf"ahrt der Leser durch die Lekt"ure, \glqq mit welchen
Kniffen man die F"ahigkeiten von {\sl Maple} voll ausnutzen kann\grqq. Dieses Ziel
wird weit verfehlt. Dazu werden zu viele Aspekte von {\sl Maple}
zu kurz (z.\,B. D-Operator auf S. 58), andere "uberhaupt nicht (z.\,B. rekursive
Gleichungen und Funktionen) besprochen. Insbesondere f"allt das Kapitel 8
{\it Maple als Programmiersprache} f"ur das Erreichen des obigen Ziels zu knapp aus. 
Wenn man allerdings das Buch an einer anderen Latte mi"st, n"amlich eine elementare
Einf"uhrung in die Anwendung von {\sl Maple} f"ur Sch"uler bzw. Studenten an Fachhochschulen
zu geben, verdient das Buch bessere Noten. In ihrer Gesamtheit bieten n"amlich die vorgestellten
Beispiele einen guten "Uberblick "uber die M"oglichkeiten von {\sl Maple}.
Dar"uber hinaus sind einzelne Abschnitte (z.\,B. 1.4.2 Zur numerischen Genauigkeit)
f"ur Anf"anger sehr lesenswert. Insgesamt kann das Buch {\sl Maple}-Neulingen
durchaus als erste Lekt"ure empfohlen werden. F"ur fortgeschrittene {\sl Maple}-Benutzer
ist das Buch jedoch zu knapp geschrieben, es eignet sich wegen
des unvollst"andiges Indexes auch nicht als Nachschlagequelle.

\begin{flushright}  Werner Struckmann (Braunschweig) \end{flushright}


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

Das Buch von Michael Kofler beschreibt die Version Release 2 des
Softwarepaketes {\maple V}, das drei Systeme kombiniert:
Computeralgebra, Numerik und Grafik. Der Autor hat bereits ein
Buch \"uber das verwandte System {\mathematica} geschrieben,
das dem vorliegenden sehr \"ahnlich im Aufbau und den Beispielen ist
[vgl.~hierzu meine Rezension in den {\it Physikalischen Bl\"attern}
{\bf 49}, 1045 (1993)].
Nichtsdestoweniger geht der Autor auf die Struktur von {\maple}
genau ein. Insgesamt gesehen, liegt mit diesem Buch eine erweiterte Version
des {\mathematica}-Buches vor.


\noindent
Das Buch informiert sehr detailliert \"uber {\maple}-Befehle,
die anhand von Beispielen beschrieben werden. Dabei werden zu jedem
{\maple}-Input auch der Output gezeigt, so da\ss\ ein gleichzeitiges
Arbeiten am Computer \"uberfl\"ussig ist. Es ist daher auch ein Leichtes,
der Argumentation des Autors zu folgen. Das dieses nicht selbstverst\"andlich
ist, zeigt sich in der Rezension. Es werden auch physikalische
Beispiele gebracht, aber in einer unphysikalischen Art und Weise damit
umgegangen, wenn z.B. f\"ur die Gravitationskonstante keine Einheiten
verwendet werden. Die gew\"ahlten Beispiele sind nicht trivial, da sie
die Grenzen von {\maple} aufzeigen: Wo versagen die Algorithmen der
Software und welche Alternativen hat man dann zur Verf\"ugung, dies geh\"ort
auf jeden Fall zu den St\"arken des Buches. Im Anschlu\ss\ zu jedem der
33 Kapitel werden die jeweils dort besprochenen Befehle noch einmal
kurz aufgelistet.
Au\ss erdem trifft auch der mit {\maple} erfahrene Leser immer
wieder auf gute Tips und Tricks, die ihn dazu veranlassen (k"onnen),
neue Dinge auszuprobieren.


\noindent
Das Buch enth"alt drei Teile, die selber wiederum in Kapitel
gegliedert sind. Im ersten Teil zeigt Kofler, wie {\maple} als
Taschenrechner und f\"ur das Abitur benutzt werden kann.
Ferner gibt der Autor zehn n"utzliche Tips, welche die Anwendung von
{\maple} sicherer gestalten. Im zweiten Teil werden
grundlegende Befehle anhand von Beispielen
erkl"art. Hier finden sich auch zwei Kapitel zu den 2D- und 3D-grafischen
M"oglichkeiten von {\maple}. Leider sind die Abbildungen im gesamten
Buch nur schwarzwei"s. Es wird zwar gezeigt, welche farblichen
M\"oglichkeiten {\maple} bietet und zwar anhand von zwei
Schwarzwei\ss abbildungen (!), aber dies ist nat\"urlich
unzureichend. Im dritten und letzten Teil sind einige
speziellere mathematische und physikalische Anwendungen aufgef"uhrt,
wie etwa lineare Optimierung, Produkte, Reihen (auch f\"ur DGLs),
Fourier-, Laplace-, Mellin-, Z-Transformationen und Vektoranalysis.
Ebenso wird auf die Programmiersprache {\maple} in drei Kapiteln
und noch einmal in zwei weiteren Kapiteln auf Grafikbefehle eingegangen.
Da der Autor sowohl ein Buch \"uber {\mathematica} als auch {\maple}
verfa\ss t hat, ist es nicht verwunderlich, da\ss\  sich noch ein Kapitel
mit dem Vergleich dieser beiden Sprachen findet. Zum Abschlu\ss\
gibt es noch Tips, wie man aus Maple-Ausdr\"ucken \LaTeX -Dokumente erstellt.
Im Anhang werden die Windows- und die DOS-Version miteinander verglichen.


\noindent
Au\ss er {\maple} wird nur die Software {\mathematica} erw\"ahnt.
Man sollte aber nicht andere Systeme vergessen, die z.T.~andere Algorithmen
verwenden, und daher (je nach Anwendung) besser geeignet sein k\"onnen.
Zu nennen sind hier etwa {\axiom}, {\derive}, {\form}, {\macsyma}, {\reduce} oder {Sheep}. Nebenbei erw\"ahnt
wird {\reduce} in der demn\"achst erscheinenden Version 4.0 auch
endlich grafische M\"oglichkeiten besitzen.


\noindent
Wie f\"ur die {\mathematica}-Version des Buches gilt auch f\"ur
die hier rezensierte
{\maple}-Version, da\ss\ sie als {\it Standardeinf"uhrung}
f"ur die Software {\maple} benutzt werden kann.
Das Buch ist gut dazu geeignet, um sich in {\maple} einzuarbeiten
oder sich auf fortgeschrittene Probleme
vorzubereiten. Es hebt sich auch dadurch hervor, da"s es die Grenzen von
{\maple} betont. Man sollte allerdings erw\"ahnen, da\ss\ bereits
kurz nachdem dieses Buch auf den Markt kam, ein Buch des Autors zur Version
{\maple V Release 3}, inkl.~aller Eingaben des Buches auf einer
beiliegenden CD-ROM, erschienen ist.

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

\item \subsection*{Maple V -- Student Edition/Release 3 (DOS/Windows-Version)}
\Thomson , {ISBN 3-8266-0131-9}, {1995} {appr. 520pp.}, DM 149,-.
\addcontentsline{toc}{subsection} {{\normalsize \sl 
Maple V -- Student Edition/Release 3 
} }\label{student}


Die neueste Maple-Version f\"ur DOS und Windows wird in diesem
deutschsprachigen Paket
zusammen mit 4 Disketten, zwei Dokumentationen (``Getting started'',
``Release Notes'') und einem Einf\"uhrungsbuch
f\"ur Studenten ausgeliefert; zu dem Buch gebe ich unten kurz meinen
Eindruck wieder. Getestet wurde sowohl die DOS- wie auch die Windows-Version
auf einem 486er mit 33 MHz und 8 MB RAM.



Die Handb\"ucher beschreiben zum einen wie das System installiert und
gegebenenfalls f\"ur Maple lauff\"ahig gemacht wird (``Getting started'');
zum anderen wird man \"uber die wichtigsten Neuerungen und Unterschiede
in den Versionen Release 2 und 3 unterrichtet (``Release Notes'').
So erf\"ahrt man in
letzterem z.B., da"s in der {\it Student Edition} nicht alle Dateien der
Sharewarebibliothek mitgeliefert werden, diese aber mittels
{\it electronic mail} zu erhalten sind.



In der gesamten Anleitung habe ich nur wenig
Hinweise darauf gefunden, was der Unterschied zu einer Vollversion
von {\maple} ist (bis auf Shareware, s.~oben). Dieses sollte,
meiner Meinung nach, bereits auf der
Verpackung erw\"ahnt sein; ich k\"onnte mir vorstellen, da\ss\ dies ohne
weiteres ein Hinderungsgrund ist, da\ss\ Paket {\it nicht} zu kaufen. Denn,
wer kauft schon gerne die Katze im Sack. Erst eine direkte Nachfrage bei
Thompson erbrachte, da\ss\ es eine einseitige \"Ubersicht gibt;
diese wurde mir dann zugefaxt.
Der Verlag sollte sich \"uberlegen, diesen Zettel dem Paket
zuzulegen. Folgende Einschr\"ankungen gibt es:
\begin{enumerate}
\item  max.~Anzahl an Termen
in einer Summe: 8.000 (statt 65.000), \item  max.~Stellen einer
Flie\ss kommazahl: 100 (statt 500.000), \item  max.~Dimension eines
Arrays: 3 (statt `unbegrenzt'),\item  max.~Elemente in einem Array: 5.120
(statt `begrenzt nur durch RAM'), \item  max.~Speicher: 4 MB (statt `zur
Verf\"ugung stehender RAM'), \item  kein {\maple V} Language Reference
Manual (267 Seiten), \item  kein {\maple V} Library Reference Manual
(698 Seiten), \item   kein First Leaves: A Tutorial Introduction to
{\maple V} (253 Seiten). Statt dessen wird der {\it Student
Edition} das unten rezensierte Buch beigelegt.
\end{enumerate}



Die Installation der DOS- und der Windows-Version war ohne weitere Probleme
m\"oglich. Man besitzt die Wahlm\"oglichkeit zwischen DOS- oder
Windows-Version alleine; oder man installiert beide Versionen zusammen.
Entscheided
man sich f\"ur beide Versionen, so werden die {\maple}-Pakete
nur einmal installiert, der Zugriff von beiden Betriebssystemen auf
die Pakete ist aber
m\"oglich. Dies ist platzsparend auf der Festplatte. Trotzdem braucht
das Programm noch bis zu 18 MB, wenn alle Programme installiert werden.
Um {\maple} laufen zu lassen, ben\"otigt man mindestens einen 386er
mit 4 MB Arbeitsspeicher, 12 MB freien Speicherplatz auf der Festplatte
und, f\"ur die Windows-Version, Windows 3.1. F\"ur Macintosh-Rechner
existiert ein analoges Paket.



Sowohl die DOS- als auch die Windows-Version lassen sich sehr einfach
und leicht bedienen. Wenn die Windows-Version zusammenbrach, st\"urzte
deswegen nicht gleich auch Windows ab, was bemerkenswert ist, wenn man
an andere Software unter Windows denkt. Sehr gut gel\"ost ist das Arbeiten
mit dem Grafik-Output, der in einem zus\"atzlichen Fenster bei Windows
ausgegeben wird (bei DOS ein Grafikbildschirm).
In der Windows-Version kann man dann durch simples Klicken auf kleine
funktionelle Quadrate im Fenster oder in der Men\"uleiste Farben und
Achsen in vielf\"altiger Weise \"andern.
Ein 3D-Objekt l\"a\ss t sich mit der linken Maustaste leicht rotieren.
Sehr gut hat auch die Animation (bewegte Bilder) gearbeitet.
Die Berechnungsgeschwindigkeit war, trotz des \"alteren Rechners, schnell.
Eine von mir fr\"uher gemachte Erfahrung mit einem Problems im Bereich
der allgemeinen Relativit\"atstheorie war, da\ss\ {\maple}
wesentlich schneller ist, als die Systeme {\reduce} und {\mathematica},
und zwar in dieser Reihenfolge.



Im Programm {\maple} enthalten sind einige Zusatzfunktionen,
die die Arbeit erleichtern k\"onnen.
{\it Mint} \"uberpr\"uft die Syntax eigener {\maple}-Programme.
Das Programm {\it March} erstellt Archive, die aus mehreren
{\maple}-Programmen bestehen, f\"ugt Dateien hinzu, holt sie heraus,
l\"oscht oder komprimiert sie. Mit {Mapledit} steht ein Editor bereit.
Das Programm {\it m2src} verwandelt {\it .m} bin\"are Dateien der Release 2
Version in Quelldateien derselben Version um, w\"ahrend {\it updtsrc}
Release 2 Quelldateien so umformt, da\ss\ die Behandlung nicht deklarierter
Variablen in {\maple V}-Prozeduren mit den neuen Regeln des {\it Release 3}
\"ubereinstimmt.



Das Paket ist eindeutig nur f\"ur Studenten eingerichtet und f\"ur diese
wohl auch geeignet.
Jeder Anwender, der gr\"o\ss ere Programme schreiben will, m\"u\ss te
bef\"urchten, da\ss\ er an die Grenzen der {\maple}-Version
st\"o\ss t. Weiterhin kann das Paket Lehrern empfohlen werden, die nicht
nur mit Kreide und Tafel Mathematik betreiben wollen, sondern auch den
Einsatz von Computern und Computeralgebra f\"ordern wollen.
%Noch ein Tip f\"ur Studenten: Die Uni Aachen ist im Besitz einer
%Campuslizenz von {\maple}, d.h., da\ss\ dort jeder Student f\"ur ca.~DM 50,-
%eine {\it Vollversion von Maple} erh\"alt (allerdings ohne irgendwelche
%Anleitung oder gar B\"ucher).

Das folgende Buch ist im Lieferumfang der {\it Student Edition} von {\maple V}
enthalten. 

{\bf Wade Ellis, Eugene Johnson, Ed Lodi und Daniel Schwalbe:}
{\sl Maple V in der mathematischen Anwendung}, 1994, ISBN 3-929821-21-4,
International Thomson Publishing, Bonn, DM 49,-.



Das Buch richtet sich sowohl an Mathematik interessierte Studenten
als auch an Mathematik Lehrende. Es ist daher nicht als
Einstieg f\"ur {\maple} zu verstehen. Es erkl\"art vielmehr,
wie man mathematische Probleme mit Hilfe des Computeralgebra-Systems
{\maple} l\"osen kann. Daher werden auch nur die
Eingabezeilen gezeigt und die {\maple}-Ergebnisse {\it beschrieben};
man soll also direkt vor dem Computer sitzen und Abschnitt f\"ur Abschnitt
die mathematische Logik des Lernstoffes nachvollziehen.



Zun\"achst wird eine knappe Einf\"uhrung in {\maple} gegeben.
Es folgen Abschnitte \"uber
das L\"osen von Gleichungen, die Defintion von Funktionen und ihre grafische
Auswertung, Differential- und Integralrechnung mit 3D-Grafik, eine sehr in
das Detail gehende Darstellung der Linearen Algebra und der gew\"ohnlichen
Differentialgleichungen. Die Aufmachung erinnert stark an Vorlesungen
f\"ur Studenten; \"Ubungen werden auch angeboten.
Es werden u.a.~folgende Begriffe erkl\"art und mit
{\maple} erl\"autert: Eigenwerte, -vektoren, Satz von Cayley-Hamilton,
lineare Abbildungen, Diagonalisierung, \"Ahnlichkeit, numerische Verfahren
von Euler und Runge-Kutta, Verfahren von Picard-Lindel\"of, Phasenraum,
Laplace-Transformationen, Reihenl\"osung.



Das {\maple}-Paket {\it student} nimmt eine herausragende Bedeutung an.
W\"ahrend n\"amlich bei anderen Computeralgebra-Systemen die verwendeten
Algorithmen in der Regel im Verborgenen bleiben, erm\"oglicht das Laden
des {\it student}-Pakets in {\maple} ein
schrittweises Nachvollziehen der Probleml\"osung sowohl f\"ur den Studenten
wie auch f\"ur den Sch\"uler/Stu\-den\-ten kontrollierenden Lehrer.
Es werden bei der Bearbeitung des Buches also {\it drei} Ziele
zugleich erreicht: Neben der Mathematik wird
gleichzeitig der Umgang mit dem Computer {\it und} einem
Computeralgebra-System gelernt bzw.~gelehrt.

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

\item \subsection*{{Strampp, W.,  Ghanza, V.}, Differentialgleichungen mit
Mathematica} \Vieweg , {ISBN 3-528-06618-0}, {1995}, {pp. 365}. 
\addcontentsline{toc}{subsection} {{\normalsize \sl {W. Strampp, V. Ghanza}, Differentialgleichungen mit
Mathematica}}\label{strampp}

Laut Vorwort geht es um eine Einf\"uhrung in die Theorie der
Differentialgleichungen, die im Unterschied zu anderen auch den
Einsatz von Computeralgebra-Systemen behandelt. Im Vergleich mit
"`normalen"' Lehrb\"uchern f\"allt zun\"achst der geringe Stoffumfang
auf: Bei gew\"ohnlichen Differentialgleichungen neben allgemeinen
Grundbegriffen im wesentlichen nur die Picard-Theorie sowie lineare
Systeme mit konstanten Koeffizienten; bei den partiellen die
Charakteristikentheorie quasilinearer Gleichungen erster Ordnung sowie
die Klassifikation der linearen Gleichungen zweiter Ordnung.

Die Integration der Computeralgebra beschr\"ankt sich darauf, da\ss\
einfache Beispiele, die sonst als \"Ubungsaufgaben gestellt werden,
ausf\"uhrlich mit kleinen Mathematica-Programmen behandelt werden
(deshalb enth\"alt das Buch wohl keine Aufgaben). Es \"uberrascht,
da\ss\ die Autoren h\"aufig von ``L\"osungsalgorithmen''
sprechen. Zwar kann z.B.\ die Charakteristikentheorie in der Tat auch
zum L\"osen eingesetzt werden. Aber man halte sich die Schritte dieses
``Algorithmus'' vor Augen: L\"osen eines (in der Regel nichtlinearen)
Systems von gew\"ohnlichen Differentialgleichungen und nichtlineare
Elimination von Parametern. Die Anmerkung der Autoren, da\ss\ {\em
``auch {\tt DSolve} manchmal etwas M\"uhe mit dem nichtlinearen System
hat''}, erscheint etwas optimistisch. Hier werden (wie so oft)
\"ubertriebene Erwartungen an die M\"oglichkeiten der
Computeralgebra-Systeme geweckt.

Positiv ist an dem Buch zu erw\"ahnen, da\ss\ es in einem guten und
leicht verst\"andlichen Stil geschrieben ist. Es wird auch an einigen
Stellen deutlich gezeigt, da\ss\ Computeralgebra-Systeme dem Benutzer
nicht das Denken abnehmen, sondern da\ss\ man sich z.B.\
\"uber den G\"ultigkeitsbereich der Ergebnisse Gedanken machen mu\ss.

Das Buch ist geeignet f\"ur Vorlesungen, die gleichzeitig eine
Einf\"uhrung in Differentialgleichungen und in die Anwendung von
Mathematica geben sollen. Dabei ist klar, da\ss\ die Kombination von
zwei Themen dazu f\"uhrt, da\ss\ jedes nur vergleichsweise
oberfl\"achlich behandelt werden kann.

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

%\item \subsection*{{Blachmann, N., Mossinghoff, M.J.}, Maple griffbereit, Alle Versionen bis Maple V 3} \Vieweg , {ISBN 3-528-06529-X}, {1995}, {pp. 365}, DM 58,- . 
%%\addcontentsline{toc}{subsection} {{\normalsize \sl {Blachmann, N., Mossinghoff, M.J.}, Maple griffbereit} }

%sollte bei einem Diplomanden von Herrn Hehl sein (evt. auch Grabmeier).

\item \subsection*{{Schwardmann, U.}, Computeralgebra-Systeme, Programme f"ur Mathematik mit dem Computer} \AddisonWesley, {ISBN 3-89319-682-X}, {1995}, {pp. XXII + 249}, DM 49,90.
\addcontentsline{toc}{subsection} {{\normalsize \sl U. Schwardmann, Computeralgebra-Systeme%, Programme f"ur Mathematik mit dem Computer
} }


Was machen Sie, wenn Sie ein Computeralgebra-System kaufen 
oder benutzen m"ussen oder wollen und Sie haben keine Ahnung 
welches? Weil Sie vielleicht ein bestimmtes Problem haben, was 
Sie mit Computeralgebra zu l"osen hoffen, oder weil Sie 
in einem Rechenzentrum arbeiten, und Ihre `Kunden' 
ein oder mehrere Computeralgebra--Systeme zur Verf"ugung haben wollen. 
\medskip

Nun, die Antwort ist einfach: Sie nehmen Ulrich Schwardmanns Buch 
zur Hand und informieren sich. Anhand einfacher Beispiele wird das 
Arbeiten mit den f"unf `Gro"sen' (AXIOM, Macsyma, Maple, 
Mathematica, Reduce) und einem `Kleinen' (Derive) illustriert und 
verglichen. Beispiele aus der Algebra, aus der Differential-- und 
Integralrechnung werden programmiert -- obgleich die heutigen 
Computeralgebra--Systeme eine solche handhabbare Benutzeroberfl"ache haben, da"s 
von eigentlichem Programmieren bei Standardproblemen nicht mehr 
gesprochen werden kann; es ist eher ein Eintippen der 
entsprechenden Formeln.
\medskip

Das Arbeiten mit den Computeralgebra-Systemen wird eing"angig erl"autert, die 
Vergleiche sind gut ausgearbeitet. Zudem wird noch ein 
(allerdings vielleicht etwas zu kurzer) "Uberblick "uber etwa 45 
verschiedene Computeralgebra-Systeme gegeben.
\medskip

Eine hinreichend ersch"opfende Bibliographie "uber die 
Algorithmen, auf denen die Computeralgebra--Systeme basieren, und "uber die 
Anwendung der Systeme, nebst einem umfangreichen 
Schlagwortverzeichnis, vervollst"andigen dieses n"utzliche Buch. 
Von einigen kleineren Druckfehlern abgesehen, habe ich keine 
Fehler gefunden. Jedoch wies mich ein Kollege darauf hin, da"s 
das Simath-System nicht angemessen beschrieben wurde. 
\medskip

Herr Schwardmann ist promovierter Mathematiker und 
wissenschaftlicher Mitarbeiter bei der Gesellschaft f"ur 
Wissenschaftliche Datenverarbeitung in G"ottingen. Es ist somit 
verst"andlich, da"s wir es mit einem kompetenten Autor zu tun 
haben. 
\medskip

In Bibliotheken, die B"ucher "uber das wissenschaftliche Rechnen 
sammeln, scheint mir dieses Buch ein Mu"s zu sein. Auch f"ur den 
Einzelnutzer von Computern kann ich dieses Buch zur pers"onlichen 
Anschaffung bestens empfehlen.

\begin{flushright}
Friedrich W.\ Hehl (K"oln)
\end{flushright}

\end{itemize}

\indent
\newpage
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     Lehrveranstaltungen                                         %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

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

\vspace*{4mm}

\begin{itemize}

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

 \item {\bf Freie Universit"at Berlin}\\
 {\em Algorithmen der Computeralgebra}, K. Gatermann, V2 + "U1

\item{\bf Technische Universit\"at Berlin}\\
{\em Effiziente Algorithmen: Von der Theorie zur Praxis}, J. Gustedt, V2\\
{\em Seminar Algorithmische Algebra und Zahlentheorie}, M. Pohst, S2

\item {\bf Universit"at Bonn}\\
{\em Algorithmische Geometrie}, A.~Sch"onhage, V2\\
{\em Algorithmische Darstellungstheorie}, M.~Clausen, V4\\
{\em Audiosignalverarbeitung}, M.~Clausen, P4

\item {\bf Technische Universit"at Chemnitz}\\
{\em Computeralgebra}, M. Krei"sig, V2

\item {\bf Universit"at Dortmund}\\ 
{\em Verfahren zur L"osung nichtlinearer Gleichungssysteme}, H.M. M"oller,
V4 + "U2\\
{\em Seminar "uber die Lokalisierung von Polynomnullstellen}, H.M. M"oller, S2
 
\item {\bf Technische Universit"at Dresden}\\
{\em \ca\ I, (Methoden der \ca )}, K. Rammelt, V2+"U1

\item {\bf Universit"at Erlangen-N"urnberg}\\
{\em Algorithmen der Computeralgebra}, V. Strehl, V4+"U2\\
{\em Gr"obner-Basen, spezielle Kapitel und Anwendungen}, H. Meyn, V2+"U2

\item {\bf Universit\"at Greifswald}\\
{\em  Gruppentheorie mit dem \cas\ GAP},  J.Wisliceny , V2\\
{\em Lie-Theorie und Differentialgleichungen, Computeralgebra-Anwendungen},
G.Czichowski, H.Schlosser, S2

\item {\bf Universit\"at Halle}\\
{\em Wirtschaftsmathematik mit dem PC - Anwendung der Programme
\maple, \mathematica und \mathcad},  H. Benker, Seel"ander, V4.\\
{\em L"osung von Differentialgleichungen mit Mathematica}, H. Benker, V2.

\item {\bf Universit"at Heidelberg}\\
{\em Computeralgebra}, B. H. Matzat, V4 + "U2

\item {\bf Universit"at Kaiserslautern}\\
{\em Computeralgebra I}, G. Pfister, V4 + "U2\\
{\em Seminar Computeralgebra und Singularit"aten}, G.-M. Greuel, S2\\
{\em Seminar Konstruktive Prim"arzerlegung}, G. Pfister, S2

\item {\bf Universit"at Karlsruhe}\\
{\em Computeralgebra und Differentialgleichungen}, W.M. Seiler, V2\\
{\em Praktikum Entwurf von Computeralgebra-Systemen}, J. Calmet, P4\\
{\em Proseminar Symbolisches Rechnen (Computeralgebra)}, 
     J. Calmet, K. Homann, S2\\
{\em Proseminar Konkrete Mathematik}, 
     J. Calmet, C. Zenger, S2

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

\item {\bf Universit\"at Leipzig}\\
{\em Simplifikationsalgorithmen}, J. Apel, V2\\
{\em Fachseminar Algorithmen f\"ur Permutationsgruppen}, B. Fiedler, S2\\ 
{\em Basisalgorithmen der Computeralgebra}, H.-G. Gr\"abe, V2\\ 
{\em Konstruktive Theorie der Invarianten endlicher Gruppen},
H.-G. Gr\"abe, V2\\  
{\em Seminar Computeralgebra}, Gr"abe, S2

\item {\bf Universit"at Linz, Research Institute for Symbolic Computation}\\
{\em Einf"uhrung in die Computeralgebra}, F. Winkler, V2 + "U1\\
{\em SW-Systeme f"ur Computeralgebra und -Geometrie}, E. Blurock, PR2\\
{\em Kommutative Algebra und algebr. Geometrie}, F. Winkler, V2\\
{\em Diskrete algorithmische Geometrie}, S. Stifter, V2\\
{\em Symbolische und numerische Methoden in der Roboterdynamik}, 
   W. Hirschberg, V2\\
{\em Algebraische Spezifikation}, F. Lichtenberger, V2\\
{\em Polynomial Factorization}, G. Collins, V2\\
{\em Systolic Algorithms in Computeralgebra}, T. Jebelean, V2\\
{\em Algebraic Constraint Solving}, H. Hong, V2\\
{\em Mathematikunterricht mit Derive}, B. Kutzler, V2

\item {\bf Universit"at Mannheim}\\
{\em Einf\"uhrung in die Computeralgebra (Anwendungen in Mathematik, 
VWL und BWL)}, H. Kredel, H.-G. Kruse, i.a. Meuer, V2 + "U

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

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

\item {\bf Universit"at Passau}\\
{\em Algebraische Modelltheorie}, V. Weispfenning, V4 + "U1\\
{\em Oberseminar Computeralgebra}, V. Weispfenning, S2

\item {\bf Universit"at Rostock}\\
{\em Termersetzungssysteme}, A. Widiger, V2\\
{\em Arbeit mit Maple}, O. Becken, V1+"U1

\item {\bf Universit"at des Saarlandes Saarbr"ucken}\\
{\em Algebra f"ur Informatiker}, J. Buchmann, V4+"U2\\
{\em Fortgeschrittenen-Praktikum Weiterentwicklung von LiDIA}, J. Buchmann

\item {\bf Universit"at T"ubingen}\\
{\em  Algebraische Spezifikationen} R. B"undgen, V2+"U1

\item {\bf Universit"at Ulm}\\
{\em Mathematica in der Theoretischen Physik}, G. Baumann, V2\\
{\em Mathematische Methoden der Physik mit Mathematica}, G. Baumann, S4\\
{\em Mechanik mit Maple}, F. Gleisberg, S2

\item {\bf ETH Z"urich}\\
{\em Computer Algebra I}, M.~Bronstein, V2 + "U1\\
{\em Einf"uhrung in die Mathematische Software}, E.~Engeler, M.~Kalkbrener,
V2 + P1\\
{\em Effektive Algebraische Geometrie II}, D.~Mall, V2\\
{\em Seminar Computeralgebra}, M.~Bronstein, R.~M"ader, S2

\item {\bf Universit"at Z"urich}\\
{\em Effiziente Algorithmen und Komplexit"at}, P. B"urgisser, V2

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


\vspace*{4mm}

\begin{itemize}

\item {\bf Konferenzreihe International Symposium on Symbolic and Algebraic
Computation (ISSAC)} \label{issacinfo}

Seit 1988 gibt es im j"ahrlichen Turnus diese wichtige Konferenzreihe.
Sie war entstanden aus den europ"aischen Konferenzen EUROSAM und EUROCAL
sowie die in Nordamerika organisierten SYMSAC-Konferenzen des
Special Interest Group on Symbolic and Algebraic Computation (SIGSAM) der
ACM. In der Regel wurden Entscheidungen vom {\sl Business Meeting} 
w"ahrend der Konferenz und von einem ISSAC Steering Committee 
gef"allt. Die finanzielle Absicherung geschah fast immer durch
die SIGSAM. 

Da es weder eine Satzung noch sonstige allgemein akzeptierte
Regeln gab, wurde in diesem Jahr allen Teilnehmern einer ISSAC-Konferenz
in einer Urwahl Gelegenheit gegeben, unter verschiedenen Modellen
der k"unftigen Strukturierung und Organisation dieser Konferenzreihe, 
auszuw"ahlen. 
Alternativen wie alles beim  alten zu lassen, die Reihe von einer oder
mehreren Computeralgebra-Gesellschaft oder gar von einer noch zu gr"undenden 
ISSAC-Gesellschaft tragen zu lassen, wurden abgelehnt.
Mit Mehrheit wurde eine Satzung angenommen, die die Zusammensetzung
eines ISSAC Steering Committee regelt. Das Gremium besteht nun 
aus 6 Personen. 3 davon werden von den ISSAC Business Meetings 
gew"ahlt. Die  Amtszeit betr"agt 3 Jahre. Das wird aber so eingerichtet,
da"s j"ahrlich ein neuer Kandidat zu w"ahlen ist. 
Die 3 weiteren Mitglieder sind die Sprecher bzw.\ Vorsitzenden 
von ebenso zu w"ahlenden \ca-Gesellschaft. Als Anfangsregelung
wurden die  Gesellschaft ACM SIGSAM (3 Jahre), unsere Fachguppe \ca\ (2 Jahre) 
und die japanische Organisation (1 Jahr) festgelegt. Die beschlossene
Satzung ist im \cais\ abrufbar.

In Montreal wurde bereits die erste Wahl der Mitglieder vorgenommen.
Dabei wurden {\sc Richard D. Jenks} (Yorktown Heights, USA, 
{\tt jenks@watson.ibm.com}), 
{\sc Manuel~Bronstein} (Z"urich, \\ {\tt bronstein@inf.ethz.ch}) und 
{\sc Teo Mora} (Genua {\tt theomora@lancelot.dima.unige.it})
gew"ahlt. Dazu kommen die Vertreter der Gesellschaften:
{\sc Stephen~M.~Watt} (Yorktown Heights, USA, \\
{\tt smwatt@watson.ibm.com} SIGSAM), 
{\sc Johannes Grabmeier} (Deutschland, {\tt grabm@heidelbg.ibm.com}, FG \ca ) und 
{\sc Hidetsune Konayashi} (Japan, {\tt hikoba@cst.nihon-u.ac.jp}). 
Zum ersten Vorsitzenden -- der jeweils f"ur ein Jahr von diesem Gremium 
gew"ahlt wird --, wurde S.~Watt gew"ahlt.

Gleichzeitig mit der Annahme dieser Wahl wurden alle bereits
getroffenen Vorentscheidungen respektiert. Das bedeutet
insbesondere, da"s die ISSAC-Konferenz 1997 in Maui Hawai stattfindet und
da"s sie 1998 von der Fachgruppe in Deutschland als Satellitenkonferenz 
der ICM in Berlin organisiert wird. Die Fachgruppenleitung hat
in ihrer letzten Sitzung dem Vorschlag und dem 
Angebot von Prof.~Hantzschmann, die ISSAC'98 in Rostock durchzuf"uhren, 
zugestimmt. 

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


\item {\bf The Jacques Morgenstern Challenge}

 For several years, {\sl  Jacques Morgenstern} and his colleagues have been
 attempting to understand the relationship between results of {\sl
 Theoretical
 Computer Science} (e.g. worst case lower bounds, the use of straight line
 programs to represent polynomials, etc.) and the results of {\sl Computer
 Algebra} (e.g. solving systems of polynomial equations, quantifier elimination,
 etc.).
 
 
 
 
 After  substantial research and development
 and notwithstanding the
 considerable progress made in the mathematical and computer
 science aspects of the task, one might still
 ask whether the basic tools of {Computer Algebra} suffice
  to ``effectively
  solve
 polynomial equations within the near future''. One might even more
 radically ask whether there exists an intrinsic difficulty,
 inherent to the problem of solving large classes of polynomial equations,
 which prevents any attempt to generally succeed in the task.
 
 
 
 In order to further motivate research and development on
 the interaction between {Computer Algebra} and {Theoretical Computer
 Science}, and in recognition of the importance of such work to
 industrial applications, several scientific institutions
 are sponsoring a challenge, to be called the {\bf Jacques
 Morgenstern Challenge},  in which a prize
 will be offered
 to the paper (or papers) published during the
 next five years  which make(s) the most convincing argument as to the
 future success or limitation of {Computer Algebra} in the context
 of polynomial systems solving.
 
 
 
 For example, exhibiting new and successful {Computer Algebra} techniques
 for solving an important family of polynomial systems would be as
 acceptable as elements contributing to the exact classification of
  polynomial
 elimination problems in the hierarchy of space complexity.
 
 
 
 
 
 The Jacques Morgenstern Challenge is supported by a Promoting
 Committee consisting of individuals doing active research in
 Theoretical Computer Science or
 Computer Algebra (algebraic and semi-algebraic geometry, commutative
 algebra) and by institutions such as universities and scientific
 organizations/associations or some of their members. The Promoting
 Committee tasks are
  to publicize this Challenge in
 order to get submissions of high quality, to determine the detailed
 set up of the
 Challenge and to request funds from the supporting Institutions in order to
 offer a total award of US $\,$\$  5,000 (five thousand US dollars).
 
 The Promoting Committee will fix the exact deadline for submission
 and will produce the final announcement by July 1,1995. Moreover it will
  propose an international jury which will, five years later,
 award one (or several with the award shared ) paper(s)  the prize to be called
 the
 Jacques Morgenstern Challenge.
 
 The members of the Promoting Committee will not
 be elligible for the Prize.

{\underbar{Provisional Promoting Committee}~:}
Bernd Bank (Humboldt Univ. Berlin), Allan Borodin (Univ. Toronto), Steve Cook (Univ. Toronto), Andr\'e Galligo (Univ. Nice), Marc Giusti (Ecole Polytechnique Palaiseau), Joos Heintz (Univ. Cantabria/Univ. Buenos Aires), Juan Llovet (Univ. Alcal\'a), Tom\'as Recio (Univ. Cantabria), Volker Strassen (Univ. Konstanz).
 
 \noindent{\underbar{Contact Address}~:}
 Tom\'as Recio, Departamento de Matem\'aticas, Facultad de Ciencias, Universidad de Cantabria, --39071-- Santander, SPAIN.
{Telephone~: 34-42-201433, Fax: 34-42-201402 \quad E-mail~:
 {\tt recio@matsun1.unican.es}}


\item {\bf RIACA -- Founding the  Research Institute for Applications of 
Computer Algebra in Amsterdam}  

The Foundation CAN announces the start of a new institute, {\bf RIACA},
in cooperation with the Stichting Mathematisch Centrum ({\bf SMC})
and the Research Institute for Symbolic Computation
at the Johannes Kepler University in Linz, Austria ({\bf RISC-Linz}). 

The aim of RIACA is to play a pivotal role in the research on and  
development of applications of Computer Algebra,
both in mathematics and science \& engineering.
It aims to be internationally oriented;
a large part of the available positions is reserved for 
researchers from abroad.             

{\bf Research Programme: }                                                    
The following areas will be central to the research 
programme of the institute. The aim is to have both 
research and product development related activities
going on at the same time, leading to a fruitful  
interaction between theory and practice.
The main themes are:                                                            
\begin{itemize} \parsep0.ex \topsep0.ex \itemsep0.ex    
\item  Program Generation
\item  Dynamical Systems and Control  
\item  Interfaces                 
\end{itemize}                                                                   
The Institute will have coordinators in each of these directions  to provide the necessary continuity in an institute that will mainly house visitors 
for periods varying from a week to a few years.

The visitors at RIACA will have access to computers of the CAN Expertise Center, on which most Computer Algebra packages are available.        
The Institute aims to provide every visitor with a workstation. The facilities of the CWI are available to RIACA visitors.                      

If you are interested to visit RIACA for a somewhat longer period within the next four years, please send your c.v. to the Scientific Director of RIACA,                      
Prof.Dr. A.M. Cohen, Faculteit Wiskunde en Informatica,  
Technische Universiteit Eindhoven, Postbus 513, 
5600 MB Eindhoven, The Netherlands, email: {\tt amc@win.tue.nl}

Please inform your colleagues about this initiative. More detailed information will be sent out soon.
Please send your correspondence to:                                             
 {\tt riaca@can.nl}, RIACA, Stichting CAN, Postbus 4079, 1009 AB Amsterdam, The Netherlands.


% \item\fbox{\parbox{16cm}{
%\begin{center}
%{VACANT RESEARCH POSITION\\}\vspace{0.2cm}
 
                
  
%                   in the HCM network\\ 
%             Symbolic and Algebraic Computation\\
  
%                  at RIACA, Amsterdam\\
%                for a period of one year
%\end{center}
                        
  
%  The HCM network 'Symbolic and Algebraic Computation' (SAC) aims at
%  providing an organisational framework at a European level for the
%  integration of the theoretical research and software development in
%  the area of Symbolic and Algebraic Computation. The SAC network is
%  coordinated by Research Institute for Applications of Computer Algebra
%  (RIACA) in Amsterdam.
  
%  One of the means by which the SAC network tries to achieve this
%  goal is by setting up an electronic network and a distributed database
%  through WWW. The goals of this network are to provide
%  an inventory of the European research in SAC,  a directory of members,  
%ways to find connections ,  a weekly newsletter with vacancies,  
%abstracts of preprints and papers in major journals ,  congress 
%reports,  scientific queries,  abstracts of reports and TeX sources; 
%addresses from which the    latter might be gotten,  a software 
%database with catalogue and available software,  connections 
%with other information servers like NA-NET and Elib.

%  The various databases will be set up in a distributed manner, i.e.,
%  all participating institutes provide the relevant information for
%  the research groups in their region or country. 
  
%  The network will also set up facilities for sharing documents,
%  software and hardware. These shared resources should be available for
%  all the members of the network. 
  
%  To this end RIACA is looking for a researcher in the area of Symbolic
%  and Algebraic Computation, who has the technical and mathematical
%  expertise to coordinate, set up and implement the electronic network,
%  the distributed database and the facilities for sharing of resources
%  described above. The duration of the position is one year; the level
%  can be compared to that of a post-doc.
  
%  Those who would like to bring forward suggestions for this position
%  and those who would like to apply are kindly requested to write e-mail
%  to riaca@can.nl or to write paper-mail to RIACA, Kruislaan 419, 1098
%  VA Amsterdam, The Netherlands, c/o Prof. A.M. Cohen.
%}}

\item {\bf JSC -- Special Issue on Executable Temporal Logics}

The Journal of Symbolic Computation is planning a special
issue on Executable Temporal Logics, scheduled to appear in 1996.
High quality original research papers are solicited on all aspects
relating to the foundations, implementation techniques and
applications of languages based upon temporal logic. The research
described must not only incorporate an adequate level of technical
detail, but must also provide a clear indication of both the utility
and the applicability of the results. 

Submissions, either electronic or a paper copy
of the full paper, should arrive no later than October 15th 1995, and
should be sent to  the principal guest editor:
        Michael Fisher,
        Department of Computing, 
        Manchester Metropolitan University,
        Manchester M1 5GD,
        United Kingdom,
        Tel:    +44 161 247 1488,
        Fax:    +44 161 247 1483,
        Email:  {\tt M.Fisher@doc.mmu.ac.uk} .

\item {\bf JSC -- Special Issue on Parametric Algebraic Curves and Applications}

   With recent progress in applying symbolic computation algorithms  
to parametric curves and other applications in {\sc cagd} and {\sc  
cad}, 
   a special issue on this subject has been organized.  Papers are 
  solicited for this special issue of the {\it Journal of Symbolic 
Computation}. 

   The special issue is expected to appear at the end of 1996. Its  
scope    includes any aspect of this subject, such as:
algorithms on parameterization, implicitization,  
reparameterization,
applications in Computer Aided Geometric Design such as solid
       modelling, offsets, mathematical aspects of computer graphics,
complexity analysis,
implementations. Submitted papers will have to undergo the usual refereeing process of  
the Journal of Symbolic Computation.

{\bf   Deadline:} January 8, 1996.
{\bf Submission:} The submissions must be in English and written in
   \LaTeX. The 
   accepted papers will have to follow  the ``jsc.sty'' style available  
from 
   the anonymous-ftp site: 
              {\tt  ftp.risc.uni-linz.ac.at    /pub/jsc/}
   Papers may be submitted either electronically to
                {\tt  mtsendra@alcala.es} 
   or in 5 copies by regular mail to any Guest Editor. Papers must be 
   received no later than January 8, 1996. Electronic submission is 
   encouraged, either as self-contained Latex or postscript files.  



\item {\bf New Chairman of SIGSAM}

Stephen Watt has been elected Chairman of SIGSAM (ACM Special Interest
Group on Symbolic and Algebraic Computation), a term for two years
beginning July 1, 1995.

\item {\bf Zeitschrift "`Informatik-Forschung und Entwicklung"' erscheint jetzt elektronisch}

"`Informatik-Forschung und Entwicklung"', das Organ des FB 2 Softwaretechnologie 
und Informationssysteme der Gesellschaft f"ur Informatik steht ab Bd. 10 (1995) neben der klassischen Ausgabe als Druckerzeugnis in elektronischer Form zur 
Verf"ugung. Diese Aktivit"at ist eingebettet in das von der GI, dem ZIF Karlsruhe
 und dem Springer-Verlag gemeinsam durchgef"uhrte, vom BMBF gef"orderte
 Projekt "`Entwicklung und Erprobung offener volltextbasierter Informationsdienste f"ur die Informatik"'. Damit stellen sich Herausgeber und Verlag auf 
die neuen M"oglichkeiten moderner Informations- und Kommunikationstechnologien ein und hoffen, dadurch m"oglichst vielen Nutzern einen guten Einstieg 
in das neue Medienzeitalter zu erm"oglichen.
Das Zeitschriftenangebot liegt auf einem Internet-Server des Springer-Verlags
 und ist unter der URL-Adresse
    {\tt http:/science.springer.de}
erreichbar. "Uber ein elektronisches Inhaltsverzeichnis k"onnen einzelne Artikel ausgew"ahlt werden, auch eine gezielte Suche nach Autor, Titel, Schlagw"ortern 
ist m"oglich. Die Volltext-Recherche-M"oglichkeit ist in Vorbereitung. Die 
Volltexte der Artikel k"onnen in den Formaten Post-Script und PDF gelesen 
werden.

F"ur ca. zwei Jahre steht das Angebot zun"achst kostenlos zur Verf"ugung und 
ist an das Abonnement f"ur die Papierversion gebunden. F"ur die Zukunft ist 
angedacht, da"s nach Kl"arung notwendiger Registrierungs- und Abrechnungsmechanismen die "`IFE-Elektronisch"' als selbst"andiges, dann aber kostenpflichtiges elektronisches Journal angeboten wird.

Es w"are f"ur die weitere Entwicklung des elektronischen Publizierens von 
gro"sem Nutzen, wenn sich m"oglichst viele Informatiker an der Erprobung 
dieses Angebotes beteiligen und ihre Erfahrungen und W"unsche artikulieren.

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


\item{\bf Computeralgebra zur Studienzeitverk"urzung}

Im WS 95/96 wird in der Vorlesung Analysis I an der Universit"at T"ubingen
erstmals Computeralgebra zur Illustration 
mathematischer Konzepte eingesetzt.
Dieses Projekt wird vom Stifterverband 
f"ur die Deutsche Wissenschaft als modellhafte Initiative
zur Studienreform mit dem Ziel der Studienzeitverk"urzung gef"ordert.

Studienanf\"anger haben erfahrungsgem\"a{\ss} gro{\ss}e Schwierigkeiten, 
die mathematischen Grundkonzepte zu verstehen, 
weil hinter den Konzepten zwar anschauliche Vorstellungen stehen, 
diese jedoch in ihrer Komplexit\"at 
mit herk\"ommlichen Mitteln (Tafelskizzen, Abbildungen in B\"uchern etc.)
nur  unvollkommen dargestellt werden k\"onnen. 
Im Projekt wird auf der Basis eines 
Computeralgebra-Systems und seiner Graphik
ein Lernprogramm erstellt.
Zusammen mit einem begleitenden Skriptum erm"oglicht es 
den Studenten eine interaktive 
Veranschaulichung der Konzepte der Analysis sowohl mit vorgefertigten als
auch mit selbst gew\"ahlten Beispielen und Illustrationen.
 
Kontakt: W. K"uchlin {\tt kuechlin@informatik.uni-tuebingen.de}, \\ oder
 M. Wolff {\tt Manfred.Wolff@uni-tuebingen.de}


\item {\bf MuPAD-Aktivit"aten bez"uglich Lehrerfortbildungen}


Auf der diesj"ahrigen CeBIT und auf der 29. Bundestagung f"ur
Didaktik der Mathematik in Kassel haben wir den Kontakt
zu Lehrern durch Gespr"ache, Demonstrationen von \mupad\
sowie diversen Vortr"agen (siehe z.B. Kurt Peter M"uller.
{\it Beitr"age zum Mathematikunterricht}. franzbecker Verlag, 1995)
stark intensivieren k"onnen.

Wir hatten wenige Monate sp"ater durch eine Einladung
des Instituts f"ur Lehrerfortbildung in M"ulheim / Ruhr 
erstmals die M"oglichkeit, in einem Lehrerfortbildungskurs 
"uber Computeralgebra-Systeme einen Vortrag "uber \mupad\ halten
zu k"onnen, der eine Live-Demonstration des Systems beinhaltete.

Angesichts der sehr guten Resonanz folgte eine zweite Einladung
des Instituts zu einem Vortrag im Rahmen des EDV-Benutzer-Seminars '95
(Leitung: Herr H. Holler).
Auch hier hatten wir die M"oglichkeit, das System \mupad\
f"ur den Macintosh ("`{\sl MacMuPAD}"') vorzuf"uhren.

In Zusammenarbeit mit Herrn Holler ist f"ur das 1. Halbjahr '96
eine Kursveranstaltung mit dem Titel "`\mupad\ -- eine methodische
Bereicherung des Mathematikunterrichts"' geplant, die eine Einf"uhrung
von Computeralgebra-Systemen am Beispiel von \mupad\ bieten
soll und sich in erster Linie an SII-Mathematiklehrer mit
Rechnerpraxis richtet.

"Uberdies wird der Kontakt zu Lehrerfortbildungsst"atten
in zahlreichen Bundesl"andern gesucht. Im November diesen
Jahres wird im Rahmen einer Mitarbeitertagung
in der Reinhardswaldschule in Kassel (Hessen) eine Vorstellung
des Systems \mupad\ gegeben.
Auch hier sind Fortbildungskurse
geplant, wenn die Resonanz der Teilnehmer entsprechend hoch ist.


    \begin{flushright}
  Frank Postel (Paderborn)
    \end{flushright}

%\item\fbox{\parbox{16cm}{
%\centerline{STELLENAUSSCHREIBUNG}\vspace{0.2cm}


%Am Fachbereich Mathematik-Informatik der Universit"at-
%GH Paderborn entsteht zum 01.07.1995 der SFB 1511
%''Massive Parallelit"at'', von der Deutschen Forschungsgemeinschaft
%gef"ordert. Im Teilprojekt\\ 
%\centerline{Parallele Algorithmen f"ur
%Arithmetik und Polynomfaktorisierung} \\
%dieses SFB ist in der AG
%Algorithmische Mathematik (Prof. Dr. Joachim von zur Gathen) eine
%Stelle einer wissenschaftlichen Mitarbeiterin (BAT IIa) zu besetzen.

%Die Stelleninhaberin wird sich mit der parallelen Implementierung
%von Algorithmen der Computeralgebra, insbesondere f"ur
%Arithmetik "uber endlichen K"orpern und f"ur das Faktorisieren
%von Polynomen, besch"aftigen. Voraussetzung ist ein Diplom in
%Mathematik oder Informatik und gute Kenntnisse in Algebra,
%insbesondere in der Theorie der endlichen K"orper. Praktische Erfahrungen
%mit Parallelrechnern sind von Vorteil, aber nicht vorausgesetzt.
%Mitarbeit bei allen Aufgaben der Arbeitsgruppe wird erwartet.

%Die Stelle kann ab sofort besetzt werden und ist auf drei Jahre
%bis zum 30.06.1998 befristet.

%Interessierte Damen oder Herren k"onnen sich per Post oder
%per Email (letzteres wird vorgezogen) bewerben bei:

% Joachim von zur Gathen,
% Fachbereich 17 Mathematik-Informatik,
% Universit"at-GH Paderborn,
% Warburger Str. 100,
% D-33095 Paderborn,
% Germany,                                                
%   Internet:                 
%      {\tt  gathen@uni-paderborn.de},
%   phone: +49-5251--60-3355,
%   fax  : +49-5251--60-3516.  
%}} 



\end{itemize}

\newpage

\input{Aufnahmeantrag.tex}

\newpage

\label{issac96}

 \begin{figure}[htbp]
      \centerline{\psfig{figure=hin_conf/ISSAC96.ps,width=19cm,height=27cm}}
      \vspace{-0.2cm}
%      \caption{}\label{issac96}
 \end{figure}




%
\end{document}






