\documentstyle[11pt,german]{article}
\textwidth 175mm\textheight 252mm\columnwidth\textwidth
\hoffset-25mm\voffset-35mm
\newcommand\tm{$^{\rm tm}$}
\newcommand\ca{Com\-pu\-ter\-al\-ge\-bra}
\renewcommand{\baselinestretch}{0.9}
 
 
\begin{document}
\begin{Huge}
\noindent
\framebox[175mm]{\bf Computeralgebra--Rundbrief}
\end{Huge}
 
 
\noindent
{\it Nummer 9  \hfill Fachgruppe 2.2.1 \hfill 26. 9. 1991}
\footnotetext{{\bf Impressum}\hspace*{3mm}
{\em Computeralgebra--Rundbrief}
\hspace*{3mm}Herausgegeben von der Fachgruppe 2.2.1
{\em Computeralgebra} der GI, DMV und GAMM, Redaktionsschlu{\ss}
28.02 und 31.08. \hbox{Anschrift:}
Dr.~J.~Grabmeier, IBM Wissenschaftliches Zentrum Heidelberg,
Tiergartenstra"se 15, Postfach 103068, 6900 Heidelberg.
Elektronische Adresse: grabm@dhdibm1.earn.
Telefax: 06221-404-296.
ISSN 0933-5994}
 
\vspace*{8mm}
 
