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

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

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


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

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

\newcommand{\asharp}{{\sc A}$^\#$}
\newcommand{\axiom}{{\sc AXIOM}}
\newcommand{\derive}{{\sc Derive}}
\newcommand{\macsyma}{{\sc Macsyma}}
\newcommand{\maple}{{\sc Maple}}
\newcommand{\mathematica}{{\sc Mathematica}}
\newcommand{\mathem}{{\sc Mathematica}}
\newcommand{\reduce}{{\sc REDUCE}}
\newcommand{\aldessac}{{\sc Aldes/SAC-2}}
\newcommand{\sac}{{\sc SAC-2}}
\newcommand{\aldes}{{\sc ALDES}}
\newcommand{\cayley}{{\sc Cayley}}
\newcommand{\magma}{{\sc MAGMA}}
\newcommand{\cocoa}{{\sf CoCoA}}
\newcommand{\felix}{{\sc FELIX}}
\newcommand{\form}{{\sc FORM}}
\newcommand{\gap}{{\sf GAP}}
\newcommand{\kant}{{\sc KANT-V2}}
\newcommand{\lidia}{{\sf LiDIA}}
\newcommand{\mas}{{MAS}}
\newcommand{\masyca}{{MASYCA}}
\newcommand{\mathcad}{{\sc Mathcad}}
\newcommand{\matlab}{{\sc MATLAB}}
\newcommand{\macaulay}{{\sc Macaulay}}
\newcommand{\macauley}{{\sc Macaulay}}
\newcommand{\mupad}{{\rm MuPAD}}
\newcommand{\chevie}{{\sf CHEVIE}}
\newcommand{\qpic}{{\sc Quotpic}}
\newcommand{\pari}{{PARI}}
\newcommand{\posso}{{P\kern-0.2em o\kern -0.1em S\kern -0.1em S\kern -0.1em o}}
\newcommand{\reve}{{\sc Reve}}
\newcommand{\orme}{{\sc ORME}}
\newcommand{\simath}{{\sc Simath}}
\newcommand{\parsac}{{\sc Parsac}}
\newcommand{\symmetrica}{{\sc Symmetrica}}
\newcommand{\reptiles}{{\sc RepTiles}}
\newcommand{\symmpad}{{\sc SymmPAD}}
\newcommand{\singular}{{SINGULAR}}
\newcommand{\theorist}{{\sc Theorist}}
\newcommand{\algep}{{\sc ALGEB}}
\newcommand{\algeb}{{\sc ALGEB}}
\newcommand{\amore}{{AMORE}}
\newcommand{\crep}{{CREP}}
\newcommand{\meataxe}{{\sc Meat-Axe}}
\newcommand{\moc}{{\sc MOC}}
\newcommand{\redux}{{\sc ReDuX}}
\newcommand{\sisyphos}{{\sc Sisyphos}}
\newcommand{\Thomson}{International Thomson Publishing}
\newcommand{\AThomson}{Bonn, Albany, Belmont}
\newcommand{\Brooks}{Brooks/Cole Publishing Company}
\newcommand{\ABrooks}{Pacific Grove, California}
\newcommand{\Wiley}{John Wiley \& Sons}
\newcommand{\AWiley}{Chichester}
\newcommand{\AddisonWesley}{Addison-Wesley}
\newcommand{\AAddisonWesley}{Bonn, Paris, Reading Mass.}
\newcommand{\Birkhaeuser}{Birkh"auser Verlag}
%\newcommand{\ABirkh"auser}{}
\newcommand{\Springer}{Springer Verlag}
\newcommand{\ASpringer}{Berlin, Heidelberg, New York}
\newcommand{\Vieweg}{Vieweg Verlagsges.}
\newcommand{\AVieweg}{Braunschweig, Wiesbaden}
\newcommand{\dpunkt}{dpunkt Verlag}
\newcommand{\Adpunkt}{Heidelberg}
\newcommand{\Teubner}{Teubner Verlag}
\newcommand{\ATeubner}{}
\newcommand{\VDF}{vdf Hochschulverlag}
\newcommand{\AVDF}{Z"urich}
\newcommand{\Cambridge}{Cambridge University Press}
\newcommand{\ACambridge}{Cambridge}
\newcommand{\Oldenbourg}{Verlag Oldenbourg}
\newcommand{\AOldenbourg}{}
\newcommand{\FBVLeipzig}{Fachbuchverlag Leipzig}
\newcommand{\AFBVLeipzig}{Leipzig}
%   Mathematische Symbole
\newcommand{\Z} {{\rm {\mbox{\protect\makebox[.2em][l]{\sf Z}\sf Z}}}}
\newcommand{\ZZ} {{\rm {\mbox{\protect\makebox[.15em][l]{\small \sf Z}\small
\sf Z}}}}
\newcommand{\N} {{\rm {\mbox{\protect\makebox[.15em][l]{I}N}}}}
\newcommand{\R} {{\rm {\mbox{\protect\makebox[.15em][l]{I}R}}}}
\newcommand{\1}{{\bf{1}}}
\newcommand{\2}{{\bf{2}}}
%\newcommand{\3}{{\bf{3}}}
\newcommand{\4}{{\bf{4}}}
\newcommand{\5}{{\bf{5}}}
\newcommand{\6}{{\bf{6}}}
\newcommand{\7}{{\bf{7}}}
\newcommand{\8}{{\bf{8}}}
\newcommand{\9}{{\bf{9}}}
\newcommand{\0}{{\bf{0}}}
%LiE
\font\logo=cmss10 scaled \magstep4
\newdimen\r \r=3.14 pt \multiply\r by \magstep3\divide\r by 1000
\newbox\LiEbox \newbox\liepic
\setbox\LiEbox=\hbox{{\logo L\kern-.25em\raise\r\hbox{\i}\kern-0.03em E} }
\def\LiE.{\unhcopy\LiEbox}
%immer noch LiE
\font\smlogo=cmss10 \r=2.718pt
\newbox\smallLiEbox \newbox\liepic
\setbox\smallLiEbox=\hbox{{\smlogo L\kern-.25em\raise\r\hbox{\i}\kern-0.03em E}}
\def\lie{\unhcopy\smallLiEbox}
\def\field{$[\ \ ]$}

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

\newcommand{\konfhinwitem}[2]{\item{\bf \normalsize #1}

#2}

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

\newcommand{\Abschnitt}[3]{{\vspace*{5mm}
\section*{\Large\bf\hrule\vspace{1mm}
\centerline{#1}}\vspace{-3mm}\hrule}
\label{#3}
\addcontentsline{toc}{section}{\normalsize \bf 
#2 }
\vspace*{4mm}
}
\newcommand{\UnterAbschnitt}[3]{
\vspace{5mm}
\subsection*{\Large \bf #1}\label{#3}
\addcontentsline{toc}{subsection}{\normalsize \sl #2 }
\vspace{4mm}
}

%%% used for latex2html-convertion:
%\newcommand{\URL}[1]{\htmladdnormallink{#1}{#1}}
%\newcommand{\Abschnitt}[2]{
%\section{#1}\label{#3}}
%\newcommand{\UnterAbschnitt}[3]{
%\subsection{#1}\label{#3}}

\begin{document}
\pagestyle{empty}



%\input{CARtitel.tex}

\rule{0cm}{86mm}
%\vspace{78mm}
%\vskip 78mm
 
\begin{minipage}[t]{3.8cm}
\rule{0cm}{1cm}
\end{minipage} \ \
\begin{minipage}[t]{12.3cm}

{\bf Nummer 24  \hfill M"arz  1999 } 

%\vspace{-6mm}
\vspace{10mm}

\tableofcontents

\end{minipage}

%\vspace{5mm}


 \newpage
 Werbeseite der Fa. Scientific Computers

\newpage
\pagestyle{plain}

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

\Abschnitt{Mitteilungen der Sprecher}{Mitteilungen der Sprecher}{mitt_sprecher}

{\em
\noindent
                                                                              


Liebe Mitglieder der Fachgruppe Computeralgebra,

am 5. M\"{a}rz fand die letzte Sitzung der alten Fachgruppenleitung und im 
Anschlu\ss{} daran die konstituierende Sitzung der neuen Fachgruppenleitung 
in Leipzig statt. Der Wahlleiter, Prof. Hantzschmann, gab das Ergebnis der
Wahl bekannt. Es wurden keine ung\"{u}ltige und 141 g\"{u}ltige Stimmen 
abgegeben, die sich folgenderma\ss{}en verteilten.

\begin{tabular}{llr}
Dr.~Johannes Grabmeier & Heidelberg & 99 \\
Prof.~Dr.~Volker Weispfenning & Passau & 94 \\
Prof.~Dr.~G.-M.~Greuel & Kaiserslautern & 66 \\
Prof.~Dr.~H.~Michael M\"{o}ller &  Dortmund & 57\\

     Prof.~Dr.~Adalbert Kerber &  Bayreuth & 54\\

     Prof.~Dr.~Michael E.~Pohst &  Berlin & 52\\

     Prof.~Dr.~Gerhard Schneider &  G\"{o}ttingen & 49\\

     Prof.~Dr.~Wolfram Koepf &   Leipzig & 46\\

     Prof.~Dr.-Ing.~Dr.~rer.nat.~Volker Strehl &  Erlangen-N\"{u}rnberg & 46\\

\hline

     Dr.~Joachim Apel &  Leipzig & 44\\

     Heiko Knechtel &  Stadthagen & 43\\

     Dr.~H.-W.~Henn &   Karlsruhe & 42\\

     Prof.~Dr.~Wilhelm Werner &  Heilbronn  & 42 \\

     Dr.~Hans-Gert Gr\"{a}be &  Leipzig & 36 \\

     Prof.~Dr.~Gerhard Hi\ss{} &  Aachen  & 35 \\

     Prof.~Dr.~Gunter Malle &  Kassel  & 33\\

\end{tabular}



Damit sind die ersten neun Kandidaten gew\"{a}hlt. Die weiteren

sieben Kandidaten sind in der Reihenfolge der Stimmenverteilung

auf der Nachr\"{u}ckliste. 

Mit den neu benannten,
bzw.~be\-st\"{a}\-tig\-ten Vertretern der Tr\"{a}gergesellschaften, den Herren
\vspace{0.8em}
\begin{center}
K.~Hantzschmann (GI), B.~H.~Matzat (DMV), S.~E.~Rump (GAMM),
\end{center}
und den gem\"{a}\ss{} unserer Ordnung nach 7.1 berufenen Fachexperten, den Herren
\begin{center}
F.~W.~Hehl (Physik),  W.~Werner (Fachhochschulen), H.~Knechtel (Schulen),
\end{center}
ist die neue Fachgruppenleitung f\"{u}r die Amtszeit 1999 -- 2002 komplett.
Wir danken den nicht gew\"{a}hlten Kandidaten f\"{u}r ihre Bereitschaft, sich
zur Wahl zu stellen und sich auch weiterhin f\"{u}r die Belange der Fachgruppe 
Computeralgebra einzusetzen. Gleicher Dank gilt den Wahlleitern, Herrn Hantzschmann
und Herrn Matzat. f\"{u}r die Durchf\"{u}hrung der Wahl !

In seinem Rechenschaftsbericht ging der scheidende Sprecher, Herr Grabmeier, 
auf die wichtigsten Ereignisse und Aktionen der vergangenen drei Jahre ein.
H\"{o}hepunkt war zweifellos das {\em International Symposium on Symbolic and Algebraic 
Computations} im Jahr 1998 (ISSAC'98).
Diese weltweit wichtigste Computeralgebratagung findet j\"{a}hrlich statt.
Die ISSAC'98 wurde von der Fachgruppe initiiert und von ihr mit Unterst\"{u}tzung 
der GI organisiert. Die lokalen Organisation stand unter der Leitung
von Karl Hantzschmann aus Rostock. General Chair war Volker Weispfenning aus Passau.

Die gelungene Veranstaltung (vgl. den letzten Rundbrief) war ein Prestigegewinn f\"{u}r
die Computeralgebra in Deutschland und auch finanziell ein Erfolg. 
International ist die Fachgruppe durch ihren Sprecher weiterhin im 
ISSAC-Leitungsgremium vertreten. 

Zur F\"{o}rderung der Computeralgebra im Schulbereich, einem der Hauptziele in 
der vergangenen Amtsperiode, hatte die Fachgruppe im Sommer 1997 die Ministerien der 16 Bundesl\"{a}nder angeschrieben und angeboten, zum Thema {\em Curriculumsentwicklung Computeralgebra} mit ihnen in die Diskussion zu treten. Die Resonanz bislang dazu war sehr positiv.

Im April 1998 wurde deshalb ein Symposium zu Thema  {\em Computeralgebra  
in Lehre, Ausbildung und Weiterbildung} in Schlo\ss{} Thurnau im April 1998
veranstaltet. Die organisatorische Verantwortung lag bei A.~Kerber aus 
Bayreuth. Ein Bericht \"{u}ber dieses Symposium war im letzten Rundbrief zu lesen.

Von Herrn W.~Werner wurde im M\"{a}rz 1998 ein Workshop {\em Computeralgebra in For\-schung 
und Lehre} an der Fachhochschule in  K\"{u}nzelsau organisiert, vgl. Heft 22 des 
Rundbriefs. Dieser Workshop wurde von der Fachgruppe unterst\"{u}tzt. 
Des\-wei\-teren wurden wie auch in den vorangegangenen Amtszeiten Computeralgebra-Sektionen 
bzw. Workshops auf den Jahresversammlungen unserer Tr\"{a}gergesellschaften zum Teil von 
Mitgliedern der Fachgruppenleitung organisiert bzw.~mitgetragen.

Die wichtigste Informationsquelle der Fachgruppe, der Computeralgebra-Rundbrief,
wurde auch in dieser Amtsperiode wieder von Herrn Schwardmann in bew\"{a}hrter
Weise redaktionell betreut. Die alte Fachgruppenleitung bedankte sich herzlich
bei ihm f\"{u}r die geleistete Arbeit. Die von Herrn Schneider betreuten WWW-Seiten
CAIS sind von Karlsruhe zur GWDG nach G\"{o}ttingen umgezogen. Dieser Umzug
ist noch nicht ganz abgeschlossen. Trotzdem auch jetzt schon Dank an Herrn Schneider 
f\"{u}r seine Arbeit.

Die Initiative der Fachgruppe zum weit gefa\ss{}ten Thema {\em Benchmarks in der
Com\-pu\-ter\-algebra} hat mit der Einberufung eines Treffens unter der Leitung von Heinz Kredel aus Mannheim am Rande der ISSAC-Konferenz in Rostock einen wichtigen Schritt unternommen. Sein Referat und eine strukturierte Zusammenstellung der bislang bekannten Aktivit\"{a}ten finden Sie im CAIS.

Der scheidende Sprecher der Fachgruppe dankte allen Mitgliedern der Fachgruppenleitung
1996 -- 1999 f\"{u}r die geleistete Arbeit.

Nach der Entlastung der Sprecher der alten Fachgruppenleitung hat sich die neue 
Fach\-gruppenleitung konstituiert. Da Herr Grabmeier nicht erneut kandidierte, wurde
unter seiner Leitung der neue Sprecher gew\"{a}hlt. Einstimmig fiel die Wahl auf
H.M.M\"{o}ller. Ebenfalls einstimmig wurde M.~Pohst zum Stellvertreter gew\"{a}hlt.

F\"{u}r die kommenden drei Jahre sollen die bisherigen Arbeitsschwerpunkte 
wieder durch Referenten der Fachgruppenleitung besonders gef\"{o}rdert werden.
Die bisherigen Referenten Schneider (f\"{u}r CAIS), Koepf (Didaktik und Lehre),
Kerber (Chemieanwendungen) wurden best\"{a}tigt, Herr Strehl kommt als Referent
f\"{u}r Computational Engeneering hinzu. Weitere wichtige Schwerpunkte in der
neuen Amtsperiode werden die Gebiete Computeralgebra in der Physik, Benchmarks, 
Computeralgebra an
Fachhochschulen und an Schulen sein. W\"{a}hrend wir f\"{u}r die Benchmarks
einen Referenten aus den eigenen Reihen noch zu finden hoffen, werden die anderen 
drei Schwerpunkte durch Fachexperten in unserer Fachgruppenleitung vertreten. Wie 
in der letzten Amtsperiode sind Herr F.W.~Hehl f\"{u}r die Physik und Herr W.~Werner 
f\"{u}r die Fachhochschulen zust\"{a}ndig. Herr Knechtel ist jetzt Fachexperte 
f\"{u}r Schulen. Diese Berufung war nur dadurch m\"{o}glich, da\ss{} Herr Schwardmann
auf seine Funktion als Fachexperte verzichtete, denn wir d\"{u}rfen satzungsgem\"{a}\ss{} 
maximal drei Fachexperten in der Fachgruppenleitung haben. Herr Schwardmann wird aber 
weiterhin den Rundbrief betreuen und an den Sitzungen der Fachgruppenleitung als
verantwortlicher Redakteur teilnehmen.

\vspace*{3mm}

 \begin{flushright}
H. Michael M\"{o}ller \hspace{2cm} M.~Pohst
 \end{flushright}                                                                              

}

%\newpage

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

\Abschnitt{Hinweise auf Konferenzen}{Hinweise auf Konferenzen}{hinwkonf}


\begin{enumerate}   

%\input{../Konfhinw/konfhinw.tex}

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: "CAR24"
%%% End: 



%\konfhinwitem{}{}
%{\footnotesize
%}



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

\konfhinwitem{GAMM-Jahrestagung}{Metz, Frankreich, 12.4. -- 16.4.1999}

{\footnotesize


{\bf Tagungsleitung:} Marcel Berveiller (Metz),
Alfred Louis (Saarbr"ucken).

Eine der 25 Sektionen ist dem Thema
{\sl \ca\ und -analysis} gewidmet. Die Anmeldung der 15-Minuten-Beitr"age
geschieht bis zum 15.11.1998  mittels eines Vortragsformulars. Weitere
Informationen\\
"uber \URL{http://www.lpmm.univ-metz.fr/gamm99}.
}

\konfhinwitem{ECCAD'99 -- The East Coast Computer Algebra Day '99}{Raleigh, North Carolina, USA, 24.4.1999}

{\footnotesize
{\bf Objective:}         Present/discuss current research on
                      requirements, challenges, trends,
                      recent algorithmic advances,
                      tools in applications and in education,
                   in an informal/interactive setting.

{\bf Organizers:}        Hoon    Hong     (North Carolina State Univ. USA), 
                   Erich   Kaltofen (North Carolina State Univ. USA),
                   Dinesh  Manocha  (Univ. of North Carolina    USA),
                   John    Reif     (Duke University            USA), 
                   Michael Singer   (North Carolina State Univ. USA). 

{\bf Invited Speakers:}  Peter   Borwein  (Simon Fraser Univ.      Canada),
                   Gaston  Gonnet   (ETH                Switzerland),
                   Lakshman Y. N.   (Bell Labs                  USA).

{\bf Publications:}      Abstracts of Posters/Demos in ACM-SIGSAM bulletin.
                   Details in the WEB page \\
                   \URL{http://vega.math.ncsu.edu/}

{\bf Registration:}      FREE!  but need to register for local arragement.
                   Details in the WEB page \\
                   \URL{http://vega.math.ncsu.edu/}
                      
{\bf Travel Support:}    Some funds are avaible. 
                   Details in the WEB page   \URL{http://vega.math.ncsu.edu/}
}


\konfhinwitem{ Neues Lernen mit Neuen Medien - Mathematikunterricht in der Zukunft}{M"unster, 25.5. -- 28.5.1999}

{\footnotesize
   Die 3.Pfingsttagung an der WWU M"unster wird in diesem Jahr von der Zentralen Koordination Lehrerausbildung der WWU in Zusammenarbeit mit dem
    Landesinstitut f"ur Schule und Weiterbildung, Soest, mit Unterst"utzung von $T^3$ Europe veranstaltet.

{\bf Tagungsablauf:}\\
25.5. Neues Lernen/Neue Medien -- selbstst"andige Sch"ulerinnen, HV: E. Lehmann \\
26.5. Neues Lernen/Neue Medien -- Glasperlenspiel zwischen Problem und Anwendung, HV: G. Steinberg \\
27.5. Neues Lernen/Neue Medien -- aber bitte mit Pr"ufung!, HV: J. Elschenbroich \\
28.5. Neues Lernen/Neue Medien -- nur Motivation und Faszination?, HV: C. Laborde.

{\bf Aktuelle Informationen} finden Sie unter \URL{http://www.uni-muenster.de/Lehrerausbildung/ti92tag.html}

}


\konfhinwitem{COCOA -- VI, and An International School on Computer Algebra}{Villa Gualino, near Turin, Italy, 31.5. -- 5.6.1999}

{\footnotesize
This year will see some innovations in the style of
the proceedings.  The COCOA meeting proper will be preceded
by a three and a half day intensive School on Computer Algebra,
offered to a limited number of doctoral students and recent post
doctoral fellows.  The School will be followed by two and a half
days of the COCOA meeting, in its more usual format, i.e. invited
lectures, contributed papers and demonstrations of computer
algebra systems.

{\bf Dates:}\\
School:    monday,   may 31. - thursday, june 3.1999\\
COCOA VI:  thursday, june 3 - saturday, june 5.1999

{\bf COCOA VI:}
As mentioned above, the COCOA VI meeting will formally
begin on Thursday afternoon (June 3) and continue until Saturday
afternoon (June 5).  The meeting will take place in the Villa Gualino.

There is space in the programme for a limited number of
research communications and demonstrations.  We encourage potential
speakers to submit abstracts for consideration by the Organizers.
They should be submitted by email to either Geramita or Robbiano
at the email addresses given above.

{\bf The International School:}
There will be two intensive courses offered in the School:\\
Course A:  Monomial Ideals - B. Sturmfels\\
Course B:  Ideals of Points - A. Geramita, L. Robbiano\\
(Assistants for the Courses: A. Bigatti, M. Kreuzer)

There is space for at most 18 participants, who should
currently be enrolled in a doctoral programme somewhere in the
world or be recent post doctoral fellows.
All students who are accepted for admission to the School will
receive a scholarship which will cover some of the expenses
associated with their participation.
Those wishing to participate in the School should submit a
''letter of application''  by email to either

Lorenzo Robbiano \Mail{robbiano@dima.unige.it}
or\\
Anthony Geramita \Mail{geramita@dima.unige.it} or
          \Mail{tony@mast.queensu.ca}

Included in this Letter of Application should be the
(email) address of one mathematician who can act as referee
for the application as well as a statement as to why the
application is being made.

Applications should be submitted by March 1, 1999 and
the final decisions will be made by March 15, 1999 by the
Organizing Committee (V. Ancona, A. Conte, A. Geramita, L. Robbiano).

Those accepted to participate in the School are expected
to arrive at the Villa Gualino by Sunday evening, May 30 (as the
courses will begin on Monday morning) and remain at least until
midday on Thursday, June 3.  All participants in the School are
encouraged (but not obliged) to remain for the COCOA VI meeting,
which will begin in the afternoon of June 3.

}


\konfhinwitem{CASC-99 The Second Workshop on \ca\ in Scientific Computing}{M"unchen, 31.5. -- 4.6.1999}

{\footnotesize


{\bf Topics:}
  The methods of Scientific Computing play an important role in research
  and engineering applications in the field of the natural and
  engineering sciences.

  The importance of computer algebra methods and computer algebra systems
  for scientific computing has increased considerably in recent times.
  During the last decade, a new generation of general-purpose
  computer algebra systems such as Mathematica, Maple, MuPAD and Axiom
  have been developed, which enable the user to solve the following three
  important tasks within a uniform framework of the same system:
          symbolic manipulations,
          numerical computations,
          visualization.

  A further development of such systems, including their adaptation to
  parallel environments, puts them at the forefront in scientific computing
  and enables the practical solution of many complex applied problems in the
  domains of natural sciences and engineering knowledge.

  Topics for CASC unites many important questions and methods of
  Scientific Computing and the application of computer algebra, like
          numerical simulation using computer algebra systems,
          parallel symbolic-numeric computations,
          symbolic-numeric interfaces,
          symplectic integration,
          construction of approximate solutions of differential,
          equations and dynamical systems,
          symbolic-numeric methods in celestial mechanics and general,
          relativity,
          algebraic methods for nonlinear equations and inequalities,
          computer algebra methods in pure mathematics,
          computational group theory,
          applications to the theory of error-correcting codes,
          problem-solving environments for partial differential equations,
          algorithmic and complexity considerations in computer algebra.

   The workshop is intended to provide a forum for researchers and
   engineers in the fields of mathematics,
   informatics, numerical analysis, etc. An important goal of the
   workshop is to unite all these specialists for
   the purpose of an efficient solution of many current questions and
   problems in advanced Scientific Computing.

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

{\bf Program Committee:}
       Victor Edneral (Moscow),
       Marc Gaetano (INRIA, Sophia),
       Victor Ganzha (Munich, co-chair),
       Richard Liska (Prague),
       Roman Maeder (Zuerich),
       Yuri Matiyasevich (St. Petersburg),
       Stanly Steinberg (Albuquerque),
       Nikolay Vassiliev (St. Petersburg),
       Evgenii Vorozhtsov (Novosibirsk, co-chair),
       Paul S. Wang (Kent),
       Volker Weispfenning (Passau),
       Christoph Zenger (Munich).

{\bf Local Organizing Committee:}
       Herbert Fischer,
       Victor Ganzha, \Mail{ganzha@in.tum.de},\\
       Ernst Mayr (chair),      \Mail{ mayr@in.tum.de},
       Michal Mnuk (secretary), \Mail{mnuk@in.tum.de},

{\bf Proceedings:}
      It is planned to have proceedings published by Springer Verlag,
      containing the full papers and available at
      the Workshop.

{\bf Location:}
    The workshop will take place in a conference center in
    Herrsching (Lake Ammersee), about 30km from the
    city of Munich and easily reached from there by public transportation.

{\bf Important dates:} (these are still tentative)\\
      15 Jan 1999
                   Submission of the full paper (up to 20 pages)
                   or extended abstract (up to 4 pages)\\
      20 Feb 1999
                   Notification of acceptance\\
      20 May 1999
                   Camera-Ready papers must be received\\
      2 May 1999
                   Deadline for advance registration at Workshop\\


{\bf Notes:}
      In addition to submitted research papers, these will also be invited
      talks and software presentations.

{\bf Further, updated informations} are available at:

\URL{http://wwwmayr.informatik.tu-muenchen.de/konferenzen/CASC99/}

}


\konfhinwitem{MATHTOOLS'99 -- 2nd International Conference ''Tools for Mathematical Modelling''}{Saint-Petersburg, Russia, 14.6. -- 19.6.1999}

{\footnotesize

MATHTOOLS'99 is a multidisciplinary conference on latest advances
in the theory of mathematical modelling and the role of
the theory for explanation of some nonlinear effects arising in real
systems as well as demonstration of up-to-date efficient methods
for solving of applied technical problems, providing an ideal forum
for researchers to disseminate knowledge, research results and
applications in many sectors of activity.
This will be the second of a series of conferences initiated in 1996,
and organized by the  State Technical University of Saint-Petersburg.
Conference sessions will be started by a 1-hour invited lecture followed
by contributed papers, 20 minutes each. Invited talks will highlight
some of the major accomplishments, trends and problems in the theory.

{\bf Working languages:}
The working languages are English and Russian.

{\bf Topics of interest:}
Papers may address a broad range of research fields of current
interest. A list of possible topics includes (but is not limited to)
the following:

         Mathematical modelling,
         Computer algebra,
         Design techniques,
         Numerical methods,
         Parallel and distributed algorithms,
         Computer modeling in dynamical systems,
         Mathematical models in biology, medicine, ecology etc.,
         Applications to physics, electrotechniques and electronics,
         Dynamic economic models,
         General macro-economic models,
         Market models.


{\bf Organizing committee:}
Chairman    - G.S.Osipenko (St.Petersburg Technical University)

Secretary   - Yuri Ivanov (St.Petersburg Technical University)

{\bf Scientific committee:}
Gillian Tardivel (UK),
Alexander Kasterin (Russia),
Daniel Dytte (Denmark),
Mika Seppala (Finland),
Giorggio Picci (Italy),
Benno Fuchssteiner (Germany),
Alexei Zhizchenko (Russia),
Olga Plechova (Russia),
Jens Hugger (Denmark),
Flemming Topsoe (Denmark),
Sergei Znamensii (Russia),
Marian Mrozek (Poland),
Valeriy Tkachenko (Ukraine),
Leonid Belous (Ukraine),
Vyacheslav Zavadskii (Belorussia),
Vasiliy Malozemov (Russia),
Alexander Petukhov (Russia).

{\bf Dates to remember:}\\
 Abstracts due: April 30, 1999\\
 Registration form: April 30, 1999\\
 Meeting in St. Petersburg: June 14-19, 1999.

{\bf Abstract:}
The paper selection for the meeting will be made on the basis of an
abstract. This should describe, in 1-2 complete pages,
the objectives, methods and techniques if
applicable, essential results already obtained and conclusions of the
work.

Abstract in camera-ready copy must be sent by normal mail (2 copies),
to the meeting secretariat.
As rule we do not use an electronic version of abstract.

Notify the organization by e-mail to:
         \Mail{lab@osipenko.stu.neva.ru},
         \Mail{math@math.hop.stu.neva.ru}

{\bf Meeting secretariat:}
        Yuri Ivanov,
        MATHTOOLS'99,
        Dept. of Mathematics,
        State Technical University,
        Polytechnicheskaya st., 29,
        St.Petersburg 195251, Russia,
        Fax.: +7+812+5343314,
              +7+812+5341404.

{\bf Meeting site:}
        Saint-Petersburg State Technical University,
        Polytechnicheskaya st. 29, St. Petersburg

{\bf Proceedings:}

It is suggested to publish Proceedings of the meeting,
including all papers accepted for presentation and
invited talks.


{\bf Registration fees:}
Participant:                     100 (US dollars),
Student:                          25 (US dollars),
Participant from the Former
    Soviet Union (FSU-participant):   25 (US dollars).

    We hope to reduce the fee for Russian participants as
    Russian Foundation for Basic Research gives a support.

    For the publication of abstracts it is necessary to bring in an advance
    payment at a rate of 100 roubles to the address (to write in Russian):
    193231, St.-Petersburg, John Rid street, house 7, flat 255,
    Ivanov Yuri
}


\konfhinwitem{IMACS Conference on Applications of Computer Algebra 1999}{El Escorial (near Madrid), Spain, 25.6. -- 27.6.1999}
{\footnotesize

{\bf Recent information:} \URL{http://math.unm.edu/ACA/1999.html}

{\bf Organizers:}

{\em Honorary President:} Rafael Puyol (Rector of the Universidad Complutense de Madrid) 
{\em General Chair:} Eugenio Roanes-Lozano (Univ. Complutense de Madrid, Spain)
{\em Program Chairs:} Victor Edneral (Moscow State Univ., Russia), Laureano Gonzalez-Vega (Univ. de Cantabria, Spain), Jaime Gutierrez (Univ. de
Cantabria, Spain)
{\em Organizing Committee:} Stanly Steinberg (Univ. New Mexico, USA), Michael Wester (Cotopaxi, USA), Eugenio Roanes-Macias (Univ.
Complutense de Madrid, Spain), Luis Laita (Univ. Politecnica de Madrid, Spain)
{\em Local Committee:} Martin Garbayo (Univ. Complutense de Madrid, Spain), Mercedes Hidalgo (Univ. Complutense de Madrid, Spain), Dolores
Rodriguez-Soalleiro (CPR Leganes) 

{\bf Methods for admitting talks:}

a) This conference is organized in ''sessions''. A proposal for organizing a session must be submitted to the program chairs who decide upon its
acceptance. 

b) A proposal for a talk is sent directly to the corresponding ''session organizer'', who acts as referee of the paper or extended abstract (possibly
together with members of the scientific committee and/or experts in the subfield), and decides upon the acceptance of the proposal. 

{\bf Call for invited sessions:}
The Program Committee is soliciting proposals for invited sessions. Proposals should be sent to the program chairs. Information about current
sessions can be found in our web site. 

{\bf Call for papers:}
Full papers or extended abstracts should be directly sent to the corresponding session organizer. 

{\bf Proceedings:}
There are no printed proceedings. Extended abstracts or full papers are available at the web site. Some session organizers have published the papers
presented in their sessions in special volumes of well known journals such as ``Mathematics and Computers in Simulation'', the ``Journal of Symbolic
Computation'', ``The International Journal of Computer Algebra in Mathematics Education''... 


{\bf Keynote Lectures:}
The following invited speakers have confirmed their willingness to give a 1 hour talk at the conference (as in previous IMACS-ACA, there will be no
plenary lectures, and these talks will take place within normal sessions): 

     Victor Edneral (Moscow State Univ., Russia)
     Title: Computer Algebraic Approximations - Creation of Approximated Solutions of Scientific and Engineering Problems in Symbolic Form,\\
     Richard Liska (Tech. Univ. Prague, Czech Republic),
     Title: Applications of Quantifier Elimination, \\
     Tomas Recio (Univ. de Cantabria, Spain),
     Title: Missing points and branches of real parametric curves, \\
     Stanly Steinberg (Univ. New Mexico, USA),
     Title: The Study of Stability using Computer Algebra.

{\bf  The session ''Education''}
Call for Submissions
for the session "Education"
in the frame of the 1999 IMACS-ACA (Applications of Computer Algebra)
Conference.

Education has become one of the fastest growing application areas for
computers in general and computer algebra in particular. Computer algebra
tools such as TI-92/89, DERIVE, MATHEMATICA, MAPLE, AXIOM, REDUCE, MACSYMA,
or MUPAD make powerful teaching tools in mathematics, physics, chemistry,
biology, economy e.a. .

The goal of this session is to exchange ideas and experiences, to hear
about classroom experiments, and to discuss all issues related with the use
of computer algebra tools in classroom (such as assessment, change of
curricula, new support material, ...)

If you have anything of the above which you would like to share with
colleagues in the inspiring atmosphere of an IMACS-ACA conference, then
please make a submission comprising
title,
author(s),
abstract (10 lines min, 20 lines max).

{\em Format of submission:}
Plain ASCII text in English. (The presentation itself may be in English or
Spanish as there will be a simultaneous English/Spanish interpretation
available throughout the Education Session.)

{\em Deadline for submission:}  April 23, 1999

{\bf  The session: ''Applications of Quantifier Elimination''}

{\em Organizers:} Volker Weispfenning and  Hoon Hong 

{\em What is Quantifier Elimination?}
Quantifier elimination for the real numbers is a very comprehensive and
flexible tool for handling a large variety of problem types in real algebra
and geometry. It is a paradigm for a generic algorithm in computer algebra,
since it deals with parametric problems uniformly for all real values of
the parameters. The roots of the method date back to the real root
counting algorithms of Descartes, Budan, Fourier, Sturm, Sylvester and Hermite.
Formally established by Tarski in the 1930s, it has developed rapidly since the
1960s, leading to a first completely implemented method by Collins in 1975.
Since then intensive research has lead to asymptotically more efficient
approaches and to other universal and special purpose implemented 
quantifier elimination methods. 

{\em Applications of Quantifier Elimination.}
During the last few years the power of these
implementations has increased in such a way that serious problems from
many diverse application areas have come into the realm of these methods.
They include:\\
%\begin{itemize}
-- Real implicitization of parametric algebraic surfaces.\\
-- Automatic theorem proving and finding in real geometry.\\
-- Geometric reasoning about three-dimensional objects, including
      parallel and central projections of objects, the reconstruction of 
      objects from projections, lighting and shading, equi-distance surfaces.\\
-- Rounding,blending and boundary representation of solids.\\
-- Collision and motion planing in robotics.\\
-- The Birkhoff interpolation problem.\\
-- Sign behaviour of univariate polynomials.\\
-- Implementation of guarded expressions for coping with
degenerate cases in the evaluation of algebraic expressions.\\
-- Stability analysis for {\sc ode}'s and {\sc pde}'s.\\
-- Control theory.\\
-- Simulation and error diagnosis of technical
       networks.\\
-- Non-convex parametric linear and quadratic
      optimization problems.\\
-- Parametric scheduling.
%\end{itemize}  


{\em Topics of the session}
The session is intended as a forum for surveys on the current status of real
quantifier elimination,related methods, and applications, and for new ideas 
in the field. The organizers also encourage software demonstrations relevant 
to the field.

The session will include two one hour {\em invited keynote lectures} presented by \\
Richard Liska (Tech. Univ. Prague, Czech Republic),
    Title: ''Applications of Quantifier Elimination'' and \\
Stanly Steinberg (Univ. New Mexico, USA),
    Title: ''The Study of Stability using Computer Algebra''

}

\konfhinwitem{Explicit Methods in Number Theory}{Oberwolfach, 4.--10.7.1999}

{\footnotesize
   {\bf Veranstalter:} H. Cohen, H. W. Lenstra, D. B. Zagier
}


\konfhinwitem{Workshop Algorithmic Galois Theory}{Dagstuhl, 19.--23.7.1999}

{\footnotesize
{\bf Organizing Committee:} B. H. Matzat, J. McKay, K. Yokoyama.

The {\bf main topics} of the workshop will be the direct Galois problem, the
inverse Galois problem, special Galois groups, generic polynomials and
complexity considerations.

One of the {\bf purposes} of this meeting is to collect contributions to a
special volume of the Journal of Symbolic Computation, devoted to this
subject and edited by the organizers.

{\bf Further informations} are available via email from 
 \Mail{matzat@iwr.uni-heidelberg.de}
}


\konfhinwitem{ISSAC'99 -- International Symposium on Symbolic and Algebraic Computation}{Vancouver, Kanada, 29.7. -- 31.7.1999}

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

{\bf Conference activities}
The planned activities include invited presentations, research and survey papers, poster sessions, 
tutorial courses, vendor exhibits, and software demonstrations. Proceedings will be distributed at the 
symposium.

Proposals for workshops, tutorial courses, demonstrations, panel discussions, or related activities 
are welcome. User-groups, editorial boards, or other associations desiring meeting space during 
the course of the symposium are encouraged to contact the conference organizers.

{\bf Conference Location:}
ISSAC'99 will be held at Simon Fraser University in Vancouver, British 
Columbia. The University maintains a campus in the centre of Vancouver, called 
the Harbour Centre. It is close to hotels, restaurants, and shopping.

{\bf Organizing Committee:}\\
{\em General Chair:}
Keith Geddes,
Dept. of Computer Science,
University of Waterloo,
Waterloo ON N2L3G1,
CANADA,
(1) 519-888-4567 Ext. 4668,
\Mail{issac99@cecm.sfu.ca}.\\
{\em  Program Chair: }     
  Bruno Salvy,         
  Projet ALGO,       
  INRIA Rocquencourt,  
  78153LeChesnayCedex, 
  FRANCE,              
  (33) 1 39 63 55 20,  
\Mail{ Bruno.Salvy@inria.fr}.\\
 {\em Local Arrangements:}
 Michael Monagan,
 Dept. of Math and Statistics,
 Simon Fraser University,
 Burnaby BC VSA1S6,
 CANADA,
 (1) 604-2914279,
 \Mail{monagan@cecm.sfu.ca}.
 

{\bf Conference Topics:} 
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 symbolicnumeric 
computation in an essential or novel way, including engineering, economics and finance, physical 
and biological sciences, computer science, logic, mathematics, statistics, and use in education.


{\bf Instructions to Authors:}
ISSAC '99 is foremost a conference for new and topical ideas of significance to the community and 
which deserve to be disseminated rapidly. Research results and insightful analyses of current 
concerns are the primary focus. Papers will be reviewed by a program committee and additional 
referees.

Survey articles may be suitable for submission, if clearly identified as such, and will be considered in a separate category from the research papers.

Simultaneous submission for publication elsewhere is not allowed.

Papers must be in English and should not exceed 8 pages in the standard format for ACM 
proceedings, or 20 to 22 pages of text in LaTeX 12pt article style. The necessary files for article 
and bibliography style can be obtained from the ISSAC '99 web site 
\URL{http://www.cecm.sfu.ca/ISSAC99/}. Each paper should have an introductory section that: (1) 
Describes the problem; (2) Motivates the study of the problem; (3) States the main results; (4) 
Compares other work (including theoretical or empirical performance); and (5) Summarizes the 
original contribution.
  
{\bf Further information:                  }
\URL{http://www.cecm.sfu.ca/ISSAC99/} .

}


\konfhinwitem{EQUADIFF 99}{Berlin, 1.8 -- 7.8.1999}

{\footnotesize
Diese Konferenzreihe ist allen mathematischen Aspekten von
Differentialgleichungen
gewidmet und findet im zweij"ahrigen Wechsel in Tschechien/Slowakei oder in
einem
westeurop"aischen Land statt. Es sind 37 Minisymposia geplant, eines davon unter
der Leitung
von J.~Sanders behandelt in der Gruppierung {\sl Computational Aspects}  das
Thema {\sl Computer Algebra Tools}. Weitere Informationen im Internet auf der
Seite \URL{http://www.math.fu-berlin.de/\~{}equadiff/}.

}



\konfhinwitem{ICTMT4 -- The Fourth International Conference on Technology in Mathematics Teaching}{Plymouth, England 9.8. --  13.8.1999}

{\footnotesize
{\bf About ICTMT:}
The first International Conference on Technology in Mathematics 
Teaching was held in Birmingham, England in 1993. The conference is 
held every two years; ICTMT2 was held in Edinburgh, Scotland and 
ICTMT3 was in Koblenz, Germany. The aim of the conference is to bring 
together classroom practitioners, curriculum developers and 
mathematics education researchers, all of whom share a desire to 
improve the quality of student learning. 
ICTMT4 is being held in Plymouth, England from 9th to 13th August 
1999. The conference is being organised jointly by the Centre for 
Teaching Mathematics at the University of Plymouth and the University 
College of St. Mark and St. John, Plymouth. 
The strands of the conference will be in conjunction with the themes 
of ICTMT and will be . using technology in the teaching and learning 
of mathematics in schools . using technology in the teaching and 
learning of mathematics in college and university . applications of 
technology to teaching other subjects which are also of interest to 
mathematics educators . applications of technology in industry and 
commerce which are also of interest to mathematics educators
A solar eclipse provides a special theme: 
There is a major event of astronomical interest on 11th August 1999 
with a total eclipse of the sun. One of the best places in Europe to 
experience the totality of the eclipse is in the South West of 
England. The conference has been organised around this date and in the 
strand ''applications of technology to teaching other subjects which 
are also of interest to mathematics educators'' the application of 
mathematics to astronomy will feature prominently. Throughout the week 
there will be activities associated with the eclipse.

{\bf The themes of ICTMT} are 
the impact of technology on teaching and learning,
access to education through technology,
technology and assessment, 
ways forward - future trends in technology in mathematics.\\
The programme will consist of 
invited plenary lectures by distinguished speakers,
contributed presentations,
workshops,
discussion groups,
poster presentations.

All talks and workshops will be refereed by members of an 
International Programme Committee.
Particular emphasis will be given to providing opportunities for 
formal and informal interaction between conference participants. To 
facilitate this there will be discussion groups and a social event 
each day.\\
{\bf Local Conference Committee:}
John Berry and Roger Fentem (joint Conference Chairmen), 
Karen Eccles (Conference secretary), 
Jenny Sharp (Academic programme), 
Ted Graham (Social programme), 
Tony Churchley (Exhibition coordinator), 
Michael McCabe (University of Portsmouth, Astronomy theme).\\
{\bf Contributions:}
There will be three forms of contributions to ICTMT4: 
talks of 30 minutes duration,
workshops of 75 minutes using computers or handheld technology,
posters A1 size.
Your contribution should fall into one of the strands of the 
conference. To submit a contribution for ICTMT4 please send an 
abstract (maximum 500 words) describing your talk or workshop to the 
address below (email contributions preferred, attached files should 
be Word 6 for Windows 3.1).\\
{\bf Conference Address for Correspondence:}
Karen Eccles, 
The Centre for Teaching Mathematics, 
The University of Plymouth, 
Drake Circus, 
Plymouth PL4 8AA, 
England
Phone: +44 (1752) 232772 
Fax: +44 (1752) 232772 
email: \Mail{keccles@plymouth.ac.uk}\\
{\bf ICTMT4 - WEB address:} 
\URL{http://www.tech.plym.ac.uk/maths/CTMHOME/ictmt4.html}\\
{\bf Timetable:}\\
Call for Papers, Workshops, Posters: 1st September 1998 \\
Bookings taken from: 1st September 1998 \\
Deadline for Submissions: 31st December 1998 \\
Initial Programme available: 1st April 1999

}

%\vspace{1em}

\konfhinwitem{Recent Research on DERIVE/TI-92-Supported Mathematics Education}{G"osing, "Osterreich, 25.8. -- 28.8.1999}

{\footnotesize

This conference is the fifth in a series of conferences on DERIVE and/or TI-92-supported mathematics education initiated by ACDCA:
Krems (Austria) 1992, Krems 1993, Honolulu (USA) 1995, Sar"o (Sweden) 1997. 

Typical {\bf topics} within the scope of the conference are:\
-  Reports about successful classroom experiments, \\
-  New ways of mathematics teaching and learning, \\
-  Improvements in the design of mathematics software systems based on mathematical experience, \\
-  Examples of successful, new computer-based mathematics texts, lectures, training units, etc., \\
-  Influence on assessment, \\
-  Similar studies with other computer algebra systems.

 {\bf How to submit:}
Please send title and abstract (15-20 lines) to Bernhard Kutzler. 
E-mail address:   \Mail{b.kutzler@eunet.at},
Postal address:   Kariglstrasse 5/6, A-4060 Leonding, Austria 

 {\bf Time table:} \\
May 15, 1999: Deadline for submissions \\
May 31, 1999: Notification of acceptance and publication of a detailed program \\
June 25, 1999: Deadline for early bird registration.

{\bf Conference Co-chairmen:}
Josef B"ohm:  \Mail{nojo.boehm@pgv.at}, 
Helmut Heugl: \Mail{ hheugl@netway.at}, 
Bernhard Kutzler:  \Mail{b.kutzler@eunet at}. 
 


}

\konfhinwitem{IMS 99 -- International Mathematica Symposium}{Linz, "Osterreich, 26.8. -- 29.8.1999}

{\footnotesize
The Symposium is organized by RISC 
(Research Institute for Symbolic Computation)
 on behalf of the IMS 99.


For more information, please visit
\URL{http://www.risc.uni-linz.ac.at/conferences/summer99/ims99/}

{\bf Scope:}
 Principal topics of interest are applications of computer algebra and in
 particular Mathematica in
 mathematics, computer science, the physical and biological sciences,
 economics, engineering, the
 arts, and education. The conference will provide a forum for researchers
 and users from diverse
 fields to present original work, and to learn about current developments
 and uses of advanced
 scientific computing. Besides keynote lectures and contributed papers,
 the symposium offers
 tutorials, discussion forums, poster presentations and software
 demonstrations.


{\bf Conference venue:}
 The  ''International Mathematica Symposium  IMS99''
 is organized by the Research Institute for Symbolic Computation (RISC)
  of the Johannes Kepler University Linz. The conference
 will be held in the Castle of Hagenberg, the home of  RISC.

 Hagenberg is located about 25km North-East from Linz, Austria.



{\bf  Contributed Papers:}
 Authors are invited to submit a 1-page abstract to the organizers by
 December 31, 1998.
 In order to facilitate submissions by persons with limited access to the
 internet and/or typesetting facilities,
 we will accept submissions in the following three forms:\\
 -- Email: plain ASCII text, to \Mail{veikko.keranen@ramk.fi} .\\
 -- Ordinary mail: Gautam Dasgupta, 620 Mudd, Columbia University, New
 York, NY 10027,
      USA.\\
 -- Fax: Gautam Dasgupta, at 1-212-854-6267.

{\bf Important dates:}\\
  December 31, 1998:   Deadline for  the submission  of papers.\\
 February 15, 1999:     Decision about papers and notification  of
 authors.\\
 August 26-29, 1999:     Conference.

{\bf  Program Committee:}
      Paul Abbott, University of Western Australia, Australia;
      Bruno Autin, CERN, Geneva, Switzerland;
      Vladimir Buber, Murmansk State Technical University, Russia
      Greg Chaitin, IBM, USA;
      Gautam Dasgupta, Columbia University, USA;
      Vladimir Demidov, Murmansk State Pedagogical Institute, Russia;
      Bradford Garton, Columbia University, USA;
      Alexander Georgiev, Albemarle Corporation, USA;
      Juha Haataja, CSC-Center of Scientific Computing, Finland;
      Allan Hayes, De Montfort University, UK;
      Antero Hietamaki, Rovaniemi Polytechnic, Finland;
      Christian Jacob, University of Erlangen-Nuremberg, Germany;
      Jarkko Kari, Iterated Systems Inc., USA;
      Veikko Keranen, Rovaniemi Polytechnic, Finland;
      Robert Kragler, Fachhochschule Ravensburg-Weingarten, Germany;
      Shigeki Matsumoto, Konan University, Japan;
      Philip Miller, Carnegie-Mellon University, USA;
      Alexander Papusha, Murmansk State Technical University, Russia;
      Henry Power, Wessex Institute of Technology, UK;
      Philip Ramsden, Imperial College, UK;
      Jack Robertson, US Military Academy, USA;
      Heikki Ruskeepaa, University of Turku, Finland;
      Susumu Sakakibara, Iwaki Meisei University, Japan;
      Dana Scott, Carnegie-Mellon University, USA;
      Felix Ulmer, Universit\'{e} de Rennes, France;
      Paul Wellin, WRI, USA.

}




\konfhinwitem{DMV -- Jahrestagung 1999}{Mainz, 5.9. -- 11.9.1999}

{\footnotesize
       Die Tagung findet vom 5. September (Anreisetag) bis zum 11. September 1999 an der Johannes-Gutenberg-Universit"at Mainz statt. Das wissenschaftliche Programm beginnt am 6. September und endet am
   Nachmittag des 10. September. Vormittags sind Plenarveranstaltungen f"ur die Hauptvortr"age und nachmittags
                          Sitzungen der Sektionen vorgesehen. 

 Im Zusammenhang mit der Tagung werden die ordentliche Mitgliederversammlung der DMV und auch Sitzungen der
  Fachgruppen stattfinden. F"ur den 8. und 9. September ist die Studentenkonferenz Mathematik vorgesehen. Ein Tag
   wird der Lehrerfortbildung gewidmet sein und ein Nachmittag interessierten Sch"ulerinnen und Sch"ulern. Allen
 Teilnehmenden und ihren Begleitpersonen wird ein vielseitiges Rahmenprogramm angeboten. Um die "Offentlichkeit
 an mathematischen Themen zu interessieren und Schulklassen in die Erlebniswelt Mathematik einzuf"uhren, ist eine
   Ausstellung ``Mathematik zum Anfassen'' im Rathaus-Foyer geplant. Verlage werden ihre neueste Literatur,
   Softwareh"auser ihre neuesten System-Kreationen pr"asentieren; auch an eine Firmenpr"asentation ist gedacht. 
Aktuelle Information ist zu finden unter \URL{http://www.mathematik.uni-mainz.de/DMV99/}

}

\konfhinwitem{ALCOMA99 Euroconference -- Algebraic Combinatorics and Applications}{G"o"sweinstein bei  Bayreuth, Deutschland 12.9. -- 19.9.1999}

{\footnotesize

The aim of the conference is to bring together leading researchers from
mathematical theory (including related computer science) and its
applications in chemistry and physics in order to stimulate fruitful
interdisciplinary discussions and to  generate an impact regarding
future research in this area. 

{\bf Topics} to be presented:
Finite group actions,
other combinatorial tools like generating functions, species and
computer algebra, 
applications of combinatorics in chemistry, 
connection of mathematics with physics, 
a special emphasis will be on the presentation of related software
packages 

Current list of {\bf keynote speakers:} 
M. Clausen:  Computational Representation Theory and Fast Fourier
Transforms,
A. Dress:New Approaches to Clustering Theory,
D. Foata: to be announced,
P. Fowler: Systematics of the Fullerenes - Enumeration, Construction
and  Characterisation,
J. Grabmeier: to be announced,
I. Gutman: The Energy of a Graph: Old and New Result,
A. Lascoux: Bruhat order on affine Coxeter groups,
R. Laue: Constructing objects up to isomorphism,
T. Lulek: Group actions and classification of quantum states of
Heisenberg model of magnetism,
A. Morris: The combinatorics of the character theory of some group
extensions,
P. Paule: to be announced, 
V. Strehl: to be announced,
K. Varmuza: From spectral data via isomer generation to chemical
structure,
K. H. Zimmermann: to be announced.

{\bf Further information} is available on the WWW:
\URL{http://www.mathe2.uni-bayreuth.de/home/alcoma99.html} .

}

\konfhinwitem{Computeralgebra-Symposium Konstanz (CASK)}{Konstanz, 9.3. -- 10.3.2000}

{\footnotesize
{\bf "Ortliche Tagungsleitung}: Prof. Dr. Elkedagmar Heinrich, Dr.
Hans-Dieter Janetzko

{\bf N"ahere Informationen} ab Ende M"arz "uber die Homepage der FH: \URL{http://www.fh-konstanz.de}

{\bf Adresse:} Fachhochschule Konstanz,
              Brauneggerstr. 55,
              78462 Konstanz,
Email: \Mail{heinrich@fh-konstanz.de} .
}


\konfhinwitem{Computeralgebra in Lehre, Ausbildung und Weiterbildung}{Thurnau, 26.-28. April 2000}

{\footnotesize

Aufgrund des gro"sen Erfolgs der ersten Tagung dieser Art, welche  
vom 22.-25.\ April 1998 in Thurnau stattfand, veranstaltet die Fachgruppe 
Computeralgebra (FG CA) im Fr"uhjahr 2000 eine zweite Tagung zum Thema 
{\sl Computeralgebra in Lehre, Ausbildung und Weiterbildung}
"uber den Einsatz von Computeralgebrasystemen im Unterricht.

Ziel ist es, den im ersten Treffen
initiierten Austausch zwischen den Kultusministerien,
den f"ur die Fortentwicklung der curricularen Lehrpl"ane zust"andigen
Instituten und den Experten aus Wissenschaft, Lehre und Schule weiterzuf"uhren.
Wir erhoffen uns insbesondere wieder Berichte "uber die in den einzelnen
Bundesl"andern stattfindenden Lehrversuche und "uber geplante Lehrplanreformen.

Verantwortlich ist das Organisations- und Programmkomitee in Zusammenarbeit mit
der Fachgruppe Computeralgebra. Es besteht aus
\begin{itemize}
\item
Prof.\ Dr.\ A. Kerber, Bayreuth (FG CA, Leitung und lokale Organisation),
\item
Prof.\ Dr.\ Wolfram Koepf, Leipzig (FG CA, Referent f"ur Lehre und Didaktik),
\item
Heiko Knechtel, B"uckeburg (FG CA, Fachexperte Schule),
\item
Dr.\ G"unter Schmidt, Mainz (MNU),
\item
Prof.\ Dr.\ G"unter T"orner, Duisburg (Fachgruppe Didaktik der
Mathematik der DMV) und
\item
Prof.\ Dr.\ Hans-Georg Weigand, Gie"sen (Gesellschaft f"ur Didaktik der
Mathematik).
\end{itemize}
Wegen des auf ca.\ 45 Teilnehmer beschr"ankten Umfangs bitten wir um
fr"uhzeitige Anmeldung bei Prof.\ Kerber oder Prof.\ Koepf
(s. Adressen Fachgruppenleitung).

}


%%% Local Variables: 
%%% mode: plain-tex
%%% TeX-master: "konfhinw_html"
%%% End: 





\end{enumerate}

%\vspace*{5mm}


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


\Abschnitt{Berichte von Konferenzen}{Berichte von Konferenzen}{berkonf}

\begin{enumerate}


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

{\footnotesize

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


This seminar was the third one on number theoretical
algorithms at Dagstuhl over the past 7 years. A major
goal was always to bring together number theorists who
develop the theory for efficient algorithms and people
writing the corresponding software for applications.
This year we had 42 participants from 13 countries.
 
In the last few years number theoretical applications to
Coding Theory and Cryptography have become more and more
important. Hence, it was no surprise that the majority
of talks was on topics related to these applications.


G. Frey: Arithmetic of Modular Curves;
F. Morain: Elliptic Curves and Primality Proving;
A. Peth\"o: $pm1$ Representations of Integers;
K. Gei\ss{}ler: Computation of Galois Groups;
C. Fieker: Constructive Classfield Theory;
M. Olivier: The Class Number One Problem for some Non-Abelian Normal CM-Fields;
I. G\'aal: Power Integral Bases in Algebraic Number Fields;
H. Cohen: Efficient Computations on Elliptic Curves;
F. Lemmermeyer: Elliptic Curves and 2-Class Field Towers of Cubic Fields;
J.-M. Couveignes: Isomorphisms between Artin-Schreier Towers;
H.-G. R\"uck: Elliptic Curves and Discrete Logarithms;
M. Holder: A Sequential Implementation of the Black-Box Niederreiter Algorithm for Factoring Polynomials over GF(2);
B. Vall\'ee: Average Analysis of Various Euclidian Algorithms: Dynamical Methods and Functional Analysis;
A. Schiemann: An LLL Algorithm for Totally Positive Lattices over Number Fields;
H. te Riele: Numerical Verification of the Conjecture of Ankeny, Artin, and Chowla for the Primes $<10^{11}$;
E.-U. Gekeler: Zeroes of Eisenstein Series;
S. Schmitt: The Mordell-Weil Group of Elliptic Curves over Number Fields;
M. Conrad: Bases of Cyclotomic Units;
R. Schertz: Numerical Construction of Class Fields by Elliptic Functions;
K. Nakamula: Actual Computation of Units by the Cyclo-Elliptic Method;
J. von zur Gathen: Finite Field Algorithms;
I. Shparlinski: Distribution of Residues of Exponential Functions and some Algorithmic Problems;
D. Coppersmith: Divisors of Residue Classes, Constructively;
V. Shoup: Efficient Computation of Minimal Polynomials of Extensions of Finite Fields;
H. Dobbertin: New Permutation Polynomials and Applications;
F. Leprevost: On some Elliptic Surfaces and Elliptic Curves Related to Discriminants of Cubic or Quartic Polynomials;
D. Bernstein: Ten Topics in Computional Number Theory;
J. Kl\"uners: Explicit Galois Realizations of Transitive Groups of Degree up to 15;
S. Paulus: Function Fields with a Totally Ramified Prime at Infinity;
E. V. Flynn: Chabauty Techniques;
A. Stein: A Kangaroo Approach to Function Fields;
T. Herend'i: Uniform Distribution of Recurrence Sequences Modulo Prime Powers;
D. Ford: Polynomial Factorization over $Q_p$ via the Zassenhaus Round Four Algorithm;
S. Gao: Polytopes and Polynomials;

}
 \begin{flushright}
C. Fieker (Berlin)
 \end{flushright}


% \item {\bf  ALT!! Workshop Computeralgebra in der Lehre}

% Darmstadt, 24.9. --25.9.98

% {\footnotesize  
% Dieser Workshop war angelegt als Erfahrungsaustausch zwischen der FH Darmstadt und der HES-SO (Haute \'Ecole Specialis\'ee de Suisse Occidentale) und wurde von Vertretern verschiedener Fachhochschulen aus der Schweiz besucht. Die Veranstaltung fand am 24.-25. September 1998 an der FH Darmstadt im Fachbereich Mathematik und Naturwissenschaften statt.\\

% }
% \begin{flushright}
%   K. Sandau (Darmstadt)
% \end{flushright}






\end{enumerate}

\newpage
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%     Themen und Anwendungen der Computeralgebra                  %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


\Abschnitt{Themen und Anwendungen der Computeralgebra}{Themen und Anwendungen der Computeralgebra}{themen_ca}

\newtheorem{ex}{EXAMPLE}
%
\let\hugoland=\land
\let\hugolor=\lor
\renewcommand{\land}{\mathrel{\hugoland}}
\renewcommand{\lor}{\mathrel{\hugolor}}
\newcommand{\rland}{\mathrel{\,\wedge\,}}
\newcommand{\rlor}{\mathrel{\,\vee\,}}
\newcommand{\rimpl}{\mathrel{\,\longrightarrow\,}}
%
\newcommand{\C}{{\mathbb{C}}}
\renewcommand{\R}{{\mathbb{R}}}
\newcommand{\Q}{{\mathbb{Q}}}
\newcommand{\QQ}{{\mathsf{Q}}}
\newcommand{\G}{{\frak{G}}}
\renewcommand{\leq}{\leqslant}
\renewcommand{\geq}{\geqslant}

%---------------------------------------------------------------------------
%
%  Polynomial Decomposition
%
% --------------------------------------------------------------------------

%
% Definitions  -  Top Level
%
% ----------------------------------------------------------------------------

% \def\CA{Com\-pu\-ter\ Al\-ge\-bra}
% \def\Ca{Com\-pu\-ter\ al\-ge\-bra}
% \def\ca{com\-pu\-ter\ al\-ge\-bra}

% \def\CAS{COMPUTER\ ALGEBRA\ SYSTEMS}

% \def\C{\bbbc}
% \def\F{\bbbf}
% \def\N{\bbbn}
% \def\P{\bbbp}
% \def\L{{\rm I\!L}}
% \def\Q{\bbbq}
% \def\R{\bbbr}
% \def\Z{\bbbz}

% \newcommand{\contrib}{GENERIC}
% \newcommand{\sectionrunning}{GENERIC}

% \newcommand{\aindex}[1]{\index{#1}}

% \def\startSectionCon#1
%   {\input#1.def\begin{document}
%    \markboth{\sectionrunning}{\contrib}
%    \begingroup\ignorespaces}

% \def\startSubSectionCon#1
%   {\input#1.def\begin{document}
%    \markboth{\sectionrunning}{\contrib}
%    \subsection{\contrib}
%    \begingroup\ignorespaces}

% \def\startContribution#1
%   {\input#1.def\begin{document}
%    \markboth{\sectionrunning}{\contrib}
%    \subsubsection{\contrib}
%    \begingroup\ignorespaces}

% \def\endContribution#1
%   {\endgroup
%    \bibliographystyle{plain}
%    \bibliography{header,#1,proc,book}
%    \end{document}}

% \documentstyle{lmamult}

% \input{top.def}


% \startContribution{decomp}

% \aindex{Kozen@ Dexter Kozen (Cornell)}
% \aindex{Gutierrez@ Jaime Gutierrez (Cantabria)}
%\begin{center}
\UnterAbschnitt{\centerline{Polynomial Decomposition}}{D. Kozen, J. Gutierrez, Polynomial Decomposition}{decomp}
%\end{center}


{\it Polynomial decomposition} is the problem of representing a given
polynomial $f(x)$ as
a functional composition $g(h(x))$ of polynomials of smaller degree.
Polynomial decomposition is
useful in simplifying the representation of field extensions of high degree
and is provided as a
primitive by many major symbolic algebra systems.  Decomposition problems
for multivariate
polynomials and for rational and algebraic functions are also of interest.

The theory of polynomial decomposition was initiated by Ritt in 1922
\cite{Ri22} and further developed in \cite{FM69b,DW74}.  A survey was
presented in \cite{Sch82}.  Decompositions of $f(x)\in F[x]$ are
intimately related to the intermediate fields between $F(f)$ and $F(x)$
\cite{DW74,Ri22}.

The problem breaks into two cases, the \emph{tame} and the \emph{wild}.
The tame case is
when the characteristic of $F$ does not divide the degree of $g$, including
characteristic 0.
In the tame case, the problem is rational---that is, if $f$ decomposes over
an extension of $F$,
then it decomposes over $F$ \cite{Sch82}---and maximal decompositions are unique
up to insertion of linear decomposition factors and commutativity of
powers of $x$ and Chebyshev polynomials \cite{Ri22}.
Both facts may fail in the wild case \cite{DW74,Sch82}.

The first analyzed algorithms for decomposition of polynomials were
provided by Barton
and Zippel \cite{BZ85} and Alagar and Thanh \cite{AT85}, who considered
polynomials over
fields of characteristic zero.  Both solutions involved polynomial
factorization and took
exponential time.  For some time, the problem of finding nontrivial
decompositions was considered to
be computationally hard; a cryptographic protocol was based on its supposed
intractability
\cite{Ca85}.

Kozen and Landau \cite{KL89a} discovered the first polynomial-time
algorithms in the tame
case that do not require factorization.  The time bounds were
$O(n^3)$, $O(n^2)$ if $F$ supports an FFT.  A similar
algorithm was discovered independently by Gutierrez et al.\ \cite{GRR89}.
Kozen and Landau also gave efficient NC algorithms (parallel
polylog time on polynomially many processors) with a time bound of
$O(\log^2 n)$.  In the wild case,
they reduced the problem to factorization and gave an $O(n^{\log n})$
algorithm for the
decomposition of irreducible polynomials over general fields admitting a
polynomial-time
factorization algorithm and an NC algorithm for irreducible polynomials
over finite fields.
The sequential bounds in the
tame case
were improved by von zur Gathen \cite{vzG90a} to $O(n \log^2 n \log \log
n)$, $O(n \log^2 n)$ if
$F$ supports an FFT.  He also gave an improved algorithm for the wild case,
yielding a
polynomial-time reduction to factorization, and observed undecidability
over sufficiently general
fields \cite{vzG90b}.

Several extensions and variations have been investigated.
Dickerson
\cite{Di87} and von zur Gathen \cite{vzG90a} investigated the decomposition of multivariate
polynomials.  Gutierrez \cite{Gu91} gave a polynomial decomposition
algorithm over factorial domains.  Von zur Gathen and Weiss \cite{GW95} gave an exponential method
for finding decompositions of the form $f(x)=g(h(x),k(x))$ for homogeneous $g(y,z)$.
Casperson et al.\ \cite{CFM96} gave an algorithm that, given an irreducible $f(x)$, finds
$g(x)$ and $h(x)$ such that $f(x)$ divides $g(h(x))$.  Binder \cite{Bin96} gave a fast method to compute the
L\"uroth generator of the union field of two polynomials.

Hommel and Kov\'acs \cite{HK92} defined and investigated the \emph{sine-cosine decomposition problem}:
determine whether a given bivariate polynomial $f(s,c)$ has a decomposition of the form $f(s,c)=g(h(s,c)) \bmod s^2+c^2-1$.  This problem has applications in robot kinematics.
Gutierrez and Recio \cite{GR98} gave a cubic-time algorithm that does not require factorization.  It is based on
approximating a root of $f(s,c) \bmod s^2+c^2-1$.

Zippel \cite{Zippel91} presented a polynomial-time algorithm to decompose rational functions over any field admitting efficient polynomial factorization.  His approach uncovers a strong relation to
L\"uroth's theorem.  Alonso et al.\ \cite{AGR95} gave two exponential-time algorithms
for rational function decomposition that compare favorably with Zippel's in practice.
They also presented several applications: faithful reparametrization of unfaithfully parameterized
curves, computing intermediate fields in a simple purely transcendental
extension of $F$, and providing a birationality test for subfields of $F(x)$.

Kozen, Landau, and Zippel \cite{KLZ96} addressed the decomposition problem for
algebraic functions.  They uncovered a connection to univariate resultants
over algebraic function fields and showed that the decomposition problem essentially asks
whether some power of
a given irreducible bivariate polynomial $f(x,z)$ can be expressed as the
resultant with respect
to $y$ of two bivariate polynomials $g(x,y)$, $h(y,z)$.  They determined
necessary and sufficient
conditions for the existence of a nontrivial decomposition and classified
all such decompositions
up to isomorphism.  They also gave an exponential-time algorithm for
finding a nontrivial decomposition if one exists.


\begin{flushright}
Jaime Gutierrez (Cantabria) and Dexter Kozen (Cornell)
\end{flushright}

{\footnotesize
\bibliographystyle{plain}
\bibliography{decomp}
}


%\endContribution{decomp}


%\newpage
\vspace{-1.5em}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     Systeme                                                     %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\Abschnitt{Neues \"uber Systeme und Hardware}{Neues \"uber Systeme und Hardware}{systems}

{\noindent

\UnterAbschnitt{\centerline{Macsyma 2.4 for PCs and Macsyma 422 for UNIX}}{Macsyma 2.4 for PCs and Macsyma 422 for UNIX}{macsyma}

\vspace{-.5em}
\noindent
Macsyma(r) 2.4 for PCs with MS-Windows 95, 98, and Windows NT is now
shipping. Macsyma 422 for UNIX systems is now shipping on Linux and
five other Unix operating systems.  

\noindent
Macsyma 2.4 further enhances the help system.  When
users enter questions in their own words, Macsyma 2.4 makes ''smarter''
executable suggestions.
One of the most appreciated new features in Macsyma 2.4 is a very
simple one: color-coding of matching parentheses in input expressions
makes it much easier to interpret multi-line input.
Areas in Macsyma 2.4 with significant mathematical improvements
include integration, solution of equations, linear algebra of sparse
matrices, graph theory, special functions, and graphics.
New Features of PC Macsyma 2.4 and of UNIX Macsyma 422 are here:\\
\URL{http://www.macsyma.com/mx24nu.htm}

%}

 \begin{flushright}
Macsyma Inc. (Arlington)
 \end{flushright}                                                              


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     Computeralgebra in Lehre, Ausbildung und Weiterbildung      %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\Abschnitt{Computeralgebra in Lehre, Ausbildung und Weiterbildung}{Computeralgebra in Lehre, Ausbildung und Weiterbildung}{lehre}



\UnterAbschnitt{\centerline{Das 'Mobile Klassenzimmer'} \\
\centerline{am Isolde-Kurz-Gymnasium in Reutlingen}}{Das 'Mobile Klassenzimmer'}{Klassenzimmer}

Die bisherigen Unterrichtsversuche mit Computeralgebra-Systemen zeigen, da"s sich der Mathematikunterricht insbesondere in den Klassen 11 bis 13 stark ver"andern wird, wenn jede Sch"ulerin und jeder Sch"uler "uber einen mobilen Computer ein Computeralgebra-System einsetzen kann. Um Erfahrungswerte "uber solche Ver"anderungen zu bekommen, hat im Rahmen des Leitprojekts ''Bildung vernetzt'' das Teilprojekt ''Mobiles Klassenzimmer'' h"ochste Priorit"at erhalten. Die Landesregierung hat deshalb am 15. Januar 1996 das Kultusministerium beauftragt, das ''Pilotprojekt Mobiles Klassenzimmer'' durchzuf"uhren. Das Projekt wird seit dem Schuljahr 1996/97 beginnend mit vier Klassen der Klassenstufe 11 durchgef"uhrt. Die Ausstattung mit mobilen Computern soll den Sch"ulerinnen und Sch"ulern erm"oglichen, in der Schule und zu Hause interaktiv Lernprogramme zu nutzen, im projektorientierten Unterricht arbeitsteilig L"osungen zu entwickeln, Unterrichtsmaterialien zu kommunizieren oder auch Online-Infodienste abzufragen (Ministerium f"ur Kultus und Sport, Baden-W"urttemberg). 

Die vier Schulen sind das Gymnasium in der Taus in Backnang, das Hans-Thoma-Gymnasium in L"orrach, das Helmholtz-Gymnasium in Karlsruhe und das Isolde-Kurz-Gymnasium (IKG) in Reutlingen (\URL{http://www.ikg.rt.bw.schule.de}). Inzwischen stehen die vier Pilotschulen kurz vor dem ersten Abitur mit einem Computeralgebra-System, bei dem `der Spickzettel erlaubt ist',\\
 siehe \URL{http://www.ikg.rt.bw.schule.de/mokla.html} . Das Abitur wird nicht zentral, sondern mit eigenen Aufgabenstellungen durchgef"uhrt, die auf Laptops mit dem Computeralgebra-System Maple bearbeitet werden. Dabei stehen den Sch"ulern alle Worksheets zur Verf"ugung, die sie im Laufe der zweieinhalb Jahre geschrieben und ausgetauscht haben. Damit ist klar, da"s die Standard-Kurvendiskussion keine ad"aquate Aufgabenstellung mehr darstellt, sondern durch neue, meist anwendungsorientierte Aufgaben mit offener Fragestellung abgel"ost wurde. Und so stand auch im Unterricht das Probleml"osen und Modellieren im Vordergrund, da ja das Computeralgebra-System in dieser neuen experimentellen Mathematik die Rechenarbeit "ubernimmt. Trotzdem wurden die Sch"uler so unterrichtet, da"s sie prinzipiell in der Lage sind, konventionelle Aufgaben auch ohne Maple zu l"osen, bzw. die vom Computeralgebra-System gelieferten Ergebnisse `von Hand' zu kontrollieren. Der Einsatz eines Computeralgebra-Systems bedingt aber auch neue Arbeitsformen wie selbst"andiges Arbeiten, Gruppenarbeit und Projekte. Gerade am IKG haben wir diese Arbeitsformen stark betont, mit dem Ziel, aus Konsumenten Produzenten zu machen: Die Sch"uler bearbeiten Themen "uber mehrere Wochen und stellen ihre Produkte (Worksheets, die wie eine Klausur gewertet werden) im Internet zur Verf"ugung. So entstand am IKG zun"achst das `Virtuelle Klassenzimmer'   \URL{http://www.ikg.rt.bw.schule.de/virkla/} mit dem erw"unschten Nebeneffekt, da"s die voll multimediaf"ahigen Laptops auch in anderen F"achern eingesetzt wurden. 

Parallel dazu wurde am IKG der CAS-Server f"ur Baden-W"urttemberg aufgebaut (im Auftrag des Ministeriums und als Infrastrukturprojekt von `Schulen ans Netz'):  \URL{http://notes.ikg.rt.bw.schule.de}  Dieser Server erm"oglicht den Austausch von Materialien, die nach Kategorien geordnet in einer Datenbank gehalten werden und mit Volltext- und Schl"usselwortsuche recherchierbar sind, sowie die Diskussion "uber diese Materialien. Damit ist f"ur eine Kommunikationsplattform gesorgt, wenn in einigen Jahren in Baden-W"urttemberg fl"achendeckend Mathematik mit CAS unterrichtet wird. Denn da"s die Modernisierung der Schulmathematik ohne Computer nicht denkbar ist, steht sp"atestens nach diesem Pilotprojekt fest. Unsere Erfahrungen zeigen aber auch, da"s sich der Computer sehr gut in den Unterricht integrieren l"a"st, oder sogar als Hauptmedium eingesetzt werden kann. Das ist auch die Meinung der Projektsch"uler am IKG, die sich bei einer erneuten Wahl alle wieder f"ur das Projekt entscheiden w"urden. 

Deshalb wird nun das Projekt zumindest an vier Gymnasien im Oberschulamtsbezirk T"ubingen fortgesetzt. Vorrangiges Ziel dabei ist, Unterrichtsmaterialien wie z.B. `Elektronische B"ucher' (vgl. \\
\URL{http://www.ikg.rt.bw.schule.de/mbuch.htm}) weiter auszuarbeiten und damit die Grundlage f"ur einen neuen Mathematiklehrplan zu schaffen. Dar"uber hinaus sollen aber auch neue Formen der Leistungsmessung beim Abitur - etwa Seminararbeit mit Kolloquium - erprobt werden, damit in Zukunft die Sch"uler durch diese vorwissenschaftlichen Arbeitsweise besser auf ein Studium vorbereitet sind.



 \begin{flushright}
M. Komma (Reutlingen)
 \end{flushright}                                                              




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

%\Abschnitt{Netzinformationsdienste zu Mathematik und Computeralgebra}{Netzdienste zu Mathematik und Computeralgebra}{infoca}

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

%\Abschnitt{Berichte "uber Arbeitsgruppen}{Berichte "uber Arbeitsgruppen}{BerAGs}


% \UnterAbschnitt{ALT!! Computeralgebra an der Universit"at Leipzig}{ALT!! Computeralgebra an der Universit"at Leipzig}{caLeipzig}

% \bigskip

% Aus einer urspr"unglich umfangreicheren Arbeitsgruppe um Prof.
% Wolfgang La"sner besch"aftigen sich an der Fakult"at f"ur Mathematik
% und Informatik der Universit"at Leipzig heute noch PD Dr. Joachim Apel
% (Mathematisches Institut) und PD Dr. Hans-Gert Gr"abe (Institut f"ur
% Informatik) unmittelbar mit Themen aus dem Bereich des Symbolischen
% Rechnens.
% ...
% \medskip

% \begin{flushright}
% Joachim Apel, Hans-Gert Gr"abe (Leipzig)
% \end{flushright}

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

\Abschnitt{Publikationen "uber Computeralgebra}{Publikationen "uber Computeralgebra}{publ}

\begin{itemize}


\item {Articolo, G.}, { \sl Partial differential equations and boundary value problems with Maple V}, Academic Press {, ISBN 0-120-64475-4}, {1998}, {pp. }, \pounds 34.95. 

%\item {Berndt, R., Schmidt, R.}, { \sl Elements of the Representation Theory of the Jacobi Group}, \Birkhaeuser {, ISBN 3-7643-5922-6}, {1999}, {pp. 213}. 

\item {Betten, A., Fripertinger, H., Kerber, A., Wassermann, A., Zimmermann, K.-H.}, { \sl Codierungstheorie, Konstruktion und Anwendung linearer Codes}, \Springer {, ISBN 3-540-64502-0}, {1998}, DM 69,00. 

\item {Cheung, C.-K., Keough ,G. E., May, M. }, { \sl Getting Started with Maple}, \Wiley {, ISBN 0-471-25249-2}, {1998}, \pounds 23.95. 

\item {Cohen, A. M., Cuypers, H., Sterk, H., (Eds.)}, { \sl Some Tapas of Computer Algebra}, \Springer {, ISBN 3-540-63480-0}, {1999}, DM 79,00. 

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

\item {Coombes, K. R., Hunt, B. R., Lipsman, R. L.}, { \sl Differential Equations with Maple}, \Wiley {, ISBN 0-471-17696-6}, DM 38,00. 

\item {Corless, R. M.}, { \sl Symbolic Recipes, Scientific Computing with Maple}, \Springer {, ISBN 3-540-94210-6}, {1998}, DM 62,00. 

\item {Eikelberg, M.}, { \sl Einf"uhrung in die Arbeit mit Maple V }, Fachbuchverlag Leipzig {, ISBN 3-446-19458-4}, {1998}, ca DM 58,- . 

\item {Gr"atzer, G.}, { \sl General Lattice Theory, Second edition}, \Birkhaeuser {, ISBN 3-7643-5239-6}, {1999}, {pp. 663}. 

%\item {Graham, R.L., Korte, B., Lovasz, L. et al (Eds.)}, { \sl ???}, \ {, ISBN }. 

\item {Habib, M., McDiarmid, C., Ramirez-Alfonsin, J., Reed, B., (Eds.)}, { \sl Probabilistic Methods for Algorithmic Discrete Mathematics}, \Springer {, ISBN 3-540-64622-1}, {1998}, DM 149,00. 

\item {Kamerich, E., Yorke, J. A.}, { \sl A Guide to Maple}, \Springer {, ISBN 3-540-94116-9}, {1998}, DM 69,00. 

\item {di Martino, L., Kantor, W. M., Lunardon, G., Pasini, A., Tamburini, M. C., Editors}, { \sl Groups and Geometries}, \Birkhaeuser {, ISBN 3-7643-5922-6}, {1999}, {pp. 261}. 

\item {Matzat, B. H., Greuel, G.-M., Hiss, G.}, { \sl Algorithmic Algebra and Number Theory}, \Springer , ISBN 3-540-64670-1, 1999.

\item {Migliore, J. C. }, { \sl Introduction to Liaison Theory and Deficiency Modules}, \Birkhaeuser {, ISBN 0-8176-4027-4}, {1999}, {pp. 215}. 

\item {Reckziegel, H., Kriener, M., Pawel, K.}, { \sl Elementare Differentialgeometrie mit Maple}, \Vieweg {, ISBN 3-528-06991-0}, {1998}, ca DM 69,-. 

\item {Sagan,B. E., Stanley, R. P., Editors}, { \sl Mathematical Essays in Honor of Gian-Carlo Rota}, \Birkhaeuser {, ISBN 0-8176-3872-5}, {1999}, {pp. 463}. 

\item {Sorgatz, A.}, { \sl Dynamic Modules, User's Manual and Programming Guide for MuPAD 1.4}, \Springer {, ISBN 3-540-65043-1}, {1999}, DM 89,00. 

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

\item {Stroyan, K. D.}, { \sl Calculus : The language of change, 2nd Ed.}, Academic Press {, ISBN 0-126-73030-X}, {1998}, \pounds 34.95. 

\item {Walz, A.}, { \sl Maple V, Rechnen und Programmieren mit Rel. 4}, \Oldenbourg {, ISBN 3-486-24280-6}, {1998}, DM 68,00,

\item {Waterloo Maple Inc.}, { \sl Maple V Learning Guide (Version A) : for Release 5 }, \Springer {, ISBN 0-387-98397-X}, {1998}, DM 49.50. 

\item {Wei-Chi Yang, Lewin, J.}, { \sl  Exploring mathematics with scientific notebook}, \Springer {, ISBN 981-3083-88-3}, {1999} ,209 Seiten, CD

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

\item {Wolf, M., Gloor, O., Richard, C.}, { \sl Analysis Alive -- Ein interaktiver Mathematik-Kurs}, \Birkhaeuser {, ISBN 3-7643-5966-8}, {1999}, {pp. 372}. 


\end{itemize}

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

\Abschnitt{Besprechungen zu B"uchern der Computeralgebra}{Besprechungen zu B"uchern der Computeralgebra}{buchbespr}

%\begin{itemize}
 


\UnterAbschnitt{Cohen, Arjeh M., Cuypers, Hans, Sterk, Hans (Eds.) \\
Some Tapas of Computer Algebra
}{Cohen, A., M., Cuypers, H., Sterk, H. (Eds.) \\
Some Tapas of Computer Algebra}{Tapas}

Springer-Verlag, Berlin Heidelberg, 1999, ISBN 3-540-63480-0, HC DM 79,00.\\


{%\footnotesize

In einem Restaurantf"uhrer von Mallorca wird von
den sagenhaften vielf"altigen
Appetith"appchen {\sl Tapas} gesprochen und diese 
dann weiter beispielhaft erl"autert: kleine gebackene Calamares,
Serrano-Schinken mit Melone oder in Fetteig gebackene
Gem"useh"appchen. 

Ist man so eingestimmt, dann sollte einem Computeralgebraiker
das Wasser im Munde zusammenlaufen, wenn ihm oder ihr ein Buch mit dem
Titel {\sl Some Tapas of Computer Algebra} vorgelegt wird. 
Es handelt sich in der Tat um ein ungew"ohnliches Buch "uber \ca! 

Das Buch ist als vierter Band in der vom Springer-Verlag aufgelegten
Reihe {\sl Algorithms and Computations in Mathematics}
erschienen.  Die drei Herausgeber haben insgesamt neunzehn Autoren
gewonnen bei dem Projekt mitzuwirken, das aus Kurzeinf"uhrungen in
die \ca\ an der Technischen Universit"at in Eindhoven entstanden ist.
Das Buch teilt sich in zwei
Teile, mehr als drei Viertel des Buches sind elf Appetitanregern zu 
teilweise ganz verschiedenen Themen der \ca\ gewidmet, die meisten
zentralen Themen der \ca\ sind angesprochen.
Der zweite Teil enth"alt dann sieben Projektvorschl"age, die auf den
zuvor behandelten Themen aufsetzen.


So wird beispielsweise  von H.~Cuypers, Leonhard~H.~Soicher und Hans~Stark
auf 24 Seiten im Tapas {\sl  Working with Finite Groups} eine
Kurzeinf"uhrung in {\sl Computational Group Theory} gegeben. 
Es werden zum einen Permutationsgruppen mit Algorithmen zur Bestimmung
von Bahnen und Stabilisatoren, insbesondere der Schreier-Sims-Algorithmus
behandelt, zum andern 
Gruppen, die durch Erzeugende und Relationenen gegeben sind. 
Der Todd-Coxeter-\lq Algorithmus\rq\ zur Abz"ahlung von Nebenklassen
erlaubt -- wenn er terminiert -- eine Darstellung als Permutationsgrupppe
von Nebenklassen einer Untergruppe.
Ein eher beschreibender Stil, der Ideen und Zusammenh"ange verbunden aber
mit zahlreichen Hinweisen zu weiterf"uhrender Literatur aufzeigt,
macht den Beitrag zu einem Appetitanreger, der dann 
im Projekt 6  {\sl The Small Mathieu Groups} von denselben Autoren
sowie im Projekt 5 {\sl
Explorations with the Icosahedral Group} von A.M.~Cohen, H.~Cuypers
und R.~Riebeck weiter gestillt werden kann.


G.~Ivanyos und L.~Ronyai erl"autern in {\sl Computations in 
Associative and Lie Algebras} einige Methoden zur
Bestimmung von Radikalen, einfachen Komponenten sowie
von Nullteilern in endlich-dimensionalen Algebren.

Dem zentralen Thema {\sl Gr"obnerbasen} sind mehrere Tapas und Projekte
gewidmet. Zum einen gibt A.~Cohen eine drei"sigseitige Einf"uhrung
in Gr"obnerbasen, w"ahrend -- darauf aufbauend -- 
L.~Gonzalez-Vega, F.~Roiullier und M.-F.~Roy  elf
{\sl Symbolic Recipes for Polynomial System Solving} f"ur den Fall
von nur endlich vielen L"osungen geben. Die Rezepte sind in drei
Klassen eingeteilt, zum einen die grundlegenden Techniken zur
Bestimmung von L"osungen aus der Theorie der Gr"obnerbasen, 
dann Methoden aus der Linearen Algebra (Eigenwerte, Vielfachheiten, 
Satz von Stickelberger, Spur) 
und schlie"slich die Jakobi-Determinante f"ur den Fall von 
gleich vielen Gleichungen und Unbestimmten, bevor dann Gr"obnerbasen und
numerische Approximation in Zusammenhang gebracht werden.

G.~M.~Ziegler stellt dann die von Conti und Traverso
hergestellte Beziehung zwischen {\sl Gr"obner Bases and
Integer Programming} aus dem Gebiet der Optimierung und
Operations Research dar -- ein sehr interessanter, wenn auch
vermutlich von einem Praxiseinsatz noch weit entfernter
Zusammenhang --, w"ahrend M.~de~Boer und R.~Pellikaan
{\sl Gr"obner Bases for Codes} in der Codierungstheorie einsetzen.
Dieser Abschnitt ist eine Kurzeinf"uhrung in 
Grundbegriffe der Codierungstheorie, wobei Gr"obnerbasen nur
kurz bei der Bestimmung aller Codew"orter von zyklischen Codes
-- es operiert die zyklische Gruppe auf den Codew"ortern, oder
"aquivalent dazu, die Codew"orter bilden ein Ideal des Polynomrestklassenring
"uber einem endlichen K"orper (modulo $x^n-1$)  --
mit Minimalgewicht sowie in einem Zusammenhang
mit Gewichtsfunktionen eine Rolle spielen. Dies wird dann aber
im Projekt 7 f"ur Golay-Codes ausgearbeitet.
Im Abschnitt 11 {\sl Gr"obner Bases for Decoding} 
von denselben Autoren wird erl"autert in welcher Weise
Gr"obnerbasen bei gewissen Klassen von Codes zum Dekodieren
benutzt werden k"onnen.

Ein weiterer Abschnitt von L.~Gonzalez-Vega, F.~Rouillier, M.-F.~Roy
und G.~Trujillo widmet sich den verschiedenen symbolischen
Techniken, wenn man speziell an reellen L"osungen interessiert ist:
Verallgemeinerung wie Sylvester-Habicht der Sturmschen Ketten zur
Abz"ahlung der reellen Nullstellen eines Polynoms, aber auch f"ur Systeme
von Polynomgleichungen; Quantorenelimination.


Der LLL-Gitter-Reduktionsalgorithmus von Lentra, Lenstra und
Lovacs wird von F.~Beukers in einem zehnseitigen Abschnitt pr"asentiert.   
Neben der traditionellen Faktorisierungsalgorithmen f"ur Polynome
von Berlekamp sowie die Idee von Cantor-Zassenhaus
und der Faktorisierung mit Hilfe von Hensels Lemma kann dann auch 
deren Faktorisierungsalgorithmus mit polynomialer  Laufzeit im 
n"achsten Abschnitt vom selben Autor dargestellt werden.


M.~van~der~Put stellt im Abschnitt {\sl Symbolic Analysis 
of Differential Equations} einige Methoden zur Integration von
Funktionen sowie f"ur Gleichungen der Ordnung 2 (Kovacic)
vor, nachdem zuvor einige Grundideen der Differential-Galoistheorie
(Picard-Vessiot)
erl"autert werden: Analog zum klassischen Fall von Wurzeln
eines Polynoms werden auch hier die
L"osungen in Zusammenhang zu Gruppen gebracht, aus deren Struktur
dann im Prinzip die L"osungen entwickelt werden k"onnen.
Auffallend ist f"ur mich hier, da"s bei den Literaturverweisen
zur Integrationstheorie nur auf ein Vorlesungsmanuskript, nicht aber
auf die in der selben Reihe erschienenen Monographie dazu von
M.~Bronstein verwiesen wird.


Die weiteren Projekte behandeln u.a.\
die Themen  Robotersteuerung, Interpolation, Quaternionen sowie
automatisches Beweisen 
von geometrischen S"atzen durch Modellierung einer Fragestellung,
ob ein Polynom -- der Implikation des Satzes entsprechend --
im Ideal -- erzeugt von den Polynomen, die den Voraussetzungen
des Satzes entsprechen -- enthalten ist. 

Wie im Restaurant werden die vielf"altigen und unterschiedlichen
Appetithappen auf unterschiedliche Geschm"acker treffen.
Der Verdienst dieser Zusammenstellung ist es aber schon, hier ein reichliches
Angebot mit Kurzeinf"uhrungen zu wichtigen Themen der Computeralgebra
gegeben zu haben. Diese k"onnen f"ur allgemeine Vorlesungen zur \ca, f"ur
Seminare und Arbeitsgruppen als Startpunkte verwendet werden.
Ich sehe auch den einen oder andern motivierten 
Gymnasiallehrer, der sich "uber die mathematischen
Hintergr"unde der \ca-Systeme,
die er oder sie oder die Sch"uler im Unterricht benutzen, 
weiterbilden will, mit Gewinn dieses Buch nutzen.

}


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











\UnterAbschnitt{Sorgatz, A., Dynamic Modules. \\
User's Manual and Programming Guide for MuPAD}{Sorgatz, A., Dynamic Modules. \\
User's Manual and Programming Guide for MuPAD}{Sorgatz}

Springer-Verlag, Berlin Heidelberg 1999, ISBN 3-540-656043-1.\\


{%\footnotesize
Verglichen mit den Anf"angen der Computeralgebra werden heute die
Systeme im h"aufiger in Verbindung mit anderen Programmen oder
Programmbibliotheken eingesetzt. Hier spiegelt sich der Trend wieder, da"s
Computeralgebrasysteme immer mehr als nur ein Teil in einer komplexen
\emph{problem solving environment} angesehen werden, zu der z.B.\ auch
Numerikbibliotheken oder Visualisierungstools geh"oren. Angesichts dessen ist
es nicht verwunderlich, da"s die meisten Systeme sich "offnen und
M"oglichkeiten zur Kommunikation mit anderen Programmen anbieten; als
Beispiele seien nur MathLink und MathEdge f"ur Mathematica bzw.\ Maple
erw"ahnt.

Der klassische Weg zur Realisierung einer solchen Schnittstelle geht "uber
\emph{interprocess communication} ({\small IPC}). Dieser Ansatz f"uhrt aber zu
einem betr"achtlichen Kommunikationsoverhead, da Daten zwischen den
verschiedenen Programmen explizit ausgetauscht werden m"ussen. Dies macht
{\small IPC} vor allem dann langsam, wenn entweder sehr gro"se Mengen an Daten
transferiert werden (ganz abgesehen davon, da"s diese Daten dann doppelt im
Speicher gehalten werden m"ussen) oder allgemeiner die Verarbeitungszeit
verh"altnism"a"sig klein gegen"uber der Kommunikationszeit ist.

Andreas Sorgatz von der Paderborner \mupad -Gruppe hat in \mupad\ einen anderen
Ansatz zur Integration von Softwarepaketen realisiert: dynamische Module.
Dynamisch bedeutet hierbei, da"s diese Module zur Laufzeit zu \mupad\ gelinkt
werden k"onnen. Sie werden damit zu einem Teil des \mupad -Prozesses und teilen
sich vor allem den Speicher mit \mupad. Damit mu"s kein Datentransfer mehr
erfolgen. Um die M"oglichkeiten dieses Ansatzes auszusch"opfen, ben"otigt der
Entwickler dynamischer Module allerdings einige Kenntnisse von Interna von
\mupad.

Rein technische Fragen der Realisierung dynamischer Module wurden bereits in
einem fr"uheren Buch des Autors behandelt (A. Sorgatz, Dynamische Module,
\mupad -Reports, Teubner 1996, besprochen im Zentralblatt Zbl.\ 970.06779). Was
bisher noch fehlte, war eine Beschreibung der dynamischen Module aus der Sicht
des Anwenders, der entweder mit vorgegebenen Modulen arbeiten oder aber eigene
Module entwickeln will. Diese L"ucke wird durch das vorliegende Buch
geschlossen. Es basiert auf der aktuellen \mupad-Version 1.4.1, die auch auf
der beiliegenden CD enthalten ist.

Wie der Untertitel des Buches bereits klar ausdr"uckt, handelt es sich hier in
erster Linie um ein Handbuch, d.h.\ die wenigsten Leser werden es von vorne
bis hinten durchlesen sondern es als Nachschlagewerk benutzen. Nach einigen
einf"uhrenden Kapiteln, in denen die zugrundeliegenden Konzepte vorgestellt
werden, wird das Buch denn auch sehr technisch. Dies gilt insbesondere f"ur
das zentrale Kapitel~6, das das \mupad\ Application Programming Interface
({ MAPI}) beschreibt. Das { MAPI} stellt eine umfangreiche
Sammlung von vordefinierten Typen und Prozeduren dar, die es dem Entwickler
von dynamischen Modulen gestatten, \mupad -Objekte zu erzeugen bzw.\ zu
manipulieren.  Weitere Kapitel beschreiben u.a.\ die interne Struktur von
\mupad, den Modulgenerator zum Kompilieren und Linken von dynamischen Modulen
oder geben Details zu speziellen Betriebssystemen, Programmiersprachen,
shared/static libraries etc.

Erfreulicherweise enth"alt das Buch sehr viele Beispiele (oft mit komplettem
Programmcode), die dem Anf"anger den Einstieg in die Welt der dynamischen
Module sehr erleichtern. Diese reichen von der einfachen Interaktion mit dem
Betriebssystem "uber die Einbindung numerischer Bibliotheken bis hin zur
Fensterprogrammierung unter Motif. Auf der CD finden sich auch noch einige
gr"o"sere Beispiele wie die Anbindung von Singular oder GB/RealSolving an
\mupad. Auch f"ur eine Reihe von Kommunikationsprotokollen wie MP oder PVM
existieren bereits dynamische Module.

Wer in \mupad\ mit dynamischen Modulen arbeiten will, wird um dieses Buch
nicht herumkommen. Die bereits realisierten Anwendungen zeigen das gro"se
Potential dieses Ansatzes zur Verkn"upfung verschiedenster Programmsysteme.
\mupad\ bietet hier weit flexiblere M"oglichkeiten als andere
Computeralgebrasysteme; es liegt nun an den Benutzern, diese auch auszunutzen!

}

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


\UnterAbschnitt{Wei-Chi Yang, Lewin, J., \\
Exploring mathematics with scientific notebook}{Wei-Chi Yang, Lewin, J., \\
Exploring mathematics with scientific notebook}{Yang}

Springer-Verlag, Berlin Heidelberg 1999, ISBN 981-3083-88-3, 209 Seiten, CD\\


{%\footnotesize
Scientific Notebook ist eine ,,light``-Version von Scientific Workplace
(Brooks-Cole), einer Software, die grob gesprochen die Macht von \TeX{} und
Maple unter einer komfortablen Benutzeroberfl\"{a}che verbirgt; SWP ist
sowohl in einer professionellen Version als auch als preiswerte Student
Edition erh\"{a}ltlich. Zur Erstellung mathematischer Texte, ob B\"{u}%
cher, Fachartikel oder \"{U}bungsbl\"{a}tter, ist diese Software gro\ss %
artig; \"{a}hnlich wie die Formeleditoren, die aus diversen Office-Paketen
bekannt sind, erzeugt man Formeln, die man von Maple auswerten lassen kann.
Das Ergebnis der Maple-Rechnung wird unmittelbar wieder im \TeX{}-Format
eingef\"{u}gt; dies reduziert Fehler, die ansonsten leicht bei der \"{U}%
bertragung in \TeX{} vorkommen k\"{o}nnen. Insbesondere ziehen \TeX-Anf\"{a}%
nger aus Scientific Workplace/Scientific Notebook gro\ss en Nutzen. Die
Software erm\"{o}glicht professionellen Formelsatz ohne die sonst notwendige
langwierige Lernphase. \emph{Exploring mathematics with scientific notebook}
umfa\ss t neben einem konventionellen gedruckten Buch auch eine
on-screen-Version des Buches auf CD und macht es so dem Leser leicht, die
behandelten Beispiele nachzuvollziehen. Trotzdem hinterl\"{a}\ss t das Buch
einen zwiesp\"{a}ltigen Eindruck: Will man wirklich die Mathematik
,,erkunden``, so ist man z.B. mit der Student Edition von Maple sehr viel
besser bedient; SWP bietet nur einen Bruchteil der M\"{o}glichkeiten, die
Maple beinhaltet. Trotzdem ist alles vorhanden, was an Analysis und linearer
Algebra f\"{u}r Anf\"{a}ngervorlesungen oder den gymnasialen Unterricht
erforderlich ist. Ist man eher daran interessiert, einen mathematischen Text
zu verfassen, so ist SWP sehr viel komfortabler als es derzeit jede
Kombination von Maple und einer der vielen \TeX-Implementationen ist, auch
wenn sich Waterloo Maple Software viel M\"{u}he gibt, die Oberfl\"{a}che von
Maple zu verbessern. Befremdlich wirkt es, da\ss\ etliche Beispiele f\"{u}r
den Abdruck ungeeignet sind und das Buchformat sprengen; die Standardfu\ss %
note ist daher ,,The following expression will be fully visible only in the
on-screen version of this text.`` Man kann das vorliegende Buch vor allen
jenen als Entscheidungshilfe empfehlen, die eine intelligente mathematische
Textverarbeitung suchen und mit der recht sparsamen Dokumentation von
Scientific Notebook unzufrieden sind; das Vollprodukt Scientific Workplace
enth\"{a}lt ein Handbuch mit \"{a}hnlicher Zielsetzung wie das vorliegende
Buch. Da die beigef\"{u}gte CD auch eine zeitlich limitierte Version von
Scientific Notebook enth\"{a}lt, kann das Buch auch denjenigen empfohlen
werden, die den Kauf der Software in Erw\"{a}gung ziehen, zun\"{a}chst aber
ihre M\"{o}glichkeiten studieren wollen.

}

\begin{flushright}
Wilhelm Werner, Heilbronn-K\"{u}nzelsau
\end{flushright}

%\end{itemize}



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

\Abschnitt{Lehrveranstaltungen \"uber Computeralgebra im SS 1999}{Lehrveranstaltungen \"uber Computeralgebra im SS 1999}{lehrv}

\begin{itemize}

\item {\bf Rheinisch--Westf"alische Technische Hochschule Aachen}\\
{\em Fachdidaktisches Seminar: Computer im Algebraunterricht}, U. Schoenwaelder, U. Bettscheider, "U4\\
{\em Algebraisches Praktikum}, G. Hi"s, F. L"ubeck, "U2\\
{\em Einf"uhrungspraktikum in das Formelmanipulationssystem MAPLE}, G. 
Hi"s, U. Klein, V. Dietrich, P2\\
{\em Praktikum: Programmieren in MAPLE}, G. Hi"s, U. Klein, P4\\
{\em Arbeitsgemeinschaft zu speziellen Problemen mit MAPLE}, V. Dietrich, U. Klein, "U2

\item {\bf Freie Universit"at Berlin}\\
{\em Algorithmische Singularit\"atentheorie}, K. Gatermann, V2 + "U2

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

\item {\bf Universit"at Bonn}\\
{\em Computeralgebra I}, M.Clausen, V4

\item {\bf Technische Hochschule Darmstadt}\\
{\em Digitale Signaturen}, I. Biehl, V2+"U1\\
{\em Einf"uhrung in die Kryptographie}, J. Buchmann, V2+"U2\\
{\em Einf"uhrung in die algorithmische Zahlentheorie}, J. Buchmann, V2+"U2\\
{\em Elliptische Kurven und Kryptographie}, S. Paulus, V2\\
{\em Praktikum Weiterentwicklung von {\sf LiDIA}}, J. Buchmann, T. Pfahler, P4\\
{\em Seminar Public-Key-Infrastrukturen}, J. Buchmann, M.Ruppert, S2

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

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

\item {\bf Universit"at Erlangen-N"urnberg}\\
{\em Zahlentheoretische und algebraische Grundlagen der
Kryptographie}, H. Meyn, V4\\
{\em Probabilistic Methods in Algorithmics}, V. Strehl, V2\\
{\em Mathematica as a Tool for Science}, N. Jacob, V2\\
{\em Seminar Kryptographie}, M. Bauer, S2

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

\item {\bf Technische Hochschule Hamburg-Harburg}\\
{\em Diskrete Mathematik I}, K.-H. Zimmermann, V4+U2\\
{\em Programmieren in Maple}, K.-H. Zimmermann, U1\\
{\em Kryptologie}, K.-H.Zimmermann, V2\\
{\em Seminar Sicherheitsinfrastrukturen}, K.-H.Zimmermann, P.Batra, S2

\item {\bf Martin-Luther-Universit"at Halle(Saale)}\\
{\em Mathematik mit MATHCAD}, H. Benker, P2\\
{\em Numerische Mathematik mit MATLAB}, H. Benker, J.Bruder, P2

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

\item {\bf Universit"at Kaiserslautern}\\
{\em Algebraic Geometry II with Computational Aspects}, G. Pfister, V4 + "U1\\
{\em Seminar Singularit"aten und Computeralgebra}, G. Pfister, S2

\item {\bf P"adagogische Hochschule Karlsruhe}\\
{\em Informatik II}, J. Ziegenbalg, V2\\
{\em Hauptseminar  Algorithmen / Computer / Informatik}, J. Ziegenbalg, HS2

\item {\bf Universit"at Karlsruhe}\\
{\em Computeralgebra}, J. Calmet, V4 \\
{\em Computeralgebra und Theorembeweisen}, J. Calmet, C. Ballarin, S2 \\
{\em Computeralgebra-Praktikum}, J. Calmet, W.M. Seiler, C. Ballarin, P4

%\item {\bf Fachhochschule Karlsruhe}\\

%\item {\bf Gesamthochschule Kassel}\\
%???Malle???

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

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

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


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

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

%\item {\bf Technische Universit"at M"unchen}\\

\item {\bf Universit"at Oldenburg}\\
{\em Algebra und Anwendungen (CA)}, W. Schmale, S2

\item {\bf Universit"at-Gesamthochschule Paderborn}\\
{\em Computeralgebra I}, F. Schwarz, V4\\
{\em Kryptographie}, J. von zur Gathen, V4\\
{\em Praktikum Mathematik am Computer}, F. Schwarz, P4\\
{\em Seminar Computergenriertes Beweisen},
J. von zur Gathen, S2\\
{\em MuPAD Seminar}, B. Fuchssteiner, S2\\
{\em Oberseminar Algorithmische Mathematik},
J. von zur Gathen, S2


\item {\bf Universit"at Passau}\\
{\sl Einf\"uhrung in das Computeralgebra System REDUCE},
V.~Weispfenning, A.~Dolzmann, T.~Sturm, V2 + P4

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

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

%\item {\bf Universit"at T"ubingen}\\

\item {\bf Universit"at Ulm}\\
{\em Symmetrie Analyse von Differentialgleichungen mit Mathematica}, G. Baumann, V2\\
{\em Computeralgebra Praktikum mit Mathematica}, G. Baumann, V4+"U2

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

\end{itemize}

%\indent
%\newpage

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

% \Abschnitt{Kurze Mitteilungen}{Kurze Mitteilungen}{mitteil}

% \begin{itemize}

% \item{\bf ALT!! Access to the Mizar Mathematical Library via Mathematica Notebook}

% There is a notebook for Mathematica 3.0 to access a part of the Mizar
% Mathematical Library. It supports currently the search for theorems on
% elementary set theoretic concepts by using several automated theorem provers.

% The notebook and the necessary Mathematica extension can be downloaded from

%         \URL{http://www-irm.mathematik.hu-berlin.de/\~{}ilf/mca.html}
% ...


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

%\begin{center}
%{\Large \bf Assistant Professor in Computer Science -- ETH Z"urich ?}\\
%\end{center}

%}}



%\end{itemize}


\newpage

\pagestyle{empty}

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

\pagestyle{plain}

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


% \newpage
% Werbeseite der Fa. Springer Verlag

\end{document}










