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

\usepackage{german}
\usepackage{CAR_toc}
\usepackage{epsfig}

\newcommand\tm{$^{\rm tm}$}
\def\CA{Com\-pu\-ter\-al\-ge\-bra}
\def\ca{Com\-pu\-ter\-al\-ge\-bra}
\def\cas{Com\-pu\-ter\-al\-ge\-bra-Sy\-stem}
\def\bibtex{{\sc Bib}\TeX}
%\def\toc_dotfill{\cleaders\hbox{$\mathsurround=0pt \mkern4.5mu . \mkern4.5mu$}\hfill}
\def\toc_dotfill{ }


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

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

\newcommand{\asharp}{{\sc A}$^\#$}
\newcommand{\axiom}{{\sc AXIOM}}
\newcommand{\derive}{{\sc Derive}}
\newcommand{\macsyma}{{\sc Macsyma}}
\newcommand{\maple}{{\sc Maple}}
\newcommand{\mathematica}{{\sc Mathematica}}
\newcommand{\mathem}{{\sc Mathematica}}
\newcommand{\reduce}{{\sc REDUCE}}
\newcommand{\aldessac}{{\sc Aldes/SAC-2}}
\newcommand{\sac}{{\sc SAC-2}}
\newcommand{\aldes}{{\sc ALDES}}
\newcommand{\cayley}{{\sc Cayley}}
\newcommand{\magma}{{\sc MAGMA}}
\newcommand{\cocoa}{{\sf CoCoA}}
\newcommand{\felix}{{\sc FELIX}}
\newcommand{\form}{{\sc FORM}}
\newcommand{\gap}{{\sf GAP}}
\newcommand{\kant}{{\sc KANT-V2}}
\newcommand{\lidia}{{\sf LiDIA}}
\newcommand{\mas}{{MAS}}
\newcommand{\masyca}{{MASYCA}}
\newcommand{\mathcad}{{\sc Mathcad}}
\newcommand{\matlab}{{\sc MATLAB}}
\newcommand{\macaulay}{{\sc Macaulay}}
\newcommand{\macauley}{{\sc Macaulay}}
\newcommand{\mupad}{{\rm MuPAD}}
\newcommand{\chevie}{{\sf CHEVIE}}
\newcommand{\qpic}{{\sc Quotpic}}
\newcommand{\pari}{{PARI}}
\newcommand{\posso}{{P\kern-0.2em o\kern -0.1em S\kern -0.1em S\kern -0.1em o}}
\newcommand{\reve}{{\sc Reve}}
\newcommand{\orme}{{\sc ORME}}
\newcommand{\simath}{{\sc Simath}}
\newcommand{\parsac}{{\sc Parsac}}
\newcommand{\symmetrica}{{\sc Symmetrica}}
\newcommand{\reptiles}{{\sc RepTiles}}
\newcommand{\symmpad}{{\sc SymmPAD}}
\newcommand{\singular}{{SINGULAR}}
\newcommand{\theorist}{{\sc Theorist}}
\newcommand{\algep}{{\sc ALGEB}}
\newcommand{\algeb}{{\sc ALGEB}}
\newcommand{\amore}{{AMORE}}
\newcommand{\crep}{{CREP}}
\newcommand{\meataxe}{{\sc Meat-Axe}}
\newcommand{\moc}{{\sc MOC}}
\newcommand{\redux}{{\sc ReDuX}}
\newcommand{\sisyphos}{{\sc Sisyphos}}
\newcommand{\Thomson}{International Thomson Publishing}
\newcommand{\AThomson}{Bonn, Albany, Belmont}
\newcommand{\Brooks}{Brooks/Cole Publishing Company}
\newcommand{\ABrooks}{Pacific Grove, California}
\newcommand{\Wiley}{John Wiley \& Sons}
\newcommand{\AWiley}{Chichester}
\newcommand{\AddisonWesley}{Addison-Wesley}
\newcommand{\AAddisonWesley}{Bonn, Paris, Reading Mass.}
\newcommand{\Birkhaeuser}{Birkh"auser Verlag}
%\newcommand{\ABirkh"auser}{}
\newcommand{\Springer}{Springer Verlag}
\newcommand{\ASpringer}{Berlin, Heidelberg, New York}
\newcommand{\Vieweg}{Vieweg Verlagsges.}
\newcommand{\AVieweg}{Braunschweig, Wiesbaden}
\newcommand{\dpunkt}{dpunkt Verlag}
\newcommand{\Adpunkt}{Heidelberg}
%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 78mm

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

{\bf Nummer 20  \hfill M"arz  1997 } 

\vspace{-4mm}

\tableofcontents

\end{minipage}

\vspace{5mm}


\newpage
\pagestyle{plain}

\input{CARimpressum.tex}

\newpage
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     Mitteilungen der Sprecher                                   %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

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


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

\vspace*{4mm}

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


die Fachgruppenleitung hat ihre Fr"uhjahrssitzung am Freitag,
den 28.02.1997 in Dortmund abgehalten. Neben dem Rundbrief
standen die Themen ISSAC'98, Berufung eines Fachexperten Fachhochschulen
sowie die Gestaltung der k"unftigen Themen der Fachgruppe im
Vordergrund.

Erfreulicherweise hat das ISSAC Steering Committee -- siehe auch
Seite \pageref{issac-sc} --\\

\begin{center}
Prof.~Dr.~Volker Weispfenning
\end{center}
von der Universit"at Passau rechtzeitig zur Sitzung der Fachgruppenleitung
zum General Chair f"ur die ISSAC'98 berufen. Wir gratulieren Herrn
Weispfenning zu dieser Berufung und danken ihm f"ur seine Bereitschaft,
diese Aufgabe zu "ubernehmen. Die Fachgruppenleitung wird ihn
und den Local Arrangement Chair Prof.~Dr.~Karl Hantzschman
soweit wie m"oglich unterrst"utzen, damit die von der Fachgruppe
initiierte und getragene Konferenz im n"achsten Jahr ein Erfolg wird.
Wir rufen deshalb schon heute alle unsere Mitglieder auf, 
diesen Termin f"ur die
international wichtigste Konferenz zum symbolischen und algebraischen
Rechnen einzuplanen, siehe Seite \pageref{issac98}.
Die zeitliche Verbindung mit dem Internationalen
Mathematikerkongre"s ICM98 in Berlin kann ein zus"atzlicher Anreiz sein,
oder aber auch die N"ahe von Rostock zu den Urlaubsgebieten
an der Ostsee.


Das Gr"undungsmitglied der Fachgruppe \ca, Prof.~Dr.~Benno Fuchssteiner
aus Paderborn ist aus der Fachgruppenleitung ausgeschieden.
Wir danken Herrn Fuchssteiner f"ur seine vielf"altigen Aktivit"aten
und sein Engagement f"ur die \ca\ . Ohne Anspruch auf Vollst"andigkeit
seien seine folgenden T"atigkeiten genannt und gew"urdigt:
Die mehrfache Leitung der Sektion \ca\ bei DMV-Jahrestagungen,
Organisation der Ausstellung von \cas en bei der Jahrestagung in
Bielefeld mit Zusammenstellung eines Sonderheftes dazu, das dann
als Grundlage f"ur den entsprechenden Abschnitt der \ca-Reports diente,
Hauptreferat f"ur die von der Fachgruppenleitung 1994 durchgef"uhrten
Wissenschaftspressekonferenz,
Leitung der einzigen europ"aischen Entwicklungsgruppe, die mit
\mupad\ ein Allzwecksystem geschaffen hat und weiterentwickelt,
Leitung im Auftrag der Fachgruppenleitung
des deutschen Knotens des europ"aischen \ca-Netzwerkes
CAIN sowie in den letzten Jahren
die Vertretung der Interessen der DMV  in der
Fachgruppenleitung.

Das DMV-Pr"asidium hat Prof.~Dr.~B.~Heinrich Matzat zum neuen
Vertreter der DMV in der Fachgruppenleitung f"ur die laufende
Amtszeit bis 1999 bestimmt. Damit r"uckt der als Fachexperte
in der Fachgruppenleitung t"atige Prof.~Dr.~Karl~Hantzschmann
nun als gew"ahltes Mitglied nach.

Die Fachgruppenleitung wird sich in den n"achsten Jahren verst"arkt
um das Thema \ca\ in der Lehre, in Schulen, in Fachhochschulen in den 
Universit"aten
k"ummern. Wir werden mit den verschiedenen p"adagischen Gesellschaften,
Fachgruppen, aber auch mit den Kultusministerien Kontakt aufnehmen
und planen mit gemeinsamen Veranstaltungen, Arbeitsgruppen  und
anderen Aktivit"aten,
dem immer wichtiger werdenden Einsatz von \cas en im Unterricht
Rechnung zu tragen. Wir bitten alle Mitglieder, die hier Erfahrungen
einbringen wollen und bereit sind mit uns gemeinsam an diesen Themen
zu arbeiten, mit der Fachgruppenleitung und insbesondere
mit den beiden daf"ur verantwortlichen Fachexperten Kontakt aufzunehmen.

F"ur den Bereich Fachhochschulen haben wir dieser Thematik
durch die Berufung von
\begin{center}
Prof.~Dr.~Wilhelm~Werner
\end{center}
von der Fachhochschule Heilbronn-K"unzelsau
als Fachexperten in die Fachgruppenleitung einen besonderen
Stellenwert einger"aumt.

Als weitere wichtige Aktivit"at der n"achsten Zeit ist eine
Arbeitssitzung zum Thema Benchmarks, Testprobleme und Beispielsammlungen
geplant. Wir bitten alle Mitglieder, die hierzu Ideen und Hinweise
geben k"onnen oder aber bereit sind
bei der weiteren Bearbeitung dieser Themenkomplexe
mitzuwirken, sich an die Sprecher der Fachgruppe zu wenden.

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

%\newpage

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


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


\vspace*{4mm}


\begin{enumerate}


\item {\bf Kongre"s f"ur Mathematik in Industrie und
                     Wirtschaft }

Duisburg, 10.--13.3.97

{\footnotesize

 Der Kongre"s gliedert sich in 6 ganzt"agige Sektionen mit den {\bf Themen:}
\\
 Sektion 1.  Steuerung und Simulation von Prozessen (Prof. Dr. Br"ull
 (Bayer AG), Dipl.-Math. Griem (Mannesmann DV) und Dr. Monheim (Mannesmann Demag))\\
 Sektion 2. Werkstofftechnik und Konstruktion (Prof. Dr. Hoffmann (TU M"unchen))\\
 Sektion 3. Logistik und Verkehr (Prof. Dr. J"unemann (Dortmund),
 Dr. Schlothbom (AutoCom), Prof. Dr. Schreckenberg (Duisburg) und 
 Prof. Dr. Zimmermann (Braunschweig))\\
 Sektion 4. Risikobewertung in Banken und Versicherungen (Prof.
 Dr.\ Hipp (Institut f\"ur Finanzwesen, Karlsruhe)
 und Dr. Schacht (Bayerische Vereinsbank))\\
 Sektion 5.  Umwelttechnologie und Energietechnik (Prof. Dr. Roth (SFB
 Stoff- und Energietransport in Aerosolen, DU), Prof. Dr. Warnatz
 (Heidelberg) und Prof. Dr. Zenker (RWE))\\
 Sektion 6.   Kommunikation und neue Medien (Prof. Dr. Beutelspacher
 (Gie"sen) und Dr. Peuckert (Siemens AG))\\

 Weitere Informationen entnehmen Sie
 {\tt http://www.uni-duisburg.de/FB11/EVENTS/MiIW.html} .
 Anmeldeformulare und Unterlagen erhalten Sie "uber die
 Koordinationsstelle des Arbeitskreises Mathematik in 
 Forschung und Praxis,
 Fachbereich Mathematik, Gerhard-Mercator-Universit"at, 47048 Duisburg.
}

\item {\bf DAG-day on GAP}

 Aachen, 20.3.97

{\footnotesize
\noindent
{\bf Programm}\\
\begin{tabular}{lll}                                       
   9.30 &       Welcome with Tea and Coffee & \\
          
   10.30-11.20  &        Classification of groups of small order&
          Bettina Eick\\
          
   11.30-12.20&
          Upgrading random permutation group algorithms to Las Vegas&
          Akos Seress\\
          
   12.30&
          Modest Lunch&\\
          
   14.00-14.50&
          Construction of transitive permutation groups&
          Alexander Hulpke\\
          
   
        &  Tea and Coffee&\\
          
   15.20-16.10&
          Morita equivalence and Condensation&
          Klaus Lux\\
          
   16.20-17.10&
          Checking Dade's Conjectures&
          Herbert Pahlings\\
\end{tabular}
   
   All talks take place in H"orsaal IV, Hauptgeb"aude der RWTH,
   Templergraben 55, first floor.

You will  find a WWW page 
{\tt http://www.math.rwth-aachen.de/LDFM/dag.html}
about  the  meeting.

}

\item {\bf GAMM Jahrestagung 1997}

 Regensburg, 24.3.--27.3.97

{\footnotesize



 The Annual GAMM Meeting 1997, GAMM 97, will be held 
 during the week before
 Easter, at the University of Regensburg, March 24-27, 1997. At this
 occasion GAMM celebrates its 75th birthday: GAMM has been founded by
 Richard von Mises and Ludwig Prandtl in 1922.

 The scientific programme of GAMM 97 consists of 
 invited plenary lectures,
 the 40th Ludwig Prandtl Memorial Lecture, a 
 Public Lecture, a series of
 minisymposia and short communications.

 All conference participants are invited 
 to present a short communication on
 a topic from applied mathematics or mechanics. 
Applications of mathematics
 to non-mechanical problems are also welcome. 
The time limit for a lecture
 is 15 minutes plus 5 minutes for discussion. 
The conference languages are
 English, French and German. All short communications
 will be incorporated
 into one of the following 
{\bf sessions:}

 1.~Linear and nonlinear oscillations,
 2.~Stability control and system theory,
 3.~Multibody systems and kinematics,
 4.~Elastic and viscoelastic materials and systems,
 5.~Plasticity: constitutive equations and applications,
 6.~Damage and fracture,
 7.~Computational mechanics,
 8.~Experimental methods and identification,
 9.~Non-viscous flows, gas dynamics,
 10.~Viscous flows, turbulence,
 11.~Heat and mass transfer, convective flows,
 12.~Multiple phase flows, including drops and bubbles,
 13.~Waves,
 14.~Applied Analysis,
 15.~Mathematical methods of the natural and engineering sciences,
 16.~Computer algebra and computer analysis (symbolic computation),
 17.~Applied stochastics,
 18.~Optimization,
 19.~Numerical analysis,
 20.~Numerical treatment of ordinary and algebro-differential equations,
 21.~Numerical treatment of partial differential equations,
 22.~Financial modelling

 The {\bf conference fee} amounts to
                150,- DM for GAMM members,
                250,- DM for non-members of GAMM,
                 30,- DM for accompanying persons.

  {\bf Registration forms}, forms for announcing a short communication and hotel
 reservation forms are available at the
                GAMM Office,
                Department of Mathematics,
                University of Regensburg,
                D-93040 Regensburg,
                Tel. +49-(0)941-943-4918 (or 2954),
                Fax: +49-(0)941-943-4005,
                E-mail: {\tt r.gamm@mathematik.uni-regensburg.de}.


  {\bf Further information} can be obtained from the GAMM WWW homepage\\
   {\tt http://www.uni-regensburg.de/Fakultaeten/nat\_Fak\_I/Mennicken/gamm.html}
 
}

\item {\bf  Invariants and Representations of Algebras --
   Computational Methods for Representations of Groups and Algebras
}

Essen, 1.4.--5.4.97

{\footnotesize
The aim of the conference is to bring together established scientists
and young researchers (i.e., aged under 35).
The conference is intended to provide a concise introduction to the
use of computational methods in parts of group theory, representation
theory and invariant theory.


            {\bf Tentative list of speakers and titles:}                      

  {\bf Introductory Lectures:}                                                
 P. Draexler (Bielefeld), Classification problems in the representation  
                         theory of algebras ,                            
 H. Gollan (Essen),       Parallel linear algebra over finite fields,     
 E. Green (Blacksburg),   Projective resolutions and Groebner bases      
                         for path algebras,                             
 R. Wilson (Birmingham),  Computer constructions of finite simple groups, 

 {\bf Keynote and Focal Lectures:}                                            
 J. Carlson (Athens),     Computer calculations of modules and           
                         cohomology,                                     
 P. Dowbor (Torun),       Weighted projective lines canonical            
                         algebras,                                       
 F. Du Cloux            ,
    (Villeurbanne),       Some open problems in the theory of Coxeter    
                         groups and Kazhdan-Lusztig polynomials,         
 B. Fischer (Bielefeld),  Computing in finite sporadic simple groups,     
 P. Fleischmann (Essen),  On degree bounds for modular invariant rings,   
 D. Green (Essen),        Computing cohomology of p-groups,               
 G.M. Greuel         
    (Kaiserslautern),    Introduction to \singular\ and \singular\ at work,                                                      
 G. Havas (Brisbane),     Coset enumeration and related topics,           
 D. Holt (Warwick),       Computation in finitely presented groups,       
 H. Lenzing (Paderborn),  Coxeter transformations associated with        
                         finite dimensional algebras,                    
 F. L"ubeck (Heidelberg), \chevie - dealing with generic groups of        
                         Lie typ, Weyl groups and Iwahori-Hecke         
                         algebras on a computer,                         
 T. Mora (Genova),        An introduction to commutative and             
                         non-commutative  Groebner bases,                
 J. M"uller (Heidelberg), Computation in Iwahori-Hecke algebras,          
 S. Ovsienko (Kiev),     Bimodule and matrix problems,                   
 J. A. de la Pena        
    (Mexico),             Integral quadratic forms and algebras:         
                         Some theoretical and computational aspects,     
 V. Ufnarovski (Lund),    Non-commutative Groebner bases and             
                         Anick's resolution,                              

There will be {\bf experimental sessions} guided by training experts:
M. Barot (Mexico), T. Bruestle (Bielefeld), T. Huebner (Paderborn),
M. Kuenzer (Bielefeld), R. Noerenberg (Bielefeld), R. Roelse (Essen),
J. Rosenboom (Essen), R. Tiefenbrunner (Berlin), C. Wagner (Essen),
M. Weller (Essen).

Young researchers from the EU and associated countries are especially
invited to participate. They can apply for full support both for the
travel and for their local expenses at Essen.

Applications for support should include the following information:
Last name, first name, age, nationality, university/company,
address, phone number, fax number (if possible), university degrees,
brief curriculum vitae since graduation, current or projected research
activities, comments on benefit of participation from supervisor or
department head (optional).

{\bf Organizers:}      
G. Michler,
Institut f"ur Experimentelle Mathematik,
Ellernstrasse 29,
45326 Essen, Germany,\\
{\tt gradkol@exp-math.uni-essen.de} , and \\
P. Draexler,
Fakultaet f"ur Mathematik,
Universit"at Bielefeld,
POBox 100131,
33501 Bielefeld, Germany,\\
{\tt draexler@mathematik.uni-bielefeld.de} .

}

\item {\bf Instructional Workshop on the Use of GAP in Research
}

St. Andrews, England, 7.4.--11.4.97

{\footnotesize

{\bf Organizers:}
Mike Atkinson, Ed Robertson, Steve Linton (St. Andrews).

{\bf Contact Person:}
                Dr. Werner Nickel,
                Mathematical Institute,
                University of St Andrews,
                North Haugh,
                St. Andrews, Fife,
                KY16 9S, UK,
                tel: +44 1334 463766,
                fax: +44 1334 463748,
                {\tt werner@dcs.st-and.ac.uk}

{\bf Further information:}
{\tt http://www-theory.dcs.st-and.ac.uk/\~{}sal/Workshop97.html}
}  

\item {\bf    GI-Forschungsseminar "uber
           Beweisverifikation und Approximationsalgorithmen
}
       
Dagstuhl, 21.4.--26.4.97

{\footnotesize
    Die Gesellschaft f"ur Informatik (GI) veranstaltet seit kurzem
Seminare zu aktuellen Forschungsthemen, die noch keine angemessene
Darstellung in der Lehrbuchliteratur gefunden haben. Diese Seminare
sollen in der Forschung t"atigen jungen Wissenschaftlern, Diplomanden,
Doktoranden und promovierten Nachwuchswissenschaftlern die M"oglichkeit
geben, wichtige neue Entwicklungen in der Informatik kennenzulernen.

    Dieses Seminar "uber Beweisverifikation und Approximationsalgorithmen
 ist f"ur interessierte Diplomanden, Doktoranden bzw. promovierte
Nachwuchswissenschaftler gedacht, die sich aktiv einen "Uberblick "uber
dieses Thema verschaffen wollen. In diesem Seminar sind noch Pl"atze zu
vergeben.
    Detailliertere Informationen werden im folgenden gegeben bzw. sind
im Web unter der URL
      {\tt      http://wwwmayr.informatik.tu-muenchen.de/conf/bvaa.html}
nachzulesen. 

{\bf   Themenbereiche:}
  Probabilistisch verifizierbare Beweise,
  Nicht-Approximierbarkeit (ausgew"ahlte Beispiele),
  Approximationsklassen,
  Randomisierte Approximationsalgorithmen,
  Derandomisierung (ausgew"ahlte Beispiele),
  Dichte Instanzen,
  Geometrische Probleme.

Die Teilnehmer werden Originalarbeiten erhalten, "uber die sie in
Vortr"agen im Seminar berichten werden. Die Leitung des Seminar wird
von:
        Prof. Dr. Ernst W. Mayr, TU M"unchen,
        Prof. Dr. Hans-J"urgen Pr"omel, HU Berlin,
        Prof. Dr. Angelika Steger, TU M"unchen,
"ubernommen.

{\bf Teilnahmekriterien:}
    F"ur die Teilnahme sind keine Vorkenntnisse im Bereich des Seminarthemas notwendig, sondern es ist nur eine sehr gute wissenschaftliche
Qualifikation erforderlich. Die Auswahl der Teilnehmer findet aufgrund
einer Bewerbung statt, die Informationen "uber den wissenschaftlichen
Werdegang des Bewerbers und die Empfehlung durch einen Hochschullehrer
enth"alt.

{\bf Seminarort und Zeit:}
    Das Seminar wird im Forschungsinstitut f"ur Informatik in Schlo"s
Dagstuhl vom 21. mit 26. April diesen Jahres stattfinden. Das dortige
Institut bietet aufgrund seiner %hervorragenden 
Bibliothek und seiner
besonderen Atmosph"are eine ideale Umgebung f"ur dieses Seminar.


{\bf Bewerbung:}
    Bewerbungen und Anfragen zu diesem Seminar werden bis zum 01.02.97
an folgende Adresse erbeten:
        Prof. Dr. Ernst W. Mayr,
        Lehrstuhl f"ur Effiziente Algorithmen,
        Institut f"ur Informatik,
        TU M"unchen,
        80290 M"unchen,
        Tel.:   +(49)89-289-22681,
        Fax:    +(49)89-289-25297,
        email: {\tt mayr@informatik.tu-muenchen.de},\\
        Web:    {\tt http://wwwmayr.informatik.tu-muenchen.de/}.
}  


\item {\bf Conference on Finite Simple Groups -- in memory of Daniel Gorenstein
}
       
New York, USA, 24.4.--25.4.97

{\footnotesize

In 1983, Daniel Gorenstein announced the completion of a major mathematical
undertaking: the Classification of the Finite Simple Groups.  In that same
year Gorenstein and Richard Lyons of Rutgers University launched a project
to write a coherent and largely self-contained proof of the classification
theorem. Despite Gorenstein's untimely death in 1992, the project continues
and a combination of new ideas and better organization has given rise to
significant improvements and to new problems.


The conference will focus on recent exciting developments in the field.
Principal ''players'' of the Classification Project will present ongoing
work in the field, give an overview of the structure of the classification
proof to a wide mathematical audience, and will discuss its relations and
applications to related areas of mathematics. It will be an opportunity
for graduate students and new researchers in the field to witness and
participate in a ''brainstorming session'' in which the future of a major
mathematical endeavor is charted.

The partial list of {\bf speakers}  includes the the following mathematicians:

         Michael Aschbacher,    California Institute of Technology,
         Richard Lyons,         Rutgers University,
         Stephen D. Smith,      University of Illinois at Chicago,
         Ronald Solomon,        The Ohio State University,
         Sergey Shpectorov,     The Ohio State University.

The {\bf Organizing Committee} consists of Ronald Solomon and locally Jozef
Dodziuk (chair), Gerald Itzkowitz, Joseph Kahane, Kenneth Kramer, Ravi
Kulkarni and Arthur Steinberg.

We have applied for funding to the National Science Foundation
and hope to be able to offer limited support to some participants.
Preference will be given to graduate students and recent Ph.D.'s.

For {\bf further information} contact {\tt groups@qcunix.qc.edu} or write to
Conference on Finite Simple Groups, Department of Mathematics, Queens
College of CUNY, Flushing, NY 11367. Up-to-date information will be
available on WWW at  {\tt http://sard.math.qc.edu}
}
\item {\bf The Fourth East Coast Computer Algebra Day
}
       
Boston, USA, 3.5.97

{\footnotesize

The fourth annual East Coast Computer Algebra Day will be held at Northeastern
University, Boston, Massachusetts, on May 3, 1997. The first meeting of the
series was held at Drexel University in Philadelphia, Pennsylvania, followed
by the University of Delaware, in Newark, Delaware, and IBM Watson
Laboratories, Yorktown Heights, New York. The fourth meeting will address
topics similar to the ones in the preceding three, including

{\em  symbolic, algebraic, and symbolic-numerical algorithms,
  computer algebra systems, software systems, experience with
     implementations of significant algorithms,
   applying symbolic, algebraic, and symbolic-numerical algorithms to
     problems in the sciences, engineering, economics, and other areas.}

There will be talks in each of the areas by invited speakers. The program will
include time for informal gatherings of participants. A session for the poster
presentation of new and ongoing research, is scheduled. Abstracts of the
posters will be published in the SIGSAM Bulletin, and a version of posters
to be displayed on the Web is also solicited.

Registration should be sent to {\tt  eccad97-reg@ccs.neu.edu} .  Please include
(1) your name,
(2) your address,
(3) your affiliation,
(4) your e-mail.

Poster submissions should be sent to {\tt  eccad97-poster@ccs.neu.edu} .
Please include the information above, and also an abstract for your poster.
The abstract should be (preferably) in LaTeX source, not to exceed 300 words.

Vendor displays and software demonstrations are also anticipated.
If you are interested in such a display or demonstration, please send
e-mail to {\tt  eccad97@ccs.neu.edu} .

Registration is free.  Funds are available in the form
of grants to cover travel and lodging.  Please send requests for such
support to {\tt  eccad97-reg@ccs.neu.edu} .

A copy of this announcement is available at
{\tt  http://www.ccs.neu.edu/home/gene/eccad97.html}  .

Please direct any general questions to {\tt  eccad97@ccs.neu.edu} .
}

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

{\footnotesize

{\bf Organizers:} Meinolf Geck (Paris), Gerhard Hiss (Heidelberg), 
                Wolfgang Kimmerle (Stuttgart), Klaus Lux (Aachen), 
                Gunter Malle (Heidelberg).

{\bf Contact Person:} Dr. G. Hiss,
                IWR der Universit"at Heidelberg,
                Im Neuenheimer Feld 368,
                69120 Heidelberg,
                Germany,
                {\tt hiss@euterpe.iwr.uni-heidelberg.de}.

{\bf Registration:}   Limited number  of participants. 
                Enquire by  January 31, 1997.
 
{\bf Financial Statements:} No fee; Full  Board at Dagstuhl about DM 85/day; 
                      Some support of participation will be available,
                      contact Dr. G. Hiss.

{\bf Further Information:}
                        {\tt http://www.iwr.uni-heidelberg.de/\~{}CRT}.
}

\item {\bf Computeralgebra im Mathematikunterricht}
       
M"unster, 20.5.--23.5.97

{\footnotesize

Die Zentrale Koordination Lehrerausbildung der Westf"alischen Wilhelms-Universit"at veranstaltet
eine Konferenz zum Thema \\
{\em Computeralgebra im Mathematikunterricht;
Neue Technologien im mathematisch-naturwissenschaftlichen Unterricht
(Derive, TI-92, Schulen-ans-Netz)}

{\bf Ort:} Westf"alische Wilhelms-Universit"at M"unster,
H"orsaalgeb"aude des Fachbereichs Mathematik und Informatik,
Einsteinstra"se 62.

Die Konferenz richtet sich in erster Linie an alle Lehrerinnen und Lehrer der 
mathematisch-naturwissenschaftlichen F"achergruppe. Dar"uber hinaus sollen 
sich alle in Ausbildung befindlichen Lehramtsanw"arter
sowie deren Ausbilder besonders angesprochen f"uhlen.

Das Angebot der Konferenz soll sich auf folgende {\bf Sektionen} erstrecken:
\begin{itemize}

\item Computeralgebra (\derive , \mathematica, \maple, TI-92)

\item aktuelle Entwicklungen des Programms ''Schulen-ans-Netz'' 
(Hypertext-Anwendungen, Bildungsserver, ...)

\item Geometrie mit dem Computer (Cabri g\'eom\`etre, ...)

\item Stochastik mit dem Computer

\item Perspektiven eines durch moderne Technologien gewandelten mathematisch-naturwissenschaftlichen Unterrichts (Curriculum-Diskussion, ...)

\end{itemize}

Die Tagung gliedert sich in Hauptvortr"age (Keynote-lectures) von
Prof.\ Jean-Marie Laborde, Prof.\ Dr.\ Hans-Georg Weigand und 
Dr.\ Wolfram Koepf, Kurzvortr"age
(Lectures) sowie Workshops (geplant: Mathematik: Einf"uhrung in den TI-92; 
Biologie: Hyperlab-Projekt, Chemie: multimediales Praktikum).
Das Tagungsprogramm ist erreichbar "uber
{\tt http://www.uni-muenster.de/Lehrerausbildung/catagung.html}. Hier ist
auch ein Anmeldeformular erh"altlich.

Anmeldungen sind erbeten an Dr.\ Detlef Berntzen,
Zentrale Koordination Lehrerausbildung,
Westf"alische Wilhelms-Universit"at M"unster,
Fachbereich Mathematik und Informatik, 
Prinzipalmarkt 38, 48143 M"unster, Tel 02 51/ 83-49 07, Fax: 02 51/ 83-49 04,
e-mail: {\tt berntz@uni-muenster.de}
}  

\item {\bf Computational  Methods for Permutation and Matrix Groups
}
       
Aachen, 26.5.--29.5.97

{\footnotesize

{\bf Organizer:} Akos Seress (Columbus, Ohio),
                c.o. Prof. J. Neub"user,
                Lehrstuhl D f"ur Mathematik,
                RWTH Aachen,
                Templergraben 64,
                52062 Aachen, Germany,
                Tel. 0049/241/804543,
                {\tt aseress@math.rwth.aachen.de}.

{\bf Registration:}   Limited number of participants.
                Enquire by March 15, 1997.

{\bf Further information:}  
           {\tt http://www.math.rwth-aachen.de/\~{}Akos.Seress/Workshop97.html}.
}

\item {\bf Computational Aspects of Commutative Algebra and Algebraic Geometry
}
       
Dagstuhl, 26.5.--30.5.97

{\footnotesize
{\bf Leitung:} E. Becker (Uni. Dortmund, Germany), W. Decker (Uni. Saarbr"ucken, Germany), D. Eisenbud (Brandeis Univ., USA), H. W. Lenstra (Univ. of Berkeley, USA), B. Trager (IBM Research Center, Yorktown Heights, USA).

Teilnahme nur auf Einladung
}

\item {\bf Computational Group Theory
}
       
Oberwolfach, 1.6.--7.6.97

{\footnotesize
Tagungsleitung: M. Newman (Canberra), H. Pahlings (Aachen).
Teilnahme nur auf Einladung.

}


\item {\bf CoCoA V
}

Herstmonceux Castle, East Sussex, England, 2.--6.6.1997

{\footnotesize
  We are currently planning 1-2 Plenary sessions each day with invited one
  hour talks by outstanding researchers in many areas of computation in
  commutative algebra.  We have received acceptances from the following speakers:

       D.   Bayer,        Computer Algebra and Combinatorics,
       B.   Buchberger,   Computer Algebra and Theorem Proving,
       W.   Decker,       Computer Algebra and Algebraic Geometry,
       T.   Recio,        Computer Algebra and Applications,
       M.F. Roy,          Computer Algebra and Complexity,
       D.   Struppa,      Computer Algebra and Analysis,
       B.   Trager,       Computer Algebra Systems.

    We are also planning a series of Demo sessions of several
    computer algebra systems .
    We have received acceptances from the following demonstrators:

      J.    Carette,     Maple,
      G     Greuel,      Singular,
      M.    Noro,        Asir-Risa,
      M.    Stillman,    Macaulay 2,
      Genoa Team,        CoCoA.

    There is  a registration fee for participants which will cover the
  costs of the Thursday evening banquet as well as some of the other expenses
  of the conference which are not covered by grants from the CNR of Italy, the
  University of Genova and Queen's University.
    The registration fee will be charged as follows:
          Students:   30 pounds,
          Others:      60 pounds.

{\bf  Call for Talks:}
     We would like to warmly invite anyone interested to submit an abstract
  for consideration as a possible talk at CoCoA-V.  A Tex submission of no
  more than 2 pages can be sent to the {\bf  Scientific Organizing Committee:} Tony Geramita, Gianfranco Niesi, Lorenzo Robbiano at:
                      {\tt robbiano@dima.unige.it}

   We do not anticipate publishing Proceedings of CoCoA-V.
   The abstracts which are accepted as talks, will be
   distributed to all conference participants at the start of the meeting.
}



\item {\bf First ISAAC Conference, Sektion Orthogonale Polynome und 
Computeralgebra}

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

{\footnotesize
ISAAC ist eine Abk"urzung f"ur {\sl The International Society for
Analysis, its Applications and Computation}.
Analysis ist hier im weitestgehenden Sinn gemeint und umfa"st die Gebiete
Differentialgleichungen, Integralgleichungen, Funktionalgleichungen und
Funktionentheorie. Der erste Kongre"s dieser neu gegr"undeten Gesellschaft
findet vom 3.\ bis zum 7.\ Juni 1997 an der University of Delaware statt.
Die Konferenzsekret"arin ist
\vspace*{-2mm}
\begin{quote}
Pam Irwin\\
Department of Mathematics\\
University of Delaware \\
email: irwin@math.udel.edu
\end{quote}
\vspace*{-2mm}
Die Konferenz hat ihre WWW-Seite bei der Adresse
{\tt http://www.math.udel.edu/isaac/conferen/congr97.htm},
und bei
{\tt http://www.math.udel.edu/isaac/cong.html}
ist ein Online-Registrierungs-Formular erh"altlich.

Sektion 13 dieser Konferenz ist dem Thema {\sl Orthogonale Polynome} gewidmet
und wird von Wolfram Koepf organisiert. Die Betonung liegt hierbei auf 
der Benutzung von Computeralgebra in Verbindung mit orthogonalen Polynomen
und speziellen Funktionen. Computeralgebra kann das t"agliche Arbeiten
mit orthogonalen Polynomen und speziellen Funktionen in Forschung und Anwendung
nachhaltig "andern. In der vorliegenden Sektion sollen Entwickler und
Programmierer von Computeralgebra-Algorithmen, die mit diesem Themenkreis
in Zusammenhang stehen, mit Computeralgebra-Nutzern zusammengebracht werden,
die derartige Software brauchen.


Folgende Vortr"age sind geplant:\\
 {\rm
     Victor Adamchik:} {\sl On Series Involving the Riemann Zeta Function}\\
 {\rm
     Renato \'Alvarez-Nodarse:}
{\sl Differential and Difference Equations for Orthogonal Polynomials:
A Computer Algebra Approach}\\ 
{\rm Tewodros Amdeberhan,} Shalosh B. Ekhad:
     {\sl Computer Aided Proofs of a Determinant Identity}\\
{\rm Ivan Area}, E. Godoy, A. Ronveaux and A. Zarzo:
{\sl Inversion Problems for Classical Orthogonal Polynomials and their
$q$-analogues}\\
 {\rm
     Richard A. Askey:} {\sl Some Problems on Orthogonal Polynomials}\\
{\rm Natig M.\ Atakishiyev:}
{\sl On the Fourier-Gauss Transforms of some $q$-exponential and
$q$-trigonometric Functions}\\
     {\rm Yang Chen}, Mourad Ismail: {\sl Asymptotics of the Largest Zeros of
                Some Orthogonal Polynomials}\\
 {\rm
     Charles F. Dunkl:} {\sl Using Maple to Explore Special Functions of
                Several Variables}\\
 {\rm
     Tom H. Koornwinder}, Ren\'e Swarttouw: {\sl rec2ortho: An
                Algorithm for Identifying Orthogonal Polynomials Given by
                Their Three-Term Recurrence Relation as Special Functions}\\
{\rm John Majewicz:}
{\sl On a Positivity Conjecture of Richard Askey}\\
 {\rm
     Kelly Roach:} {\sl Maple and Orthogonal Polynomials}\\
 {\rm
     Andr\'e Ronveaux:} {\sl Recurrence Relations for Connecting
                Coefficients Between Some Orthogonal Polynomials Families--A
                Simple Algorithm (Mathematica)}\\
{\rm Alan Schwartz:}
{\sl Polynomials of Several Variables and Harmonic Analysis}\\
 {\rm
     Walter J. Van Assche:} {\it
Some Examples of Computer Experiments in Research on Orthogonal Systems}\\
{\rm A. Zarzo:}
{\sl Spectral Properties of Orthogonal Polynomials: A Computer Algebra Approach
}\\
 {\rm
     Doron Zeilberger:} {\sl The Super-Holonomic Hierarchy}

Die WWW-Seite {\tt http://www.zib.de/koepf/isaac.html} enth"alt Informationen
zu der vorliegenden Sektion und wird laufend auf den neuesten Stand gebracht.

Auf der Tagung ist ferner ein Plenumsvortrag "uber das Thema
{\sl Orthogonal Polynomials and Computer Algebra} von Wolfram Koepf 
vorgesehen.

}


\item {\bf AAECC 12 -- 12th Symposium on
         Applied Algebra, Algebraic Algorithms, and Error-Correcting Codes}
       
Toulouse, Frankreich, 23.6.--27.6.97

{\footnotesize
                  
 {\bf Topics:}
                                       
 - Error-Correcting Codes: Theory and Applications.\\
 - Advances in algebraic approaches to ECC (concatenated codes, multi-variate                     codes, algebraic-geometric codes, applications of Gr"obner bases, etc.).\\
 - Applications of codes: trellis codes, turbo codes, adaptive codes and time-varying codes, modulation and codes, systolics and codes, etc.\\
 - Algebraic algorithms and algebraic computation.\\
 - Computational methods in Commutative Algebra, Algebraic and Real Geometry, Differential Algebra.\\
 - Theoretical and practical complexity in algebra and geometry.\\
 - Complexity in coding/decoding and finite field constructions.\\
 - Cryptography.

 {\bf  Deadlines:} to receive submitted papers: end of November 1996, acceptance or rejection: end of April 1997.

 {\bf Conference Board: }
H.F. Mattson,
CIS 2-120 CST,
Syracuse University,
Syracuse NY 13244-4100, USA,
FAX: (+) 1-315-44S1122,
Phone: (+) 1 315 443 4602,
Email:  {\tt hmattson@syr.edu}.

T. Mora,
DISI, Universita di Genova,
Viale Dodecaneso 35,
I-16146, Genova, Italy,
FAX: 39-10-3536699,
Phone: 39-10-3536828,
Email:  {\tt  theomora@dima.unige.it}.

A. Poli,
AAECC/IRIT Lab.,
University P. Sabatier,
118 route de Narbonne,
31062 Toulouse Cedex, France,
Fax:(+) 33-61-55-62-58,
Phone: 33-62-25-87-91,
Email:  {\tt  poli@cict.fr}.

 {\bf Conference Committee: }
T.~Beth (Karlsruhe),
J.~Calmet (Karlsruhe),
G.~Cohen (Paris),
M.~Giusti (Palaisesu),
J.~Heintz (B.Aires/Santander),
H.~Imai (Tokyo),
H.~Janwa (Allahabad),
R.~Kohno (Yokohama),
A.~Miola (Roma),
O.~Moreno (Puerto Rico),
T.~R.~N.~Rao (Lafayette La),
S.~Sakata (Tokyo).
}

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

{\footnotesize

{\bf Organizers:}     Andrea Caranti (Trento), M.F.Newman (ANU, Canberra)

{\bf Contact person:} Prof. A. Caranti,
                Dipartimento di Matematica,
                Universita' degli Studi di Trento,
                I-38050 Povo (Trento),
                Italy,    
                {\tt caranti@science.unitn.it}

{\bf Further information:}
    {\tt http://www-math.science.unitn.it/\~{}caranti/ESCGT\_Workshop\_June\_97/ }

}


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

Maui, Hawaii, USA 20.7.--22.7.97

{\footnotesize

The Second International Symposium on Parallel Symbolic Computation (PASCO'97) seeks papers presenting original research on all aspects of high performance symbolic computation. High performance is meant as pertaining to the solution of large problems by means of parallel, distributed, multi-processor, or networked computers.

{\bf Program Committee Chair:}
Erich Kaltofen,
Mathematics Department,
North Carolina State University,
Raleigh, North Carolina 27695-8205,
Phone: (919) 515 8785
Fax: (919) 515 3798
email: {\tt kaltofen@eos.ncsu.edu} .

{\bf Symposium Chair:}
Hoon Hong,
RISC-Linz, Johannes Kepler University,
A-4040 Linz, Austria,
Phone: +43 (7236) 3231-48,
Fax: +43 ( 7236) 3231-30,
email: {\tt Hoon.Hong@risc.uni-linz.ac.at} .

{\bf Important dates:}
Submission: January 15, 1997,
Notification: March, 1997,
Camera-ready: May, 1997,

{\bf Information:}
{\tt http://www.csc.ncsu.edu/pasco96}
}

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

{\footnotesize

       ISSAC '97 is an annual international symposium that
provides an opportunity to learn of new developments and
to present original research results in all areas of symbolic
mathematical computation.

 {\bf  Topics} of the meeting include, but are not limited to:
 
      {\em  Algorithmic mathematics:} Algebraic, symbolic and
symbolic-numeric algorithms including: simplification, polynomial and rational function manipulations, algebraic equations, summation, integration, linear algebra and matrix
computations, number theory, ODE/PDE, complex computation, group computations, and geometric computing;

        {\em Computer science:} Theoretical and practical problems
in symbolic mathematical computation including: computer
algebra systems, problem solving environments, programming languages and libraries for symbolic computation, user
interfaces, data structures, software architectures, 
parallel/distributed computing, mapping algorithms to architectures,
concrete analysis and benchmarking, complexity of computer algebra algorithms, artificial intelligence techniques,
automatic differentiation and code generation, mathematical data exchange protocols;

        {\em Applications:} Problem treatments incorporating algebraic, symbolic, or symbolic-numeric computation in an essential or novel way, including engineering, economics and
finance, physical and biological sciences, computer science,
logic, mathematics, statistics, and education.

{\bf Conference activities}

Planned activities include invited presentations, research
and survey papers, poster sessions, tutorial courses, vendor
exhibits, and software demonstrations. Proceedings will be
distributed at the symposium.
       
In 1997, ISSAC will be held in federation with PASCO'97,
the Second International Symposium on Parallel Symbolic
Computation (July 20-22 at the same location).
                                   
                                    
{\bf Important Dates:}
15 Jan 1997 Submitted papers must be received,
14 Mar 1997 Notification of acceptance (papers),
12 Apr 1997 Camera-ready papers must be received,
      16 May 1997   Poster abstracts must be received,
      1 June 1997   Notification of acceptance (poster).
                                     

 
{\bf General Chair:}
Bruce Char,
Department of Mathematics and Computer Science,
Drexel University,
3141 Chestnut Street,
Philadelphia PA l9104,
{\tt issac97\_general\_chair@mcs.drexel.edu},
+ 1 (215) 895-2670,
+ 1 (215) 895-1582 fax.
                                 
{\bf Program Chair:}
Paul S. Wang;
Institute for Computational Mathematics;
Kent State University;
Kent OH 44242;\\
{\tt pwans@mcs.kent.edu} or
{\tt issac97\_program\_chair@mcs.drexel.edu} .

{\bf Program Vice-Chair:}
Hoon Hong,
RISC-Linz,
A- 4232 Hagenberg,
University of Linz,
LINZ Austria,\\
{\tt Hoon.Hong@risc.uni-linz.ac.at} .

{\bf Program Committee:}
Arjeh M. Cohen, RIACA, The Netherlands,
{\tt anc@win.tue.nl},
George Havas, Queensland U. Australia,
{\tt havas@cs.uq.oz.au},
Hoon Hong, Vice Chair, RISC/Linz Austria,
{\tt Hoon.Hong@risc.uni-linz.ac.at},
Jeremy Johnson, Drexel U., USA,
{\tt jjohnson@mcs.drexel.edu},
Norbert Kajler, Ecole des Mines de Paris, France,
{\tt kajler@cc.ensmp.fr},
George Labahn, U. of Waterloo, Canada,
{\tt glabahn@daisy.uwaterloo.ca},
Teo Mora, U. Genova, Italy,
{\tt theomora@gauvain.dima.unige.it},
Peter Paule, RISC/Linz, Austria
{\tt Peter.Paule@risc.uni-linz.ac.at}
Bob Plemmons, Wake Forest U. USA,
{\tt plemmons@deacon.mthcsc.wfu.edu},
Rafael Sendra, U. Alcala de Henares, Spain,
{\tt mtsendra@alsala.es},
Fritz Schwarz, GMD, Germany,
{\tt fritz.schwarz@gmd.de},
Vilmar Trevisan, UFRGS, Brazil,
{\tt trevisan@mat.ufrgs.br},
Paul S. Wang, Chair, Kent State U. USA,
{\tt pwang@mcs.kent.edu},
Kazuhiro Yokoyama, Fujitsu Labs, Japan,
{\tt momoko@iias.flab.fujitsu.co.jp},
Richard Zippel, Cornell U. USA,
{\tt rz@cs.cornell.edu}.


{\bf Poster Sessions Committee:}
      John A. Abbott (U. Genova, Italy)
    {\tt abbott@can.nl},
      Mark J. Encarnacion, Chair (U. Philippines)
    {\tt mje@engg.upd.edu.ph},
      Li Ziming (MMRC, China)
    {\tt zmli@mmrc.iss.ac.cn},
      Petr Lisonek (Simon Fraser U., Canada)
    {\tt lisonek@cecm.sfu.ca},
      Hirokazu Murao (U. Tokyo, Japan)
    {\tt murao@cc.u-tokyo.ac.jp},
      Emil Volcheck (National Security Agency, USA)
    {\tt volcheck@acm.org}.

Authors are encouraged to read the article ''How to Prepare a Poster''\\
({\tt http://www.siam.org/siamnews/general/poster.htm} ).


{\bf Information: } {\tt http://www.mcs.drexel.edu/ISSAC97}

}

\item {\bf  Groups St Andrews 1997 in Bath}
       
Bath, England, 26.7.--9.8.97

{\footnotesize
This conference will be held at the University of Bath, Bath, England
from Saturday 26 July 1997 (arrival day) to Saturday 9 August 1997 (departure
day). It will be a large international conference and, based on experience
from previous Groups St Andrews conferences, we expect around 350 participants.

The {\bf speakers}, each giving a course of about four lectures, will be
Laci Babai, University of Chicago,
Martin Bridson, Pembroke College, Oxford,
Chris Brookes, Corpus Christi College, Cambridge,
Cheryl Praeger, University of Western Australia,
Aner Shalev, The Hebrew University of Jerusalem.

The courses by the main speakers will be in the first week of the conference.
The second week will include a programme of invited one hour talks. There
will be a full seminar programme in both weeks of the conference.

{\bf Organizing committee:} Colin Campbell, Edmund Robertson, Geoff Smith.

{\bf Further information} about the conference and the city 
of Bath may be viewed at the  WWW page:\\
{\tt http://www.bath.ac.uk/\~{}masgcs/gps97/}

{\bf Conference email and mail address:}
{\tt groups97@dcs.st-and.ac.uk}, 
Groups St Andrews 1997 in Bath,
Mathematical Institute,
North Haugh,
St Andrews,
Fife KY16 9SS,
Scotland.
}


\item {\bf 15th IMACS World Congress 1997 on
Scientific Computation,
Modelling and Applied Mathematics
}
       
Berlin, 24.8.--29.8.97

{\footnotesize
{\bf Conference Venue:}
   Hotel Berlin HILTON,
Congress Center,
Mohrenstra"se 30,
D-10117 Berlin-Mitte.

{\bf Scientific Program:}
The Scientific program will consist of regular papers (25 minutes) and keynote
papers (45 minutes). Proposed regular papers may be submitted by sending an
extended summary (between 1 and 2 pages, three copies) to the Congress Office (by
regular mail or by e-mail).

Keynote papers may be proposed in any format, not necessarily by the intended
author, giving a description of the importance of the subject area and the credentials
of the proposed speaker.

Part of the program will consist of Organized Sessions. Proposals to organize a
Session or Sessions are solicited. They should describe the specific area to be
covered, and the full address, telephone, e-mail, etc. of the intended organizer(s).

Proposals for Keynote papers and proposals for Organized Sessions may be submitted
in writing to the Congress Office. 

{\bf Topics:}
The topics of interest related to scientific Computing and Applied Mathematics
include, but are not limited to: 

   Methods for ODE's, PDE's, 
   Integral equations,
   Computational linear algebra, 
   Parallel computing, 
   Computer arithmetic, 
   Computational physics/chemistry/biology, 
   Nonlinear science, 
   Computational acoustics, 
   Knowledge based Systems, 
   Symbolic Computation, 
   Modelling and Simulation, 
   Applications in Engineering, Control Systems, Robotics, Biology, the
   Environment, etc .. 

{\bf Congress General Chair:}
   Prof. Dr. A. Sydow,
   GMD FIRST,
   German National Research Center for Information Technology,
   Research Institut for Computer Architecture and Software Technology,
   Rudower Chaussee 5,
   D-12489 Berlin, Germany,
   phone: +49 30 6392 1813,
   fax: +43 30 6392 1805,
   email: sydow@first.gmd.de or imacs97@first.gmd.de, 

{\bf Scientific Program Committee:}
R. Beauwens, Universit\'e Libre de Bruxelles, Belgium, P. Borne Ecole Centrale de
Lille, France, J. Butcher, Auckland University, New Zealand, P. L. Christiansen, 
Technical University of Denmark, Denmark, P. Deuflhard, Konrad-Zuse-Zentrum
Berlin, Germany, J. Dongarra, University of Tennessee, USA, J. Flaherty Rensselaer,
Polytechnic Institute, USA, P. van der Houwen, CWI, The Netherlands, A. Iserles, 
Cambridge University, UK, A. Jakeman, Australian National University, Australia, J.
Rice, Purdue University, USA, R. D. Russell, Simon Fraser University, Canada, A.A.
Samarskii, Russian Academy of Sciences Moscow, Russia, W. Stucky, Universit"at
Karlsruhe, Germany, J. Sanz-Serna, Universidad de Valladolid, Spain, H.J. Stetter, 
Technische Universit"at Wien, Austria, U. Trottenberg, GMD SCAI St. Augustin, 
Germany.

{\bf Deadlines:}
   Submission of Sessions and Papers due by December 1, 1996
   (in case of multiple authors mark the correspondence author). 
   Notification of acceptance due by February 28, 1997. 
   Camera-ready papers due by April 30, 1997 .

{\bf WWW-Pages for further information:} {\tt http://www.first.gmd.de/imacs97/}\\
{\tt http://iaks-www.ira.uka.de/iaks-calmet/conf/imacs97} , 
{\tt http://math.unm.edu/ACA/1997} .

}


\item {\bf Euro-Par'97
}
       
Passau, 26.8.--29.8.97

{\footnotesize

Euro-Par is the annual European conference in Parallel Processing.

Euro-Par'97 Workshop 19 on {\bf Symbolic Computation} is organized by
Manuel Hermenegildo, TU Madrid (UPM), Spain, General Chair,
Hoon Hong, RISC Linz, Austria, Local Chair,
Kevin Hammond, University of St. Andrews, UK, Vice-Chair,
Wolfgang K\"uchlin, University of T\"ubingen, Germany, Vice-Chair.

  Topics of interest for Workshop 19 include:
constraint programming,
functional programming,
logic programming,
computer algebra,
theorem proving,
AI paradigms,
parallel search.

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

{\bf More Information:} {\tt http://www.uni-passau.de/europar97/}


}

\item {\bf  XIV. "Osterreichischer Mathematikerkongress
}
       
   Salzburg, 22.--26.9.1997


{\footnotesize


F"ur den Kongress der "OMG (gemeinsam mit der Jahrestagung der DMV) sind
die folgenden 14 Sektionen vorgesehen:
\begin{enumerate}
\item[1]  Philosophie, Geschichte der Mathematik
\item[2]  Logik, Theoretische Informatik
\item[3]  Diskrete Mathematik
\item[4]  Zahlentheorie
\item[5]  Algebra
\item[6]  Reelle und komplexe Analysis
\item[7]  Funktionalanalysis, Harmonische Analyse
\item[8]  Geometrie
\item[9]  Topologie, Differentialgeometrie
\item[10]  Differentialgleichungen
\item[11]  Numerische Mathematik, Computational Mathematics
\item[12]  Angewandte Mathematik, Technomathematik
\item[13]  Wahrscheinlichkeitstheorie, Statistik  % 2 Tippfehler
\item[14]  Elementarmathematik, Didaktik der Mathematik
\end{enumerate}
Eine eigene Sektion Computeralgebra ist nicht vorgesehen. Die Vortr"age aus
diesem Bereich werden sich daher vor allem auf die Sektionen 3, 4, 5, und
11 verteilen. Weitere Informationen erh"altlich von J. Czermak f"ur das
lokale Organisationskomitee.

{\bf 
Adresse:} "OMG Congress, University of Salzburg, Institute of Mathematics,
Hellbrunner Strasse 34, A - 5020 Salzburg, AUSTRIA
}


\item {\bf Lie Algebras and Applications}
       
Eindhoven, Niederlande, 23.9. -- 27.9.97

{\footnotesize
{\bf Organisers:}     A.M. Cohen, H. Cuypers, H. Sterk

{\bf Contact person:} H. Cuypers,
                Fac. Wisk. en Inf.,
                TUE,
                Postbox 513,
                5600 MB Eindhoven ,
                The Netherlands,   
                {\tt hansc@win.tue.nl} .

{\bf Deadline for registration:} September 1, 1997.

{\bf Financial statements:} No admission fee. 
                      Hotel prices range from 60 NLG per night for a cheap 
                      hotel to 200 NLG for a reasonably luxurious one.

{\bf More details:} {\tt http://www.win.tue.nl/\~{}hansc/liealg.html}

                      Maximum of 30 participants.

                      The first three days will consist of an introductory 
                      course by G. Heckman in the  mornings with interactive 
                      computer sessions and exercises in the afternoons.


activities and are interested to spend some  time in between in one of
the  places organizing  these   events are  welcome to inquire   about
possibilities with the contact addresses given above.
}


\item {\bf ICTMT-3, Dritte Internationale Konferenz "uber Technologie in der mathematischen Lehre }
       
Koblenz, 29.9. -- 2.10.97

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

Wolfgang Fraunholz, Universit"at in Koblenz (Deutschland)
John Searl, The University of Edinburgh (UK)
Bert Waits, The Ohio State University (USA)

Die dritte europ"aische Internationale Konferenz "uber Technologie in der
Mathematischen Lehre will Unterrichtspraktiker, Curriculum-Entwickler,
Mathematik-Didaktik-Forscher und Hochschullehrer der Mathematik
zusammenbringen, die alle den Wunsch nach einer Verbesserung der Lehre und
des studentischen Lernens haben. Hauptvortr"age von ausgewiesenen Rednern
werden durch ein Programm von speziellen Kurzreferaten und Workshops
erg"anzt. Wir hoffen, auch eine Ausstellung von B"uchern, Soft- und Hardware
zur Thematik bieten zu k"onnen. 

Die Tagung findet auf dem Campus der
Universit"at in Koblenz statt, der auf der Halbinsel Koblenz-Oberwerth,
eineinhalb Kilometer vom Hauptbahnhof Koblenz entfernt, liegt.
Die Konferenzsprachen werden Deutsch und Englisch sein.

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

Prof. Wolfgang Fraunholz,
Universit"at - Mathematisches Institut,
Rheinau 1,
D-56075  Koblenz,
Deutschland,
Tel.:   +49-261-9119650,
Fax:    +49-261-9119652,
Email:  {\tt w.fraunholz@ifm.uni-koblenz.de}.

Sie finden diese Ank"undigung und ein Formblatt auch im Internet unter\\
{\tt http://euler.uni-koblenz.de/ictmt3/index.html}
}


\item {\bf Algorithmic Algebra and Number Theory}

   Heidelberg, 29.9.--3.10.1997

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

Teilnahme nur auf Einladung
}

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

   Oberwolfach, 12.--18.10.1997

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

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

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

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

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


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

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


{\footnotesize

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

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

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

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

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

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

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

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

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

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

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

  {\bf Conference Organization:}

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

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

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

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

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

 {\bf Important Dates:}

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

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

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

{\footnotesize

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

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

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

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

{\footnotesize

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

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

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

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

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

{\bf {Organizers:}}

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

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


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

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

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

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

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

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

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

}

\item {\bf ISSAC'98 }\label{issac98}
       
Rostock, 13.8. -- 15.8.98

{\footnotesize

ISSAC'98 will be held at Rostock
University in August 1998
in relation to the
International Congress of Mathematics which will
take place in Berlin (from 18.08. until 28.08.1998).

{\bf General Chair:}
Volker~Weispfenning,
Lehrstuhl f"ur Mathematik,
Universit"at Passau,
Innstra\ss e 33,
94030 Passau,
Tel. 0851-509-3120, -3121  (Sekr.),
Telefax: 0851-509-1802,
elektr. Adr.: {\tt weispfen@alice.fmi.uni-passau.de}.

{\bf Local Arrangements Chair:}
 Karl Hantzschmann,
 Rostock University,
 Department of Informatics,
 Albert-Einstein-Str. 21,
 18059 Rostock,
 Germany,
 Tel.: +49 (381) 498 3400,
 Fax: +49 (381) 498 3399,\\
 E-mail:
 {\tt hantzschmann@informatik.uni-rostock.de} .

Further information on the symposium will be available
on World Wide Web at the URL\\
{\tt http://www.informatik.uni-rostock.de/kh/issac98.html}
}

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

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

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

{\footnotesize
This international conference is organized by

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

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

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

The following mathematicians have already agreed to attend the conference:

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

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

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

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


\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 Workshop on Automated Deduction in Geometry
}
       
Toulouse, Frankreich, 27.--29.9.96

{\footnotesize
Der Workshop wurde von Dongming Wang (Grenoble) organisiert und war 
automatischen Beweismethoden in der Geometrie gewidmet.
Eingeladenen Vortragende waren Deepak Kapur und Volker Weispfenning.

Die einzelnen Vortr"age waren:
Deepak Kapur: {\em Geometric Reasoning with Dixon Resultants},
Tran Quoc Nam: {\em Automatic Discovery of Theorems in Elementary  
Geometry},
Giuseppa Carra Ferro: {\em Probabilistic Verification of Elementary  
Geometry Statements},
Franz Winkler: {\em Parametrizability of Algebraic  
Curves--Constructive Proofs},
Gilles Defourneaux: {\em Generalizations for Proving or Disproving  
Geometry Conjectures by Analogy},
Philippe Balbiani and Luis Farinas del Cerro: {\em Diagrammatic  
Reasoning in Projective Geometry},
Xiangfang Liu: {\em Multiplicity and Resultant},
Volker Weispfenning: {\em Real Quantifier Elimination Methods  
Applied in Geometry},
Stephane Fevre: {\em Modular Theorem Proving in Geometry},
He Shi: {\em The Method for Study of the Multiparameter Quantum Group}, 
Timothy F. Havel: {\em An Inductive Approach to Geometric Reasoning}, 
Henry Crapo: {\em Automatic Proofs of Geometry Theorems: the  
Syntetic Approach},
Koichiro Deguchi: {\em An Algebraic Framework for Vision System  
Construction Using Mechanical Theorem Proving Method},
Dongming Wang: {\em Geometric Algebra and Computer Vision}
}

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

%\item {\bf Groups in Action,
%    Constructive Theory of Discrete Structures
%}
       
%Thurnau, 20.10.--24.10.96

%{\footnotesize

%You will find more information on the WWW page:
%{\tt http://btm2xd.mat.uni-bayreuth.de/Welcome.html}

%{\bf Organizers:}
%Anton Betten,
%Adalbert Kerber and
%Reinhard Laue.

%}

\item {\bf Journ\'ees Th\'ematiques {\bf Galois Diff\'erentiel et Galois
Algebrique }
}
       
Rennes, Frankreich,  14.--16.11.1996

{\footnotesize

Rennes, France,  14-16.11.1996

Im Rahmen der {\em Journ\'ees} wurden
\begin{enumerate}
\item neue Ergebnisse/Algorithmen in den jeweiligen Galoistheorien,
\item beide Galoistheorien durch \"Ubersichtsvortr\"age
\end{enumerate}
vorgestellt. Dadurch konnten sich Forscher aus diesen verwandten
Gebieten treffen.

Folgende Vortr\"age fanden statt:
\begin{itemize}
\item A. Barkatou (Grenoble) : M\'ethode efficace pour calculer les solutions
      rationnelles d'un syst\`eme differentiel lin\'eaire.
\item D. Bertrand (Paris 6): Groupes de Galois diff\'erentiels : version
     intrins\`eque. Quelques applications arithm\'etiques de la th\'eorie
     de Galois diff\'erentielle.
\item A. Colin (Polytechnique) M\'ethodes de sp\'ecialisation d'invariants
     et application \`a la theorie de Galois.
\item E. Compoint (Paris 6): \'Equations diff\'erentielles et Relations
      Lin\'eaires.
\item J. Davenport, G. C. Smith (Bath) D\'etermination du Groupe de
      Galois d'un polynome.
\item L. Ducos (Poitiers): R\'esolution par radicaux d'\'equations
      polynomiales.
\item B. Edixhoven (Rennes): Constructions d'\'equations diff\'erentielles pour
      certains groupes finis.
\item Y. Eichenlaub  (Bordeaux) R\'ealisation comme groupes de Galois sur Q
      des produits semi-directs \`a noyau ab\'elien.
\item F. Lehobey (Rennes) Calculs de r\'esolvantes par les r\'esultants
      sans puissances superflues.
\item M. Loday-Richaud (Angers): \'Equations de Heun.
\item B.H. Matzat (Heidelberg):  Construction Methods in Inverse Galois Theory.
\item C. Mitschi (Strasbourg): Probl\`eme inverse en th\'eorie de Galois
      diff\'erentielle.
\item M. Olivier  (Bordeaux)  Th\'eorie algorithmique du corps de classes
      global.
\item M. van der Put (Groningen): Differential equations in positive
      characteristic.
\item C. Quitte (Poitiers): Polynomes irr\'eductibles dans Z, r\'eductibles
      modulo tout premier.
\item F. Ulmer (Rennes): Calcul de Solutions Liouvilliennes.
\item J.A. Weil (Limoges): Factorisation des op\'erateurs diff\'erentiels.
\end{itemize}

\begin{flushright}
  F. Ulmer (Rennes)
\end{flushright}

}

\item {\bf VDI-GET-Workshop -- Computeralgebra-Simulation (CALS)
f"ur Ingenieure
}
       
D"usseldorf, 10.12.96

{\footnotesize
Am 10.12.1996 fand in D"usseldorf ein vom VDI Gesellschaft
Energietechnik durch Dr.-Ing. E.-G.~Hencke organisierter
Workshop zum  Thema \ca-Simulation (CALS) f"ur Ingenieure
statt. Etwa 50 (zahlende) Teilnehmer aus Industrie
und Wissenschaft waren erschienen. Nach einem
(interaktiven) "Uberblicksvortrag zum Thema
{\sl \ca -- eine S"aule des wissenschaftlichen
Rechnens} des Unterzeichners wurden die folgenden
Themen behandelt:
\begin{itemize}
\item {\sl Berechnung der W"arme"ubertragung mit \ca:
M"oglichkeiten und Anwendungsbeispiele
},
Dipl.-Ing. H. H"auser, Visual Analysis GmbH, M"unchen,
\item {\sl
Einsatz der \ca\ in der Schwei"stechnik
},
Dr. B. Buchmayr, Christian Doppler Laboratorium, Graz,
\item {\sl
Simulation von transienten Temperaturfeldern
},
Dipl.-Ing. Stefan Braun, Visual Analysis GmbH, M"unchen,
\item {\sl
\ca\ als Werkzeug des Str"omungsmechanikers
},
Dr. H. Raszillier, Dipl.- Phys. N. Alleborn, Dipl.-Ing. G. S"underhauf,
Lehrstuhl f"ur Str"omungsmechnik, Friedrich-Alexander-Universit"at
Erlangen-N"urnberg,
\item {\sl
Auslegung von W"arme"ubertragern
},
Dipl.-Ing. Stefan Braun, Visual Analysis GmbH, M"unchen
\item {\sl
Gasstr"omungen im Vakuum
},
Prof. Dr. S. Sotier, Fachbereich Physikalische Technik, FH M"unchen,
\item {\sl
Modellbildung und Analyse mechanischer Systeme
},
Prof. Dr.-Ing. E. Kreuzer, TU Hamburg-Harburg.
\end{itemize}
\begin{flushright}
Johannes Grabmeier, Heidelberg
\end{flushright}

}


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

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


%\vspace{1cm}
%\subsection*{\Large\bf
%\centerline{?? Ein Anwendungsgebiet der Computeralgebra ...} 
%}\label{m}
%\addcontentsline{toc}{subsection}{\normalsize \sl 
%??  Ein Anwendungsgebiet der Computeralgebra ...}%\toc_dotfill }
%\vspace{0.4cm}
%...

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


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

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

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

%\noindent


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

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

\renewcommand{\arraystretch}{1.3}

\vspace*{4mm}

\begin{center} {\large\bf MAS, the Modula-2 Algebra System, Version 1.00} \end{center} 
\label{mas}
\addcontentsline{toc}{subsection}{\normalsize \sl
MAS, the Modula-2 Algebra System, Version 1.00}
\noindent A new version of MAS, the Modula-2 Algebra System is now available
from

\verb+ftp://alice.fmi.uni-passau.de/pub/ComputerAlgebraSystems/mas+

\noindent or

\verb+http://alice.fmi.uni-passau.de/mas.html+

\noindent as executables for
 HP 9000, running HP-UX,
 IBM RS/6000, running AIX,
 Intel PC, running Linux,
 Intel PC, running OS/2,
 Intel station, running Nextstep,
 NeXTstation, running Nextstep and
 Sun Sparc, running SunOS.

MAS (Modula-2 Algebra System) is an experimental computer algebra
system, developed at the University of Passau. MAS combines imperative
programming facilities with algebraic specification capabilities for
design and study of algebraic algorithms. It contains a large library
of implemented Gr\"obner basis algorithms for nearly all algebraic
structures where such methods exist. MAS further includes algorithms
for real quantifier elimination, parametric real root counting, and
for computing in (noncommutative) polynomial rings.

The last released version of MAS was version 0.7. From version 0.7 to
version 1.0 the following major changes have been made:
\medskip

\centerline{\textbf{Mathematical library improvements}}

{\bf  Gr\"obner bases: } An optimized Gr\"obner base package, which
  includes the ``sugar''-method and a better exploitation of
  Buchberger's second criterion has been implemented.\\
{\bf  Factorized Gr\"obner Bases: } A package to compute factorized
  Gr\"obner bases has been added.\\
{\bf  Comprehensive Gr\"obner Bases: } The CGB package for computing
  comprehensive Gr\"obner bases has been extended. The occuring
  conditions can be exploited (by detecting implications and
  inconsistencies) to avoid unnecessary cases and factorized
  comprehensive Gr\"obner bases can be computed.\\
{\bf  Involutive Bases: } A package for computing involutive bases and
  factorized involutive has been added.\\
{\bf  Invariant Polynomials: } A package for reduction of invariant
  polynomials has been included.\\
{\bf  Counting Real Roots: } A package for counting real roots has been
  implemented.\\
{\bf  Logic Formulae: } A package for representation of logic formulae
  was included. It makes methods for formula simplification available
  on a new data structure for logic formulae.\\
{\bf  Linear Algebra: } The linear algebra package of MAS has been
  improved.


\centerline{\textbf{System Improvements}}


{\bf MAS language: } The MAS language now accepts small letter key
  words. Braces \verb+{}+ can be used to denote list expressions.\\
{\bf  Makefiles and GNU autoconf: } The installation of MAS has been
  simplified by using the GNU autoconf system and a new Makefile. done
  by the configure script.\\
{\bf  GNU Readline and History Library: } The terminal input and output
  interface has been modified to make use of the freely available GNU
  readline and history libraries.\\
{\bf  Kpathsearch Library: } The kpathsea library by K.~Berry is now
  used by MAS.\\
{\bf  Shell command line options: } GNU getopt is now used as parser
  for this options and new command line options have been added to
  MAS.\\
{\bf  Interrupt handling: } An interrupt handler has been added to MAS
  which can react on the \verb/USR1/ signal by printing the actual
  state of computation.\\
{\bf  Garbage collection: } The garbage collector has been modified to
  automatically detect the necessary information on stack structure at
  runtime (to allow cross-compiling). It is no longer necessary to
  give values for ``stack-offset'' before compiling MAS. Furthermore
  the garbage collector now works on machines with reverse stack
  growth like those from HP.\\
{\bf  Compiler optimizations: } MAS has now been modified to allow use
  of the optimization possibilities of gcc.\\
{\bf  New Data Structure Concept: } This concept has been used in the
  DIPAGB package, the CGB package and to some extent in the MASIB,
  MASLOG and DIPDCGB packages.\\
{\bf  Generic Functions: } Generic functions on polynomial system over
  ``arbitrary domains'' have been designed and implemented.\\
{\bf  Selection of Options: } A concept for implementing run time
  options has been introduced.  Options (e.g.\ how much intermediate
  output should be produced, which term order should be used, which
  strategy should be followed) can be set from the interpreter by
  special functions.


\noindent You can get more information about MAS from:
\verb+http://alice.fmi.uni-passau.de/mas.html+

\noindent Send bug-reports, questions, remarks to:
\verb+mas@alice.fmi.uni-passau.de+

Heinz Kredel
Universit\"at Mannheim
D-68131 Mannheim
Germany
\verb+kredel@rz.uni-mannheim.de+ ,

Michael Pesch,
Universit\"at Passau,
D-94030 Passau,
Germany,
\verb+pesch@alice.fmi.uni-passau.de+ .

\begin{flushright} Heinz Kredel (Mannheim), Michael Pesch (Passau) \end{flushright}

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


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


Im Bereich der mathematisch-technischen Anwendungssoftware existiert - wie in
anderen Softwaregebieten auch - eine gro\ss{}e Menge an bestehenden
Programmen, die aber in aller Regel nur ''stand alone'' lauff\"a{}hig sind.
Nutzer mathematischer Expertensysteme m\"o{}chten gerne neueste
Computer-Algebra Technologie benutzen, ohne aber auf bereits bestehende
Pakete verzichten zu m\"u{}ssen.  Der Datenaustausch zwischen diesen beiden
Welten ist aber derzeit noch wenig standardisiert und oft nicht oder nur
auf Umwegen m\"o{}glich.

Im MuPAD-System wurde nun ein wichtiger Schritt in Richtung
Softwareintegration im Bereich der mathematischen Anwendungen vollbracht.
Durch das Konzept der ''Dynamischen Module'' ist es jetzt m\"o{}glich,
spezielle Anwendungsprogramme oder -bibliotheken mit MuPAD zu koppeln und
Daten austauschen zu lassen.   Dies geschieht dabei nicht \"u{}ber Netze,
Dateien oder Nachrichten sondern durch direktes Hinzubinden zum
MuPAD-System.   MuPAD und das hinzugebundene Programm laufen dann in ein
und demselben Speicherbereich und k\"o{}nnen so schnell und effizient Daten
austauschen.

Der MuPAD-Anwender benutzt die hinzugebundenen Programme dabei wie normale
MuPAD-Biblio\-the\-ken.  Das Computer-Algebra-System kann auf diese Weise eine
Vielzahl verschiedener Pakete laden und bei Bedarf auch wieder
verdr\"a{}ngen (z.B. um Speicherplatz zu sparen).  Es agiert dabei nicht
nur als Schnittstelle zu den Spezialprogrammen sondern kann auch als
Vermittler zwischen den Tools oder als komfortable Programmierumgebung
dienen.  Der Anwender kann somit f\"u{}r sein spezielles Problem stets die
bestm\"o{}gliche L\"o{}sung w\"a{}hlen, und kann Spezialsoftware nutzen
ohne auf die Kraft eines allgemeinen CA-Systems verzichten zu m\"u{}ssen.
Als erste Anwendungen f\"u{}r dieses Konzept wurden das Magnum-Paket zur
effizienten Polynomfaktorisierung \"u{}ber endlichen K\"o{}rpern, die
nagc-Numerik-Bibliothek und das mp-Kommunikationsprotokoll als MuPAD-Module
eingebunden.  Die Einbindung selbst erfolgt mit Hilfe des
MuPAD-Modulgenerators und der dazugeh\"o{}rigen Toolbox, die externen
Programmen eine einfach zu verstehende, wohldefinierte Schnittstelle auf
alle Funktionen des MuPAD-Kerns erm\"o{}glicht.

Das MuPAD Modulkonzept ist f\"u{}r alle wesentlichen UNIX-Plattformen,
Apple Macintosh und Microsoft Windows 95/NT implementiert.  Die MuPAD
Gruppe wird Modulgenerator und -anwendungen auf der CeBIT '97 vorstellen.

\begin{flushright} Benno Fuchssteiner (Paderborn) \end{flushright}

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

\begin{center}
{\bf \Large Parsac Groebner Basen im Internet}\\
\end{center}
\addcontentsline{toc}{subsection}{\normalsize \sl
Parsac Groebner Basen im Internet
}

\centerline{B. Amrhein, O. Gloor, W. K"uchlin}
\bigskip
\noindent
In unserer Gruppe sind (unter anderem) zwei Softwarepakete
entstanden: 
\begin{itemize}
\item die sequentielle und parallele Implementierung von
Buchbergers Algorithmus  [1] und
\item die sequentielle Implementierung der
 Basiskonversion mit dem Gr"obner Walk [2].
\end{itemize}

Beide Verfahren nehmen als Input eine Menge von 
ganzzahligen Polynomen und die Menge der  darin
 vorkommenden Variablen.
Der Walk erwartet als Eingabe eine Gr\"obner Basis bez\"uglich
der anzugebenden Startordnung und berechnet eine Gr\"obner Basis
bez\"uglich der gew\"ahlten Zielordnung.

Diese zwei Verfahren sind nun mittels HTML/Java Benutzeroberfl"achen 
im Internet zug"anglich.
Dadurch kann unsere Software bereits jetzt (noch in der
Entwicklungsphase) weltweit genutzt werden,
ohne da"s beim Anwender irgendwelche Installationsarbeiten oder gar 
eine parallele Maschine n"otig w"aren. 
Die entsprechenden URL sind:
{\small
\begin{verbatim}
http://www-sr.informatik.uni-tuebingen.de/~www-sr/java_gui/groebner.html
http://www-sr.informatik.uni-tuebingen.de/~www-sr/java_gui/walk.html
\end{verbatim}
}

Die Benutzeroberfl"ache ist noch experimentell.

Fragen, Hinweise oder Kritik senden Sie bitte an%\\
{\tt amrhein@informatik.uni-tuebingen.de}

\bibliographystyle{alpha}

\bibliography{algebra,parallel,proceedings}

\begin{description}
\item[][1] \ 
Beatrice Amrhein, Oliver Gloor, and Wolfgang K{\"u}chlin.
\newblock A case study of multi-threaded {G}r{\"o}bner basis completion.
\newblock In Lakshmann~Y. N., editor, {\em Proc. {ISSAC'96}}, pages 95--102, Zurich,
  Switzerland, July 24--26 1996. ACM Press.
 
\item[][2] \ 
Beatrice Amrhein, Oliver Gloor, and Wolfgang K{\"u}chlin.
\newblock Walking faster.
\newblock In Jacques Calmet and Carla Limongelli, editors, {\em DISCO'96},
 volume 1128 of {\em LNCS},
  pages 150--161, Karlsruhe, Germany, September 1996. Springer-Verlag.
 \end{description}

{\normalsize    
\begin{flushright}  Beatrice Amrhein (T"ubingen) \end{flushright}
}

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

\newpage

\begin{center}
{\bf \Large REDLOG 1.0 for computing with first-order formulas}
\end{center}
\addcontentsline{toc}{subsection}{\normalsize \sl
REDLOG 1.0 for computing with first-order formulas
}

\centerline{\bf Overview}
REDLOG stands for REDuce LOGic system. It provides an extension of the
computer algebra system REDUCE to a {\em computer logic system}
implementing symbolic algorithms on first-order formulas w.r.t.
temporarily fixed first-order languages and theories. Underlying
theories currently available are ordered fields and discretely valued
fields. The focus of the implemented algorithms is on effective
quantifier elimination and simplification of quantifier-free formulas.
The algorithms implemented for ordered fields include to following:

\begin{itemize}
\item Several techniques for the simplification of quantifier-free formulas
  including Gr\"obner basis methods.

\item Linear and quadratic quantifier elimination, which can be used, e.g,
  for simulation and parametric optimization.

\item A variant of the quantifier elimination procedure for geometric
  theorem proving: Non-degeneracy conditions are detected automatically.
  This has turned out useful also for physical applications such as
  network analysis.

\item Variants of both classical and generic quantifier elimination that
  provide answers, e.g., satisfying sample points for existentially
  quantified formulas.

\item Linear optimization using quantifier elimination techniques.

\item CNF/DNF computation including both Boolean and algebraic
  simplification.

\item Several other normal form computations, e.g., prenex normal form
  computation minimizing the number of quantifier changes.

\item A lot of useful tools for constructing, decomposing, and analyzing
  formulas.
\end{itemize}

REDLOG is intended and designed as a general-purpose computer logic
system. It has been applied successfully for solving non-academic
problems, mainly for the simulation of networks. We claim that the
implementation of first-order formulas is a natural extension of a
computer algebra system, which has many applications. On the other
hand, the present algebraic algorithms can benefit from the extension,
e.g., for the simplification of guarded expressions in symbolic
integration results. Much effort has been spent in a Texinfo user
manual.

\centerline{\bf Examples and References}
To give an idea of the power of REDLOG and possible applications,
the WWW page contains a collection of examples. Postscript versions of
most of the relevant publications are also online there.\\
E-mail: {\tt redlog@fmi.uni-passau.de!}

The {\em scientific version} of the REDUCE package REDLOG is now
officially available on\\
 ``\verb!http://www.fmi.uni-passau.de/~redlog/!.''


{\normalsize    
\begin{flushright}   Andreas Dolzmann, Thomas Sturm (Passau) \end{flushright}
}

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

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


\begin{center}
{\bf \Large Arbeitsbereich Symbolisches Rechnen an der
       Universit"at T"ubingen}\\
\end{center}
\addcontentsline{toc}{subsection}{\normalsize \sl
Arbeitsbereich Symbolisches Rechnen  an der Universit"at T"ubingen
}

%\centerline{Wolfgang K\"uchlin}



{\bf Zusammensetzung der Arbeitsgruppe:}
Prof.\ Dr.\ sc.\ techn.\ Wolfgang {\bf K"uchlin},
Dr.\ sc.\ math.\ Beatrice {\bf Amrhein},
Dr.\ habil.\ Reinhard {\bf B"undgen} (DFG, seit 1.12.96),
Dr.\ Alfons {\bf Geser} (DFG, seit 1.10.96),
Dr.\ sc.\ math.\ Oliver {\bf Gloor} (DFG, seit 1.6.95),
Dr.\ Manfred {\bf G\"obel} (DFG, bis 31.1.97).

{\bf Vorlesungen:} {\em Betriebssysteme I}\/ und {\em II}\/
(je 4+2 st"undig), {\em Termersetzungssysteme} (2+2) und 
{\em Gr"obner-Basen} (2+1),
{\em Informatik I}\/ und {\em II}\/ 
objekt-orientiert mit C++.
Zu allen Vorlesungen existieren Skripten.

{\bf Forschungsinteressen:}
Wir forschen auf den Gebieten
Computer Algebra, Computer Logik 
(automatische Deduktion und Verifikation),
parallele und verteilte Systeme,
sowie industrielle Steuerungstechnik.
Gemeinsames Thema ist die praktische Beschleunigung wichtiger Algorithmen
auf Netzwerken moderner paralleler Arbeitsplatzrechner.
Wir entwickeln das System {\sc Parsac} und die Systemumgebungen
{\sc S-Threads} und {\sc DTS} zum parallelen symbolischen
und algebraischen Rechnen.

{\bf Einf"uhrende Publikation:}
{\sc PARSAC-2}: Parallel computer algebra on the desk-top.
\newblock In J.~Flei\-scher, J.~Grab\-meier, F.~Hehl, and W.~K{\"u}ch\-lin, editors,
\newblock {\em Computer Algebra in Science and Engineering}, 
pages 24--43,
Singapore, 1995. World Scientific.\\


{\bf \underline{Einige Projekte im einzelnen:}}\\

{\bf Systemsoftware zum parallelen und verteilten Rechnen}

Auf einem modernen (parallelen) Arbeitsplatzrechner unterst"utzt das
Betriebssystem leichte Prozesse
{\em (Threads)}, die den parallelen Prozeduraufruf erm"oglichen.
Mit {\sc S-Threads} ist eine portable und effiziente Erweiterung geschaffen, 
die Zehntausende von parallelen Prozeduraufrufen verwalten kann. 
Der Anwender programmiert unabh"angig von der
konkreten Hardware mit {\em virtueller Parallelit"at}.
{\sc DTS} erm"oglicht es dann,
solche {\em Threads}, die keinen gemeinsamen Hauptspeicher ben"otigen,
transparent "uber das Netzwerk auf andere Rechner zu verteilen.\\
Publikationen: CAP'90 (LNCS 584), IRREGULAR'95 (LNCS 980).


{\bf Paralleles Gleichungsl"osen mit Gr"obner-Basen}

Forschungsziele sind die Entwicklung neuer, paralleler Algorithmen,
deren praktisch effiziente Implementierung und deren Anwendung.
Die L"osungsmethode basiert auf der Berechnung von Gr\"obner-Basen,
die bez"uglich sog.\ Eliminationsordnungen ben"otigt werden.
Diese k"onnen mit Buchbergers klassischem Algorithmus berechnet werden.
Im allgemeinen ist es jedoch viel effizienter,
zuerst Gr"obner-Basen bez"uglich einer Totalgrad-Ordnung zu berechnen
und diese anschlie{\ss}end in Eliminationsbasen zu konvertieren.
F"ur diese Basiskonversion verwenden wir das neue und bisher wenig erforschte
{\em Gr"obner Walk}\/ Verfahren.
Kernst"ucke unserer Arbeit sind die Parallelisierung von Buchbergers 
Algorithmus und die Fortentwicklung und Parallelisierung des Gr"obner Walk.
Unsere Software ist mittels einer HTML/Java Benutzeroberfl"ache 
"uber das WWW nutzbar unter den URL
\begin{verbatim}
http://www-sr.informatik.uni-tuebingen.de/~www-sr/java_gui/groebner.html
http://www-sr.informatik.uni-tuebingen.de/~www-sr/java_gui/walk.html
\end{verbatim}

\noindent
F"orderung: DFG seit Mitte 1995.\\
Publikationen: ISSAC'96, DISCO'96,
{\em Theoretical Comp.\ Sci.}\/ 1997 (im Druck).


{\bf Analysis Alive: Veranschaulichung mathematischer Konzepte mit dem Computer}

In einer Kombination aus Buch und Computer-Lernprogrammen bieten
wir Sch"ulern der Gymnasialen Oberstufe, Studierenden im ersten Studienjahr und 
Mathematiklehrkr"aften eine M"oglichkeit, schwierige Begriffe der 
Analysis  durch interaktive Visualisierung experimentell zu entwickeln 
und damit ein tieferes Verst"andnis zu gewinnen. 
(Zusammenarbeit mit Prof.\ M.\ Wolff
vom Mathematischen Institut der Uni T"ubingen.)\\ 
F"orderung: Stifterverband f"ur die Deutsche Wissenschaft, seit Mitte 1995.\\
Publikationen:Gloor, Amrhein, M"ader: {\em Illustrierte Mathematik}, Birkh"auser 1994 und Telos-Springer 1995.
Wolff, Gloor, Richard. {\em Analysis Alive}. Addison-Wesley 1997 (in Vorbereitung).



{\bf Hochleistungs-Termersetzung}

Wir entwickeln den parallelen Beweiser {\sc PaReDuX},
der auf der Methode der Termersetzungssysteme beruht,
durch Parallelisieren unseres Beweisers {\sc ReDuX}.
PaReDuX enth"alt verschiedene 
Beweismethoden wie induktive Vervollst"andigung, 
Knuth-Bendix Vervollst"andigung,
AC-Vervollst"andigung und {\em unfailing completion}.
Als Anwendungen dienten haupts"achlich Probleme der Gruppentheorie.\\
F"orderung: DFG Schwerpunkt "`Deduktion"', 1993--1996.\\
Publikationen: ISSAC'94, PASCO'94, DISCO'96, {\em J. SC} 21:4--6 (1996).

{\bf Symbolische Verifikation von Schaltungsentw"urfen}

Auf Grund der enormen Fortschritte in der Halbleitertechnologie
lassen sich moderne VLSI Schaltungsentw"urfe mit zufallsgesteuerten Simulationsverfahren,
dem derzeitigen Stand der Technik, nicht mehr zu verifizieren.
Wir spezialisieren hierf"ur
das  {\sc PaReDuX} System auf Formeln der
Boole'schen Algebra.
Es wurde bisher ein in der Ausbildung eingesetzter Mikroprozessor 
sowie eine industrielle Schaltung verifiziert.\\
F"orderung: DFG Schwerpunkt "`Deduktion"', seit Ende 1996.\\
Publikation: Proc.\ ECBS'96 (IEEE Press).


{\bf Paralleles und verteiltes Beweisen}

Wir kombinieren den parallelen Beweiser {\sc PaReDuX}
mit dem verteilten Beweiser {\sc Discount},
der die Teamwork Methode implementiert.
Hierdurch entsteht ein hierarchisch paralleles System,
das Netzwerke von modernen parallelen Arbeitsplatzrechnern
effizient nutzen kann.
(Zusammenarbeit mit Prof.\ Avenhaus, Kaiserslautern).\\
F"orderung: DFG Schwerpunkt "`Deduktion"', seit Ende 1996.\\
Publikationen: DISCO'96, {\em J. SC} 21:4--6 (1996).

{\bf Parallele Anlagensteuerungen}

In Zusammenarbeit mit Prof.\ Dr.-Ing.\ G. Gruhler (FH Reutlingen)
entwickeln wir die offene parallele Robotersteuerung {\sc HighRobot}.
Durch die enorme Leistung von Multiprozessor Arbeitsplatzrechnern
verbunden mit modernen realzeitf"ahigen Standardbetriebssystemen
wird es m"og\-lich,
die gesamte Steuerung einer Produktionszelle
auf einer einheitlichen Hardware mit einer
einheitlichen Programmiermethodik zu realisieren.
{\sc HighRobot} ist in C++ geschrieben und l"auft auf Sun SPARC unter Solaris.
Es wird eine modellhafte
Produktionszelle mit industriellen Komponenten 
(Bosch SCARA SR/60 Roboter mit Zuf"uhreinheiten) gesamthaft gesteuert.\\
F"orderung: MWK Baden-W"urttemberg, seit Anfang 1995.\\
Publikation: Proc.\ ECBS'97 (IEEE Press).

Wolfgang K\"uchlin, 
Wilhelm Schickard-Institut,
Fakult\"at f\"ur Informatik,
Sand 13, 72076 T"ubingen,
Email: {\tt Wolfgang.Kuechlin@uni-tuebingen.de } ,\\
URL: {\tt http://www-sr.informatik.uni-tuebingen.de}.

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

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

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


\vspace*{4mm}


\begin{itemize}

\item {B"urgisser, M., Clausen, M., Shokrollahi, M. A.}, { \sl Algebraic Complexity Theory}, \Springer , \ASpringer , {ISBN 3-540-60582-7}, {1997}, {pp. XXIII + 618}, DM 188,-. 

\item {Cucker, F., Shub, M. (Eds.)}, { \sl Foundations of Computational Mathematics, Selected Papers of a conference held at IMPA in Rio de Janeiro, Jan. 1997}, \Springer , \ASpringer , {ISBN 3-540-61647-0}, {1997}, {pp. XV + 441},

\item {Fenton, W.E., Dubinsky, E.}, { \sl Introduction to Discrete Mathematics with ISETL}, \Springer , \ASpringer , {ISBN 0-387-84782-5}, {1996}, DM 64,--. 

\item {Gaylord, R., Nishidate, K.}, { \sl Modeling Nature, Cellular Automata Simulation with Mathematica}, \Springer , \ASpringer ,{ISBN 0-387-94620-9}, {1996}, {pp. 210}, DM 64,--. 

\item {Heck, A.}, { \sl Introduction to Maple, 2nd ed.}, \Springer , \ASpringer , {ISBN 0-387-94535-0}, {1996}, {pp. 720}, DM 68,-. 

\item {{Heugl, H., Klinger, W., Lechner, J.}, Mathematikunterricht mit Computeralgebra-Systemen},
Addison-Wesley, \AAddisonWesley{}, 1996, ISBN 3-8273-1082-2.

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

\item {Herzberger, J.}, { \sl Einf"uhrung in das wissenschaftliche Rechnen}, \AddisonWesley , \AAddisonWesley ,{ISBN 3-8273-1062-8}, {1997}, {pp.286}, 44,--. 

\item {Packel, E., Wagon, S.}, { \sl Animating Calculus}, \Springer , \ASpringer , {ISBN 0-387-94748-5}, {1996}, DM 54,-. 

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

\item {Porter, G. J., Hill, D. R.}, { \sl Interactive Linear Algebra in Mathcad}, \Springer , \ASpringer , {ISBN 0-387-94608-x}, {1996}, DM 69,00. 

\item {Redfern, D., Chandler, E.}, { \sl Maple ODE Lab Book}, \Springer , \ASpringer , {ISBN 0-387-94733-7}, {1996}, DM 44,--. 

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

\item {Varian, H.}, { \sl Computational Economics and Finance}, \Springer , \ASpringer , {ISBN 0-387-94518-0}, {1996}, DM 88,--. 

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

\item {Waterloo Maple Incorporated}, { \sl Einf"uhrung in Maple V}, \Springer , \ASpringer , {ISBN 3-540-60545-2}, {1996}, {pp. 280 + XI}, DM 39,--. 

\item {Waterloo Maple Incorporated}, { \sl Programmierung in Maple V}, \Springer , \ASpringer , {ISBN 3-540-60544-4}, {1996}, {pp. 400 + XI}, DM 44,--. 

\item {Werner, W.}, { \sl Mathematik lernen mit Maple}, \dpunkt , \Adpunkt , {ISBN 3-920993-43-8}, {1997}, {pp. 688}, DM 68,-. 

\item {Westermann, T.}, { \sl Mathematik fuer Ingenieure mit Maple}, Band 1: Differential- und Integralrechung fuer Funktionen einer Variablen, Vektor- und Matrizenrechnung, Komplexe Zahlen, Funktionenreihen, \Springer , \ASpringer , {ISBN 3-540-61249-1}, {1996}, {pp. 498 + XIV}, DM 58,-. 

\item {Wicks, J.R.}, { \sl Linear Algebra, an Interactive Laboratory Approach
    with Mathematica}, \AddisonWesley , {ISBN 0-201-82642-9}, {1996}, {pp. 412}. 

\item {Zachary, J.}, { \sl Introduction to Scientific Programming}, \Springer , \ASpringer , {ISBN 0-387-94630-6}, {1996}, DM 78,--. 

Das Buch wird in diesem Rundbrief auf Seite \pageref{zachary} 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 }


{\small
%{\footnotesize

\begin{itemize}


\item \subsection*{Bronstein, M., Symbolic Integration I}
Springer-Verlag, Berlin-Heidelberg-New York, ISBN 3-540-60521-5,1997,                   DM 78,00; "oS 569,40; sFr 69,00.

\addcontentsline{toc}{subsection}
{{\normalsize \sl Bronstein, M., Symbolic Integration I
}} \label{bronstein}


Seit dem letzten Buch {\sl Integration in Finite Terms} 
zu dieser Thematik im Jahre 1948 von {\sc J.F.~Ritt} 
sind fast f"unfzig Jahren vergangen, 
und in dieser Zeit wurde die symbolischen Integration in entscheidender 
Weise weiterentwickelt. Einen wichtigen Einflu"s f"ur das Aufbl"uhen 
dieser Theorie hat die \ca, deren Anforderungen ein Ankn"upfen 
an die algorithmischen Traditionen der Mathematik des letzten Jahrhundert
nach sich zog.
Das zu l"osende Problem kann aus dieser Sicht so formuliert werden:
\begin{quote}
Man finde algorithmisch zu jeder vorgegebenen elementaren Funktionen eine
elementare Stammfunktion oder beweise (algorithmisch),
da"s es keine solche geben kann.
\end{quote}
In der ersten Auf\/lage 1905 seines Buches  {\sl The Integration of
Functions of a Single Variable} 
vermutete {\sc G.H.~Hardy} auf Seite 7, 
da"s das Problem f"ur die elementaren Funktionen
nie gel"ost werden w"urde: 
% wobei es offen bleiben mu"s, ob er
% das Problem f"ur so schwierig erachtete oder aber bereits eine
% Vorstellung "uber die Unentscheidbarkeit von Problemen vorhanden war:
\begin{quote}
{\sl Complete} answers to these questions have not and probably
never will be given.
\end{quote}
Interessanterweise hat der Autor diese Passage in der
2.\ Auf\/lage 1916 auf Seite 8 dann durch folgenden Satz ersetzt:
\begin{quote}
It would be unreasonable to expect complete answers to these questions.
\end{quote}
\noindent
%W"ahrend {\sc G.H.~Hardy} am Anfang dieses Jahrhunderts noch vermutete, da"s
%es f"ur dieses Problem keine L"osung geben kann, wurde 
Im Jahre 1969  ist dann von {\sc R.H.~Risch} ein Entscheidungsverfahren 
angegeben  worden.
Viele weitere Arbeiten im Anschlu"s an {\sc R.H.~Risch}  waren allerdings
n"otig, um Implementierungen f"ur gewisse
Teilklassen von Funktionen in den verschiedenen \ca-Systemen 
zu erm"oglichen. Neben den Arbeiten von {\sc B.~Trager}, {\sc Rothstein}
und anderen ist hier besonders der Autor des vorliegenden Buches zu nennen.

In diesem Buch -- der erste Band der neu bei Springer aufgelegten
Reihe zum Thema {\sl Algorithms and Computations in Mathematics}
wird nun die bis zum heutigen Tag entwickelte algorithmische Theorie 
zur symbolischen Integration 
{\sl transzendenter} Funktionen  vollst"andig
als mathematisches Lehrbuch vorgelegt. Alle Abschnitte enthalten neben der
Theorie die jeweiligen Algorithmen in Pseudocode, die von jedem 
(Weiter-)\-Entwickler eines \ca-Systems nahezu direkt in lauf\/f"ahige
Implementierungen umgesetzt werden k"onnen.

Nach einer kurzen Erinnerung an die ben"otigten Basisalgorithmen 
der \ca\
wie {\sl Euklidischer Algorithmus}, {\sl Resultanten} und 
{\sl quadratfreie Faktorisierung} von Polynomem im ersten Kapitel 
wird zun"achst
die algorithmische Theorie der Integration rationaler Funktionen
im Detail und mit den verschiedenen Varianten diskutiert -- 
von {\sl Bernoulli, Hermite, Horowitz-Ostrogradsky, Rothstein-Trager,
Lazard-Rioboo-Trager} bis zu den neuesten Ideen von 
{\sl Czichowski}, der Gr"obner\-ba\-sis-Techniken in diese Theorie einbringt.
Diese Ausf"uhrlichkeit ist deshalb notwendig, da die Ideen der
Theorie f"ur die rationalen Funktionen auf die Klassen 
transzendente Funktionen hochgezogen werden  m"ussen.   

Dazu wird im Kapitel 3 eine Einf"uhrung in die Theorie der 
Differentialk"orper gegeben um trans\-zendente Erweiterungen $k(x)(t)$
des rationalen Funktionenk"orpers $k(x)$ als Einf"uhrung etwa 
der Tangensfunktion $t:=\tan(x)$ allein durch ihr Ableitungsgesetz
$Dt=t^2+1$ deuten zu k"onnen. Diese Algebraisierung 
ist der entscheidende Schl"ussel zur L"osung 
dieses Problems aus der Analysis und best"atigt nebenbei 
die Namensgebung des Gebietes Computer{\sl algebra}.

Im Kapitel 4 werden die notwendigen Hilfsmittel aus der Bewertungstheorie
zur Verf"ugung gestellt  und damit die Eigenschaften der
wichtigen {\sl Rothstein-Trager-Resultanten} hergeleitet.

Das Kernst"uck des Buches ist das Kapitel 5 zur Integration
transzendenter Funktionen. Es enth"alt mit dem Beweis
des Satzes von Liouville, der entscheidenden Strukturaussage
f"ur die Form eines elementaren Integrals. 
Die verschiedenen Reduktiontechniken
werden zun"achst in Abschnitt 5.2 "uberblicksartig erl"autert und in 
Figur 5.1 schematisch dargestellt und im Anschlu"s daran 
ausgearbeitet. Je nach Ableitungsgesetz --
{\sl primitiver Fall} mit $Dt$ im Grundk"orper (Beispiel $t:=\log(x)$),
{\sl hyperexponentieller Fall} mit
$Dt$ ein Polynom vom Grad 1 (Beispiel $t:=\exp(x)$)
bzw.\ 
der hypertangentielle Fall mit
$Dt$ ein Polynom vom Grad 2 (Beispiel $t:=\tan(x)$) 
-- verzweigt der Algorithmus und
es sind jeweils auf die gegebenen Situation angepa"ste Subalgorithmen
erforderlich, die mit {\sl eingeschr"ankter} Integration, 
dem L"osen der Differentialgleichung von {\sc Risch} bzw.\
dem L"osen eines gekoppelten Systems zweier Differentialgleichungen
in den drei F"allen das Problem entweder durch Elimination 
von $t$ rekursiv auf eine einfachere Situation zur"uckf"uhren oder
an dieser Stelle die Nicht-Existenz eines elementaren Integrals
zeigen.

Das Kapitel 6 ist den algorithmischen Details zur L"osung der
{\sl Risch-Differential"-glei"-chung} gewidmet, im Kapitel 7
werden die verschiedenen parametrischen Probleme gel"ost und
das Kapitel 8 ist schlie"slich der L"osung der auftretenden 
gekoppelten Differentialgleichungen gewidmet.

Im abschlie"senden Kapitel werden Strukturaussagen bewiesen, die
n"otig sind um zu entscheiden, ob beim Aufbau 
der Funktionsk"orper durch sukzessives Adjungieren von Logarithmen
oder Exponentialfunktionen neue Konstanten entstehen.  

Das Buch ist durch "Ubungsaufgaben und den angegeben Algorithmen
gut geeignet, um als Grundlage 
f"ur Vorlesungen mit "Ubungen zur {\sl Symbolischen Integration},
{\sl Differentialalgebra} und nat"urlich zur {\sl \ca} zu dienen.
Diese Monographie zu einem der faszinierenden Basisthemen der \ca\
darf in keiner Arbeitsgruppe fehlen. Sie ist auch -- 
etwa nach der Lekt"ure eines "Ubersichtsartikels 
(z.B.\ {\sc R.~ Kraume} {\sl Symbolische Integration}
im Spektrum der Wissenschaft {\bf 3} (1996),
S.\ 95--98 oder {\sl Eine Einf"uhrung in die \ca-Algorithmen zur 
Symbolischen Integration}, Wiss.\ Berichte des FZ Karlsruhe (1996)
S.\ 69--113 des Unterzeichners) -- f"ur den Vertiefung und 
auf Hintergrundinformationen "uber die Algorithmen eines 
\ca-Systems bedachten Gymnasial- oder Fachhochschullehrers, der
in der Lehre \ca-Systeme einsetzt, von Interesse.

Dem rundum gelungenen Buch ist eine weite Verbreitung zu 
w"unschen, dem Autor die Zeit um bald einen zweiten Teil
zur Theorie der symbolischen Integration algebraischer Funktionen
folgen zu lassen!

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


\item \subsection*{{Burkhardt, W.}, Erste Schritte mit Maple}
Springer-Verlag, ISBN 3-540-60880-X, 2.\,korr.\,u.\,erw.\,Auf"|l.\,1996,
pp.\,143, DM 36,00.

\addcontentsline{toc}{subsection}
{{\normalsize \sl {Burkhardt, W.},
Erste Schritte mit Maple
}} \label{burkhardt}

Das Buch "`Erste Schritte mit \maple{}, Zweite korrigierte und erweiterte
Auf"|lage"' stellt eine kompakte Ein\-f"uh\-rung in die Benutzung von
\maple{} dar. Ein Blick in das Inhaltsverzeichnis best"atigt den zu 
erwartenden Standardstoff:
Einf"uhrung in die Benutzung,
Termumformungen,
Listen, Tabellen und Funktionen,
L"osen von Gleichungen,
Lineare Algebra und Gleichungssysteme,
Grafiken,
Analysis,
Einfache Programme,
Installation auf PCs,
Befehls"ubersicht.
Diesen versucht der Autor m"oglichst einfach und
plausibel zu vermitteln, wobei er z.\,B. teilweise Fehler
bereits vorwegnimmt, die bei der Benutzung von \maple{}
fr"uher oder sp"ater auftauchen werden.
Ferner ermuntert er den Leser, manche \maple{}-Berechnungen
nochmals zu "uberpr"ufen: Ein wichtiger Punkt, da 
insbesondere Anf"anger dazu neigen, den Ergebnissen "`blind"'
zu vertrauen.

Jedoch weist dieses Buch auch einige entscheidende Schw"achen auf:
Die gerechneten Beispiele sind laut Autor u.\,a. nach ihrem
"`Aufzeigen der F"ahigkeiten und ggf. Grenzen von \maple{}"'
ausgesucht. Diesem Anspruch wird er jedoch nicht gerecht, da die
meisten Beispiele selbst per Hand einfach zu rechnen sind.

In diesen Rahmen einzuordnen sind auch solche Aussagen, wie
"`Komplexe Zahlen werden in der Form \verb@a+I*b@ oder
\verb@a+b*I@ eingegeben"', die auf Mathematiker eher befremdlich wirken.
Die Vorstellung des Befehles \verb@expand@ erfolgt im Textteil 
seltsamerweise mittels "`Einer dieser Befehle ist
\verb@Expand[ ]@"', also in \mathematica{}-Syntax.

Zudem trifft man h"aufiger auf mi"sverst"andlich formulierte
Passagen, z.\,B. im  Kapitel "`Einfache Programme"'.
Er entwirft dort ein Programm zur Hoch- bzw.
Tiefpunktberechnung, beschr"ankt sich dabei jedoch zun"achst
auf quadratische Funktionen (warum?).
In dem Zusammenhang erw"ahnt er \maple{}s dreiwertige Logik,
um anschlie"send ein 
\verb@if-then-else-fi@-Konstrukt $(f>0)$
durch drei 
\verb@if-then-fi@-Konstrukte
$(f<0, f>0, f=0)$ 
zu ersetzen. Das hat zum einen absolut nichts
mit dreiwertiger Logik zu tun und zum anderen ist unklar, warum
der Autor hierf"ur nicht das zuvor eingef"uhrte
\verb@if-then-elif-else-fi@-Konstrukt 
benutzt. Leider sind dies nicht die einzigen Schw"achen
bzgl.\ des Programmierstils.

Aufgrund der erw"ahnten Probleme erscheint mir das Buch 
bestenfalls f"ur "`mathematische Laien"' geeignet. Allen, die 
\maple{} f"ur kompliziertere Berechnungen verwenden wollen,
w"urde ich jedoch lieber gleich zu den Originalhandb"uchern raten.

\begin{flushright}
Harald B"oing (Berlin)
\end{flushright}

\item\subsection*{{Heugl, H., Klinger, W., Lechner, J.}, Mathematikunterricht mit Computeralgebra-Systemen}
Addison-Wesley, \AAddisonWesley{}, 1996, ISBN 3-8273-1082-2
\addcontentsline{toc}{subsection}{{\normalsize \sl {{Heugl, H., Klinger, W., Lechner, J.}, Mathematikunterricht mit Computeralgebra-Systemen}
    }}\label{heugl}

Der Untertitel
{\em Ein didaktisches Lehrerbuch mit Erfahrungen aus dem \"osterreichischen
DERIVE-Projekt\/}
weist klar auf zwei wesentliche Punkte hin:
\begin{itemize}
\item
Es handelt sich um ein Lehr{\em er\/}buch, das methodisch-didaktische
Aspekte des \cas -Einsatzes behandelt.
\item
Konkret bezieht sich das Buch auf den Einsatz von DERIVE in einem
Mathematik-Unterrichtsprojekt in \"Osterreich.
\end{itemize}
In einem ersten Teil des Buches wird an Hand von vielen Beispielen
gezeigt, wie ein \cas\ als {\em numerisches, symbolisches, algorithmisches,}
oder {\em methodisches Hilfsmittel\/} im Mathematikunterricht eingesetzt
werden kann.
Dann wird versucht, die Frage ``Wie soll man ein \cas\ didaktisch sinnvoll
einsetzen?'' zu beantworten; die Thesen der Autoren werden wiederum mit
vielen Beispielen untermauert.

Konkret am Beispiel des \"osterreichischen \derive -Projektes werden
dann auch die damit einhergehenden Ver\"anderungen an der Methodik und
Didaktik des Mathematikunterrichtes diskutiert.
Die notwendigen Konsequenzen auf das Curriculum werden
nur ganz am Schlu{\ss} im Ausblick angesprochen.

Das Buch richtet sich an Lehrkr\"afte in Mathematik,
die ein \cas\ im Unterricht einsetzen wollen.
Das Buch enth\"alt viele Hinweise, die auch f\"ur die Entwicklung
von Unterrichtsmaterial von Bedeutung sein k\"onnen.
\smallskip

\begin{flushright}
  Oliver Gloor, T\"ubingen
\end{flushright}

\item\subsection*{{Klingen, L.H.}, Atlas mathematischer Bilder 
}
Verlag Addison-Wesley, \AAddisonWesley, ISBN 3-89319-947-0, 1995, 224 Seiten,
DM 59.90.
\addcontentsline{toc}{subsection}{{\normalsize \sl 
{Klingen, L.H.}, Atlas mathematischer Bilder 
    }}\label{klingen}


Dieses Buch von etwas \"uber 200 Seiten und einer noch etwas
gr\"o{\ss}eren Zahl von Bildern wird seinem Titel gerecht: Man findet
schwarz-wei{\ss}e oder farbige `Karten' von den einfachsten
mathematischen Operationen, S\"atzen und Funktionen, beispielsweise der
Achsenspiegelung, der Streckung, der M\"ondchen des Hippokrates, der
trigonometrischen Funktionen, bis hin zu anspruchsvolleren
Konstrukten, etwa von Attraktoren, der Mandelbrotmenge, von
Str\"omungen, Einschwingvorg\"angen, ballistischen Kurven, der
Catalanschen Minimalfl\"ache, der Kleinschen Flasche -- und vielem
anderen mehr.  \medskip

Alle Bilder wurden mit Hilfe eines Computeralgebrasystems erzeugt:
Entweder mit Derive, Maple oder Mathematica. Eine Diskette f\"ur einen
Personal-Computer liegt bei, auf dem die jeweiligen Programme abrufbar
sind. Nat\"urlich sollte man eines der Computeralgebrasystems zur
Verf\"ugung haben, wenn man damit arbeiten will.\medskip

Der Bereich, der durch die `Karten' abgedeckt wird, bestimmt sich aus
den Erfahrungen des Autors, eines pensionierten Oberstudiendirektors
und Lehrbeauftragten f\"ur Mathematiklehrerausbildung an der
Universit\"at zu K\"oln. Was einem von der Sekundarstufe I bis
aufw\"arts zum Abschlu{\ss} des mathematischen Grundstudiums an
abbildbarer Mathematik begegnet, dies hat der Autor versucht
darzustellen. Dabei werden auch die Genauigkeitsgrenzen und die
Bildqualit\"at, die man heute standardm\"a{\ss}ig erreicht,
manifest.\medskip

Dieses gut gelungene Buch eignet sich f\"ur Sch\"uler und Studenten
zum Selbststudium -- wenn sie etwa ihr Pensum wiederholen wollen und
nicht auf die durch Bilder vermittelte Anschauung verzichten wollen --
und f\"ur Mathematiklehrer und -dozenten, wenn Sie sich informieren
wollen, was f\"ur Bilder man mit Hilfe von Computeralgebra auf ein
Blatt Papier bringen kann. F\"ur Unterrichts- bzw.\ Vorlesungs- oder
\"Ubungsvorbereitungen kann dieses Buch sehr viel Anregungen liefern,
insbesondere auch, weil der Autor mit seiner hervorragenden
mathematischen Bildung zus\"atzlich viele interessante Bemerkungen
einflie{\ss}en l\"a{\ss}t.\medskip

So sollte dieses Buch in Bibliotheken im Gymnasial- bzw.\
Universit\"atsbereich stehen. Aber auch dem individuellen Nutzer kann
es zur Anschaffung empfohlen werden, zumal der Pries von DM 59,90
f\"ur heutige Verh\"altnisse, und wenn man an die vielen Farbbilder
und die mitgelieferte Diskette denkt, als angemessen bezeichen kann.
\medskip

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


\item \subsection*{{MapleV Release 4},
Upgrade von Release 3, Studentenversion}
International Thomson Publ.\, Co., ISBN 3-8266-0263-3, 1996, DM 89,00.

\addcontentsline{toc}{subsection}
{{\normalsize \sl {MapleV Release 4},
Upgrade von Release 3, Studentenversion
}} \label{maple}

Die Installation von MapleV Release 4 (CD-ROM f"ur Windows oder 
Macintosh) erfordert mindestens folgende Hardware:

\begin{itemize}
        \item Windows (3.1, NT 3.5, 95): ab Intel 386, 18 MB freien
                Festplattenspeicher, 8 MB RAM.
        \item Macintosh (System 7.0): 68030-Prozessor oder PowerPC 601,
                16-21 MB freien Festplattenspeicher, 8 MB RAM.
\end{itemize}

Will man noch die komplette {\sl share library} installieren, 
so werden nochmals 14 MB ben"otigt. Allerdings l"a"st sich auf diese 
auch direkt von der CD-ROM zugreifen. Als sinnvolle minimale 
Hardwareanforderung (unter Windows) w"urde ich eher einen 486 mit 
16 MB RAM ansetzen.  Getestet habe ich {\sl Maple V Release 4} 
auf einem Pentium mit 32 MB RAM unter Windows 95.

Die Studentenversion unterliegt folgenden Einschr"ankungen, die
bei meinen Tests jedoch keine Probleme verursachten.

{\footnotesize
        \begin{center}
        \begin{tabular}{|l|r|r|} \hline
                \multicolumn{1}{|l|}{{\sl MapleV Release 4, Edition}}
                & {{\sc Student}} 
                & {{\sc Professional}} \\ \hline
                Maximum Number of Terms in a Typical Sum 
                & 8.000 &  65.000 \\ 
                Maximum Number of Floating Point Digits
                &   100 & 500.000 \\
                Maximum Dimensions for an Array
                &     3 & unlimited \\
                Total Array Size
                & 5.120 & unlimited \\
                Number of concurrent Maple Kernels
                &     1 & unlimited \\ \hline
        \end{tabular}
        \end{center}
}

Startet man \maple, so f"allt zun"achst das grunds"atzlich
"uberarbeitete {\sl frontend} ins Auge: So k"onnen die
worksheets mittels {\sl paragraphs},
{\sl sections} u.\ "a.\ formatiert werden, sowie
Ausgaben von {\tt plot} direkt als {\sl inline graphic}
verwendet werden. 

Zur Gestaltung werden verschiedene {\sl styles}
verwendet, die sich der Benutzer einrichten
kann (z.\,B. Text, Input, Output usw.). Zudem
werden konsequent kontextbezogene Men"us verwendet, die
-- wie auch sonst in Windows 95 -- "uber die rechte Maustaste
erreichbar. So lassen sich z.\,B.\ einfach Attribute von
Graphiken "andern wie Farbe, Koordinatenkreuz, usw.

Auch der Maple-Kernel wurde um einige Funktionen erg"anzt,
wodurch Maple grunds"atzlich mehr Speicher ben"otigt.
Zudem wurden viele alte Prozeduren verbessert, teils durch
Beseitigung von Fehlern, teils durch Erweiterung der
Funktionalit"at und teils durch Verk"urzung der Rechenzeiten.

Beispielhaft m"ochte ich hier eine entscheidende Verbesserung
der Prozedur {\tt piecewise}, das Hinzuf"ugen weiterer
spezieller Funktionen und vieler graphischer F"ahigkeiten,
sowie einer vorsichtigeren (d.\,h.\ mathematisch korrekteren)
Anwendung von Transformationsformeln
(in {\tt simplify}, {\tt expand}, \ldots) nennen.

Hinzu kommt ein integrierter Debugger, wie man
es auch von anderen Programmiersprachen kennt. So kann man
Prozeduren schrittweise abarbeiten, breakpoints setzen usw.
Der Debugger ist "uber diverse Maple-Prozeduren zug"anglich
wie z.\,B.\ die Funktion {\tt tracelast}: Nach dem 
Auftreten eines Fehlers liefert diese den Befehl, der den 
Fehler verursachte, sowie die Werte entsprechender 
lokaler Variablen.

Zu bedauern finde ich jedoch, da"s die Terminal-Version von
\maple\ nicht mehr zum Lieferumfang geh"ort.

Insgesamt macht die neue Studenten-Version einen guten
Eindruck, der Umfang der Programmiersprache ist um einiges
gewachsen. Leider wird zu der Upgrade-Version keine
Dokumentation geliefert (zu der normalen Studenten-Version
lediglich ein {\sl Flight Manual}), so da"s man die
Anschaffung eines entsprechenden Buches noch mit einkalkulieren
sollte. Trotzdem erscheint mir der Preis im Anbetracht
der M"achtigkeit von \maple\ angemessen.

\begin{flushright}
Harald B"oing (Berlin)
\end{flushright}




\item\subsection*{{Packel E., Wagon S.}, Animating Calculus - {Mathematica} Notebooks for the Laboratory}
Verlag Springer - Telos: New York - Berlin - Heidelberg, ISBN 0-387-94748-5, 1997, 292 Seiten.
\addcontentsline{toc}{subsection}{{\normalsize \sl {Packel E., Wagon S.},
    Animating Calculus
% - {Mathematica} Notebooks for the Laboratory
    }}\label{packel}

Animating Calculus - {\it Mathematica} Notebooks for the Laboratory hat ein Hauptziel: dem Leser den Einstieg in das f"ur viele so schwierige Gebiet {\it Calculus} (Differential- und Integralrechnung) zu erleichtern und so anschaulich wie m"oglich zu machen. Dieses Ziel hatten schon viele B"ucher, nicht viele haben es in dem Ausma"s erreicht, wie dies Ed Packel und Stan Wagon   im vorliegenden Buch gelang.\\
Beide sind f"ur Nutzer der CAS-Software {\it Mathematica} keine Unbekannten,
unter anderem durch Publikationen in diversen Zeitschriften  wie z.B. {\it Mathematica in Education}.\\
Das Buch und die beiliegende Diskette, die das gesamte Buch nochmals in Notebook-Form (so hei"sen die {\it Mathematica} Dateien) enth"alt, kann zum Selbststudium von Sch"ulern und Studenten dienen, aber auch von Unterrichtenden zur Demonstration bzw. zur Erweiterung des herk"ommlichen Unterrichts verwendet werden. In allen Kapiteln wird selbstst"andiges Erarbeiten bzw. Interaktion mit dem PC, soferne man 
diesen parallel zum Buch verwendet (wie das eigentlich gedacht ist),
gro"sgeschrieben. Nach einer kurzen Kapitel"ubersicht werden stets wichtige
Grundlagen erkl"art bzw.~wiederholt. Danach wird der Leser durch Aufgaben,
die er mit {\it Mathematica}, teils aber auch mit Bleistift und Papier,
l"osen soll, schrittweise zu einem neuen \glqq AHA-Erlebnis\grqq\,
gef"uhrt. Zur Visualisierung dienen Graphen und vor allem Animationen
(Movies), mit denen der User spielend die Auswirkungen verschiedener
Parameter"anderungen erfahren kann. Den Erfolg des Gelernten kann man dann an
abschlie"senden "Ubungen "uberpr"ufen, wobei diese zum Teil weiterf"uhrende Themenstellungen enthalten, die den Leser zur Vertiefung des Themas verf"uhren sollen.
Die Themen umfassen dabei folgende Gebiete:
\begin{itemize}
\item "Anderungsraten und Ableitungen
\item Newtonsches N"aherungsverfahren
\item Differentialrechnung, Anwendung landende Flugzeuge
\item Iteration und Populationsdynamik
\item Das \glqq Buffonsche Nadelproblem\grqq
\item Numerische und symbolische Integration
\item Rollende R"ader (runde und eckige!)
\item Reihen
\item Taylor-Reihen und vieles mehr.
\end{itemize}
Wie man sieht, wird tats"achlich praktisch das gesamte Gebiet der Differential- und Integralrechnung inklusive ihrer Anwendungen abgedeckt, wobei auch Themen vorkommen, die durchaus "uber den "ublichen Stoff hinausgehen (z.B.~Populationsdynamik) und so weitergehendes Interesse beim Leser wecken.
  
Das Buch kann jedem Studenten/Sch"uler bzw.~Lehrer, der sich mit den genannten Themengebieten auseinandersetzen muss, nur w"armstens empfohlen werden. Durch den interaktiven Einsatz eines CAS-Programmes im Mathematikunterricht (oder Selbststudium) wird dieses Buch m"oglicherweise zu einer dramatischen "Anderung in der Didaktik des Mathematikunterrichts f"uhren.

PS: Es soll nicht unerw"ahnt bleiben, dass Dr.~R.~Simonovits, Dr.~H.~Wilding
und ich die Ideen von Packel und Wagon aufgenommen und fortgef"uhrt haben. In
unseren {\it MATH \& FUN} Notebooks setzen wir ebenfalls auf Interaktivit"at
und Visualisierung mit und am PC\\ ({\tt http://www.mathsnfun.ac.at}).

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


\item \subsection*{Redfern, D., Chandler, E.,  Maple ODE Lab Book} 
Verlag Springer: Berlin - Heidelberg - New York, ISBN 0-387-94733-7,1996,
 DM 44,00.

\addcontentsline{toc}{subsection}
{{\normalsize \sl Redfern, D., Chandler, E., Maple ODE Lab Book
}} \label{redfern}

{

Dieses Buch ist gedacht als Erg"anzung zu einem konventionellen Lehrbuch "uber
gew"ohnliche Differentialgleichungen wie etwa Boyce/DePrima.  Behandelt wird
im wesentlichen nur die lineare Theorie.  Dazu kommen einige graphische
Methoden wie Richtungsfelder und Phasenportr"ats, Reihenl"osungen sowie kurz
numerische Verfahren.  Dabei wird die Theorie stets als bekannt vorausgesetzt;
in dem Buch geht es rein um deren praktische Umsetzung mit Maple.

Es wird nicht vorausgesetzt, da"s der Leser "uber Maple-Kenntnisse verf"ugt.
Zu Beginn jedes Kapitels wird kurz aufgef"uhrt, welche bereits bekannte
Maple-Befehle verwendet und welche neu eingef"uhrt werden.  Naturgem"a"s
stehen dabei \texttt{dsolve} mit seinen verschiedenen Optionen sowie die
Befehle aus der \texttt{DEtools}-Bibliothek im Vordergrund.  Der Leser wird
aber auch viele andere Befehle und die \texttt{linalg}-Bibliothek kennenlernen
und daher nach dem Durcharbeiten des Buchs "uber solide Grundkenntnisse in
Maple verf"ugen.  Tiefere Programmierkenntnisse werden allerdings nicht
vermittelt.

Das Buch ist gleicherma"sen zum Selbststudium wie als Grundlage eines
vorlesungsbegleitenden Praktikums geeignet.  In jedem Kapitel werden einige
Beispiele ausf"uhrlich durchgesprochen.  Anschlie"send kann der Leser das
Gelernte an Hand einiger Aufgaben selbstst"andig "uben.  Insgesamt macht das
Buch einen guten Eindruck.  Negativ anzumerken w"are h"ochstens, da"s speziell
f"ur Mathematikstudenten der behandelte Stoff etwas zu elementar ist.  Hier
sollte man an einigen Stellen schon tiefer gehen.


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


\item\subsection*{{Varian, Hal R., Hrsg.}, Computational Economics and Finance - Modeling and Analysis with {\it Mathematica}}
Verlag Springer - Telos: New York - Berlin - Heidelberg, ISBN 0-387-94518-0, 1996, 468 Seiten + Diskette.
\addcontentsline{toc}{subsection}{{\normalsize \sl {Varian, H.R., Hrsg.},  Computational Economics and Finance 
%- Modeling and Analysis with {\it Mathematica}
}}\label{varian}

Das vorliegende Buch Computational Economics and Finance - Modeling and Analysis with {\it Mathematica} ist als Fortsetzung des 1992 erschienen Buches \glqq Economic and Financial Modeling with {\it Mathematica}\grqq\, zu sehen. Wie damals wurden die Beitr"age von Hal R.~Varian, Dekan der School of Information Management and Systems an der University of California, Berkeley zusammengestellt und editiert. Die Artikel stammen von insgesamt 21 verschiedenen internationalen Autoren, allesamt Spezialisten auf ihrem Gebiet und Profis in der Benutzung von {\it Mathematica}.
Durch die Vielzahl der Autoren und der besprochenen Themen ist f"ur abwechslungsreiche Lekt"ure gesorgt. Da die Artikel zum Teil unabh"angig voneinander sind, kann man getrost den einen oder anderen Abschnitt, der den eigenen Interessen weniger entspricht, "uberspringen.

Das Buch ist wie sein Vorg"anger in drei Abschnitte geteilt: Economics, Finance und Statistics.
Die ersten Artikel im Abschnitt \glqq Economics\grqq\, setzen sich mit Optimierungsproblemen und zwar sowohl linearen als auch nicht-linearen auseinander. Es folgen Artikel, die sich mit der Absch"atzung der Effektivit"at in Produktionsprozessen bzw.~von Fixkosten besch"aftigen, wobei unter anderem Ergebnisse aus der Spieltheorie verwendet werden. 

Ein Hauptteil des Abschnitts \glqq Finance\grqq\, ist dem Thema Auktionen gewidmet: Eine Zusammenstellung von fertigen Tools erlaubt sowohl das theoretische wie experimentelle Studium der Vorg"ange.
Ein weiterer Artikel besch"aftigt sich mit der Preisfestlegung bei z.B.~Flug- bzw.~Hotelpl"atzen, wo die Preisklassen unter anderem vom Zeitpunkt der Buchung (\glqq Fr"uhbucherbonus\grqq) abh"angig sind.

Der letzte Abschnitt besch"aftigt sich, wie der Name bereits sagt, mit Statistik. So wird zum Beispiel die Verwendung von {\it Mathematica} zur Bearbeitung von Monte Carlo Problemen gezeigt.

Die Codes der einzelnen Artikel liegen als Begleitdiskette bei und k"onnen
auch direkt via Internet \\
({\tt ftp://ftp.telospub.com} oder {\tt http://www.telospub.com}) bezogen werden. 

Zusammenfassend muss man feststellen, dass dieses Buch jedem nahegelegt werden kann, der sich f"ur die angesprochenen Themengebiete interessiert, wobei es sich sowohl zur Gesamtlekt"ure eignet, als auch zum \glqq Herauspicken der Rosinen\grqq\, verleitet.

\begin{flushright}
Werner Cyrmon (Bad Fischau, "Osterreich) %, w.cyrmon@htlwrn.ac.at
\end{flushright}


 \item\subsection*{  {Zachary, J.L.}, Introduction to Scientific Programming 
-- Computational Problem Solving Using Maple and C}}
 Verlag Springer: Berlin - Heidelberg - New York, ISBN 0-387-94630-6, 1996, DM 78,--.
 \addcontentsline{toc}{subsection}{{\normalsize \sl  {Zachary, J.L.}, Introduction to Scientific Programming 
%-- ComputationalProblem Solving Using Maple and C
}}\label{zachary}

Bei diesem Buch handelt es sich im Kern um ein Programmierlehrbuch.  Als
Sprachen kommen Maple und C zum Einsatz; es werden keine Vorkenntnisse
vorausgesetzt.  Die Erg"anzung \glqq wissenschaftlich\grqq\ bedeutet
zweierlei.  Zum einen werden nur Sprachelemente behandelt, die typischerweise
in ingenieurs- oder naturwissenschaftlichen Problemen auftreten.  So werden in
C Zeigertypen gar nicht und strukturierte Typen nur am Rande besprochen.  Zum
anderen beschr"ankt sich Zachary nicht auf die reine Vermittlung der Syntax
sondern definiert wissenschaftliches Programmieren wesentlich umfassender.  Er
behandelt parallel zu den Sprachen die Modellbildung, Fragen der Numerik wie
die Ausl"oschung signifikanter Ziffern, die Visualisierung der Ergebnisse und
vieles mehr.  Der Leser soll allgemein das L"osen wissenschaftlicher Probleme
mit dem Computer erlernen.

Didaktisch ist das Buch hervorragend aufgebaut.  Jedes Kapitel beginnt mit der
Beschreibung eines konkreten Problems, f"ur das dann ein mathematisches Modell
gebildet wird.  Danach wird eine L"osungsmethode eingef"uhrt und diese
implementiert.  Als letztes erfolgt eine Bewertung der Ergebnisse.  Gerade
dieser letzte Punkt, der oft vernachl"assigt wird, erf"ahrt bei Zachary eine
gr"undliche Behandlung.  Alle L"osungsschritte beginnend mit der Modellbildung
werden noch einmal kritisch betrachtet und mit Blick auf m"ogliche
Fehlerquellen diskutiert.  Zur Abrundung gibt es noch zahlreiche
"Ubungsaufgaben.

Die gr"o"ste Schw"ache des Buchs liegt in der Annahme, da"s der Leser "uber
keinerlei Programmierkenntnisse verf"ugt.  F"ur die meisten Studenten
ingenieurs- oder naturwissenschaftlicher Studieng"ange gilt dies sicherlich
nicht.  Wer aber auch nur "uber Grundkenntnisse im Programmieren verf"ugt, wird
sich an vielen Stellen des Buchs ziemlich langweilen.  Aus diesem Grund kann
das Buch selbst f"ur Einf"uhrungskurse auf Universit"atsniveau nur bedingt
empfohlen werden, was angesichts der vielen anderen St"arken des Buchs schade
ist.  Gut geeignet k"onnte es dagegen f"ur eine Arbeitsgemeinschaft an einer
gymnasialen Oberstufe sein, da auch die betrachteten Probleme in etwa auf
diesem Niveau sind.

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


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

\vspace*{5mm}
\section*{\Large\bf
\hrule\vspace{1mm}
\centerline{Lehrveranstaltungen \"uber Computeralgebra im SS 1997}
\vspace{-3mm}}\hrule
\label{lehrv}
\addcontentsline{toc}{section}{\normalsize \bf 
Lehrveranstaltungen \"uber Computeralgebra im SS 97 }%\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\\
{\em Arbeitsgemeinschaft Untersuchung algebraischer Strukturen auf Computern}, J. Neub"user, H. Pahlings, U. Schoenwaelder, V. Felsch und Assistenten, S2

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

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

\item {\bf Universit"at Bonn}\\
{\em Graph- und Gruppenalgorithmen}, F.E. Peters, V4\\
{\em Effiziente numerische Algorithmen}, A. Sch\"onhage, V4\\
{\em Seminar: Computer-Algebra},  A. Sch\"onhage, S2\\
{\em Seminar: Sprach- und Audiokompression},
 M. Clausen, F. Kurth S2\\
{\em Projektgruppe: Digitale Audiosignalverarbeitung}, 
 M. Clausen, F. Kurth, PG2


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

\item {\bf Technische Hochschule Darmstadt}\\
{\em Einf"uhrung in die algorithmische Zahlentheorie}, J. Buchmann, V2 + "U2\\
{\em Primzahlbeweise}, V. M\"uller, V2 + "U1\\
{\em Praktikum Weiterentwicklung von {\sf LiDIA}}, J. Buchmann, P4

\item {\bf Universit"at Dortmund}\\
{\em Algorithmen in Algebra und Algebraischer Geometrie}, E. Becker, V4 + "U2\\
{\em Oberseminar "uber reelle algebraische Geometrie und ihre
      Algorithmen}, E. Becker, H. M. M\"oller, S2

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

\item {\bf Universit"at Erlangen-N"urnberg}\\
{\em Computeralgebra (Ferienkurs)}, V. Strehl, V2\\
{\em Komplexit"at rekurrenter Folgen}, H. Meyn, V"U4

\item {\bf Universit\"at Greifswald}\\
{\em Computeralgebra}, H.Schlosser, V4 \\
{\em Seminar Lie-Theorie und Differentialgleichungen, Computeranwendungen}, G.Czichowski, H.Schlosser, S2 \\
{\em Gew"ohnliche Differentialgleichungen mit MATHEMATICA}, G.Czichowski,
M.Berth, V2 + "U1 

%\item {\bf Technische Hochschule Hamburg-Harburg}\\ (Rump@?)

\item {\bf Universit\"at Halle}\\
{\em Wirtschaftsmathematik mit dem Computer}, H. Benker, V4\\
{\em Mathematik mit MATHCAD}, H. Benker, V2\\
{\em L"osung von gew. und part. Differentialgleichungen mit
Computeralgebraprogrammen}, H. Benker und H. Dietrich, V4

\item {\bf Universit"at Heidelberg}\\
  \maple\ f"ur Fortgeschrittene (Ferienkurs 7.4.-11.4.1997), R. Busam

\item {\bf Universit"at Kaiserslautern}\\
{\em Lineare Algebra II und Mathematica}, G. Pfister, "U4\\
{\em Algebraische Geometrie I, eine konstruktive Einf"uhrung}, 
G.-M. Greuel, V4\\
{\em Arbeitsgemeinschaft zur Algebraische Geometrie I}, 
G.-M. Greuel, P2\\
{\em Seminar Singularit"atentheorie/Algebraische Geometrie/Computeralgebra}, 
G.-M. Greuel, G. Pfister S2

\item {\bf P"adagogische Hochschule Karlsruhe}\\
{\em Informatik II (\cas e)}, J. Ziegenbalg, V2

\item {\bf Universit"at Karlsruhe}\\
{\em Algorithmen f"ur algebraische Geometrie,
        Anwendungen in der Robotik}, J. Calmet, V2\\
{\em Kategorientheorie}, J. Calmet, V2\\
{\em Praktikum Computeralgebra}, J. Calmet, W. Seiler, C. Zenger P4\\
{\em Algebraische Spezifikation und Typsysteme}, J. Calmet, C. Zenger S2

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

\item {\bf Universit\"at Leipzig}\\
{\em Kryptographie}, J. Apel, V2\\
{\em  Parallele und serielle Komplexit\"at algebraischer Algorithmen},
H.-G. Gr\"abe, V2\\  
{\em Konstruktive nichtlineare Algebra}, H.-G. Gr\"abe, V2\\  
{\em Fachseminar Programmieren in AXIOMXL}, H.-G. Gr\"abe, S2

%\item {\bf Universit"at Linz, Research Institute for Symbolic Computation}\\

\item {\bf Universit"at Mannheim}\\
{\em Seminar Computeralgebra}, Kredel, Schlichenmaier, Seiler, S2

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

\item {\bf Universit"at Oldenburg}\\
{\em Groebner-Basen und Anwendungen}, W.Schmale, V4 + "U2
%{\em "Ubungen zu Groebner-Basen und Anwendungen}, H.Gl"usimg-L"uerssen, "U2

\item {\bf Universit"at-Gesamthochschule Paderborn}\\
{\em Mathematik am Computer}, C. Nelius, V2 + 'U2\\
{\em Computeralgebra II}, K. Kiyek, V4 + "U2\\
{\em Workshop Computational Number Theory}, C. Indlekofer, A. Jarai, V2 + "U2\\
{\em \mupad{} Seminar}, B. Fuchssteiner/\mupad{} Gruppe, S2\\
{\em Seminar Computeralgebra}, von zur Gathen, S2\\
{\em Oberseminar Algorithmische  Mathematik}, von zur Gathen, S2

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

\item {\bf Universit"at Rostock}\\
{\em Symbolisches Rechnen I}, K.Hantzschmann, V2\\
{\em Computeralgebra mit MAPLE}, O.Becken, V2

\item {\bf Universit"at des Saarlandes Saarbr"ucken}\\
{\em Algorithmische Zahlentheorie}, H.G.Zimmer, S2

\item {\bf Universit"at T"ubingen}\\
{\em Computeralgebra-Software}, R. Loos, V2 +"U2

\item {\bf Universit"at Ulm}\\
{\em Einf"uhrung in das Computeralgebrasystem \maple},
24.2.-27.2.97, H. Koch-Beutenm"uller BV\\
{\em Computeralgebra mit Maple V R4}, 14.7.-16.7.97,
H. Koch-Beuttenm"uller BV\\
 {\em Symmetrieanalyse von Differentialgleichungen mit {\mathematica}
  }, G. Baumann, V2\\
  {\em Mathematische Methoden der Physik mit {\mathematica}
  }, G. Baumann, V2\\
 {\em Einf"uhrung in die Computeralgebra am Beispiel von \maple V
 }, F. Gleisberg, V1

\item {\bf ETH Z"urich}\\
{\em Computer Algebra 2}, M.~Bronstein, V2 + "U1


\end{itemize}

%\indent
\newpage

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

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

%{\small
\vspace*{4mm}

\begin{itemize}


\item {\bf Theorem Provers Solve Robbins' Problem}



In the early 30s Edward Huntington (1) was looking for short axiomatizations of the theory of Boolean algebras. Shortly thereafter Herbert Robbins conjectured that each algebra with a commutative and associative operation $\cup$ and a complement satisfying
\[\forall x \forall y \ \overline{\overline{x \cup y} \cup \overline{\overline{x} \cup y}} = y\]
would be Boolean. Algebras satisfying these axioms became also known as Robbins algebras. The conjecture remained open until late 1996.

In the 80s Steve Winker (2) proved, that the existence of some $a,b$ such that $\overline{a \cup b} = \overline{b}$ in each Robbins' algebra would be suficient to confirm Robbins' conjecture. Winker's proof was inspired by numerous experiments with the automated theorem prover {\sc Otter}. This system was developed by William McCune at Argonne National Laboratories.

In October 1996 the automated prover {\sc EQP} at Argonne could verify Winker's condition, thus confirming that each Robbins algebra is Boolean. {\sc EQP} was also developed by McCune. It is a prover for equational problems with special support for associative and commutative operators.  In contrast with other famous applications of computers in mathematics -- like the four color problem -- here the computer was not used to check particular cases but to search for a general mathematical proof.

{\sc EQP}'s proof is fairly complex. E.g. it contains terms of depth $14$. It was first checked by the automated provers {\sc Otter} and {\sc Nqthm}.

The {\sc ILF} system, developed at the Humboldt University Berlin within the
DFG research programm ''Deduktion'', analyzed {\sc Otter}'s output and
transformed the proof into a human readable form. Experiments with several
proof presentations generated by {\sc ILF} revealed, that its major part is
the analysis of the behaviour of the function
$\delta(x,y)=\overline{\overline{x} \cup y}$ on arguments of the form
$\delta(a,a) \cup a \cup \ldots \cup a$. 
The proof and further informations
can be found on \\
 {\tt
  http://www-irm.mathematik.hu-berlin.de/\~{}ilf-serv/robbins.html} .

For more information on EPQ at Argonne
 see \\
{\tt http://www.mcs.anl.gov/home/mccune/ar/robbins/} .


\begin{description}
\item[(1)]  
E.V. Huntington, ''New sets of independent postulates for the algebra of logic'', Trans. AMS 35, 557--558 (1933)
\item[(2)]  
S. Winker, ''Absorption and idempotency criteria for a problem in near-Boolean algebras'', J. Algebra 153(2), 414--423 (1992)
\end{description}

\begin{flushright}
  Bernd Ingo Dahn (Berlin)
\end{flushright}


\item {\bf RISC-Linz: Special Year on Gr\"obner Bases,
March 1997 --- February 1998}\\

The institute RISC-Linz of the Johannes Kepler Universit\"at
in Linz, Austria, will organize a Special Year on Gr\"obner Bases,
from March 1997 until February 1998.
The goals are:
\begin{itemize}
\item[(1)] to interest and educate graduate students in the Gr\"obner
   bases method, which by now has become one of the standard methods in
   computer algebra,
\item[(2)] to stimulate new research in this area by bringing together
   researchers in seminars and other events during the year,
\item[(3)] to stimulate the interaction among researchers in
   computer algebra, commutative algebra, software design, and
   applications, as related to the theory of Gr\"obner bases.
\end{itemize}
The special year activities will be open to all graduate students
and researchers working or having interest in
the Gr\"obner bases method.
We are working for partial support
of a limited number of participants.
Researchers on sabbatical and/or leave of absence are encouraged to
get into contact with us.

Besides increased activities in seminars and colloquia,
there will be two main activities during the Special Year on Gr\"obner
Bases: an intensive
course for graduate students taught by members of RISC-Linz
and invited speakers (see page \ref{groebnercourse}), and a conference devoted to
the theory and practice of Gr\"obner bases (see page \ref{groebnerconf}).



                 \item {\bf  Journal of Symbolic Computation -- 
                         special issue on
            Symbolic-Numeric Algebra for Polynomials}

Within the area of Scientific Computing, the results of algebraic
problems are often needed in numerical form to a specified accuracy.
Some of the data of such problems (e.g.  coefficients of polynomials)
may be exact while others may be known only within a given tolerance.


In such situations, the usual concepts and algorithms of computer
algebra are not immediately applicable. Appropriate approaches must
utilize ideas and algorithmic techniques from numeric computation
together with standard and possibly extended procedures from classical
computer algebra.  The emerging area of mathematics dealing with this
situation may be thought of as ''numerical nonlinear algebra'', in
analogy with the well-known area of ''numerical linear algebra''.


While some work in this field had already begun in the 1980s, recently
activities have been growing in depth and breadth.  This summer the
workshop SNAP 96, held at INRIA Sophia Antipolis (France), brought a
focus to the area of symbolic-numeric algebra for polynomials. The
literature in this area has appeared in various locations, but has
until now been quite dispersed and difficult to locate. It appears
timely to collect some outstanding results of this development into a
special issue of the Journal of Symbolic Computation.


We invite submissions for a special issue on Symbolic-Numeric Algebra
for Polynomials. Such papers should contribute to the understanding of
the interaction of symbolic and numeric computing. Their results should
be relevant for the design of algorithms for the solution of related
problems and the computer implementation of such algorithms. Relevant
topics include, but are not restricted to:

\begin{itemize}
\item GCD computation for polynomials with inexactly-known coefficients;

\item symbolic-numeric methods for simplifying and solving multivariate 
     polynomial systems;

\item matrix methods oriented towards zero-dimensional ideals (e.g. 
     multivariate resultants);

\item methods for other approximate polynomial problems (e.g. factorization, 
     Pade approximation);

\item software systems for the efficient implementation of such algorithms, 
     taking advantage of existing numerical libraries.
\end{itemize}

Manuscripts should be submitted to either one of the two guest-editors 
who will handle the preparation of this special issue.

Deadline for submission of full papers:     31 March, 1997,
Notification of acceptance/rejection:       30 June, 1997,
Final revised manuscripts due:              30 September, 1997,
Appearance of special issue:                1998.

Guest editors: Stephen Watt,                                
IBM T.J. Watson Research Center,             
P.O. Box 218,                                
Yorktown Heights, NY 10598 USA,              
{\tt smwatt@watson.ibm.com}  .                     
Hans J. Stetter,
Technical University,
Inst. f. Appl. and Numer. Math.,
A-1040 Vienna, Austria,
{\tt stetter@uranus.tuwien.ac.at}  .

                 \item {\bf  Journal of Symbolic Computation -- 
                         special issue on
            Polynomial Elimination: Algorithms and Applications}


Polynomial elimination is understood as successively eliminating 
variables from systems of multivariate (differential) polynomials. 

In addition to the classical resultants, typical examples of polynomial
elimination methods are those based on characteristic sets and
Groebner bases which have been extensively studied, extended, and 
applied in the area of computer algebra. Continuing research efforts 
on the subject have resulted in many new techniques that form the 
basis of a number of practical algorithms underlying current 
computer algebra systems.

This special issue focuses on reporting significant research 
developments on algorithms and software tools for polynomial 
elimination and their applications to problems in various domains 
of science, engineering, and industry. The special issue is expected 
to be a collection of state-of-the-art contributions and serve as a 
reference source for further investigations on the subject. Original 
research papers describing recent advances and new insights on all 
aspects of polynomial elimination are solicited. Relevant topics 
include, but are not restricted to:

\begin{itemize}
\item  new elimination algorithms and techniques;
\item  improvements and complexity analyses of existing algorithms;
\item  description and comparison of software tools;
\item  application of classical and modern elimination techniques and 
   tools.
\end{itemize}

The special issue considers elimination for both algebraic and 
differential polynomial systems. Potential authors are encouraged 
to include well-identified challenging application problems in their 
contributions.

Authors are invited to submit 4 copies of their manuscripts to one 
of the two guest-editors who will handle the preparation of this 
special issue. All submitted papers will be refereed according to the 
JSC refereeing process (see {\tt http://www.cis.udel.edu/\~{}caviness/jsc.html}
for information about JSC).

Deadline for submission of full papers:              31 July 1997
Notification of acceptance/rejection:                31 January 1998
Final revised manuscripts due:                       31 May 1998
Appearance of special issue:                         1998/1999
  
Guest editors:\\
Michael Kalkbrener,                         
Department of Mathematics,                  
ETH Zurich,                                 
CH-8092 Zurich,                             
Switzerland,\\                                
{\tt mkalk@math.ethz.ch  }. \\                      
  Dongming Wang,             
  LEIBNIZ-IMAG-CNRS,        
  46, avenue Felix Viallet,  
  38031 Grenoble Cedex,     
  France,                    
{\tt   wang@leibniz.imag.fr } .
    

 \item {\bf Mailing-Liste der DMUG (Deutschsprachige Mathematica User Group)}


Die Mailing-Liste der DMUG steht allen interessierten Personen und
Organisationen offen, die sich mit Mathematica im deutschsprachigen
Raum besch"aftigen. Die Liste ist sowohl f"ur spezifische Diskussionen
von Problemen gedacht, die sich aus der Verwendung der deutschen
Sprache mit Mathematica ergeben, als auch f"ur Diskussionen von
regionalen Ereignissen und f"ur allgemeine Fragen zu Mathematica. In
letzterem Punkt wird sich eine gewisse �berschneidung mit der
weltweiten englischsprachigen Mathematica User Group nicht vermeiden
lassen.

Die Liste ist moderiert. Der Moderator ist Dr. Roman M"ader,
MathConsult,\\
%Aryanastrasse 21,
%CH-8704 Herrliberg,
 {\tt maeder@mathconsult.ch}. 
Die WWW-Inhalte der DMUG befinden sich auf\\
{\tt http://www.mathematica.ch}.
Um in die Liste aufgenommen zu werden, senden Sie eine Email mit dem Inhalt
{\tt subscribe [<Email Adresse>]}
an {\tt dmug-request@mathematica.ch}. 

\item {\bf Presentation of the SAC Newsletter} 

The SAC Newsletter's aim is to disseminate 
       useful information related to Symbolic and Algebraic Computation among users, researchers,
       teachers and 
       news from the partners of the European SAC Network. 

The target group of readers consists of researchers, engineers, teachers, and users of systems
dealing with Symbolic and Algebraic Computation. 

The SAC Newsletter will be published twice a year (in the Spring and the Fall) 
       in electronic form on the world wide web (main format) (see URL:
{\tt http://www.can.nl/SAC\_Newsletter/menu.html}) , and 
       in printed form (limited number of copies printed for publicity).

It will be funded by RIACA, Amsterdam in the framework of the European SAC Network until
december 1997 and by advertisements and sponsors from 1998 on. 

Its editorial board is composed of Franz Winkler (RISC, Linz), Tomas Recio (University of
Cantabria, Santander) and Thierry Van Effelterre (RIACA, Amsterdam). 

The SAC Newsletter is not a refereed periodical: it is up to the members of the editorial board to
decide among themselves whether a submitted article is accepted or not. This will shorten the delay
between submission and publication. 



\item {\bf ISSAC Steering Committee} \label{issac-sc}

Die von den {\sl  members-at-large}, d.h.\
die vom ISSAC business meeting gew"ahlten Vertreter
Manuel Bronstein, Hoon Hong und Richard D.~Jenks,
haben die franz"osichen \ca-Gesellschaft MEDICIS und damit
Marc Giusti neben den Vertretern der ACM SIGSAM
Stephen Watt und der Fachgruppe \ca\ Johannes Grabmeier
als sechstes Mitglied gem"a"s der Satzung berufen.

Bei der turnusgem"a"sen Neuwahl wurde
Richard D.~Jenks (IBM Research Yorktown Heights)
zum Vorsitzenden gew"ahlt. Seine erste Aufgabe war
es die Wahl des ISSAC'98 General Chairs durchzuf"uhren.
Die Wahl fiel auf
\begin{center}
%\centerline
{Volker Weispfenning}
\end{center}
von der Universit"at Passau.
Damit kann die weitere intensive
Vorbereitungsphase f"ur die als Satelittenkonferenz
der International Conference in Mathematics (ICM98)in Berlin
geplante ISSAC'98, 13.-15.08.1998  in Rostock zusammen mit dem
Local Arrangement
Chair Karl Hantzschmann und der Fachgruppe \ca\ beginnen.

Die Vorbereitungen auf
die ISSAC'97 in Maui (Hawaii) -- siehe Seite \pageref{issac97} --
laufen plangem"a"s. Die n"achste Aufgabe des
Steering Committees wird es sein, bis zur Konferenz in Maui
Vorschl"age f"ur die  Ausrichtung der ISSAC'99 zu finden.

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


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

Am Interdisziplin"aren Zentrum f"ur Wissenschaftliches Rechnen (IWR)
der Universit"at Heidelberg ist zum 1. Oktober 1997 eine C2-Professur auf Zeit
mit der Ausrichtung

\vspace{3mm}
\centerline  {\bf
Wissenschaftliches Rechnen in Algebra und Zahlentheorie}        
\vspace{3mm}

zu besetzen.

Interessenten werden gebeten, sich mit den "ublichen Unterlagen bis
zum 30. April 1997 zu bewerben:
Herrn Dekan Prof. Dr. Rainer Dahlhaus,
Fakult"at f"ur Mathematik der Universit"at Heidelberg,
Im Neuenheimer Feld 288,
69120 Heidelberg.
}}

\end{itemize}




%}

\pagestyle{empty}

\newpage
%%\input{Aufnahmeantrag.tex}

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


\end{document}