{\em
\noindent
Liebe Kolleginnen und Kollegen,

im vergangenen halben Jahr hat sich sehr viel in der Computeralgebra,
besonders in Deutschland, getan.  
So wird ab sofort vom Konrad--Zuse--Zentrum Berlin (ZIB) in seiner {\sl elib} 
ein elektronisches \ca-Informationssystem (CAIS) mit Mailbox, Datenbank und
Archiv f"ur uns betrieben. 
Genaueres dar"uber finden Sie in diesem Rundbrief.
Herzlichen Dank an das ZIB! 

Die Fachgruppenleitung beabsichtigt
ein Grundsatzpapier "uber \ca\ zusammenzustellen. Es wird neben Definitionen
und Arbeitsgebieten auch eine Beispielsammlung von erfolgreichen
Anwendungen der \ca\ zum L"osen von Problemen und eine Liste 
aller \ca-Arbeitsgruppen in Deutschland enthalten. Wir bitten um Ihre
Mitwirkung. Einem Teil der Leser dieses Rundbriefes haben wir ein
Formblatt mit Fragen zugesandt. Weitere solche Formbl"atter k"onnen
beim Sprecher angefordert werden oder direkt im CAIS abgerufen werden.
Dort steht auch eine {\sl vorl"aufige Gliederung mit Einleitung}.
Auch dazu bitten wir um rege Kommentierung an den Sprecher.
 
Zum zweiten Mal nach 1987 in Leipzig fand die ISSAC wieder in 
Deutschland statt, ein Bericht dar"uber ist in dieser Ausgabe.

Die Fachgruppe -- Federf"uhrung B.~Fuchssteiner -- veranstaltete auf der 
DMV-Jahrestagung in Bielefeld die bislang umfassendste Ausstellung
mit Vortr"agen und Vorf"uhrungen von \ca-Systemen.

Das Softwarehaus NAG hat das \ca-System AXIOM  angek"undigt.
Es handelt sich dabei
um das zum Produkt weiterentwickelte Forschungsprojekt Scratchpad,
das NAG von IBM Research "ubernommen hat, und bislang nur einem
kleinen Kreis von Benutzern offenstand.

Aus dem Kreis der Fachgruppenleitung ist Prof.~Dr.~Neub"user 
ausgeschieden. Wir danken ihm ganz herzlich f"ur die geleistete
Arbeit nicht nur beim Aufbau dieser Fachgruppe, deren erster
stellvertretender Sprecher er war, sondern auch f"ur seinen
Einsatz auf dem Gebiet der \ca\ seit "uber 30 Jahren!
Er hat sich erfreulicherweise bereit erkl"art trotzdem
weiter in der Fachgruppe aktiv mitzuwirken.
F"ur
ihn r"uckt Dr. Gerhard Schneider, Institut f"ur experimentelle
Mathematik, Universit"at-Gesamthochschule Essen, Ellernstr. 29,
4300 Essen 12, 0201-32064-45, -39 (Sekr.), -25 (Telefax), elektr.
Adr.: mat420@de0hrz1a.earn,  in 
die Fachgruppenleitung nach. Herr Schneider wird auch die
Moderation von CAIS zu "ubernehmen.

Eine Bitte noch in eigener Sache: Beitr"age f"ur den
Rundbrief sind jederzeit willkommen: Sie k"onnen uns die Arbeit
zur Erstellung dieses
Rundbriefes aber wesentlich erleichtern, wenn Sie sich
an die Redaktionsschl"usse -- jeweils 28.~2 f"ur die Fr"uhjahrsausgabe,
31.~8. f"ur die Herbstausgabe -- halten w"urden und au"serdem die
Texte nicht nur in \TeX\ mit {\em german}-Style,
sondern bereits in unserem Rundbrief\/format
auf elektronischem Wege zusenden. Die Quelltexte der Rundbriefe sind
im CAIS. Zur weiteren Erleichterung soll demn"achst auch ein Stylefile
entwickelt werden.

\vspace*{3mm}
 
\hspace*{70mm} V.~Weispfenning \hspace*{15mm} J.~Grabmeier}
\vspace*{5mm}
 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     Konferenzen                                                 %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
%{\vspace*{5mm}\Large\bf\hrule\vspace{1mm}
{\Large\bf\hrule\vspace{1mm}
\centerline{Hinweise auf Konferenzen}\vspace{1mm}\hrule}

\begin{enumerate} 

\item {\bf Parallel Computation, Special Session: Parallel Symbolic
Computation}
 
Salzburg, 30.09.--02.10.1991.
 
 
%%\marginpar{ {\scriptsize ??}}
 
{\footnotesize Kontaktadresse: B. Buchberger, Johannes Kepler
Universit"at Linz, A-4040 Linz, "Osterreich, elektr. Adr.
\hfill \linebreak K313370@AEARN.
}

\item {\bf AAECC 9, Ninth International Symposium on Applied
Algebra, Algebraic Algorithms, and Error Correcting Codes}
 
New Orleans, 07.--10.10.1991.
 
%%\marginpar{ {\scriptsize Calmet}}
 
{\footnotesize Kontaktadresse: T.R.N. Rao, Center Adv. Comp.  Studies,
Univ. of Southwestern Louisiana, P.O.Box 44330, Lafayette, LA
70504-4330, USA, Phone:1-318-2316854, Fax:1-318-2315791,
elektr. Adr.  trn@cacs.usl.edu.}
 
\item {\bf Workshop on Computation in Groups}
 
Rutgers, NJ, USA, 07.-10.10.1991.
 
{\footnotesize Kontaktadresse:
 Charles Sims, Dept. of Mathematics, Rutgers University,
New Brunswick, NJ08903, elektr. Adr. \\sims@math.rutgers.edu.}
 
\item {\bf Algorithmen der Computeralgebra}
 
Dagstuhl Seminar, 16.--20.12.1991.
 
%%\marginpar{ {\scriptsize Schwarz}}

{\footnotesize Organisatoren: Bruno\ Buchberger, James\ Davenport,
Fritz\ Schwarz. Teilnahme nur auf Einladung.}
 
{\footnotesize Kontaktadresse: F.~Schwarz, GMD~Institut F1,
Postfach~1240, D--5205~Sankt Augustin 1.}
 
\item {\bf MEGA-92 -- Effective Methods in Algebraic Geometry}
 
Nizza, Frankreich, 20.-24.04.1992.
 
%%\marginpar{ {\scriptsize ??}}
 
{\footnotesize Kontaktadresse: Teo Mora, Dipartimento di Matematica,
Via L.B. Alberti 2, I-16100 Genova,\hfill\linebreak theomora@igecuniv.bitnet.}

\item {\bf DISCO 92, Design and Implementation of
Symbolic Computation Systems}
 
Bath, England, 23.--24.04.1992.
 
%%\marginpar{ {\scriptsize ??}}

{\footnotesize  Organisation:
J.H.~Davenport (Bath), J.P.~Fitch (Bath),
jhd=disco@maths.bath.ac.uk, +44-225-826181, \hfill\linebreak
jpff@maths.bath.ac.uk, +44-225-826820,
School of Mathematical Sciences, U Bath, GB-Bath BA2 7AY.}
 
\item {\bf Computational Group Theory}
 
Mathematisches Forschungsinstitut Oberwolfach, 07.--13.06.1992.
 
%%\marginpar{ {\scriptsize Neub"user}}

{\footnotesize  Tagungsleitung:
J.~Neub"user (Aachen), C.~Sims (New Brunswick).
Teilnahme nur auf Einladung.}

\item {\bf Formal power series and algebraic combinatorics}
 
University of Quebec at Montreal, 15.--19.06.1992.

%%\marginpar{ {\scriptsize Strehl}}

{\footnotesize Kontaktadresse: P.~Leroux,  LACIM, Univ. du Quebec,
Case Postale 8888, Succursale A, Montreal, Canada H3C 3P8,
elektr. Adr.: lacim@lacim.uqam.ca.}


\item {\bf International Workshop on Mathematics
Mechanization: Theories and Applications of Algebraic Equation
Solving.}
 
Academia Sinica, Peking, China, 16.--18.07.1992.

%%\marginpar{ {\scriptsize ??}}

{\footnotesize Kontaktadresse: Wu Wen-ts"u, 
Mathematics Mechanization Research Center, Institute of Systems Science,
Peking, 100080, Volksrepublik China,
elektr. Adr.: bmadis@ica.beijing.canet.cn.}


\item {\bf ISSAC'92}
 
Berkeley, Kalifornien, USA, 27.--29.07.1992.

%%\marginpar{ {\scriptsize ??}}

{\footnotesize Kontaktadresse: R.~Fateman, 
EECS Dept., Comput. Sci. Div., 571 Evans Hall,
U of California, USA-Berkeley, CA 94720, elektr. Adr.:
fateman@cs.berkeley.edu, +1-510-642-1879 
or E.~Kaltofen, Dept. Comput. Sci., Rensselaer Polytechnic Institute,
USA-Troy, NY 12180-3590, elektr. Adr.: kaltofen@cs.rpi.edu, +1-528-276-6907.}

\item {\bf DMV-Jahrestagung: Sektion Wissenschaftliches Rechnen}
 
Humboldt-Universit"at Berlin, September 1992.

%%\marginpar{ {\scriptsize ??}}
 
{\footnotesize Sektionsleitung: P.~Deuflhard, Berlin, V.~Weispfenning, Passau
} 

\end{enumerate}
 
%\newpage
\vspace*{5mm}
 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     Berichte von Konferenzen                                    %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Berichte von Konferenzen}\vspace{1mm}\hrule}
\begin{enumerate}
 
\item {\bf Computer Algebra in Engineering and Education}
Technische Univ. Delft, NL, 17.12.1990.
\"Uber diese Tagung ist ein ausf\"uhrlicher Bericht von 
Th. Morisse in MATHPAD, Vol.1, Heft 2, 1991 erschienen.

\item{\bf DIMACS Workshop on Symbolic Software for Mathematical\\
Research}\\
Rutgers University New Brunswick, NJ, USA,  11.--15.03.1991\\ 
DIMACS (Discrete Mathematics and Theoretical
Computer Science) ist eine von den
Universit"aten Princeton and Rutgers sowie den Bell Laboratories gemeinsam
gegr"undete Organisation, die unter Einsatz erheblicher finanzieller Mittel
die Forschung an den drei beteiligten Instituten
auf dem Gebiet der diskreten Mathematik insbesondere im
Hinblick auf Anwendungen in der Informatik
koordiniert und f"ordert. Die Tagung wurde unter dem Gesichtspunkt
veranstaltet, die Software-Entwicklung im Bereich der "`Symbolic Computation
and Computer Algebra"' zu koordinieren und gemeinsame Projekte zu initiieren,
f"ur deren Unterst"utzung die NSF (National Science Foundation) die
M"oglichkeit nachhaltiger Unterst"utzung signalisiert hatte. Daher standen
bei der Tagung nicht so sehr einzelne akute Forschungsergebnisse als vielmehr
Berichte "uber die Aktivit"aten an verschiedenen Orten im Vordergrund. In
seinem Er"offnungsvortrag stellte Professor C. Sims eine Reihe von Fragen
zur Diskussion, die es lohnt, auch hier wiederzugeben.\\ 
What is the proper mix of symbolic software to support research in
mathematics?
How should mathematicians participate in the development of this
software?
How can we get round the bias against software development by
academic mathematicians?
How can we make it easier to work with several pieces of software
on the same problem?
What is the role of funding agencies in the development of software
to support research?
What is the role of professional societies?
What economic realities affect the production of symbolic software
for mathematical research? Licences, fees?
How important is it to have source code available?
Is there a consensus on basic technical issues?
(memory management, data structures for basic mathematical objects,
programming language, basic procedures in library subroutines,
formats for communicating between systems, interface between big systems
and library subroutines)
Would it be feasible to start a large scale undertaking to
develop mathematical software for symbolic computation?\\ 
Nicht nur eine ganze Reihe der Vortr"age sondern auch drei l"angere
Diskussionsrunden bem"uhten sich um Antworten auf diese Fragen. Obwohl dabei
f"ur alle Beteiligten einige interessante Aspekte angesprochen wurden, f"uhrte
die Diskussion doch letztlich zu keinen definitiven Beschl"ussen. Es wurde
jedoch sehr deutlich, da"s nicht zuletzt seitens der NSF mehrfach ein
Vorsprung der Ent\-wick\-lung der \ca in Europa konstatiert wurde.
Man sei bereit, erhebliche Mittel einzusetzen, um diesen einzuholen -
eine aus unseren Erfahrungen mit unserer vergleichsweise sehr bescheidenen
Ausstattung eher verbl"uffende Feststellung. \\ 
 
{\footnotesize
Das Programm im einzelnen:

C. Sims: {\it Workshop Overview}, G. Gonnet: {\it Maple and Mathematical
Research}, K. McIsaac: {\it Mathematica and Mathematical Research},
G. Baumslag: {\it Algorithms for Infinite Groups}, D. Epstein: {\it Automatic
Groups I}, D. Holt: {\it Automatic Groups II}, J. Neub"user: {\it Aachen
Group-Theoretic Software},
G. Cooperman and L. Finkelstein: {\it Software for Permutation Groups},
G. Havas: {\it A single programmer's view}, E. O'Brien: {\it Software
Development at the Australian National University}, W. Bosma: {\it The
Cayley Software Platform}, M. Pohst: {\it The Kant System}, H. Zimmer:
{\it The SIMATH System}, D. Bernardi: {\it The PARI System}, G. Gonnet:
{\it Interfacing Systems},
W. Vasconcelos: {\it A Software Wish List for Commutative Algebra},
E. Kaltofen: {\it Distributed Symbolic Computation}, Ann Boyle, Kamal Abdali,
B. F. Caviness, G. Gonnet, C. Sims:
{\it Panel Discussion on the Role of Funding Agencies in the
Development of Software for Mathematical Research},
Discussion: {\it Attribution of software use},
M. Goldberg: {\it Symbolic Manipulation of Sets}, A. Cohen: {\it Software
Development in Amsterdam}, Discussion: {\it Implementation languages},
G. Collins: {\it The SAC2-C System}, D. Scott: {\it Polarity and Duality
in Projective Geometry}, D. Bayer: {\it Computation in Algebraic Geometry}.
}\\
\begin{flushright}
J. Neub"user
\end{flushright}

\item {\bf Workshop on Computational Number Theory}

Rutgers, NJ, USA, 18.--22.03.1991.
 
Die Tagung  -- eine Art Fortsetzung des gleichnamigen
Workshops aus dem Jahr zuvor in Berkeley -- wurde von
H.W. Lenstra Jr., L.L. Lovasz und A.M. Odlyzko geleitet.
\"Uber 110 Teilnehmer hatten neben den Vortr\"agen ausreichend
Gelegenheit, die neuen Entwicklungen auf diesem Fachgebiet zu
diskutieren. Neben dem offiziellen Vortragsprogramm gab es am
Mittwochnachmittag, der f\"ur informelle Seminare freigehalten
worden war, noch eine Reihe von Kurzvortr\"agen.
 
 
{\footnotesize

(Offizielles) Programm (in chronologischer Reihenfolge):
 
H.C. Williams: {\it Computational number theory before computers},
J.C. Lagarias: {\it Lattice basis reduction},
A. Brumer: {\it Average ranks of elliptic curves},
N.D. Elkies: {\it Computing Mordell-Weil lattices},
C. Pomerance: {\it The number field sieve},
D. Coppersmith: {\it Precomputations to speed up the number field
                     sieve},
J.P. Buhler: {\it Prospects for a practical number field sieve},
J.H. Conway: {\it Voronoi cells of lattices and a new proof of the
                  Delone-Stogrin classification of 4-dimensional
                  parallelotopes},
D. Gordon: {\it Discrete logarithms using the number field sieve, I},
O. Schirokauer: {\it Discrete logarithms using the number field
                     sieve, II},
S. Vanstone: {\it The elliptic logarithm problem and its cryptographic
                  significance};
D. Grant: {\it Computing the Mordell-Weil rank of the Jacobians
               of curves of genus 2},
R. Lovorn: {\it Discrete logarithms over GF($p^2$)},
J. McKay: {\it Mahler, moonshine, and a new Hecke operator},
E. Luks: {\it The complexity of computing in permutation groups},
R.S. Varga: {\it Lower bounds for the de Bruijn-Newman constant},
R. Rumely: {\it Numerical computations concerning the ERH},
O. Ramar\'e: {\it On Goldbach's problem: a new bound for Schnirelman's
                  constant},
D.A. Hejhal: {\it On the spectrum of the Laplacian; theory and
                     computation},
D. and G. Chudnovsky: {\it Transcendental number theory, little Fermat,
                           and all that},
B. Sturmfels: {\it Chow polytopes and general resultants},
S. Fermigier: {\it Zeroes of L-functions of elliptic curves}.
}\\ 
\begin{flushright}
M. Pohst
\end{flushright}

\item {\bf Group Theory and Computation}\\
\noindent University of Warwick, Coventry, England, 18.-22.3.1991.\\ 
Obwohl die Tagung ein sehr reichhaltiges Vortragsprogramm hatte, behandelte
nur ein relativ kleiner Teil der Vortr"age Themen, die der Computational
Group Theory zuzurechnen sind. 
 
{\footnotesize
In zeitlicher Reihenfolge waren dies:

G. Michler: {\it Fast Fourier transformation of symmetric groups},
G. Pfeiffer: {\it On permutation characters and Burnside tables},
C. M. Campbell: {\it On the efficiency of some direct powers of
groups},
B. E. Cohen: {\it Pseudonatural algorithms for the word problem
for finitely presented groups},
R. M. Thomas: {\it Fibonnaci groups and one-relator products of
cyclic groups},
L.Soicher: {\it Computing with groups and graphs},
E. A. O'Brien: {\it Using coclass to classify p-groups},
G. C. Smith: {\it Fibonacci sequences in groups},
S. Linton: {\it A Todd-Coxeter algorithm for matrix groups},
S. Rees: {\it Decision problems in finitely presented groups}.\\ \\
In einem Hauptvortrag gab M. F. Newman einen "Uberblick: {\it Extracting
information from finite group presentations}.
}\\ 
\begin{flushright}
J. Neub"user
\end{flushright}

\item {\bf V. Internationales Kolloquium "uber aktuelle Probleme
der Rechentechnik}
 
Dresden, 19.--23.03.1991.

Dieses Kolloquium wurde anl"a"slich des 70. Geburtstages von Prof.
N. Joachim Lehmann, einem Pionier der Rechentechnik in Deutschland
veranstaltet. Prof. Lehmann war Gr"under und langj"ahriger Direktor des
Institutes f"ur maschinelle Rechentechnik an der TH Dresden. Aus diesem
Institut sind mehrere Forschungsrichtungen hervorgegangen, die an der
Abteilung Mathematik weiter betrieben werden. Es sind dies die
Computergeometrie, die algebraischen Grundlagen der Informatik,
ma\-the\-ma\-ti\-sche Grundlagen der Programmierung sowie Computeralgebra und
Computer-Analytik. Aus diesen Bereichen stammten auch die Vortr"age zu
dem Kolloquium. "Uber die Betr"age, die das Gebiet der Computeralgebra
ber"uhren, soll hier kurz referiert werden.
 
{\footnotesize
N.X. Thinh (Dresden) berichtete "uber die {\it Formelm"a"sige Approximation der
L"osung von gew"ohnlichen Differentialgleichungen mit der
Computer-Analytik}. Dazu wurden von ihm verschiedene Algorithmen
vorgestellt und theoretische Grundlagen f"ur eine automatische
Fehlerabsch"atzung beschrieben.
 
K. Rammelt (Dresden) stellte einen {\it Algorithmus zur exakten L"osung
linearer Gleichungssysteme mitteles des linearen Lifting} vor. Er zeigte,
da"s sich insbesondere diese Technik in nat"urlicher Weise an die
notwendige Rationalapproximation anpassen l"a"st.
 
Der Vortrag von F. Kr"uckeberg (Bonn) befa"ste sich mit der {\it Integration
von Computeralgebra und Verifikationsnumerik}. Durch die Integration von
Computeralgebra mit verifizierenden Methoden der Numerik ergeben sich
Chancen zur Entwicklung einer neuen Generation von verifizierenden
Verfahren, wozu N.J. Lehmann mit seiner {\em Computer-Analytik} grundlegende
Beitr"age geliefert hat. Der Vortrag enthielt eine Programmatik daf"ur
sowie einige neuere Ergebnisse.
 
F. Schwarz (Sankt Augustin - Bonn) erl"auterte die Entwicklung auf dem
Gebiet {\it L"osen von Differentialgleichungen und Computeralgebra}. Hierbei
spielen algorithmische Methoden zunehmend eine gr"o"sere Rolle. Gezeigt
wurde dies an einem Algorithmus zur Faktorisierung linearer
Differentialgleichungen und der Symmetrieanalyse nichtlinearer
Gleichungen.
 
Das Thema von W. La"sner (Leipzig) waren {\it Symmetrien von
Differentialgleichungen und computergest"utzte Identifikation und
Klassifikation von Lie-Algebren}. Es wurden der Stand und die Pro"-ble"-me
bei der Symmetrieanalyse von Differentialgleichungen durch Methoden der
Computeralgebra und Computer-Analytik dargestellt. Dabei wurde die
Notwendigkeit unterstrichen, Methoden der Computeralgebra zur
Klassifizierung von Lie-Algebren einzusetzen und mathematisches Wissen
f"ur computergest"utzte Anwendungen bereitzustellen.
 
K.S. K"olbing (Genf) berichtete "uber die {\it Berechnung gewisser bestimmter
Integrale und \ca}.
 
In seinem Vortrag {\it p-adische und (p1,\ldots,pr)-adische
Zahlendarstellungen} diskutierte L. Bittner (Greifswald) ein Verfahren
zur Umwandlung rationaler Zahlen, das dazu dienen kann, eine sog.
(p1,\ldots,pr)-adische Darstellung zu gewinnen.
 
"Uber {\it Experimente mit objektbasierten Softwarestrukturen in LISP}
schlie"slich berichtete H. Fritsche (Dresden).\\
}
\begin{flushright}
K. Rammelt
\end{flushright}

%\item {\bf CAMASA '91 \\
%\marginpar{ {\footnotesize
%Note an Mora geschickt
%}}%

\item {\bf Mathematische Methoden in der Robotik}

Mathematisches Forschungsinstitut Oberwolfach, 16.--22.06.1991.

\tolerance800

Die Tagung unter Leitung von H.~G. Bock (Augsburg), R.~W. Longman
(New York) und F.~Pfeiffer (M"unchen) 
zeigte deutlich den ausgepr"agt interdisziplin"aren
Charakter des For\-schungs\-ge\-biets Robotik.
Es nahmen Mathematiker, Informatiker und Ingenieure teil;
die angesprochenen Problemklassen reichten von den
mathematisch-physikalischen Grundlagen "uber Modellierung,
numerische Behandlung und Optimierung bis zum
automatischen Entscheiden aufgrund sensorischer Informationen.
Oft stand dabei eine konkrete Anwendung im Blickpunkt.
Die wachsende Bedeutung der \ca\ f"ur die Robotik
war zwar kein zentrales Thema, wurde aber an einigen Stellen
ebenfalls angesprochen.
 
So lassen sich z.B. im Rahmen der Mechanik der Mehrk"orpersysteme
die f"ur Simulation und Optimierung ben"otigten
Bewegungsgleichungen von Robotern
rein formal aus den physikalischen Gesetzen herleiten.
Aufgrund der komplizierten Dynamik ---
mit z.B. Zentrifugal- und Coriolis-Kr"aften~---
ist dies aber schon bei Robotern mit nur drei Drehgelenken
extrem aufwendig und fehleranf"allig.
F"ur einen industrie"ublichen f"unf- oder sechsgelenkigen Roboter
k"onnen die Differentialgleichungen
kaum noch von Hand aufgestellt werden.
In der Praxis ist daher eine automatisierte Herleitung
mittels symbolischer Formelmanipulation unabdingbar, ein
Thema, auf das
W.~Schiehlen in seinem Vortrag einging.
 
Des weiteren ist es denkbar, da"s im Bereich der Optimierung
die automatische Erzeugung von Ableitungsinformationen
(Gradienten, Hesse-Matrizen) durch symbolische Berechnung
effizienter ist als die derzeit benutzten Methoden.
In diesem Rahmen w"urde die Robotik als eines von vielen
Anwendungsgebieten vom Einsatz der \ca\ profitieren.
\begin{flushright}
M.~Steinbach
\end{flushright}

\item {\bf Conference on Commutative Algebra, Algebraic Geometry
and their Interactions with Computer Algebra }
 
Eisenach, 05.-13.06. 1991
 
Im Mittelpunkt der Konferenz standen  Probleme der kommutativen
Algebra und algebraischen Geometrie, wobei
Computeralgebraanwendungen als praktisches Hilfsmittel im
Hintergrund deutlich wurden. Direkten Bezug zur Computeralgebra
hatten folgende Vortr"age :
 
D. Bayer und M. Stillman referierten "uber die wichtigsten
algorithmischen Neuerungen der konstruktiven kommutativen
Algebra (Radikalberechnung, ungemischter Anteil,
Prim"arzerlegung), von denen einige in ihrem System    MACAULAY
implementiert sind.
 
J. Grabmeier demonstrierte das System Scratchpad und J.  Apel
und U. Klaus das von ihnen an der Uni Leipzig entwickelte System
FELIX (f"ur MS-DOS-PC).
 
Die Konferenz wurde von IBM Deutschland materiell und finanziell
unterst"utzt. So hatten  die Teilnehmer die M"oglichkeit, an einer RISC
6000 und zwei 80386-er Rechnern unter fachkundiger Anleitung
Scratchpad und FELIX mit eigenen Problemen zu testen.
 
 
{\footnotesize
Vortr"age (in chronologischer Reihenfolge) :
 
  F.Gaeta~: {\it  Hentzelt-Noether elimination methods and
                associate forms}~;
  E.Kunz~: {\it The residue theorem on $P^n$}~;
  M.Brodmann~: {\it Typical sheaves of B-modules}~;
  L.T.Hoa~: {\it Hyperplane sections and Castelnuovo-Mumford
                regularity}~;
  J.Grabmeier~: {\it Introduction to the computer algebra system
                Scratchpad}~;
  J.Herzog~: {\it On quasi homogeneous isolated singularities}~;
  F.G.Martens~: {\it Kurvensekanten und der Satz von Clifford}~;
  D.Popescu~: {\it Indecomposable generalized Cohen-Macaulay
                modules}~;
  M.Stillman~: {\it Some homological methods in the theory of
                splines}~;
  D.Bayer~: {\it  Geometry of Gr"obner bases}~;
  T.Usa~: {\it  Structures of projective embeddings
                      (Syzygies and the normal bundles)}~;
   M.Hashimoto~: {\it  Relations on Pfaffians}~;
   D.Bayer et al~: {\it  Gr"obner bases problem session}~;
   J.Apel/U.Klaus~: {\it FELIX - a program for constructive
                algebra}~;
   G.Valla~: {\it  On some conjectures on the resolution
                      of points in the projective space}~;
   T.Geramita~: {\it  Rational Surfaces and Points in $P^2$}~;
   P.Salmon~: {\it  Non perfect ideal of determinantal type
                      related to singularities}~;
    L.M.Druzkowski/T.Krasinski/S.Spodzieja~: {\it The Jacobian
                conjecture - a few approaches to the problem}~;
   L.O'Carroll~: {\it  Artin-Rees numbers and their uniformity}~;
   T.Gateva-Ivanova~: {\it Noetherian properties of skew
                      polynomial rings with binomial relations}~;
   A.Martsinkovsky~: {\it Glueing Cohen-Macaulay modules with
                      applications to isolated singularities}~;
   R.H"ubl~: {\it  Relative duality and residues}~;
    J.Backelin~: {\it  Slopes of resolutions}~;
   T.Hibi~: {\it  Cohen-Macaulay types of Stanley-Reisner
                      rings of distributive lattices}~;
   O.Pasarescu~: {\it  Linear systems on rational surfaces --
                      applications to curves in $P^n$/C}~;
   J.R.Strooker~: {\it Monomial conjecture and complete intersections}~;
}\\ %end of \small
\begin{flushright}
H.-G.~Gr"abe
\end{flushright}
 
%\item {\bf Special Session on Symbolic Mathematics as a tool for
%Building Engineering Software}
 
%of The American Society of Mechanical Engineers European Joint Conference
%on Engineering Systems Design and Analysis, Istanbul, T"urkei, 17--20.06.1991.
 
%{\footnotesize Kontaktadresse:  Laurence L. Leff, Stipes 447,
%Department of Comp. Science, Western Illinois University, Macomb, Il. 01455,
% USA.}
 
 
\def\skipaline{\vskip12pt plus 1pt\relax}
\newcommand {\F}{{\rm{I\!F}}}
\item {\bf Computational Number Theory}

Oberwolfach, 07.--13.7.1991

Die Tagung stand unter der Leitung von Hendrik W. Lenstra (Berkeley und
Princeton), Michael E. Pohst (D\"usseldorf) und Horst G\"unter Zimmer
(Saarbr\"ucken).  \\ \noindent
Nach dem Erfolg der ersten Tagung \"uber {\em Konstruktive algebraische
Zahlentheorie} im Jahre 1988 fand 1991 die zweite Tagung mit dem etwas weiter
gefa\ss ten Titel {\em "Computational Number Theory} statt.
Das gro\ss e Interesse
an diesem relativ neuen und hochaktuellen Gebiet zeigte sich an den zahlreichen
Anfragen, die die Veranstalter aus aller Welt erhielten. \\  \noindent
An der Tagung nahmen 44 Teilnehmer aus 10 L\"andern teil. In 37 Vortr\"agen
wurden Themen der algorithmischen Zahlentheorie behandelt. Dabei spielten
theoretische und praktische Aspekte des Computereinsatzes eine besondere
Rolle.          \\ \noindent
Die behandelten Themen umfa\ss ten Faktorisierungsmethoden bzw. -ver\-fah\-ren
und Primzahltests, Galoissche Theorie, Gitter und quadratische Formen,
 diophantische Gleichungen,
Arithmetik algebraischer Zahlk\"orper sowie elliptische Kurven und Modulformen.
 \\ \noindent
Auf Workstations bzw. PC's von SUN, Macintosh und Apollo waren wiederum
\ca-Algebra Pakete wie KANT und PARI installiert.
Dadurch konnten in Diskussionen
w\"ahrend der Tagung aufgetretene algorithmische Probleme direkt angegangen
werden. \\ \noindent
Zus\"atzlich zum Vortragsprogramm fand in einer Abend\-sit\-zung eine
zwei\-st\"un\-di\-ge Dis\-kussion \"uber Software-Entwicklung statt. Dabei
 wurden
Fragen der Standardisierung, Kommunikation, Information, Organisation,
Por\-ta\-bi\-li\-t\"at, Ver\-f\"ug\-bar\-keit und Finanzierung er\"ortert. Au\ss
 erdem
kamen die Probleme der Herausgabe von Source-Codes und der Anerkennung
von Software-Entwicklung als wissenschaftliche Leistung zur Sprache.
Als Re\-s\"u\-mee wurde eine engere Zusammenarbeit der verschiedenen
 Arbeitsgruppen
bei der Software-Entwicklung angeregt. \\ \noindent
Algorithmische Methoden gewinnen zunehmend an Bedeutung bei der L\"o\-sung
 theoretischer
und praktischer Probleme der Zahlentheorie. Das zeigte sich nicht zuletzt an dem
 gro\ss en
Zuspruch, den die Tagung auf internationaler Ebene gefunden hat.\\
{\footnotesize
J. Cremona: {\it Periods of modular forms, elliptic curves, and the
 Birch\--Swin\-ner\-ton-Dyer
con\-jec\-ture over ima\-gi\-na\-ry qua\-dra\-tic num\-ber fields };
H. Cohen: {\it Computing large tables of modular forms };
F. Morain: {\it Playing with Galois Theory };
C.J. Smyth: {\it Mahler measure of polynomials with all zeros in a sector };
A.M. Odlyzko: {\it Lattice packings better than the Minkowski-Hlawka bound };
I. Ga\`{a}l: {\it On the resolution of index form equations   };
A. Peth\"o: {\it Complete solutions of parametrized Thue and index form
 equations };
B.J. Birch: {\it Non congruence subgroups };
U. Schneiders: {\it Rangverhalten elliptischer Kurven beim \"Ubergang vom
 rationalen
Zahlk\"orper zu quadratischen Erweiterungen };
B.M.M. de Weger: {\it A Thue equation over a quadratic number field };
R. Pinch: {\it Integer points on elliptic curves };
D. Grant: {\it Integer points on curves of genus $2$ };
E.V. Flynn: {\it Sequences of rational torsion divisors };
F. Diaz y Diaz: {\it Tables of quintics };
M. Olivier: {\it Imprimitive number fields of degree nine and their Galois
 groups };
A.O.L. Atkin: {\it Supersingular $j$-equations and Berlekamp factorization };
B.H. Matzat: {\it Polynome mit der Gruppe $\mbox{Sp}_6 (2)$ usw. };
I. del Corso: {\it Factorization of primes in number fields };
H.C. Williams: {\it Compact representation of the fundamental unit in a complex
 cubic field  };
F. Halter-Koch: {\it Computational aspects of non-unique factorization };
J.C. Lagarias: {\it The Farey shift and Minkowski's ?-function };
J. Buchmann: {\it Computing Hermite normal forms of large sparse matrices };
B. Vall\'{e}e: {\it The lattice reduction algorithm of Gauss: an average case
 analysis };
R. Scharlau: {\it On the classification of integral quadratic forms };
J.M. Pollard: {\it Factorization of numbers $pq^2$ };
M.S. Manasse: {\it Factoring integers with graph theory and two large primes };
R.D. Silverman: {\it Computational experience with the general Number Field Sieve
 };
S.S. Wagstaff: {\it Factorization of Euler numbers and Bernoulli numerators };
W. Bosma: {\it Explicit primality criteria for $h 2^k \pm 1$ };
J. Teitelbaum: {\it Modular symbols for $\F _q(T)$ };
J.W. Sands: {\it Computation of stable Iwasawa invariants };
K. Nakamula: {\it Class number relations related to the cyclo-elliptic method
of computing the class numbers and units };
R. Dvornicich: {\it A converse of Artin's density theorem };
N. Koblitz: {\it Nonsupersingular CM-curves suitable for cryptography };
L.C. Washington: {\it $p$-adic $L$-functions and magic cubes };
J. McKay: {\it Mahler, moonshine, and Hecke };
M.E. Pohst: {\it Some remarks on unit and class group computations }
}\\
\begin{flushright}
U. Schneiders
\end{flushright}
 
\item {\bf International Symposium on Symbolic and Algebraic
Computation ISSAC '91}
 
Bonn, 15.--17.07.1991.
 
%Das {\em International Symposium on Symbolic and Algebraic
%Computation 1991} fand vom 15. bis 17 Juli in Bonn statt.
Dies war nach Leipzig 1987 die zweite {\em ISSAC}, die in Deutschland
veranstaltet wurde.
Insgesamt kamen mehr als 250 Teilnehmer.  Besonders
erfreulich war die Tatsache, da\ss\ durch eine gro\ss
z"ugige DFG-F"orderung mehr als ein Dutzend Teilnehmer aus
den neuen Bundesl"andern darunter waren. Von mehr als 230
eingereichten Arbeiten wurden ca. 70 angenommen, die im
Tagungsband ver"offentlicht sind. Er ist bei ACM Press
erschienen.
 
Aus den Tagungsbest"anden sind noch einige Proceedings zum
Tagungspreis von DM 40,- zu haben. Interessenten wenden sich
bitte an Frau M.~Dreesen, GMD, Institut F1, Postfach 1240,
5205 St.~Augustin.

%\begin{scriptsize}
\begin{footnotesize}
\noindent
{\bf Eingeladene Vortr\"age:}\\
A.C.~Hearn, {\it Algebraic computation: The next decade};
A.~Griewank, {\it Automatic differentiation:  Applying the chain rule
to numbers};
A.~Sch\"onhage, {\it Fast reduction and composition of binary quadratic forms};
D.~Stoutemyer, {\it Portable computer algebra: Past, present and future};
R.~Penrose, {\it Computing tensor diagrams};
P.~Rideau, {\it Computer algebra in mechanics:  Application to
spacecraft dynamics};\\
 
\noindent
{Vortr\"age:}\\
R.~Zippel, {\it Rational function decomposition};
D.~Yu.~Grigoriev and M.~Karpinsky, {\it Algorithms
  for sparse rational interpolation};
V.~Shoup, {\it A fast deterministic algorithm for factoring
  polynomials over finite fields of small characteristic};
V.~Trevisan and P.~S.~Wang, {\it Practical factorization
  of univariate polynomials over finite fields};
J.~H.~Davenport, P.~Gianni
  and B.~M.~Trager, {\it Scratchpad's
  view of algebra II: A categorical view of factorization};
S.~R.~Czapor,{\it A heuristic selection strategy for
  lexicographic Gr\"obner bases?};
A.~Giovini, T.~Mora, G.~Niesi, L.~Robbiano
  and C.~Traverso, {\it ``One sugar cube, please'' or Selection strategies
  in the Buchberger algorithm};
M.~Marinari, H.~M.~M\"oller and T.~Mora, {\it Gr\"obner
  bases of ideals given by dual bases};
T.~Becker and V.~Weispfenning, {\it The Chinese remainder
  problem, multivariate interpolation, and Gr\"obner bases};
R.~B\"undgen, {\it Completion of integral polynomials by
  AC-term completion};
L.~G.~Vega, {\it A subresultant theory for multivariate
  polynomials};
D.~Manocha and J.~Canny, {\it Efficient techniques for
  multipolynomial resultant algorithms};
J.~Canny and J.~M.~Rojas, {\it An optimal condition for
  determining the exact number of roots of a polynomial system};
J.~Backelin and R.~Froeberg, {\it How we proved that there
  are exactly 924 cyclic 7-roots};
W.~Y.~Sit, {\it A theory for parametric linear systems};
Xiao-Shan Gao and Shang-Ching Chou, {\it Computations with
  parametric equations};
%%%%%%%%%
R.Schulze-Pillot, {\it An algorithm for computing
  genera of ternary and quaternary quadratic forms};
A.~Peth\"o, {\it Application of Gr\"obner bases to the
  resolution of systems of norm equations};
W.~Bosma and M.~Pohst, {\it Computations with finitely
  generated modules over Dedekind rings};
M.~Rybowicz, {\it An algorithm for computing integral
  bases of an algebraic function field};
L.~Langemyr, {\it An analysis of the subresultant
  algorithm over an algebraic number field};
T.~Beth, W.~Geiselmann and F.~Meyer,  {\it Finding (good)
  normal bases in finite fields};
J.~Buchmann and V.~M\"uller, {\it Computing the number of
  points of elliptic curves over finite fields};
A.~Stein and H.~G.~Zimmer, {\it An algorithm for
  determining the regulator and the fundamental unit of a
  hyperelliptic congruence function field};
I.~Ga\'al, A.~Peth\"o and M.~Pohst, {\it On the resolution
  of index form equations};
J.~Schmitt, {\it An embedding algorithm for algebraic
  congruence function fields};
W.~H.~Burge, {\it Scratchpad and the Rogers--Ramanujan
  identities};
%%%%%%%%%%%%%
G.~Havas, {\it Coset enumeration strategies};
L.~Babai, G.~Cooperman, L.~Finkelstein
  and \'A.~Seress, {\it Nearly linear time algorithms for permutation groups
  with a small base};
G.~Butler, S.~S.~Iyer and S.~H.~Ley, {\it A
  deductive database of the groups of order dividing 128};
I.~A.~Faradzev and M.~H.~Klin, {\it Computer package for
  computations with coherent configurations};
V.~A.~Ilyin and A.~P.~Kryukov, {\it Symbolic simplification
  of tensor expressions using symmetries, dummy indices and identities};
W.~Oevel and K.~Strack, {\it The Yang-Baxter equation
  and a systematic search for Poisson brackets on associative algebras};
A.~A.~Zolotykh, {\it A package for computations
  in simple Lie algebra representations};
H.~Schlegel, {\it Determination of the root system of
  semisimple Lie algebras from the Dynkin diagram};
%%%%%%%%%%%%%%%%%
M.~Bronstein, {\it The Risch differential equation on
  an algebraic curve};
D.~Richardson, {\it Towards computing non algebraic
  cylindrial decompositions};
F.~Schwarz, {\it Existence theorems for polynomial
  first integrals};
A.~V.~Astrelin, {\it A bound of degree of
  irreducible eigenpolynomials of some differential operator};
S.~Abramov and K.~Kvashenko, {\it Fast algorithms to search
  for the rational solutions of linear differential equations with polynomial
  coefficients};
S.~B.~Yakubovich and Yu.~F.~Luchko, {\it The evaluation
  of integrals and series with respect to indices (parameters)
  of hypergeometric functions};
G.~Chen, J.~Della Dora and L.~Stolovitch, {\it Nilpotent
  normal form via Carleman linearization (for systems of ordinary
  differential equations)};
F.~Renner, {\it Nonlinear evolution equations and the
  Painlev\'e analysis: A constructive approach with Reduce};
J.~Hietarinta, {\it Searching for integrable PDE's by
  testing Hirota's three-soliton condition};
P.~Crouch, R.~Grossman and R.~Larson, {\it Computationss
  involving differential operators and their actions on functions};
G.~J.~Reid and A.~Boulton, {\it Reduction of systems of
  differential equations to standard form and their integration using
  directed graphs};
V.~P.~Gerdt, N.~V.~Khutornoy and
  A.~Yu.~Zarkov, {\it Lie-B\"acklund symmetries of coupled nonlinear
  Schr\"odinger equations};
V.~V.~Kornyak and W.~I.~Fushchich {\it A program
  for symmetry analysis of differential equations};
G.~Pecelli, {\it Formal methods in delay--differential
  equations};
I.~Cohen and K.-E.~Thylwe, {\it Obtaining exact
  steady-state responses in driven undamped oscillators};
B.~de~Jager, {\it Symbolic calculation of zero dynamics for
  nonlinear control systems};
%%%%%%%%%%%%%
A.~Diaz, E.~Kaltofen, K.~Schmitz and
  T.~Valente, {\it DSC:  A system for distributed symbolic computation};
W.~K\"uchlin, {\it On the multi-threaded computation of
  integral polynomial greatest common divisors};
F.~Roch-Siebert and G.~Villard, {\it PAC: First experiments
  on a 128 transputer meganode};
T.~Weibel and G.~H.~Gonnet, {\it An algebra of
  properties};
R.~J.~Fateman, {\it Canonical representations in Lisp
  and applications to computer algebra systems};
A.~A.~Letichevsky, J.~V.~Kapitonova and
  S.~V.~Konozenko, {\it Algebraic programs optimization};
S.~N.~Grudtsin and V.~N.~Larin, {\it Integrated system
  Intercomp and computer language for physicists};
J.~Apel and U.~Klaus, {\it FELIX: an assistant for
  algebraists};
M.~Roelofs and P.~K.~H.~Gragert, {\it Implementation of
  multilinear operators in Reduce and applications in mathematics};
L.~G.~Vega, {\it Working with real algebraic plane curves
  in Reduce: the GCUR package };
R.~Gebauer, M.~Kalkbrener, B.~Wall
  and F.~Winkler, {\it CASA:
  A computer algebra package for constructive algebraic geometry};
R.~Marzinkewitsch, {\it Operating computer algebra systems
  by handprinted input};
%%%%%%%%%%%%%
J.~H.~J.~Molenkamp, V.~V.~Goldman and
J.~A.~van~Hulzen, {\it An improved approach to automatic error cumulation
  control};
R.~Liska and M.~Yu.~Shashkov, {\it Algorithms for
  difference schemes construction on non-orthogonal logically rectangular
  meshes};
V.~G.~Ganzha, B.~Yu.~Scobelev
  and E.~V.~Vorozhtsov, {\it Stability analysis of difference schemes by the
  catastrophe theory methods and by means of computer algebra};
W.~Kleczka and E.~Kreuzer, {\it Systematic computer-aided
  analysis of dynamic systems};
K.~Gatermann, {\it Mixed symbolic-numeric solution of
  symmetrical nonlinear systems};
%%%%%%%%%%%%%
R.~Berndt, A.~Lock, G.~Witte
  and C.~W\"oll, {\it Application of computer algebra to surface
  lattice dynamics};
L.~R.~Surguladze and M.~A.~Samuel, {\it Algebraic
  perturbative calculations in high energy physics: methods,
  algorithms, computer programs and physical applications};
I.~Trenkov, M.~Spiridonova and
  M.~Daskalova, {\it An application of the Reduce system for solving a
  mathematical geodesy problem};
V.~M.~Rudenko, V.~V.~Leonov, A.~F.~Bragazin and
  I.~P.~Shmyglevsky, {\it Application of computer algebra to the investigation
  of the orbital satellite motion};
I.~V.~Amirkhanov, E.~P.~Zhidkov
  and I.~E.~Zhidkova, {\it The betatron oscillations in the vicinity of
  nonlinear resonance in cyclic accelerator investigation};
A.~A.~Bel'kov and A.~V.~Lanyov, {\it Reduce usage for
  calculation of low-energy process amplitudes in chiral QCD model};
V.~A.~Ilyin, A.~P.~Kryukov, A.~Ya.~Radionov and
  A.~Yu.~Taranov, {\it PC implementation of fast Dirac matrix trace
  calculations};
F.~Vinette, {\it Features of symbolic computation exploited
  for the calculation of lower energy bounds of cyclic polyene models};
W.~L.~Roque and R.~P.~dos~Santos, {\it Qualitive reasoning,
  dimensional analysis and computer algebra};
Dongming~Wang, {\it A toolkit for manipulating indefinite
  summations with application to neural networks};
%\end{scriptsize}
\end{footnotesize}
\begin{flushright}
\hfill B.~Hornef, F.~Schwarz
\end{flushright}


 
\item {\bf  Symbolic Mathematical Computation, IBM Europe Institute}

Oberlech, "Osterreich, 28.07.--03.08.1991


 
Auf dieser Tagung unter der Leitung von R. Jenks, IBM Yorktown Heights,
bei der die Teilnahme nur auf Einladung m{\"o}glich war,
wurde in den Vortr{\"a}gen die ganze Breite der Computeralgebra abgedeckt.
In einer Podiumsdiskussion wurde ferner die Zielsetzung und m{\"o}gliche
Entwicklung mathematischer Software diskutiert.
 
Die Tagung bewegte sich nach {\"u}bereinstimmender Meinung aller Teilnehmer
auf einem sehr hohen Niveau und trotz der Annehmlichkeiten der Unterbringung
waren alle Vortr"age au{\ss}ergew{\"o}hnlich
gut besucht. Etliche ad hoc angesetzte Sitzungen
belegen das hohe Engagement der Teilnehmer.
 
An drei Workstations vom Typ IBM RS/6000 (mod 540) bestand
au{\ss}erdem f{\"u}r alle
Teilnehmer die M{\"o}glichkeit, das von NAG angek{\"u}ndigte
 Computeralgebra-System
Axiom (vermutlich noch besser bekannt unter dem Projektnamen Scratchpad)
 ausf{\"u}hrlich
zu benutzen.
 
An die Teilnehmer wurden Kopien der einzelnen Vortragsunterlagen verteilt,
Proceedings werden jedoch nicht erscheinen.

{\footnotesize 
Die Vortr{\"a}ge im chronologischer Reihenfolge:
 
Robert Grossman (University of Illinois): {\it Symbolic Computation in Industry,
Government and Academia};
George Andrews (Penn State University): {\it How I Use AXIOM to Solve
Problems in Combinatorics};
Larry Lambe (ETH Z{\"u}rich): {\it AXIOM as a Tool in Homological
 Algebra};
Fritz Schwarz (GMD St. Augustin): {\it Towards an Automatic Ordinary Differential
Equations Solver};
Manuel Bronstein (ETH Z{\"u}rich): {\it Differential Equations: towards Desktop
Algorithmic Solvers};
Dominique Duval (Universite de Limoges): {\it Algebraic Closure in AXIOM:
An Example of Dynamic Evaluation};
James Davenport (Univ. of Bath): {\it Integration: The Myths Exposed};
David Stoutemyer (Soft Warehouse, Hawaii): {\it Portable Computer Algebra: Past,
Present and Future};
Stephen Watt (IBM Yorktown Heights): {\it Programming Structures for
Symbolic Computation};
Barry Trager (IBM Yorktown Heights): {\it Design of the AXIOM Library};
Richard Zippel (Cornell Univ): {\it Integrating Numeric and Symbolic
Computing};
D. Chudnovsky and G. Chudnovski (Columbia University, New York): {\it High
Precision Computation of Special Function in Different Domains};
(Vortrag auf Video)
William Kahan (Univ. of California, Berkeley):
{\it The Interface between Symbolic and Numeric Computation};
Daniel Lazard ( Univ. Paris VI): {\it Systems of Algebraic Equations};
Patricia Gianni (Univ. Pisa): {\it A Categorical View of 
(Polynomial) Factorization};
R{\"u}diger Loos (Univ. T{\"u}bingen): {\it Real Problems};
Dana Scott (Carnegie Mellon): {\it Experience with Teaching Projective Geometry
with Mathematica};
John Devitt (Saskatchewan):
{\it Computer Algebra in Education: Joys and Sorrows};
Johannes Grabmeier (IBM Heidelberg): {\it Groups, Finite Fields and Algebras,
Constructions and Calculations};
Hassner (IBM Alamden): {\it How to design Good Error Correcting Codes (ECC)
Using Computer Algebra};
Stuart Feldman (Bellcore): {\it Requirements for an Applied Mathematician's
Assistant};
Panel-discussion: {\it R.~Jenks, B. Ford (NAG), W. Kahan, S. Feldman, D. Scott,
D. Stoutemyer}.
}\\ 
\begin{flushright}
G. Schneider
\end{flushright}


\item {\bf DMV-Jahrestagung: Demonstrationsveranstaltung
Computeralgebra--Systeme}

Bielefeld, 15.--20.09.1991.

Bei der diesj"ahrigen DMV-Tagung in Bielefeld fand die 
Repr"asentation der Computeralgebra neben einigen Vortr"agen in 
der Sektion Wissenschaftliches Rechnen (s.u.)
im Rahmen einer De\-mon\-stra\-tions\-ver\-an\-stal\-tung statt.
Bis auf eine Ausnahme wurden alle marktreifen Computeralgebra -
Systeme und erw"ahnenswerten Entwicklungen auf diesem Gebiet
vorgestellt. Damit war dies die umfassendste Demonstration von
Computeralgebra--Werkzeugen, die es bislang gegeben hat.
 
Die technische und organisatorische Durchf"uhrung machte die Gruppe
von Prof. Dr. B. Fuchssteiner aus Paderborn.
 
Kurz zu den Details : F"ur die Vortr"age und Demonstrationen
standen ein H"orsaal und ein Seminarraum zur Verf"ugung.
In dem Seminarraum befanden sich neben drei Sun's, einem Apple
Macintosh und einem IBM AT, mit denen die Paderborner angereist
waren, zwei HP 700 aus Aachen (Gruppe von Prof. Dr. J. Neub"user)
und eine IBM RS/6000 von Dr. J. Grabmeier aus Heidelberg.
Diese Maschinen waren untereinander sowie mit einem weiteren Mac
und einem AT im H"orsaal vernetzt. Durch diese Konstellation konnten
die Vortragenden im H"orsaal bei der Demonstration ihrer Sy\-ste\-me auf
die Resourcen im Seminarraum zugreifen; im H"orsaal geschah die
Visualisierung mit Hilfe eines LCD-Displays.
Man beachte, da"s von der gastgebenden Universit"at mangels Masse
keine Rechner beigesteuert werden konnten (die Maschinen im H"orsaal
kamen ebenfalls aus Paderborn).
Die technische Realisierung funktionierte einwandfrei und fand
sowohl bei den Vortragenden als auch bei den Zuh"orern gro"sen Anklang.
Der organisatorische Rahmen beinhaltete die Vorstellung und/oder
Demonstration der Computeralgebra--Systeme in meist einst"undigen,
nachmittags statt\-fin\-den\-den Vortr"agen im H"orsaal. W"ahrend der
ganzen Zeit bestand dar"uberhinaus die M"oglichkeit die
installier"-ten Systeme im Seminarraum selbst auszuprobieren und auf Herz und
Nieren zu testen; {\em Computeralgebra zum Anfassen} war das Stichwort.
 
Neben den Vorstellungen der Systeme geh"orten zwei weitere Vortr"age
zum Programm, die sich durch inhaltliche Substanz und gro"sen
 Unterhaltungswert auszeichneten.
Zum einen war dies der Einf"uhrungsvortrag von Prof. Fuchssteiner,
der kritisch den Stand der Computeralgebra in der Mathematik und
die F"ahigkeiten aktueller Systeme beschrieb.
Zum anderen war dies der Vortrag von Prof. Gonnet "uber Designziele
von Computeralgebra--Systemen. Letzterer Vortrag kam aus der
Sektion {\em Wissenschaftliches Rechnen}, wurde aber wegen des gro"sen
Andrangs und Interesses, im Rahmen der {\em Demonstrationsveranstaltung
Computeralgebra} gehalten; meines Erachtens h"atte er dort sowieso
von Anfang an hingeh"ort.
 
Die Vorstellungen der etablierten Systeme waren erwartungsgem"a"s
gut besucht. Bei den anderen Vortr"agen waren sonst leider h"aufig
nur Spezialisten und/oder Mitglieder der eigenen Gruppe anwesend.
Insgesamt stie"s das Programm aber durchaus auf angemessenes Interesse.
Dies konnte man an der Zahl der mathPAD--Exemplare ablesen,
die von der Paderborner Gruppe eigens gedruckt und verteilt wurden.
220 Hefte der DMV--Sonderausgabe fanden einen Abnehmer, weitere
Interessenten mu"sten sich mit der Kontaktadresse (s.u.) zufrieden
geben. Somit fanden mehr als ein Viertel aller Tagungsteilnehmer
ihren Weg in H"orsaal bzw. Seminarraum.
 
Die Zeitschrift bestand "ubrigens aus Beitr"agen aller Vortragenden
und ist damit die bislang vollst"andigste Beschreibung von \ca-Systemen auf dem Markt.
 
Abschlie"send eine pers"onliche Bemerkung :
Der mangelnde Stellenwert der Computeralgebra in der Mathematik,
der auch schon im Vortrag von Prof. Fuchssteiner kritisiert wurde,
manifestierte sich auf dieser Tagung einmal mehr. Es w"are sicher
w"unschenswert gewesen die Computeralgebra gleichberechtigt in
einer Sektion pr"asentiert zu haben, als ihr im Rahmen einer
Demonstrationsveranstaltung eine Sonderrolle zuzuschieben. Es geh"ort
scheinbar doch eine geh"orige Portion Weitblick dazu, dieses Gebiet,
das f"ur die "au"sere Darstellung der Mathematik so geeignet ist und
dem Ma\-the\-ma\-ti\-ker im Alltag ein so hilfreiches Werkzeug sein kann,
als vollwertigen Bereich der Mathematik zu akzeptieren.
 
{\footnotesize 
Das Programm in der Reihenfolge der Vortr"age:
 
B. Fuchssteiner (Paderborn): {\it Was ist Computeralgebra ?};
R. Maeder (Z"urich, Schweiz): {\it Mathematica};
M. Sch"onert (Aachen): {\it GAP};
K. Morisse (Paderborn): {\it MuPAD};
W. Oevel (Paderborn): {\it SymmPAD, Symmetrien nichtlinearer Systeme};
V. Felsch (Aachen): {\it SOGOS und SPAS};
P. Dr"axler (Bielefeld): {\it CREP};
M. Monagan (Z"urich, Schweiz): {\it The Maple computer algebra system};
G. Gonnet (Z"urich, Schweiz), Sektion {\em wiss. Rechnen}:
The Design of MAPLE: {\it a Comprehensive, Portable and Efficient
 Computer Algebra System};
A. Bonadio (San Francisco, USA): {\it Theorist: a User Interface
for Symbolic Algebra};
H. Kredel (Passau): {\it MAS - Modula-2 Algebra System};
M. van Leeuwen (Amsterdam, Niederlande): {\it Lie, a software
package for computations with Lie groups and their representations};
H. Melenk (Berlin): {\it REDUCE 3.4};
J. Grabmeier (Heidelberg): {\it AXIOM auf der Workstation IBM RS/6000};
B. Kutzler (Hagenberg): {\it Der Mathematik-Assistent Derive, Version 2};
K. Behnke (Hamburg): {\it MACAULAY};
N.-P. Skoruppa (Bonn): {\it Das PARI-GP-Paket};
G. Schneider (Essen): {\it Das Computeralgebra - System CAYLEY};
U. Schneiders, P. Serf (Saarbr"ucken ): {\it Das Algorithmensystem 
SIMATH in der Zahlentheorie};
M. J"untgen (D"usseldorf): {\it KANT - Software f"ur das Rechnen
in algebraischen Zahlenk"orpern};
J. Apel, U. Klaus (Leipzig): {\it FELIX - ein Programm f"ur
konstruktive Algebra};
} 
Kontaktadresse f"ur mathPAD :
{\footnotesize 
\begin{center}
\begin{tabular}{c}
Prof. Dr. B. Fuchssteiner\\
Uni.-GH. Paderborn\\
Warburger Str. 100\\
4790 Paderborn\\
elektr. Adr.: mathpadjournal@uni-paderborn.de\\
\end{tabular}
\end{center}
}
\begin{flushright}
K. Hering 
\end{flushright}


\item {\bf DMV-Jahrestagung: 
Sektion Wissenschaftliches Rechnen}

Bielefeld, 15.--20.09.1991.
\noindent 
Der noch junge Begriff "`Wissenschaftliches Rechnen"' hat zur Zeit sicher noch
recht unscharfe Grenzen zu Nachbargebieten. Die in der Sektion gehaltenen
Vortr"age gliederten sich ziemlich deutlich in zwei Gruppen: 1. Berichte
"uber im wesentlichen numerische Projekte, zum Teil im
Hochleistungsrechnerbereich; 2. Berichte aus dem Bereich der \ca.
Von diesen fand insbesondere der (eingeladene) 50-Minuten Vortrag von
Gaston Gonnet: "`The Design of MAPLE: a Comprehensive Portable and
Efficient Computer Algebra System"' mehr als 100 Zuh"orer obwohl parallel
13 weitere Sektionen stattfanden.
 
{\footnotesize
Weitere Vortr"age aus dem Bereich der
\ca\ in zeitlicher Reihenfolge: 

G.~Steidl (Rostock): {\it Schnelle diskrete Fouriertransformation (DFT) und
abelsche Gruppen}, J.~Grotendorst (J"ulich): {\it Effiziente
Summationsverfahren f"ur die hypergeometrische Reihe $_2F_0$ und verwandte
St"orungsentwicklungen}, H.-G.~Gr"abe (Leipzig): {\it Hodgealgebren und
Standardbasen}, E.~Schr"ufer (St.~Augustin): {\it Lineare Algebra ohne
Vektoren in R"aumen von Polynomen}, J.~Ueberberg (Gie"sen): {\it Symbolische
Inzidenzgeometrie}, A.~Beutelspacher (Gie"sen): {\it Automatische
Berechnung von Parametern in geometrischen Strukturen}, M.~Geck: {\it
Zerlegungszahlen der Hecke Algebra vom Typ $F_4$}, G.~Schneider (Essen):
{\it Die Loewy-Reihen der projektiv unzerlegbaren Moduln von $Sz(8)$ in
Charakteristik 2}, M.~Wursthorn (Stuttgart): {\it Automorphismengruppen von
$p$-Gruppen}, A.~Wassermann (Bayreuth): {\it Arithmetik in endlichen
K"orpern}, W.~Plesken (Aachen): {\it Gitter und Gruppen}.
}
\begin{flushright}
J. Neub"user
\end{flushright}
 
\end{enumerate}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     Systeme                                                     %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Neues \"uber Systeme und Hardware\vspace{1mm}}\hrule}
\vspace*{0.5cm}
 
\renewcommand{\arraystretch}{1.3}

\begin{center}
{\Large {\bf Das \ca-System AXIOM}}\\
\smallskip
\end{center}

\def\sp{{AXIOM}}

\noindent
Das Computeralgebrasystem 
{\bf \sp}\footnote{\sp\ ist ein Warenzeichen der
The Numerical Algorithms Group Ltd.}, 
fr\"uher informell
mit {\sl Scratchpad} be\-zeich\-net, wurde im 
For"-schungs"-zen"-trum der IBM in 
Yorktown Heights mit Beitr\"agen des wissenschaftlichen Zentrums der IBM in
Heidelberg und vieler Gastwissenschaftler entwickelt.

NAG\footnote{NAG ist ein Warenzeichen der The Numerical Algorithms Group Ltd.},
bekannt durch seine FORTRAN-Library, hat das Copyright f\"ur das 
System erworben und als Produkt angek"undigt.  
Geplante Verf"ugbarkeit ist Ende 1991. Das System l\"auft auf 
auf der Workstation IBM~RISC~System/6000 unter AIX
und auf anderen Hardwareplattformen
von IBM. 

AXIOM ist durch sein
Designkonzept mit {\em abstrakten Datentypen}, das
{\em objektorientiertes} und {\em polymorphes 
Programmieren} erlaubt und die Realisation
{\em mathematischer Ka\-te\-go\-rien} und
{\em Strukturen} erm\"oglicht, ein System der dritten 
Generation. 

Der Interpretierer gestattet jedoch eine weitgehend 
typfreie Sicht. Zus\"atzlich erlaubt das 
{\sl window}-ge\-st\"utz\-tes 
{\em In\-for\-ma\-tions\-sy\-stem HyperDoc} mit Beispiel- und
Problemsammlungen, ausf\"uhrlicher Dokumentation, die 
direkt abrufbar ist, und einem Tutorium einen 
schnellen Einstieg f\"ur den Benutzer. 

Dies erm"oglicht, da"s das System, trotz seines tief\/liegenden mathematischen
Fundaments, sehr leicht einem gro"sen Kreis von Benutzern wie
Studenten, Naturwissenschaftlern, Ingenieuren, Wirtschaftswissenschaftlern 
in Forschung, Entwicklung und Lehre offensteht.

Das System enh\"alt eine umfangreiche {\em Ma\-the\-ma\-tik\-bi\-blio\-thek}
mit zug\"anglichem Quellcode.
Beim Design der Algorithmen wurde besonderer Wert auf 
algebraische Korrektheit gelegt. Einige Beispiele sind 
Algorithmen der {\em Integration}stheorie elementarer Funktionen, 
L\"osung einer linearen, gew\"ohnlichen {\em Differentialgleichungen} 
in geschlossener Form, Grenzwerte,
{\em Fak\-to\-ri\-sie\-rung}
 von Polynomen \"uber ganzen Zahlen, endlichen K\"orpern
und algebraischen Er\-wei\-te\-run\-gen der rationalen Zahlen,
Kettenbr\"uche,
L\"osen {\em polynomialer Gleichungssysteme}, Rechnen mit 
{\em Idealen} in Polynomringen, z.B. Pri\-m\"ar\-zer\-le\-gun\-gen,
verschiedene Konstruktionen  {\em end\-li\-cher K\"or\-per},
Rechnen in nicht-assoziativen
und nicht-kommutativen {\em Algebren},
Term\-er\-set\-zung, Patternmatching, {\em Ope\-ra\-to\-ren\-kal\-k\"ul},
Folgen und {\em Potenzreihen}, z.B. Taylor-, Laurent- und Puiseuxentwicklungen,
{\em Permutationsgruppen},
modulare {\em Darstellungstheorie} endlicher Gruppen,
un\-be\-stimm\-te Summation und numerische Berechnung spe"-ziel"-le Funktionen.


Schnittstellen zu 
{\em \TeX}, {\em SCRIPT} und {\em FORTRAN} und 
{\em Graphik} sind weitere Komponenten.
Neben der \"ublichen 2D- und 3D-Graphik sind besonders
das Zeichnen implizit gegebener algebraischer Kurven in 2D
und die mausgesteuerte Manipulationsm\"oglichkeiten der 
Graphikobjekte, sowie u.a. PostScript\footnote{PostScript ist ein 
Warenzeichen der Adobe Systems, Inc.}-Ausgabe, hervorzuheben.

Weitere Informationen, Preise und Bestellungen durch 
{\footnotesize 
\begin{center}
\makebox[5cm]{
\begin{tabular}{c}
NAG GmbH\\
Schleissheimerstr. 5\\
8046 Garching bei M\"unchen\\
Tel.: 089-3207395\\
Telefax: 089-3207396\\
\end{tabular}
} 
\ \ oder\ \ 
\makebox[5cm]{
\begin{tabular}{c}
NAG Ltd.\\
Wilkinson House\\
Jordan Hill Road\\
GB Oxford OX2 8DR\\
Tel.: +44-865-511245\\
Telefax: +44-865-310139\\
\end{tabular}
}
\end{center}
} 
\begin{flushright}
J.~Grabmeier
\end{flushright}

\begin{center}
{\Large {\bf 
Computeralgebra innerhalb der elektronischen Bibliothek eLib:\\
das Computeralgebra-Informationssystem CAIS
}}\\
\end{center}
 
Die FG Computeralgebra der GI, DMV und GAMM hat jetzt ab sofort einen
eigenst{\"a}ndigen Bereich innerhalb der elektronischen Bibliothek eLib.
Hier werden alle bisher erschienenen Computeralgebra-Rundbriefe
(in \TeX-Format) sowie allgemeine Hinweise und Mitteilungen
gesammelt und archiviert. Eine 
moderierte Diskussionsliste {\"u}ber Computeralgebra soll
etabliert werden. Herr G. Schneider vom Institut f{\"u}r Experimentelle
Mathematik der Uni Essen "ubernimmt
die Moderation. Bitte senden Sie Ihre Beitr"age 
ab sofort mit elektronischer Post nur an ihn:
\begin{center}
mat420@de0hrz1a.earn
\end{center}
Weitere Einzelheiten hierzu werden in den n{\"a}chsten Rundbriefen erscheinen.

Der Zugriff zur eLib kann sowohl interaktiv als auch {\"u}ber e-Mail
erfolgen.
Die Dialogverbindung erreicht man {\"u}ber
{\small
\begin{center}
\begin{tabular}{ll}
    Datex-P:&  +45050331033   (WIN)\\
            &  +2043623331033 (IXI)\\
    INTERNET:& telnet elib.zib-berlin.de (130.73.108.11)\\
       login:& elib  (kein Password erforderlich)\\
\end{tabular}
\end{center}
}%\small
F{\"u}r den Datex-P-Zugang ben{\"o}tigt man Zugriff auf ein PAD mit X.29 und
es sind etliche Parameter richtig einzustellen (Rechenzentrum fragen).
Beim telnet-Zugang ist dies nicht erforderlich, daf{\"u}r ist die
Response meist etwas langsamer als beim direkten Zugang via Datex-P.

Die eLib meldet sich mit einem Hauptmen"u, in dem man sich dann mittels
numerischer oder textueller Selektion in einem hierachischen Filesystem
bewegen kann. Insbesonders besteht die M{\"o}glichkeit, jede Datei, die man
sich gerade liest, per e-Mail zuzusenden. Dazu mu{\ss} ein Benutzer
jedoch bei der eLib registriert sein, d.h. die eLib mu"s seine e-Mail
Adresse kennen. F"ur Einzelheiten m"ochte ich dazu auf den eLib
Hauptmen"upunkt {\em Checkin Menu} verweisen.
Zus"atzlich besteht f"ur Internetbenutzer die M"oglichkeit, sich die
Dateien in der eLib auf den {\em anonymen ftp-Bereich} zu kopieren, so da"s
man von dort aus die kopierten Dateien per ftp abholen kann
(ftp elib.zib-berlin.de - 130.73.108.11; login: anonymous).

Im Hauptmen"u ist auch die Rubrik Computeralgebra untergebracht.
Zur Zeit gibt es darin die beiden Unter-Rubriken
{\small
\begin{center}
\begin{tabular}{ll}
CA-Mitt&    Mitteilungen der Fachgruppe\\
CA-Rund&    Zusammenstellung der bisherigen Rundbriefe der Fachgruppe\\
\end{tabular}
\end{center}
}%\small

Prinzipiell sind weitere Unter-Rubriken m{\"o}glich. F{\"u}r Anregungen an
den Moderator sind wir dankbar.
Der e-Mail Zugang zur eLib geschieht {\"u}ber die Adressen
{\small
\begin{center}
\begin{tabular}{ll}
    X.400:&   S=eLib;OU=sc;P=ZIB-Berlin;A=dbp;C=de\\
    INTERNET:& elib@elib.ZIB-Berlin.de\\
    BITNET:&   eLib@sc.ZIB-Berlin.dbp.de\\
    UUCP:&     unido!sc.ZIB-Berlin.dbp.de!eLib\\
\end{tabular}
\end{center}
}%\small
M{\"o}gliche elektronische Anfragen sind z.B.:
\begin{center}
{\footnotesize
\begin{tabular}{ll}
f{\"u}r einen generellen Index aller eLib-Bibliotheken: &{\tt send index},\\
f{\"u}r den Hauptindex der Rubrik Computeralgebra: &
{\tt send index from computeralgebra},\\
\ \ \ \ oder k"urzer:& {\tt send index from ca},\\
f{\"u}r den Index der Mitteilungen: &
{\tt send index from ca-mitt},\\
f{\"u}r den Index der Rundbriefe:&
{\tt send index from ca-rund},\\
f{\"u}r das Formblatt zum Grundsatzpapier:&
{\tt send gpfb.tex from ca-mitt},\\
f{\"u}r die vorl"aufige Gliederung des Grundsatzpapiers:&
{\tt send gpgl.tex from ca-mitt},\\
f{\"u}r diesen Rundbrief:&
{\tt send car9.tex from ca-rund}.\\
\end{tabular}
}%\footnotesize
\end{center}

F{\"u}r weitere Nachfragen stehen wir Ihnen gerne zur Verf{\"u}gung. Unsere
Adressen
sind im 8. \ca-Rundbrief (Seite 5) ver{\"o}ffentlicht.

\begin{flushright}
W. Dalitz,  J. L"ugger 
\end{flushright}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     Arbeitsgruppen                                              %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%{\Large\bf \hrule\vspace{1mm}
%{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
%\centerline{Berichte \"uber Arbeitsgruppen}\vspace{1mm}\hrule}
%\vspace*{3mm}
 
\noindent
 


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     Publikationen                                               %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Publikationen "uber Computeralgebra
\vspace{1mm}}\hrule}
\begin{itemize}

\item
E.~Kaltofen, B.~Buchberger (ed.)
{\em Computational Algebraic Complexity},
1990, ISBN 0-12-494780-4, Academic Press.

\item
S.M.~Watt (ed.)
{\em ISSAC'91, Conference Proceedings},
1991, ISBN 0-89791-437-6, ACM Press.

\item
David Harper, Chris Wooff and David Hodgkinson 
{\em A Guide to Computer Algebra Systems},
1991, ISBN 0-471-92910-7, John Wiley and Sons. 
 
This books 
provides a comparison between five of the most popular computer algebra
systems currently available:  MACSYMA, REDUCE, Maple, Mathematica and
Derive.  The book is based upon annual reports produced by the authors as
part of the U.K.  Computer Algebra Support Project at the University of
Liverpool, U.K. It contains
tables which directly compare the capabilities of the five systems, showing
{\em at a glance} whether a particular system has the features that you need
and case studies which show how computer algebra systems can be used to solve
real problems in math, science and engineering.

\begin{flushright}
D. Harper via  reduce-forum@RAND.ORG
\end{flushright}

\item
Die im 5. Computeralgebra-Rundbrief angek{\"u}ndigten Proceedings der
3. Cayley Users Conference in Essen (Nov. 1988) sind mittlerweile im
SIGSAM bulletin, vol. 25(1), 1991, erschienen.
\end{itemize}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     Lehrveranstaltungen                                         %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
{\Large\bf \hrule\vspace{1mm}
%{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Lehrveranstaltungen "uber Computeralgebra im WS 1991/92
\vspace{1mm}}\hrule}
{\small
\begin{itemize}

\item
{\bf RWTH Aachen}\\
{\em Einf"uhrungspraktikum in MAPLE}, Neub"user, Klein, Dietrich,
Blockpraktikum.

\item
{\bf Universit"at  Augsburg}\\
{\em Einf"uhrung in die \ca}, K"ulshammer, V2+"U2.

\item
{\bf Universit"at Bayreuth}\\
{\em Diskrete Strukturen und Computeralgebra}, A.~Kerber, V2+Praktikum.

\item
{\bf Universit"at Basel}\\
{\em \ca}, Ch.~Ullrich, V2+P1.

\item
{\bf Universit"at Bonn}\\
{\em \ca}, A.~Sch"onhage, V4+"U2.

\item
{\bf Universit"at Clausthal-Zellerfeld}\\
{\em Projektgruppe \ca}, Lex, S"oding, P2.

\item
{\bf Universit"at D"usseldorf}\\
{\em Konstruktive Zahlentheorie II}, M.~Pohst, V4 + \"U2.\\
{\em Algorithmen und Software (-entwicklung) in der algebraischen
Zahlentheorie}, M.~Pohst, S2.

\item
{\bf Universit"at-Gesamthochschule Essen}\\
{\em Computeralgebra-Systeme --- ein {\"U}berblick}, G. Schneider, V2.\\
{\em Computer-Praktikum}, G. Schneider, W. Happle, I. Janiszczak, {\"U}2.

\item
{\bf Universit"at Heidelberg}\\
{\em Computeralgebra}, J.~Grabmeier, V2.

\item
{\bf Universit"at Karlsruhe}\\
{\em Computeralgebra}, J.~Calmet, Homann, Tjandra, Proseminar. 

\item
{\bf Universit"at Leipzig}\\
{\em Einf"uhrung in die Computeralgebra}, W. La"sner, St. Forner, V2+P2.\\
{\em Grundlagen der Computeralgebra}, W. La"sner, V2.\\
{\em Fachpraktikum: Symbolisches Rechnen II}, W. La"sner, St. Forner, P2.\\
{\em Konstruktive kommutative Algebra}, H.-G. Gr"abe, S2.\\
{\em Computeralgebra f"ur Naturwissenschaftler}, W. La"sner, St. Forner, V2+P2.
 
\item
{\bf RISC Linz}\\
{\em Einf\"uhrung in die \ca }, F. Winkler, V2.\\
{\em SW-Systeme f"ur \ca  und Geometrie}, H. Hong, P2.\\
{\em Diskrete algorithm. Geometrie}, S. Stifter, V2.\\
{\em Computational Category Theory}, J. Pfalzgraf, V2.\\
{\em Algorithmen f"ur CAD und Roboterprogrammierung}, B. Buchberger, S2.\\
{\em SW-Technik im Bereich Symbolic Computation}, B. Buchberger,
  F. Lichtenberger, S2.\\
%{\em Algorithmische Kombinatorik}, B. Buchberger, P. Paule, S2\\
{\em Literaturseminar Symbolic Computation I}, B. Buchberger, S2.\\
{\em Programmierprojekt Symbolic Computation I}, B. Buchberger, P4.\\ 
{\em Praktische Beweistechnik und wissenschaftl. Arbeiten in Symb. Comp.},
B. Buchberger, V2.\\
{\em Automatisches Beweisen A}, D. Wang, V2.\\
{\em Symbolische und Numerische Methoden in der  Dynamik}, W. Hirschberg, V2.

\item
{\bf Universit"at Passau}\\
{\em Polynomfaktorisierung}, V.~Weispfenning, V2.

\item
{\bf Universit"at-Gesamthochschule Paderborn}\\
{\em Mathematik am Computer, Lsg. math. Probleme mit Hilfe von Maple},
Chr. Nelius, V2+"U2.\\
{\em Arbeitsseminar MuPAD: Entwicklung eines Computeralgebra--Systems},
B. Fuchssteiner et al., S2.

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

\item
{\bf Universit"at T"ubingen}\\
{\em Computeralgebra}, R.~Loos, V2+"U1.

\item
{\bf Universit"at Z"urich}\\
{\em Mathematische Software}, E.~Engeler, V2+S2.\\
{\em Mathematica: Ein Computerwerkzeug f"ur den Ingenieur}, S.~Kaufmann,
 V2+"U1.\\
{\em Selbst. Arbeiten in computergest"utzter Mathematik}, E.~Engeler, S2.\\
{\em Algorithms and Design of Symbolic Computation Systems}, M.~Monagan, V2.


\end{itemize}
}

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

{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Kurze Mitteilungen}\vspace{1mm}\hrule}
 
\vspace*{2mm}
{\small

\begin{itemize}

\item

Schwerpunktprogramm
Algorithmische Zahlentheorie und Algebra
 
 
Von der Deutschen Forschungsgemeinschaft wurde zum 01.10.1991 ein neues
Schwerpunktprogramm Algorithmische Zahlentheorie und Algebra unter der
Koordination von B.H. Matzat, IWR Univ. Heidelberg, eingerichtet.
 
Hierin sollen sowohl die Entwicklung, Analyse und Implementation von
Algorithmen als auch das L"osen mathematischer (und auch
au"sermathematischer) Probleme mit den dabei entwickelten Methoden und
Hilfs"-mit"-teln gef"ordert werden. Gedacht ist dabei speziell an Projekte
aus den folgenden Bereichen:
 
(1) Faktorisierung und Primzahltests,
(2) Arithmetik in Zahlk"orpern,
(3) Variet"aten "uber endlichen K"orpern,
(4) Arithmetik von elliptischen Kurven "uber Zahlk"orpern,
(5) Rationale Punkte auf algebraischen Variet"aten "uber Zahlk"orpern,
(6) Gr"obnerbasen und algebraische Gleichungssysteme,
(7) Invarianten von Variet"aten und semialgebraischer Mengen,
(8) Konstruktive Galoissche Theorie,
(9) Klassifikation und Untergruppenstruktur endlicher und endlich pr"asentierter Gruppen,
(10) Komplexe, modulare und ganzzahlige Darstellungstheorie endlicher
Gruppen,
(11) Pro-p-Gruppen und p-adisch analytische Gruppen.
 
Eine erste Begutachtung des Schwerpunkts durch die DFG fand auf einer
Tagung in Lambrecht vom 26.06. bis 01.07.1991 statt. Diese f"uhrte zu einer
Unterst"utzung von 16 Projekten aus 12 Universit"aten im ersten
F"orderungsjahr.\\
\begin{flushright}
B.H.~Matzat 
\end{flushright}
 
\item
Die kanadischen Universit"aten Concordia, Laval und McGill 
haben ein Centre Interuniversitaire en Calcul Mathematique Algebrique
(CICMA)
gegr"undet. Forschungsziele sind unter anderem Symbolisches Rechnen
einschlie"slich der Entwicklung und dem Testen von Software auf diesem Gebiet.

Studenten mit guten Kenntnissen in Mathematik und/oder Informatik
k"onnen sich um Stipendien am CICMA bewerben. Es gibt auch jeweils f"ur ein
Jahr Stellen f"ur Promovierte, au"serdem sind Gastaufenthalte m"oglich.

Kontaktadresse: Dr. H. Kisilevsky, Dir. CICMA, Concordia University,
1455 de Maisonneuve Boulevard West, Montreal, Quebec, Canada H3G 1M8,
elektr. Adr.: cicma@vax2.concordia.ca

\item
Am 01.07.91 wurde gemeinsam am Institut f{\"u}r Experimentelle Mathematik und
am Fachbereich Mathematik der Universit{\"a}t Essen ein Graduiertenkolleg
mit dem Thema {\em Theoretische und Experimentelle Methoden der Reinen
Mathematik} eingerichtet. Die Stipendien, die zwischen DM 1400,-- und
DM 2400,-- liegen, werden {\"o}ffentlich ausgeschrieben; der n{\"a}chste
Termin ist der 01.04.92
 
Einer der Forschungsschwerpunkte ist auch die Computeralgebra, wobei die
bekannten Computeralgebra-Systeme verwandt werden.
 
N{\"a}here Informationen k{\"o}nnen von Prof. G. Michler oder Priv.-Doz.
Dr. G. Schneider, Institut f{\"u}r Experimentelle Mathematik, Ellernstr. 29,
D-4300 Essen 12, erfragt werden.
\begin{flushright}
G. Schneider
\end{flushright}

\end{itemize}
}%\small

\end{document}
 
