\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}
\newcommand\elib{elib}
\newcommand\cais{{\sc CAIS}}
\newcommand\axiom{{\sc AXIOM}}
\newcommand\infocais{Genauere Informationen finden Sie im \cais.}
\renewcommand{\baselinestretch}{0.9}
 
 
\begin{document}
\begin{Huge}
\noindent
\framebox[175mm]{\bf Computeralgebra--Rundbrief}
\end{Huge}
 
 
\noindent
{\it Nummer 11  \hfill Fachgruppe 2.2.1 \hfill 20. 10. 1992}
\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,
bis  14. 12. 1992:
Tiergartenstra"se 15, Postfach 103068, W-6900 Heidelberg.
Telefax: 06221-404-296.
ab 15. 12. 1992:
Vangerowstra"se 18, W-6900 Heidelberg.
Telefax: 06221-59-3200.
Elektronische Adresse: grabm@dhdibm1.bitnet .
ISSN 0933-5994}
 
\vspace*{8mm}
 
{\em
\noindent
Liebe Kolleginnen und Kollegen,
 
mit diesem Rundschreiben erhalten Sie die Wahlunterlagen
f"ur die Neuwahl der Fachgruppenleitung. 

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

\begin{itemize} 
\item
{\bf Prof.~Dr. Thomas Beth}, 42, Professor f"ur Informatik an der
Universit"at
Karlsruhe, Algebraische Algorithmen und Kodierungstheorie.
\item
{\bf Prof.~Dr. Michael Clausen}, 43, Professor f"ur
Informatik an der Universit"at
Bonn, Computeralgebra, Komplexit"atstheorie.
\item
{\bf Dr.~Johannes~Grabmeier}, 36, Wissenschaftl. Zentrum IBM Heidelberg,
Computeralgebra, Computeralge"-bra--System \axiom.
\item
{\bf Prof.~Dr.~Karl~Hantzschmann}, 53, Professor f"ur Informatik an der 
Universit"at Rostock, Computeralgebra und Computeranalytik.
\item
{\bf Prof.~Dr.~Adalbert~Kerber}, 53, 
Professor f"ur Mathematik an der Universit"at Bayreuth,
Darstellungstheorie endlicher Gruppen,
algebraische Kombinatorik.
\item
{\bf Prof.~Dr.~Wolfgang~K"uchlin}, 38, Professor f"ur 
symbolisches Rechnen am Wilhelm-Schickard-Institut f"ur 
Informatik an der  Universit"at T"ubingen, paralleles
symbolisches Rechnen.
\item
{\bf Prof.~Dr.~Wolfgang~La"sner}, 48, 
Universit"at Leipzig, Analyse von Lie-Algebren.
\item
{\bf Prof.~Dr.~B.~Heinrich~Matzat}, 47, Professor f"ur Mathematik an der
Universit"at Heidelberg, Konstruktive (computerunterst\"utzte)
Algebra und Zahlentheorie.
\item
{\bf Prof.~Dr.~H.~Michael~M"oller}, 45, Professor f"ur Mathematik an der
Fernuniversit"at Hagen, Gr\"obnerbasen und L\"osen von algebraischen
Gleichungssystemen.
\item
{\bf Prof.~Dr.~Joachim~Neub"user}, 60, Professor f"ur Mathematik an der RWTH
Aachen, Computational Group Theory.
\item
{\bf Prof.~Dr.~Michael~Pohst}, 47, Professor f"ur Mathematik an der
Universit"at D"usseldorf, Computational Number Theory.
\item
{\bf Prof.~Dr.~Gerhard~Schneider}, 
37, Rechenzentrum der Universit"at Karlsruhe,
Computational Group Theory.
\item
{\bf Dr.~Fritz~Schwarz}, 50,
Projektleiter bei der GMD und Privatdozent
an der Universit"at Bonn, Algorithmen f"ur Differentialgleichungen
und Systementwicklung.
\item
{\bf Prof.Volker~Weispfenning}, 48, Professor f"ur Mathematik an der
Universit"at Passau, Algorithmische Algebra und Logik.
\item
{\bf Prof.~Horst G\"unter Zimmer}, 54, Professor f"ur Mathematik an der
Universit"at Saarbr"ucken, Computational Number Theory.
\end{itemize}


Die Wahlleitung f"ur diese Wahl 
haben Prof. Prof. R\"udiger Loos (Wahlleiter) und
Prof. Karl G. Roesner (stellvertretender Wahlleiter)
"ubernommen.

Bitte kreuzen Sie auf dem Stimmzettel bis zu 9
Namen an und senden ihn im verschlossenen Wahlumschlag
zusammen mit der unterschriebenen "`Versicherung zur Briefwahl"' im
beigef\"ugten R\"ucksendeumschlag bis zum 
{\bf Freitag 18. 12. 1992, Eingang bei der GI!} zur\"uck.
Bitte machen Sie von Ihrer Wahlm\"oglichkeit Gebrauch. 

In die Fachgruppenleitung sind bereits von den Gesellschaften
delegiert: von der DMV Herr Prof. Benno Fuchssteiner, Universit\"at
Paderborn, von der GAMM Herr Prof. Karl G. Roesner, Technische
Universit\"at Darmstadt
und von der GI Herr Prof. R\"udiger Loos, Universit\"at T\"ubingen.
Herr Fuchssteiner und Herr Loos geh\"orten bereits der alten
Fachgruppenleitung an. 


Die konstituerende Sitzung der neuen  Fachgruppenleitung wird 
voraussichtlich am Freitag, dem 26. Februar 1993 stattfinden.
 
In den letzten Monaten hat die Fachgruppenleitung sich intensiv
um die Fertigstellung des Grundsatzpapiers {\sl \ca\ in Deutschland,
Bestandsaufnahme, M"oglichkeiten, Perspektiven} bem"uht. Die Arbeiten
hierzu werden in K"urze abgeschlossen sein. Wir beabsichtigen
den "uber 150 Seiten starken Report kostenlos an alle Mitglieder so schnell
wie m"oglich zu versenden. Weitere Exemplare k"onnen dann
bei der Gesch"aftsstelle der GI, Godesberger Allee 99,
5300 Bonn 2 gegen Entgelt bestellt werden.
 
 
Der Verlag Addison-Wesley und der Springer-Verlag haben sich
erfreulicherweise bereit erkl"art der Fachgruppe aktuelle
Neuerscheinungen als Rezensionsexemplare zur Verf"ugung
zu stellen. Bei Eingang eines Buches geben wir dies
sofort in dem Abschnitt {\tt CA-Buecher} im \cais\ bekannt. Falls Sie
Interesse an einer Besprechung eines Buches haben, dann wenden Sie sich 
bitte an den Herausgeber des Rundbriefes, Adresse siehe Impressum,
angefordert werden. Der Rezensent kann selbstverst"andlich
das Buch als Dankesch"on f"ur seine Besprechung behalten.

Bitte beachten Sie, da"s wegen der konstituierenden Sitzung  am 26.02.1993
der Redaktionsschlu"s des n"achsten Rundbriefes auf Mittwoch, 24.02.1993
vorverlegt werden mu"ste.
 
\vspace*{3mm}
 
\hspace*{70mm} Volker~Weispfenning \hspace*{15mm} Johannes~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 Comett-Seminar Computer Algebra in Practise}

Amsterdam, 02.--04.11.1992.

Vom 02.--04.11.1992 findet am CAN Expertise Centre, Niederlande
ein Comett-Seminar(EG gef"ordert)
zum Thema {\sl Computer Algebra in Practise} statt. Dieses Seminar
fand bereits vom 07.--09.10.1992 in Schlo"s Hagenberg, "Osterreich,
veranstaltet
von der UNI SOFTWARE PLUS GMBH, statt.
Seminargeb"uhren sind Hfl 1.850,--. Informationen durch
CAN Expertise Centre, Kruislaan 413, PO Box 4079, NL-1009 AB Amsterdam,
Tel.: +31-20-592-6050 Fax: -4199, elektronische Adresse: can@can.nl

\item {\bf IMACS - SC 93}
 
Villeneuve d'Ascq, France, 23.--25.02.1993.
 
{\footnotesize Kontaktadresse:
IMACS - SC 93, Ecole Centrale de Lille, BP 48, 59651 Villeneuve d'Ascq Cedex,
France, Phone (33) 20 33 53 53, Fax (33) 20 33 54 99, Telex: 283155F}


\item {\bf 5th Conference on Formal Power Series
and Algebraic Combinatorics}
 
Universit\"at Florenz, 21.--25.06.1993.
%%\marginpar{ {\scriptsize Strehl??}}
 
{\footnotesize Kontaktadresse:
R. Pinzani,
Dipartimento de Sistemi e Informatica, Via Lombroso, 6/17, I-50134 Firenze,
Kontakt \"uber elektronische Post: fpsac@ifiidg.bitnet .}
 
\item {\bf
International Conference  on
NUMBER THEORETIC AND ALGEBRAIC METHODS IN COMPUTER SCIENCE}
 
Moskau, 29.06.1993--02.07.1993.
 
{\footnotesize
Konferenzleitung:
Horst G. Zimmer, Saarbr"ucken, (zimmer\@math.uni-sb.de)
 
Kontaktadresse:
Igor Shparlinski,
Dept. no. 4, \ ICSTI,
Kuusinenastr., 21 B, Moskau, 125252, Russland,
FAX (095) 943 00 89,
elektronische Adresse: shpar\@plb.icsti.su,
Stichtag 01.12.1992
}
\infocais
 
\item {\bf ISSAC'93}
 
Kiew, Ukraine, July 06--08.07.1993.
 
%%\marginpar{ {\scriptsize ??}}
 
{\footnotesize Kontaktadresse:  Alexander A.Letichevsky,
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
Programmkommittee: Gaston Gonnet, ETHZ, Zentrum, CH-8092 Z"urich,
elektr. Adr: gonnet@inf.ethz.ch (Stichtag 15.12.1992).
}
\infocais

\item {\bf Design and Implementation of Symbolic Computation Systems DISCO'93}

Gmunden, \"Osterreich, 15.-17.09.93.

{\footnotesize Kontaktadresse: Dr. Franz Lichtenberger, RISC, Johann Kepler
Universit\"at, A-4040 Linz, Austria, elektr. Adr. lichtenb@risc.uni-linz.ac.at
Programmkommittee: Prof. Alfonso Miola, DIS, Universita' di Roma,
Via Salaria 113, 00198 Roma, Italy, elektr. Adr. disco93@disco1.ing.uniroma1.it,
Stichtag 01.02.1993.}
 
\item {\bf Technology in Mathematical Teaching}
 
Birmingham, England, 17.09.1993--20.09.1993.
 
 
Es w"are sicher wichtig, wenn es auf dieser Konferenz viele
\ca-Beitr"age geben w"urde.
%%\marginpar{ {\scriptsize Kutzler}}
 
{\footnotesize Kontaktadresse:  Pam Bishop,
CTICMS, Fac. of Education, The University of Birmingham, Edgbaston,
UK-Birmingham, B15 2TT.
Elektr. Adresse: tmt93@bham.ac.uk
Stichtag 31.01.1993.
}
 
\item {\bf Dagstuhl 94}
Die Fachgruppe \ca\ plant eine Tagung zum Thema \ca\ im Laufe des
Jahres 1994. Die Organisation haben H.~Michael M"oller (Hagen)
und Manuel~Bronstein (Z"urich) "ubernommen. Wir hoffen daf"ur 
f"ur 1994 einen Termin in Dagstuhl zu erhalten. Teilnahme nur
nach Einladung.  Da die Terminvergabe
in Dagstuhl erst nach Erscheinen des Rundbriefes erfolgt, bitten
wir Sie weitere Informationen im \cais\  ab Dezember abzurufen.
 
\item {\bf Effektive Methoden der algebraischen Geometrie (MEGA 94)}
 
Santander, Spanien, 05.--09.04.1994.
 
%\item DMV
%\marginpar{ {\scriptsize ??}}
%{\footnotesize Kontaktadresse:
%}
 
 
\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  DIMACS Workshop on Computational Support for Discrete Mathematics}
Rutgers, 12.--14.03.1992.
Zu dieser Konferenz liegt uns ein unkommentiertes Tagungsprogramm von 
George Havas (Queensland, Australia) vor, das im \cais\ abgerufen werden kann.

\item {\bf Partial Differential Equations and Group Theory}
 
Advanced 5-day course by INRIA and GMD,
Bonn, 06--10.04.1992.
 
{\sl Partial Differential Equations and Group Theorie} war das Thema eines
f"unftagigen Kurses des European Research Consortium for Informatics and
Mathematics (ERCIM). Diese Veranstaltung, die in Zusammenarbeit mit der
franz"osischen Forschungseinrichtung Institut National de Recherche en
Informatique et en Automatique (INRIA) vom 6. bis 10. April 1992
durchgefuhrt wurde, wurde geleitet von Prof. Jean-Francois Pommaret.
Besondere Betonung in diesem internationalen Kurs lag auf der Anwendung von
Methoden der {\ca}, wie sie bei der GMD im Projekt COMAL
(COMputerALgebra) entwickelt werden. Die Anwendung von
\ca-Methoden zum Losen von Differentialgleichungen hat in den
letzten Jahren erheblich an Bedeutung gewonnen, wie man aus der stark
steigenden Anzahl der Aktivit"aten in diesem Gebiet sieht. Insbesondere hat
sich herausgestellt, da  sich die Theorie der franz"osischen Mathematiker
Riquier und Janet, die zu Beginn dieses Jahrhunderts entstanden ist,
besonders zur Algorithmisierung von L"osungsverfahren eignet.
Professor Pommaret hat diese Theorie in den letzten Jahren
weiterentwickelt. Zusammen mit den Beitragen von Wissenschaftlern aus den
Niederlanden, Italien, Kanada und von der GMD entstand daraus ein Programm,
das bei den rund 45 Teilnehmern aus 16 Landern erhebliches Interesse fand.
Die gleiche Tagung soll deswegen n"achstes Fr"uhjahr in Amsterdam - in
Kooperation mit dem Centrum voor Wiskunde en Informatica und der GMD -
wiederholt werden.
\begin{flushright}
Fritz Schwarz (St. Augustin)
\end{flushright}

\item {\bf Effektive Methoden der algebraischen Geometrie (MEGA 92)}
 
Nizza, 21.--25.04.1992.
 
Nach der MEGA 90 in Castiglioncello (Italien) war dies
die zweite Tagung dieses Titels. Auf dieser Tagung war ein deutlicher
franz\"osischer Einflu\ss{} zu sp\"uren, was man an der Anzahl der Vortr\"age
auf Franz\"osisch aber auch an der Gastlichkeit merkte.
In der angenehmen Atmosph\"are eines Seminargeb\"audes
in Nizza direkt am Meer fand die Tagung statt und bot neben den
teilweise sehr anregenden Vortr\"agen Zeit f\"ur fachliche Diskussionen.
 
Die n\"achste Tagung der MEGA-Reihe wird vom 5. -- 9. April 1994 in
Santander sein.
Es folgt eine Aufstellung der Vortragenden und ihrer Vortragsthemen:\\
 
{\footnotesize
 
M. Giusti: {\it La d\'e{}termination des points isol\'e{}s et de la dimension
d'une vari\'e{}t\'e{} alg\'e{}brique peut se faire en temps polynomial},
M. Chardin: {\it R\'e{}sultant calculation via Koszul complex},
J.P.Jouanolou: {\it Formes d'inertie et applications},
L.Gonzales-Vega: {\it Ideals in $k[x,y]$ and partitions},
A. Assi: {\it Homogenization and standard bases with minimal ecart},
L. Robbiano: {\it Disproving Hibi's conjecture with CoCoA},
P. Gimenez: {\it The analytic spread of the ideal of a monomial curve in
$P^3$},
D. Wang: {\it An elimination method based on Seidenberg's theory and its
application.}
A. Cohen: {\it Gr\"obner bases and standard monomial theory},
J.F.Mestre: {\it Ramy de courbeilles elliptiques sur $Q(t)$},
F. Le Prevost: {\it Famille de courbes hyperelliptiques de genre
g muni d'une classe de diviseurs d'ordre $2 g^2 + 4 g + 1$},
R. Schoof: {\it Counting points on elliptique curves over finite fields},
F. Morain: {\it Primality proving using elliptique curves},
M. Shub: {\it Complexity of B\'e{}zout's theorem},
D.Yu. Grigoriev: {\it Computational complexity of sparse real algebraic
function},
P. Burgisser {\it On verification complexity of linear prime ideals},
A. Lecki: {\it Application of the Eisenbud \& Levine's theorem to real
algebraic geometry},
M. Merle: {\it Shade, shadow and shape},
S. Maybank: {\it Applications of algebraic geometry to computer vision},
G.M.Greuel: {\it The computer algebra system SINGULAR},
P.Jaworski: {\it Arrangements of singularities and proper partitions
of Dynkin diagrams},
F. Sergeraert {\it Effective homology},
K. Shirayanagi: {\it Decision of algebra isomorphisms using Groebner bases},
F. Smietanski: {\it Aparametrized effective Nullstellensatz},
D. Lazard: {\it Computing subfields: reverse of thw primitive element
problem},
H. Lombardi: {\it Computation of Hermite normal form},
V. Kostov: {\it Versal deformation of volume forms and Bernstein polynomials},
Y. Yomdin: {\it Semi-algebraic geometry of polynomial control problems},
C. Traverso: {\it The POSSO-project},
C. de Concini: {\it Deformations of quantum groups and representations},
P. Pedersen: {\it Counting real zeros in the multivariate case},
E. Becker: {\it Computation of the real radicals of polynomial ideals},
D. Richardson: {\it Finding roots of sparse polynomials of the form
$p(x,x^n)$},
V. Mazurowskii: {\it Kauffman polynomial of nonsingular configurations of
lines in RP3}.
 
}%footnotesize
\begin{flushright}
H.Michael M\"oller (Hagen)
\end{flushright}
 
\item {\bf DISCO 92, Design and Implementation of
Symbolic Computation Systems}
 
Bath, England, 23.--24.04.1992.
 
Zu dieser Konferenz verweisen wir auf die demn"achst erscheinenden
Proceedings.
 
\item {\bf Computational Group Theory}
 
Mathematisches Forschungsinstitut Oberwolfach, 07.--13.06.1992.
 
Die Tagung war die zweite ihrer Art in Oberwolfach - die erste fand vom
15. - 21.5.1988 statt. Sie wurde von J.~Neub"user, Aachen, und C.~Sims,
Rutgers, geleitet und von 51 Teilnehmern aus 9 L"andern besucht. Die
behandelten Probleme k"onnen grob in 5 Gebiete eingeteilt werden:
Permutationsgruppen, Matrixgruppen, endlich pr"asentierte Gruppen,
polyzyklisch pr"asentierte Gruppen und Darstellungstheorie.\\
 
Die Entwicklung von Algorithmen f"ur Permutationsgruppen, die auf
grundlegenden Arbeiten von C.~Sims in den 60er Jahren begann, hat einen
neuen Aufschwung durch die Komplexit"atsanalyse solcher Algorithmen
erhalten, die vor gut 10 Jahren mit der Entdeckung (E. Luks u.a.) begann,
da"s Permutationsalgorithmen dazu dienen k"onnen, die Existenz gewisser
graphentheoretischer Algorithmen mit polynomialer Komplexit"at zu beweisen.
Nach einer l"angeren Phase rein komplexit"atstheoretischer Untersuchungen
haben jetzt Implementationen (u.a. im Rahmen von GAP durch A.~Seress) die
praktische Tragweite dieser Ans"atze gezeigt.\\
 
Die Untersuchung von Matrixgruppen, die durch ein endliches Erzeugendensystem
gegeben sind, wurde bisher im wesentlichen mit Hilfe von
Permutationsgruppenalgorithmen durchgef"uhrt. Die in den letzten 2 Jahren
entwickelten spezifisch matrixtheoretischen Methoden scheinen eine gro"se
Zukunft zu haben. Berichte hier"uber geh"orten zu den interessantes
Beitr"agen der Tagung.\\
 
Neben Vortr"agen "uber neue Algorithmen traten in zunehmenden Ma"se,
insbesondere in der Theorie der p-Gruppen und der Darstellungstheorie,
Beschreibungen von gro"sen Projekten f"ur explizite Klassifikationen.\\
 
Auf der Tagung waren neben \axiom, Cayley, GAP, Lie und Maple eine gro"se
Anzahl von stand-alone Programmen auf mehreren Computern vorhanden.\\ \\
 
Die Vortr"age im einzelnen:\\ 
{\footnotesize
 
Greg Butler: {\it Applications of homomorphisms},
Colin M. Campbell: {\it Computing efficient presentations},
Arjeh M. Cohen: {\it Computing with Coxeter group elements},
Arjeh M. Cohen: {\it On the solution of Kostant's conjecture},
Gene Cooperman: {\it A unified approach to membership testing for large and
small base permutation groups},
Larry Finkelstein: {\it Cyclic base change algorithms for permutation groups},
John D. Dixon: {\it A census of finite primitive linear groups},
Meinolf Geck: {\it {\sf CHEVIE} -- Character Tables of Hecke Algebras},
Robert H. Gilman: {\it  Applications of formal language theory},
Stephen P. Glasby: {\it Constructing absolutely irreducible representations of
a finite soluble group},
George Havas: {\it Coset enumeration: implementation and application},
Derek F. Holt: {\it Computing in matrix groups},
Ingo Janiszczak: {\it The generic conjugacy class numbers of Chevalley groups
of type $E_6$, $E_7$ and $E_8$},
William M. Kantor: {\it Computations in quotient groups and other aspects of
Sylow subgroups of permutation groups},
Adalbert Kerber: {\it Symmetrica},
Wolfgang Kimmerle: {\it Computational aspects of the isomorphism problem of
group rings},
Charles R. Leedham-Green: {\it Recognizing the special linear group},
Steve Linton: {\it A module enumeration algorithm -- ``\,Todd-Coxeter for
matrices\,''},
Andrea Lucchini: {\it Computing the minimal number of generators in finite
soluble groups},
Eugene Luks: {\it Computing in solvable linear groups},
Klaus Lux: {\it Peakword condensation and finite lattices of submodules},
Gunter Malle: {\it {\sf CHEVIE} and Green functions},
Victor Mazurov: {\it Computations with character tables},
John McKay: {\it Imprimitivity of Galois groups},
Michael F. Newman: {\it The use of $p$-quotient programs},
Werner Nickel: {\it Schur multiplier and representation groups},
Alice C. Niemeyer: {\it An operator $p$-quotient algorithm},
Eamonn A. O'Brien: {\it Isomorphism testing for $p$-groups},
Herbert Pahlings: {\it Characters in {\sf GAP}},
G\"otz Pfeiffer: {\it Tables of marks in {\sf GAP}},
Wilhelm Plesken: {\it Constructing rational representations of finite groups},
Sarah Rees: {\it Computing quotients of finitely presented groups},
Edmund F. Robertson: {\it Programs to enumerate semigroups and using these
programs to study semigroup presentations},
Derek J.~S. Robinson: {\it Theoretical algorithms for finitely generated
soluble groups},
Gerhard Schneider: {\it Computing Loewy-series and projective resolutions},
Martin Sch\"onert: {\it Domains in {\sf GAP}},
\'Akos Seress: {\it Almost linear time algorithms for small base permutation
groups},
Charles C. Sims: {\it Computation with finitely presented groups},
Michael C. Slattery: {\it Double cosets and transversals in finite soluble
groups},
Geoff Smith: {\it Solving infinitely many linear equations in infinitely many
unknowns},
Leonard H. Soicher: {\it GRAPE (GRaph Algorithms using PErmutation groups)}.
}
\begin{flushright}
Joachim Neub"user (Aachen)
\end{flushright}
 
 
\item {\bf International Workshop COMPUTER ALGEBRA
AND APPLICATIONS}
 
Saint-Louis, Frankreich, 15.-17. Juni 1992.
 
Diese Konferenz wurde vom Deutsch-Franz\"osischen Forschungsinstitut
Saint-Louis, ISL, unter der Leitung von A.Carri\`ere,
Dr.L.R.~Oudin und V.~Fleck organisiert. Unterst\"utzt wurde sie ferner von den
folgenden Organisationen:\par\noindent
Centre Europeen de Mathematiques Appliquees
(IBM-France)\par\noindent CNRS (Centre de Calcul de
Strasbourg-Cronenbourg)\par\noindent GMD (Gesellschaft f\"ur
Mathematik und Datenverarbeitung)\par\noindent Ecole de
Chimie de Strasbourg\par\noindent GRECO-Calcul
Formel (PRC)\par\noindent
Ziel der Konferenz war eine
Ausweitung der Kontakte zwischen den Theoretiker und den
Anwendern von \ca\ herzustellen. In diesem Sinne
verstand sich diese Tagung als eine Fortsetzung der beiden
vorherigenKonferenzen, die vom CNRS in Strasbourg organisiert
wurden:\par\noindent
Calcul Formel et Chimie-Physique,
26.4.1988\par\noindent Calcul Formel et Equations
Differentielles, 29-30.3.1990.\par\noindent Ein Schwerpunkt
der Konferenz war die Darstellung von Computer Algebra
Methoden zur L\"osung von gew\"ohnlichen und partiellen
Differentialgleichungen, wie sie insbesondere
in der Chemie, Physik oder Mechanik vorkommen.
Einen kleineren Raum fanden Anwendungen etwa von Gr\"obner
Basen oder Gesichtspunkte des System-Designs. Bemerkenswert
waren die Anstrengungen, die vom Wissenschaftlichen Rat der
Tagung und insbesondere von P.Jost und J.Thomann
unternommen wurden, zur Koordinierung der Forscher und
der Anwender von \ca, die im Elsa\ss\ und im Dreil\"andereck
zwischen Basel, Mulhouse, Freiburg, Strasbourg und Karslruhe t\"atig sind.
\par\noindent
Die Proceedings, dessen Herausgeber A.Carri\`ere, Dr.L.Oudin und V.Fleck sind,
sind schon an der Tagung in einer ISL-Ausgabe erschienen. \par\noindent
Die wissenschaftlichen Vortr\"age waren in zeitlicher
Reihenfolge:
{\footnotesize
A.Carriere (ISL): {\it Theoretical Ballistics and
Computer Algebra at the ISL},
P.Rideau (Aerospatiale-Cannes):
{\it JAMES: An Application of Computer Algebra to Mechanics},
F.Maltey (Ecole Navale-Brest): {\it Study of the Hamiltonian of the Pendulum},
K.Nitsche (Univ.Karlsruhe): {\it Liou"-villian Solutions of Ordinary
Linear Differential Equations},
M.Codutti (U.L.B.-Bruxelles): {\it NODES: Non-Linear Ordinary Differential
Equations Solver},
D.Lewien (Univ.Johannesbourg): {\it Non-Linear Differential Equations and the
REDUCE Package},
J.Della Dora (L.M.C. Grenoble): {\it DESIR II: Some tools and Applications},
V.Ganzha (G.H.Kassel):
{\it Compatibility Analysis of Equations of Gasdyna\-mics
with REDUCE},
J.F.Pommaret (Ecole des Ponts Noisy-le-Grd):
{\it Computer Algebra for Partial
Differential Equations: New Perspectives for Applications},
S.Tergiman (Univ.Lyon): {\it Some examples of Computer Algebra to the study of
Diatomic Molecules},
P.Jost (E.H.I.C.S.Strasbourg), J.Thomann (C.N.R.S.Strasbourg):
{\it Closed Form
Solution of Linear and Nonlinear Differential Equations of Chemical Kinetics},
L.Oudin (ISL):
{\it A more precise Algorithm to achieve the Azimuthal Inversion
of the RADON Transform by REDUCE},
J.Grothendorst (K.F.A.J\"ulich):
{\it Algorithms of mixed symbolic-numeric type
for rational Approximation},
D.Pinchon (IBM Paris): {\it Accuracy in the Computation of Special Functions}
B.Salvy (INRIA ROCQUENCOURT):
{\it Lambda-Upsilon-Omega: A System for Automatic
Analysis of Algorithms},
A.Dresse (U.L.B.Bruxelles): {\it Application of Symbolic Computation
to B.R.S.T.Techniques},
M.Goze (Fac.Sc.et Techniques MULHOUSE): {\it Infinitesimal Calculus and
Computer Algebra},
K.P.Neuendorf (Humboldt Univ.Berlin): {\it Petri Network and a model of
Buchberger},
W.Kuechlin (OHIO State Univ.): {\it PARSAC-2: A System for Algebraic
Computation on Parallel Workstations},
J.\"Uberberg (Univ.Gie\ss en): {\it Symbolic {\sl Inzidenzgeometrie} and
Linear Spaces},
M.K.Shen (Leibnitz Rechenzentrum M\"unchen): {\it An Unsophisticated User's
Problems with Computer Algebra Systems},
M.Bronstein (E.T.H.Informatik Z\"urich):
{\it Exact Solutions of linear ordinary
differential equations of arbitrary order},
A.Griewank (ARGONNE Nat.Lab.USA): {\it The Use of Automatic
 Diffe\-ren\-tia\-tion in
the Real-time Simulation of Multi-body Dynamics},
N.Rostaing (INRIA Sophia-Antipoles): {\it Optimal Control,
Automatic Differentiation and Transcription of FORTRAN Programs},
L.Brenig (ULB Bruxelles):
{\it Reduction of Poincare-Dulac normal Forms for the
Solution of Nonlinear Differential Equations Systems},
F.L.Lagarrigue (Ecole Sup.Electr. GIF-sur-YVETTE):
{\it Algebraic Compu\-ting for the Analysis and Control of Systems},
E.Monfroy (European Comp.Industr.M\"unchen):
{\it Application of Gr\"obner Bases},
F.Schwarz (GMD Sankt-Augustin):
{\it An Algorithm for determing the Size of Symmetry Groups},
B.Gleyze (INSA Rouen): {\it Number of zeroes of Real Parameters in the unit
disk: Symbolic computation and Graphics approach},
H.Caprasse (Univ.Liege, SAR Tilman):
{\it Where are we with general purpose systems?}.
}
\begin{flushright}
Alessandra Gambini Weigel  (Freiburg)
\end{flushright}
 
 
 
\item {\bf 4th Conference on Formal Power Series
and Algebraic Combinatorics}
 
Universit\'e du Qu\'ebec \`a Montr\'eal,
Montr\'eal (Canada), 15.--19.06.1992.
 
 
Das vierte Kolloquium \"uber
''Formale Reihen und Algebraische Kombinatorik''
({\it S\'eries formelles et combinatoire alg\'ebrique})
wurde von dem
{\it Laboratoire de combinatoire et d'informatique
math\'ematique} (LACIM)
der Universit\'e du Qu\'ebec \`a Montr\'eal (UQAM)
in der Woche vom 15. bis 19. Juni 1992
auf dem Campus in Montr\'eal veranstaltet. Die Tagung war
mit \"uber 200 Teilnehmern sehr gut besucht und bot ein
vielf\"altiges Spektrum aktueller Arbeiten aus der
Kombinatorik, mit Schwerpunkten im algebraischen,
enumerativen und algorithmischen Bereich.
Die nachfolgende Aufstellung der Vortr\"age ist nach
eingeladenen Hauptvortr\"agen, regul\"aren Vortr\"agen,
Postern und Software-Demonstrationen gegliedert.
 
{\footnotesize
Hauptvortr\"age:
J. Berstel:
{\it Les travaux d'Axel-Thue en combinatoire
des mots et leur \'etat actuel},
D. Foata:
{\it Statistiques permutationnelles et multipermutationnelles},
A. Garsia:
{\it Recent progress on the Macdonald q,t-Kostka conjecture},
I.M. Gel'fand:
{\it A unified way to construct Lie and quadratic algebras},
A. Lascoux:
{\it Polyn\^omes de Schubert},
John Stembridge:
{\it On permutation representations of Weyl groups,
descent numbers, and the face ring of the Coxeter complex},
V. Strehl:
{\it Combinatorics and special functions:
facets of Brock's identity},
X.G. Viennot:
{\it Polyominoes!}.\\

regul\"are Vortr\"age:
H. Barcelo:
{\it Young straightening in a quotient $S_n$-Module},
E. Barcucci, R. Pinzani and R. Sprugnoli:
{\it The random generation of underdiagonal walks},
F. Bergeron and L. Favreau:
{\it Fourier transform over semisimple algebras
and harmonic analysis for probabilistic algorithms},
N. Bergeron:
{\it Decomposition hyperoctahedrale de
l'homologie de Hochschild},
F. Brenti:
{\it Determinants of super-Schur functions, lattice paths,
and dotted plane partitions},
P. Bouchard, Y. Chiricota, and G. Labelle:
{\it Arbres, arborescences et racines carr\'ees sym\'etriques},
J. Carbonara, J.B. Remmel and M. Yang:
{\it S-Series and plethysm of hook-shaped Schur functions
with power sum symmetric functions},
L. Cerlienco and M. Mureddu:
{\it From algebraic sets to monomial linear bases
by means of combinatorial algorithms},
R. Cori and E. Sopena:
{\it Some combinatorial aspects of time-stamp systems},
K. Ding:
{\it Invisible permutations and rook placements
on a Ferrers board},
S. Dulucq and B. Sagan:
{\it La correspondance de Robinson-Schensted
pour les tableaux oscillants gauches},
P. Dumas and L. Thimonier:
{\it Random palindromes: multivariate generating
function and Bernoulli density},
K. Erikson:
{\it The numbers game and Coxeter groups},
J.-M. Fedou:
{\it Fonctions de Bessel, empilements et tresses},
D. Feldman and J. Propp:
{\it Bijective principles of cancellation},
S. Fomin:
{\it Dual graphs and Schensted correspondences},
D. Gardy:
{\it The asymptotic behaviour of coefficients of
large powers of functions},
I.M. Gessel:
{\it A decomposition for graphs related to the Tutte polynomial},
C. Krattenthaler and S.G. Mohanty:
{\it Counting tableaux with row and column bounds},
G.M. Lilly and S.C. Milne:
{\it Consequences of the $A_I$ and $C_I$ Bailey
transform and Bailey lemma},
J.-G. Penaud:
{\it Une preuve bijective d'une formule de Touchard-Riordan},
A. Ram:
{\it Weyl groups, symmetric functions and
the representation theory of Lie algebras},
B. Sagan and T. J\'ozefiak:
{\it Free hyperplane arrangements
interpolating between root system arrangements},
P. Sol\'e:
{\it Counting lattice points in pyramids},
S. Sundaram:
{\it The homology representation of the symmetric group
on Cohen-Macaulay subsposets of the partition lattice},
E.J. Taft:
{\it Hadamard invertibility of linearly recursive
sequences in several variables},
D. Wagner:
{\it Zeros of rank-generating functions of
Cohen-Macaulay complexes},
V. Welker:
{\it Decompositions of matroids and exponential structures},
W. Whiteley:
{\it Extracting combinatorics from discrete applied geometry},
J.S. Yang:
{\it The plethystic inverse of a formal power series},
P. Zimmerman:
{\it The composition function and automatic average case analysis}.\\

Poster:
G. Begin:
{\it On the enumeration of perforation patterns
for punctured convolutional codes},
P. Bouchard and Y.-N. Yeh:
{\it Finding f-free subsets of maximal cardinality},
M. Bousquet-Melou and L. Habsieger:
{\it Sur les matrices \`a signes alternants},
W.Y.C. Chen:
{\it Induced cycle structures of the hyperoctahedral group},
I. Constantineau:
{\it Le nombre d'arbres m-Husimis invariants
sous une permutation des sommets},
A. Goupil:
{\it Decomposition of certain products
of conjugacy classes of $S_n$},
N.H. Jing and T. J\'ozefiak:
{\it A formula for two-row Macdonald functions},
G. Labelle and L. Laforest:
{\it Sur la distribution de l'arite de la
racine d'une arborescence hyperquaternaire de d dimensions},
P. Camion, B. Courteau and A. Montpetit:
{\it A combinatorial problem in Hamming graphs
and an example in Scrachpad},
A. Meush and R. Quackenbush:
{\it Enumeration in categories of finite algebras},
M.A. Readdy:
{\it Extremal problems for the Moebius function
in the lattice of faces of the n-dimensional octahedron},
L. Verde-Star:
{\it Algebras of multiindexed infinite matrices
and the transform approach to the umbral calculus},
T. Watanabe:
{\it On a characterization of the sequence
$\{kn ~mod~ N ~:~ k = 1,2,...\}$ and an application
to a graph isomorphism problem}.\\
Software:
S. Plouffe and P. Zimmerman:
{\it gfun: un logiciel pour trouver une fonction g\'en\'eratrice},
M. Delest and N. Rouillon,
{\it CallCo: un logiciel pour la combinatoire \'enum\'erative}.
}%footnotesize
 
Das f\"unfte Kolloquium in dieser Reihe wird vom 21.-25. Juni 1992
in Florenz stattfinden, siehe Abschnitt {\sl Hinweise auf Konferenzen}.
\begin{flushright}
Volker Strehl  (Erlangen)
\end{flushright}


{\bf Dagstuhl Workshop on ``Algorithms and Number Theory''}\\[1ex]
Organisatoren: J. Buchmann, H. Niederreiter, A.M. Odlyzko, H.G. Zimmer\\[1ex]
Schlo\ss\ Dagstuhl, 22.-26. Juni 1992\\[1ex]
Hauptgegenstand des Workshops waren die Theorie und Praxis von Algorithmen in
der Zahlentheorie. Die behandelten Themen betrafen: Faktorisierung ganzer Zahlen
und Polynomfaktorisierung;
diskrete Logarithmen; quadratische Formen; Diophantische Gleichungen,
insbesondere elliptische und
hyperelliptische Kurven; und die Arithmetik algebraischer Zahlk\"orper.
 
An dem Workshop nahmen 35 Mathematiker und Informatiker aus 10 L\"andern teil.
Neben dem Vortragsprogramm boten sich auch viele Gelegenheiten zu Diskussionen
und Er\"orterungen aktueller Probleme der Algorithmischen
Zahlentheorie. 

Die Vortr"age im einzelnen:\\ [0.8cm] 
{\footnotesize
\noindent
D.G. Cantor, {\it On the Analogue of the Division Polynomials for Hyperelliptic
 Curves.}\\[0.5ex]
H. Niederreiter, {\it A Deterministic Factorization Algorithm for Polynomials
 over Finite Fields.}\\[0.5ex]
H.C. Williams, {\it Some New Results from Numerical Sieving Devices.}\\[0.5ex]
M. Olivier, {\it Computing Resolvents and Galois groups for polynomials with
 small degree.}\\[0.5ex]
K. McCurley, {\it Massively Parallel Computation of Discrete
 Logarithms.}\\[0.5ex]
A.M. Odlyzko, {\it Iterated absolute values of differences of consecutive
 primes.}\\[0.5ex]
C.-P. Schnorr, {\it Block Korkin-Zolotarev Bases and Succesive Minima.}\\[0.5ex]
F.-D. erger, {\it Factoring with ECM.}\\[0.5ex]
A.K. Lenstra, {\it Massively Parallel Factoring.}\\[0.5ex]
H. te Riele, {\it Experiences with Pomerance's self-initializing quadratic sieve
 method on a Cray Y-MP4.}\\[0.5ex]
G. Frey, {\it On the analytic rank in families of twists of elliptic
 curves.}\\[0.5ex]
E. Schaefer, {\it Class groups and selmer groups.}\\[0.5ex]
H.-G. R\"uck, {\it The Discrete Logarithm at Jacobians of Algebraic
 Curves.}\\[0.5ex]
H.G. Zimmer, {\it The Demjanenko matrix - a link between torsion points on
 elliptic curves and units in cyclotomic fields.}\\[0.5ex]
J. Buchmann, {\it Short representation of numbers in number fields.}\\[0.5ex]
I. Ga\`{a}l, {\it On the resolution of index form equations in quartic number
 fields.}\\[0.5ex]
H.W. Lenstra, {\it Children's drawings - dessins d'enfant.}\\[0.5ex]
H. Cohen, {\it Computation of Grothendieck dessins.}\\[0.5ex]
B. de Weger, {\it Progress on Thue equations.}\\[0.5ex]
H. te Riele, {\it Divisibility properties of solutions of a diophantine
 equation.}\\[0.5ex]
J. Martinet, {\it Generalization of the Voronoi algorithm for quadratic
 forms.}\\[0.5ex]
M.E. Pohst, {\it On integral lattices of prescribed minimum.}\\[0.5ex]
A. Peth\"o, {\it DANFI, a data base for algebraic number theory.}\\[0.5ex]
A. Peth\"o, {\it Squares in recurrence sequences.}\\[0.5ex]
F. Diaz y Diaz, {\it Computations in number fields.}\\[0.5ex]
W. Bosma, {\it Addition laws on elliptic curves.}\\[0.5ex]
K. McCurley, {\it Fast exponentiation with precomputation.}\\[0.5ex]
J. Gr. v. Schmettow, {\it Simultaneous unit and class group computation -
 practical experience.}
}
\begin{flushright}
Host G"unter Zimmer (Saarbr"ucken)
\end{flushright}
 
\item {\bf RISC-LINZ Summer School in Computer Algebra (RICA'92)}
 
Bildungshaus St. Magdalena, Linz, 06.--11.07.1992.
 
Vom 6. bis 11. Juli 1992 fand unter der Leitung von Univ.-Doz. Dr.
Franz Winkler die {\it ``RISC-LINZ Summer School in Computer Algebra 1992
(RICA'92) \/} statt.
Es war dies die zweite Veranstaltung dieser Art,
nachdem die erste Sommerschule im Juli 1990 sehr positives Echo gefunden
hatte. Die 22 Teilnehmer kamen aus
Deutschland, Brasilien, Frankreich,  Gro\ss britannien, Irland, Israel,
Italien,
\"Osterreich, Schweden, Schweiz, Spanien und der  Tschechoslowakei.
Davon waren 10 Professoren an Universit\"aten oder Forscher in
industriellen Forschungszentren, die \"ubrigen Doktoratsstudenten
der Mathematik oder Informatik.
 
Das Kursziel bestand darin, den Teilnehmern ein profundes Verst\"andnis
der mathematischen Grundlagen und der Algorithmen in der
\ca zu vermitteln.
Anl\"a\ss lich eines Besuchstages beim Forschungsinstitut RISC
wurden mehrere Programmsysteme der Computeralgebra vorgestellt
und den Teilnehmern Gelegenheit zum aktiven Umgang mit den Systemen
geboten.
 
Der Hauptanteil der Vortr\"age wurde von Dr. Winkler bestritten.
Daneben konnten aber die folgenden Gastvortragenden zu speziellen Themen
gewonnen werden:
Prof. Bob F. Caviness (Univ. of Delaware, USA), {\it ``Symbolic methods
in integration and differential equations''\/},
Dr. Johannes Grabmeier (IBM Wissenschaftliches Zentrum Heidelberg,
Deutschland), {\it ``Design concepts of the computer algebra system
AXIOM''\/},
Dr. Richard Liska (Techn. Univ. Prag, CSFR), {\it ``Applications of
computer algebra''\/}.
\begin{flushright}
Franz Winkler (Linz)
\end{flushright}
 
 
 
%\item {\bf RISC-LINZ Summer Course on Quantifier Elimination}
% 
%Universit\"at Linz, Austria,  13.--17.07.1992.
%Date: Tue, 8 Sep 1992 12:30:22 +0100
% 
%Lieber Herr Grabmeier,
%ich werde einen Bericht ueber meine Sommerschule schreiben.
%Ich werde auch Collins ersuchen, dasselbe zu tun.
% 
%Mit besten Gruessen,
%             Franz Winkler
% 
% 
%\item {\bf International Workshop on Mathematics
%Mechanization: Theories and Applications of Algebraic Equation
%Solving.}
% 
%Academia Sinica, Peking, China, 16.--18.07.1992.
% 
%08.09. : Anfrage an  Wu Wen-ts"u,
%elektr. Adr.: bmadis@ica.beijing.canet.cn
% 
% 
%\item {\bf ISSAC'92}
% 
%Berkeley, Kalifornien, USA, 27.--29.07.1992.
% 
% 
%08.09. Anfrage an Schwarz
 
\item {\bf Computational and Graph Theoretic Aspects of
Linear Algebra}
 
Essen, 27.--31.07.1992
 
Zu obigem Workshop trafen sich Ende Juli mehr als 40 in-- und
ausl"andische Mathematiker am Institut f"ur Experimentelle
Mathematik der Universit"at GH Essen. Organisiert wurde die
Veranstaltung von G.~Michler (Essen) und H.~Schneider (Madison);
es wird dazu ein Sonderband von ``Linear Algebra and its
Applications'' erscheinen, der von R.~Guralnick (Los Angeles)
und G.~Michler herausgegeben werden wird.
Das reich gef"ullte Programm hatte zwei Schwerpunkte: Die
Verwendung graphentheoretischer Hilfsmittel in der Linearen
Algebra wurde in vielen Beispielen, so zur Vorhersage von Strukturen
bestimmter Matrizen, demonstriert. Au"serdem gab es Vortr"age aus
dem weiten Feld der Darstellungstheorie und ihrer Anwendungen,
so z.B. Fourier--Transformation. Schlie"slich wurden auch Verbindungen
zur Zahlentheorie und zur Codierungstheorie aufgezeigt.
Die Vortr"age im einzelnen in zeitlicher Reihenfolge:
 
{\footnotesize
J.~Oesterl\'e: {\it Elliptic Curves and Ranks of Matrices over
Finite Fields},
G.~Michler: {\it Scientific Computing in and with Finite Groups},
K.~W.~Roggenkamp: {\it Units and Automorphisms of Grouprings},
C.~R.~Johnson: {\it Determinant Maximizing Positive Definite
Completions: the Chordal and non--Chordal Cases}.
R.~Parker: {\it Meataxe and Parallel Computing},
D.~Coppersmith: {\it Block Algorithms to Solve Sparse Systems of
Equations over GF(2)},
A.~Pothen: {\it Predicting the Structure of Sparse Matrix Factors},
S.~Friedland: {\it Theoretical and Computational Aspects of Orthogonal
Similarity of Symmetric Matrices over Rationals},
N.~J.~Higham: {\it Finite Precision Behaviour of Stationary Iteration
for Solving Singular Systems},
R.~Guralnick: {\it Eigenvalues of Graphs and Symmetric Integral Matrices},
M.~Fiedler: {\it Some Applications of Graph Theory to Numerical Linear
Algebra},
R.~A.~Brualdi: {\it Greedy Codes},
D.~Rockmore: {\it Fast Spherical Transforms for Distance Transitive Graphs},
G.~Havas: {\it Computing with Badly Presented Z--Modules},
H.~Gollan: {\it On the Construction of Ordinary Representations},
S.~Linton: {\it Constructing Representations of Finitely Presented Algebras},
M.~Clausen: {\it Symmetry Adaption: a Powerful Tool in Computational
Representation Theory},
V.~Klee: {\it Largest k--Simplices in d--Polytopes},
H.~Niederreiter: {\it Some Large--Scale Linear Algebra Problems
over Finite Fields},
J.--F.~Mestre: {\it 5--Rank of Class Numbers of Quadratic Fields},
R.~Staszewski: {\it Some Modular Representation Theory of McLaughlin's
Simple Group and its Triple Cover in Characteristic 5},
K.~Lux: {\it Peakword Condensation and Lattices of Finite Modules},
G.~Malle: {\it Berechnung von Greenfunktionen f"ur exzeptionelle
Gruppen in schlechter Charakteristik},
B.~D.~Saunders: {\it Four Families of Algorithms for Polynomial Matrix
Determinants and System Solving},
D.~Hershkowitz: {\it Paths in Digraphs and Spectral Properties of Matrices},
H.~Schneider: {\it The Spectral Radiuus of Products of one Cycle Matrices}
}
 
\begin{flushright}
Holger Gollan (Essen)
\end{flushright}
 
\item
{\bf Artificial Intelligence and Symbolic Mathematical Computations}
 
Karlsruhe, 03.--06.08.1992.
 
Vom  03.   bis zum  06.   August 1992   fand  die  erste Tagung   ``Artificial
Intelligence and  Symbolic Mathematical Computations'' statt.  Den Schwerpunkt
dieser Tagung bildet die  Beziehung zwischen KI und symbolichen mathematischen
Berechnungen.  Die Tagung wird auch   in Zukunft alle zwei Jahre  stattfinden.
Es folgt eine Aufstellung der Tagungsbeitr\"age:\\ 
 
{\footnotesize
P.~Struss (Technische  Universit\"at M\"unchen,  Germany):  {\it ``Qualitative
Modeling''};
J.~Sellen   (Univ.  des  Saarlandes,  Germany): {\it   About   the topological
structure of configuration spaces};
P.~Ladkin  (Univ. Bern, Switzerland), A.~Reinefeld (Univ.   Hamburg, Germany):
{\it Effective solution of qualitative interval constraint problem};
G.~Schw\"arzler  (ETH Z\"urich, Switzerland):  {\it An algebraic  approach  to
knowledge based modeling};
M.E.~Clarkson (York  Univ.,   Canada):  {\it Intelligent  user  interface  for
symbolic and numeric computation};
G.~Butler  (Concordia Univ.,  Canada): {\it   The progress toward  intelligent
assistant};
J.~Pfalzgraf   (RISC-Linz,  Austria):    {\it   ``Mathematical   Modeling   in
Robotics''};
E.~Monfroy (ECRC-Munich,  Germany):  {\it   Gr\"obner  basis  strategies   and
applications};
H.~Hong (RISC-Linz, Austria): {\it Heuristic search strategies for cylindrical
algebraic decomposition};
J.~Calmet, K.~Homann, I.A.~Tjandra (Univ.  Karlsruhe,  Germany):  {\it Unified
domains and abstract computational structures};
E.~Ardeleanu  (RISC-Linz, Austria): {\it  Completion  and  invariant theory in
symbolic computation and artificial intelligence};
A.~Weber  (Univ.  T\"ubingen,  Germany):  {\it  A type  coercion  problem   in
computer algebra};
W.~Koepf (Freie Univ.  Berlin, Germany): {\it Algorithmic development of power
series};
L.~Kerschberg   (George Mason  University, USA):    {\it  A  Multiple Paradigm
Approach  to Query   Optimization: Integrating    Historical,   Structural and
Behavioral Information Sources.};
G.~Cioni, A.~Colagrossi,  A.~Miola  (Universita  di Roma La  Sapienza, Italy):
{\it A desk top sequent calculus machine};
J.A.~Plaza (Univ.  of  Miami, USA):  {\it  Gentzen-style  characterizations of
negation as failure};
R.~Haehnle (Univ.  Karlsruhe, Germany): {\it  A new translation from deduction
into integer programming};
M.C.~Golumbic  (IBM-Israel): {\it ``Complexity  and  Algorithms for  Reasoning
about Time: A Graph-theoretic Approach''};
W.L.~Roque  (Univ.  Federal  de    Santa  Catarina,  Brasil):   {\it  Learning
qualitative physics reasoning from regime analysis};
R.~Garigliano,   D.J.~Nettleton   (Univ.    Durham,    UK): {\it   Qualitative
mathematical modeling of genetic algorithm }.
}%footnotesize
 
\begin{flushright}
Jaques Calmet (Karlsruhe)
\end{flushright}
\newpage 
\item {\bf Symbolic, algebraic and validated numerical computation}
 
Dagstuhl Seminar, 03.--07.08.1992.
 
 
In der ersten Augustwoche fand das erste Seminar "uber
{\sl Symbolic, Algebraic and Validated Numerical Computation} in 
Dagstuhl statt.
Es war das erste Seminar in dieser Kombination von Themen. Die herrliche
Atmosph"are in Dagstuhl regte zu sehr fruchtbaren Diskussionen an.
 
Es zeigte sich, da"s die Themengebiete sich in vielen Bereichen erg"anzen
und in
der Kombination zu ausgesprochen interessanten Ergebnissen f"uhren.
Das Seminar soll wiederholt werden.
Es folgt eine Aufstellung der Vortragenden und ihrer Vortragsthemen:\\
 
{\footnotesize
O. Aberth: {\it Finding where $n$ functions of $n$ variables are
 simultaneously zero},
G. Alefeld: {\it The Newton-Kantorowi\v{c} Theorem and the Verification
of Solutions (together with N. Gienger and Fl. Potra)},
H. Behnke: {\it Bracketing Frequencies of Vibrations of Turbine Blades in Large
Turbo-Machines},
G. Corliss: {\it Generating Derivative Codes from Fortran Programs},
J. H. Davenport: {\it Introduction to Computer Algebra / Some Symbolic Numeric
Case Studies},
D. M. Gay: {\it Is Exploiting Partially Separable Structure Worthwhile?},
K.-U. Jahn: {\it Validated Computation with Sets of Hyperrectangles},
C. Jansson: {\it A Validation Method for Global Optimization Problems},
W. Krandick: {\it High Precision Calculation of Polynomial Complex Roots},
F. Kr"uckeberg:
 {\it The general Structure of integrated Symbolic, Algebraic and
Validated Numerical Computation},
W. A. Lodwick: {\it Three Applications of Interval Methods for Computing
 Feasible Region of Nonlinear Systems},
R. Lohner: {\it Validated Computations for Ordinary Differential Equations},
R. Lorentz: {\it A Hybrid Reduce-Fortran Finite Element Test Environment
(together with M. M"uller)},
D. W. Matula: {\it Standards and Algorithm Design for Floating
Point Arithmetic},
G. Mayer: {\it Two-Stage Interval Iterative Methods},
R. Moore: {\it Parameter Identification with Bounded Error Data},
M. M"uller: {\it A Hybrid Reduce-Fortran Finite Element Test Environment
(together with R. Lorentz)},
M. T. Nakao: {\it Numerial Verifications of Solutions of Partial Differential E
quations},
A. Neumaier: {\it Confidence regions, ellipsoid arithmetic, and the wrapping ef
fect},
M. Pohst: {\it On Computing in Algebraic Number Fields},
S. Rump: {\it Symbolic, Algebraic and Validated Computation},
M. Schaefer: {\it Precise Optimization using Range Arithmetic},
H. J. Stetter: {\it Sensitivity Analysis of Algebraic Algorithms},
B. Tibken: {\it Simulation of Uncertain Discrete Systems},
P. Walerius: {\it High Precision and Verified Computations of Pole Assignment},
M. A. Wolfe: {\it On Certain Computable Tests and Componentwise Error Bounds}.
}
\begin{flushright}
Siegfried~M.~Rump (Hamburg)
\end{flushright}
 
\item {\bf Workshop on ``Algebraic Approaches to Geometric Reasoning''}
 
Vom 17. - 19. August 1992 fand auf Schlo\3
Weinberg, \"Osterreich,
ein Workshop ''Algebraic Approaches to Geometric Reasoning''
statt. Es wurde von Hoon Hong, Dongming Wang und Franz Winkler vom
RISC Linz organisiert.
 
{\bf Vortr\"age:} 
{\footnotesize
\ E. Monfroy, {\it Specification of
geometrical constraints}; R. Loos, V. Weispfenning, {\it Applying
linear quantifier elimination}; H. Hong, {\it Quantifier elimination
for formulas constrained by quadratic equation}; J. Andre, {\it On
non-commutative geometry}; J. Pfalzgraf, {\it A category of geometric
spaces (some computational aspects)}; M.A. Alberti, B. Lammoglia,
M. Torelli, {\it A software environment for algebraic theorem
proving in elementary geometry}; Ph. Balbiani, L. Farinas del Cerro,
{\it A tableaux-based engine for geometrical reasoning};
A. Beutelspacher, J. Ueberberg, {\it Symbolic incidence geometry};
J. Ueberberg, {\it Symbolic incidence geometry and finite linear
spaces}; J.R. Johnson, {\it Applications of cylindrical algebraic
decomposition based quantifier elimination}; G. Meisinger,
{\it Automatic theorem proving in polytope theory};
G. Carra Ferro, {\it An extension of procedure to prove statements in
differential geometry}; Ch.L. Bajaj, {\it B-spline approximations of
algebraic curves and surfaces}; S. Kun, B. Faltings, E. Baechler,
{\it Algebraic computing for geometric multi-interactions};
F. Winkler, {\it Algorithms for algebraic curves and surfaces};
J.H. Rieger, {\it Computing view graphs of algebraic surfaces};
M.F. Roy, {\it Aspect graphs of bodies of revolution with
algorithms of real algebraic geometry}; Wu Wen-ts\"un,
{\it Characteristic-set method and its applications};
Li, Ziming, {\it Automated theorem-proving of the local theory};
M. Kalkbrener, {\it A generalized Euclidean algorithm for geometry
theorem proving}; D. Wang, {\it Elimination procedures for
mechanical theorem proving in geometries}; J. Richter-Gebert,
{\it Mechanical theorem proving in projecitive geometry};
Jie-tai Yu, {\it On relations between Jacobians and minimal
polynomials}; S. Licciardi, Teo Mora, {\it Implicitization of
hypersurfaces and curves by the Primbasissatz and the FGLM
algorithm}; N. Cotfas, M. Ruset, {\it The symmetry group of the
diamond structure and some geometrical invariants}.
} 
\begin{flushright} Volker Weispfenning (Passau) \end{flushright}
\newpage 
\item
{\bf Sommerschule Computeralgebra in Budapest}
 
Vom 24.  8.  bis  4.  9. fand an der Technischen Universit"at Budapest
eine  Sommerschule Computeralgebra  statt, die von  Kollegen an dieser
Universit"at unter  Federf"uhrung von Frau Dr.  E. Horvath organisiert
war.   Hauptthema war Computational Group Theory, das in  insgesamt 25
einst"undigen   Vortr"agen   vorgestellt   wurde   w"ahrend   an   den
Nachmittagen in  einem Praktikum in die Benutzung des Aachener Systems
{\sf GAP}  eingef"uhrt  wurde.  An  den  ersten  beiden  Tagen gab  es
zus"atzlich eine  Einf"uhrung in  das in St.Andrews entwickelte System
MacTutor,  das vornehmlich der Visualisierung mathematischer  Konzepte
f"ur  den  Unterricht von  Anfangssemestern dient,  und in der zweiten
Woche  weitere   5  Vortr"age  "uber   algorithmische  Methoden   f"ur
multivariate Polynomringe und eine parallele Einf"uhrung in das System
MAS.   Die   Sommerschule  wurde  von  Th.Breuer  (Aachen),  A.Caranti
(Trento), F.Celler  (Aachen), H.Kredel (Passau), J.Neub"user (Aachen),
J.O'Connor  (St.Andrews),   E.Robertson   (St.Andrews)   und  A.Seress
(Columbus,  Ohio)  durchgef"uhrt,  etwa  40 Kollegen und Studenten aus
Ungarn, Polen, Rum"anien und der CSFR nahmen teil.
 
\begin{flushright} Joachim Neub"user (Aachen) \end{flushright}
 
\item {\bf DMV-Jahrestagung 1992, Sektions Wissenschaftliches
Rechnen}
 
Humboldt-Universit"at Berlin, 13.--18.09.1992.
 
\noindent Die Jahrestagung der DMV fand
dieses Jahr vom 13.--18. September 1992
an der Humboldt Universit\"at, Berlin, statt. Die Sektion
''Wissenschaftliches Rechnen'' \  wurde geleitet von P. Deuflhard,
Berlin, und V. Weispfenning, Passau. Sie umfa\3te 4 Nachmittage,
die jeweils von einem l\"angeren \"Ubersichtsvortrag eingeleitet
wurden.
 
\noindent {\"Ubersichtsvortr\"age:}

{\footnotesize
\noindent F. Bornemann,
{\it Adaptive Multilevel-L\"osung zeitabh\"angiger
partieller Differentialgleichungen}.

\noindent K. Gatermann,
{\it Symbolisch-numerische Berechnung der L\"osungen
equivarianter Systeme}.
 
\noindent P. Maa\3, {\it Wavelets in der Signalverarbeitung}.
 
\noindent B. Fuchssteiner,
 {\it Computeralgebramethoden bei nichtlinearen
partiellen Differentialgleichungen}.
} 
 
\noindent {Weitere Vortr\"age:}
 
{\footnotesize
\noindent R. Roitzsch,
{\it Erfahrung mit der Im\-ple\-men\-tie\-rung des adap\-ti\-ven
Fi\-ni\-te-Ele\-men\-te-Pro\-gramms KAS\-KA\-DE}.
 
\noindent J. Fuhrmann,
{\it Zur Konvergenz eines algebraisch definierten
Mehrgitterverfahrens}.
 
\noindent I. Schmelzer, {\it Zwei- und dreidimensionele
Gittergenerierung mit funktionaler Geometriebeschreibung}.
 
\noindent M. Lautsch, {\it $n$-dimensionale Vernetzung}.
 
\noindent M. Geiben, {\it Numerische Simulation von dreidimensionalen
instation\"aren kompressiblen Str\"omungen in komplexen
Geometrien}.
 
\noindent S. Noelle, {\it Konvergenz finiter Volumenverfahren auf
irregul\"aren Gittern}.
 
\noindent U. Nowak,
{\it Dynamisches Sparsing in steifen Extrapolationsverfahren}.
 
\noindent F. Grund,
{\it Numerische L\"osung struk\-tu\-rier\-ter Sy\-ste\-me von
Al\-ge\-bra-Dif\-fe\-ren\-tial\-glei\-chun\-gen}.
 
\noindent Th. Becker, {\it Zwei Ergebnisse der Gr\"obnerbasentheorie,
\"ubertragen auf Potenzreihenringe}.
 
\noindent M. G\"obel, {\it Berechnung von Basen f\"ur $G$-symmetrische
Polynome bez\"uglich beliebiger Permutationsgruppen $G$}.
 
\noindent H. Melenk,
{\it Automatisierte symbolische L\"osung einer Klasse
nichtlinearer algebraischer Gleichungssysteme}.
 
\noindent V. Gerdt,
{\it Homogeneous polynomial systems and their re\-duc\-tion
by Gr\"ob\-ner basis tech\-ni\-que}.
 
\noindent M. Buchheit,
{\it Wortersetzungs-Systeme und homologische Algebra}.
 
\noindent R. Sch\"opf/P. Deuflhard,
{\it OCCAL - Ein System zur Behandlung
von Problemen der optimalen Steuerung}.
 
\noindent O. von Stryk, {\it Optimale Steuerung von Industrierobotern}.
 
\noindent T. Sander, {\it Reelle algebraische Zahlen}.
 
\noindent S. Dahlke, {\it An Pseudo-Differentialoperatoren angepa\3te
Wavelet-Basen}.
 
\noindent A. Kunoth/W. Dahmen, {\it Multilevel-Vorkonditionierung}.
 
\noindent W. Volk,
{\it Nichtparametrische Darstellung von Bezier-Kurven}.
 
\noindent W. Dalitz/J. L\"ugger,
{\it Verteilung mathematischer Software
mittels elektronischer Netze - wie elektronische Softwarebibliothek
eLib -}.
 
\noindent F. Schwarz,
{\it Computeralgebra und Differentialgleichungen}.
 
\noindent G. Czichowski,
{\it Zur algorithmischen Symmetrieberechnung bei
gew\"ohnlichen Differentialgleichungen}.
 
\noindent W. La\3ner,
{\it Eine Computeralgebramethode zur Iden\-ti\-fi\-ka\-tion
von Lie-Al\-geb\-ren}.
 
\noindent H. Kredel,
{\it Subalgebra Basen f\"ur aufl\"osbare Polynomringe}.
 
\noindent A. Weber,
{\it Typsysteme f\"ur Computeralgebra-Programme}.
 
\noindent K. Morrisse,
{\it Benutzerschnittstellen zum Computeralgebra-System MuPAD}.
 
\noindent G. Oevel/Th. Schulze,
{\it Grafik im Computeralgebra-System MuPAD}.
 
\noindent G. Reinhardt,
{\it Eine allgemeine Strategie des Tuning der BLAS
auf Assemb\-ler\-ebenen}.
}% end footnotesize 
\begin{flushright} Volker Weispfenning (Passau) \end{flushright}
 
\item {\bf Studies in Computer Algebra for Industry}
 
University of Bath, 30.9.92 -- 1.10.92
 
A short conference was held at Bath between September 30th and October 1st
1992, designed to introduce Computer Algebra to potential users in industry
and elsewhere.  Delegates were given the opportunity to experiment with
various systems including Reduce, IRENA (the interface between Reduce and
the NAG Fortran Library developed at Bath), and \axiom.  There were also a
series of lectures as follows:\\
{\footnotesize
James Davenport: {\it What is Computer Algebra?},
Malcolm MacCallum: {\it Ordinary Differential Equations},
John Fitch: {\it Applications in Astronomy},
Jim Eastwood: {\it Industrial Applications},
Mike Dewar: {\it Applications in Biochemistry},
Mike Dewar: {\it The \axiom\ System},
Mike Richardson: {\it The IRENA System},
John Abbott: {\it The POSSO Project},
Arjeh Cohen: {\it Computer Algebra in Holland},
James Davenport{\it Computer Algebra in France}.
}%footnotesize
\begin{flushright}
Mike Dewar (Bath, England)
\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
News of {\axiom}, Release 1.1
}}\\
\smallskip
\end{center}
 
The Numerical Algorithms Group (NAG) recently announced the availability
of a new, intermediate release (1.1) of the computer algebra system,
{\axiom} (formerly Scratchpad).  This new release incorporates a number of
functional and operational enhancements, including more efficient use of
work space, consistency changes in the {\axiom} Library, the addition of a
colour Postscript interface to the 3-D graphics component, and guidance on
user-written extensions to the on-line HyperDoc help system.  Algebraic
enhancements in the areas of definite integration, differential
equations and finite fields have also been made.  The {\axiom} User Guide
at release 1.1 has been extensively revised and is now published as a
hardback book by Springer-Verlag.  The title of the book is {\sl \axiom, the
Scientific Computation System} (ISBN 0-387-97855-0), and its two
principal authors are Richard Jenks and Robert Sutor.  Copies can be
obtained through Springer-Verlag book outlets or direct from NAG Oxford:
 
{\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}
}
\ \ or\ \
\makebox[5cm]{
\begin{tabular}{c}
NAG Limited, Wilkinson House\\
Jordan Hill Road\\
GB Oxford OX2 8DR\\
Tel.: +44-865-511245\\
Telefax: +44-865-310139\\
Email : infodesk@nag.co.uk\\
\end{tabular}
}
\end{center}
}
\begin{flushright}
Steve J. Hague (Oxford, England)
\end{flushright}
 
 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     Arbeitsgruppen                                              %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
\hrule\vspace{1mm}
{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Berichte \"uber Arbeitsgruppen}\vspace{1mm}\hrule}
\vspace*{3mm}
 
\noindent
{\bf Computeralgebra an der Universit\"at Passau}
 
\noindent Die Passauer Arbeitsgruppe f\"ur
Computeralgebra unter der Leitung von
Professor Dr.\ Volker Weispfenning (Lehrstuhl f\"ur Mathematik mit
Schwerpunkt Algebra) besteht seit 1988; st\"andige Mitarbeiter
sind seitdem Dr.\ Th.\ Becker und Dipl.-Math.\ H.\ Kredel.
Hinzu kommen (seit 1991) zwei Mitarbeiter im Rahmen des DFG-Projekts
``Algorithmische Ideal- und Eliminationstheorie'' sowie
wissenschaftliche Hilfskr\"afte und Diplomanden. Das Arbeitsgebiet
umfa\3t die Bereiche kommutative Algebra und Differentialalgebra,
nichtkommutative Ringe, Logik und Verbandstheorie. Schwerpunkte
bilden Erweiterungen der Gr\"obnerbasis Methode und Algorithmen
der algebraischen Modelltheorie, wie Quantoreneliminationsverfahren
und Entscheidungsverfahren f\"ur formalisierte algebraische Probleme.
Dazu geh\"ort sowohl die theoretische Entwicklung und Untersuchung
von Algorithmen als auch ihre Implementierung in Computeralgebra
Systemen wie REDUCE, ALDES/SAC-2, AXIOM.
 
\noindent Als eigenst\"andiges System wurde von
H.\ Kredel das Computeralgebra System MAS entwickelt.
MAS enth\"alt wichtige Teile des ALDES/SAC-2 Systems
(z.B. Polynomfaktorisierung, reelle Nullstellen) und
des DIP Systems (z.B. Gr\"obnerbasen, Dimension,
reelle Nullstellen von 0 dimensionalen Idealen).
MAS ist interaktiv bedienbar und enth\"alt ein experimentelles
System zur algebraischen Spezifikation.
Neuere Entwicklungen sind z.B. umfassende Gr\"obnerbasen,
nicht-kommutative (aufl\"osbare) Polynomringe, Syzygien,
Polynomringe \"uber Euklidischen Ringen.
Es ist kostenlos \"uber `anonymous ftp'
(internet node \verb/alice.fmi.uni-passau.de/)
erh\"altlich und wird laufend erg\"anzt
und weiterentwickelt.
 
\noindent Einige spezifische Arbeitsprojekte sind
 
\begin{itemize}
\item universelle Gr\"obnerbasen und umfassende Gr\"obnerbasen
      zur uniformen Behandlung parametrisierter Probleme;
      Standardbasen in Potenzreihenringen.
\item Nichtkommutative Gr\"obnerbasen und ihre Anwendungen
\item schnelle Quantoreneliminationsverfahren f\"ur spezifische
      Problemklassen der reellen, $p$-adischen und komplexen Algebra,
      der Differentialalgebra und der Arithmetik.
\item schnelle Entscheidungsverfahren f\"ur elementare
      Probleme in lokal endlichen algebraischen Theorien, speziell
      in der Verbandstheorie und der Booleschen Algebra.
\end{itemize}
 
 
\noindent In K\"urze erscheint ein Lehrbuch
\"uber Gr\"obnerbasen, das in der
Arbeitsgruppe entstanden ist:
 
\begin{center}
{\large Gr\"obner Bases}, \\
A computational approach to commutative algebra, \\
Th. Becker, V. Weispfenning (in cooperation with H. Kredel), \\
Springer Verlag, Graduate Texts.
\end{center}
 
\begin{flushright} Volker Weispfenning (Passau) \end{flushright}
 
 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     Publikationen                                               %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
\vspace*{5mm}
{\Large\bf
\hrule\vspace{1mm}
\centerline{Publikationen "uber Computeralgebra}
\vspace{1mm}
}\hrule
 
\begin{itemize}
\item
B.W.~Char, K.O.~Geddes. G.H.~Gonnet, B.~Leong, M.B.~Monagan, S.M.~Watt
{\em First Leaves: A Tutorial Introduction to Maple V}
1992, ISBN 3-540-97621-3, Springer Verlag.
\item
Finch/Lehman, {\em Exploring Calculus with MATHEMATICA}, ISBN   0-201-55572-7,
1992, Add. Wesley.
\item
M.Hoeft, {\em Laboratories for Calculus using  MATHEMATICA}, ISBN   0-201-54345
-1, 1992, Add. Wesley.
\item
Beckmann, Sundstrom, {\em Exploring Calculus with a Graphic Calculator},
ISBN 0-201-55574-3, Add. Wesley.
\item
D.C. Arney {\em Exploring Calculus with DERIVE}, ISBN 0-201-52839-8, 1992,
Addison-Wesley, ISBN 0-201-52839-8 (166 Seiten).

\noindent DERIVE geh\"ort zu den kleineren
Allzweck-Computeralgebra-Systemen,
die typischerweise auf einen PC laufen. Es hat in den 4 Jahren
seines Bestehens weite Verbreitung gerade auch im schulischen
Bereich gefunden. Das vorliegende Buch wendet sich an den
amerikanischen College-Studenten im 1. Jahr, der DERIVE als
praktisches Hilfsmittel beim Bearbeiten von Aufgaben zu einer
Analysisvorlesung (Calculus) benutzt. Es referiert zun\"achst
in gedr\"angter Form die entsprechenden teile des DERIVE-Handbuchs,
bringt dann einige explizit ausgef\"uhrte Rechen- und
Anwendungsbeispiele, und schlie\3t mit einer Reihe von \"Ubungen
zum Testen der erworbenen F\"ahigkeiten. Es bildet somit eine
n\"utzliche Erg\"anzung zu dem DERIVE-Handbuch f\"ur den
praktischen Umgang mit DERIVE im Bereich der Analysis.
Leider setzt es sich mit einigen grundlegenden Aspekten des
Systems nicht kritisch auseinander. Dazu geh\"ort etwa der
fragw\"urdige didaktische Wert eines Systems mit
unzug\"anglichem Quellkode und nur sehr mageren
Programmierm\"oglichkeiten. (Die entsprechenden positiven
Eigenschaften sind leider mit dem Vorg\"angersystem muMath
untergegangen - wohl zugunsten der ``eleganteren``
Benutzeroberfl\"ache.)
Weiterhin geh\"ort dazu das Schweigen sowohl des Handbuchs als auch
des vorliegenden Buchs \"uber die verschiedenen m\"oglichen
Interpretationen von DERIVE-Ausgaben f\"ur Eingaben, die das
System nicht bew\"altigt - etwa beim Faktorisieren von Polynomen.
W\"unschenswert - und sicher im Rahmen eines PC-Systems machbar -
w\"are eine Nachfolgeversion von DERIVE, die die didaktischen
Vorz\"uge von muMath mit den praktischen F\"ahigkeiten von
DERIVE vereint.
 
\begin{flushright} Volker Weispfenning (Passau) \end{flushright}
 
\item
Richard D. Jenks, Robert S. Sutor, {\em AXIOM, The Scientific
Computation System}, ISBN 3-540-97855-0, 1992,  Springer-Verlag Berlin
Heidelberg, DM 98,--.
 
Nachdem {\axiom} selbst seit einem knappen Jahr verf"ugbar ist, ist nun
auch das Handbuch als Hardcopy erschienen (eine ausf"uhrliche on-line
Version lag ja schon lange vor). Auf ca. 750 Seiten wird das System
umfassend und ausf"uhrlich beschrieben.
 
Das Buch ist in drei Teile untergliedert. Der erste Teil beginnt mit einer
kurzen Darstellung verschiedener Leckerbissen, die das Leistungsverm"ogen
von {\axiom} unterstreichen. So fehlt nat"urlich nicht die Bestimmung der
Stammfunktion von ${ 1 \over { x^3 ( a+bx)^{1/3}}}$. Es folgt eine kurze
Diskussion der technischen Aspekte des Systems. Auf den folgenden 80
Seiten wird das System dann n"aher erl"autert. Dabei ist den Autoren
eine interessante Mischung aus gut gew"ahlten Beispielen und
beschreibendem Text
gegl"uckt. Man hat nie den Eindruck, da"s trockene Materie vermittelt wird.
Dann folgt eine gute Beschreibung des on-line-Helpsystems sowie der
Input/Output-Konventionen. Anschlie"send wird auf 70 Seiten die
Programmiersprache {\axiom} mit all ihren Finessen erkl"art. Eine Demonstration
der Leistungsf"ahigkeit des Graphik-Systems (inklusive etlicher Farbtafeln)
schlie"st den ersten Teil ab. Zu diesem Zeitpunkt ist der Leser eigentlich
schon in der Lage, {\axiom} wirkungsvoll einzusetzen.
 
Der zweite Teil des Buches befa"st sich mit ''Advanced Problem Solving''.
Auf 250 Seiten wird das Leistungsspektrum von {\axiom} eindrucksvoll
beschrieben und bewiesen, da"s es sich wirklich um ''advanced problems''
handelt. Trotzdem k"onnen diese elegant programmiert und gel"ost werden.
Einige Schlagworte aus diesem Teil: Clifford-Algebren,
Potenzreihen, Gr"obnerbasen, Differentialgleichungen, Prim"arzerlegung
von Idealen, verschiedene Implementierungen endlicher K"orper,
nicht-assoziative Algebren mit Anwendungen in der Genetik, etc.
 
Im dritten Teil dann geht es um ''Advanced Programming''. Dieser
Teil ist auch f"ur den erfahrenen Nutzer hochinteressant, da hier
die Details und die Philosophie erkl"art werden, die hinter der
\axiom-Programmiersprache stehen. Selbst alte ''Hasen'' finden hier
neue Informationen. Es wird das Konzept der ''Categories'' und
''Domains'' erkl"art und gezeigt, wie man ''Packages'' schreibt.
Besonders interessant ist die Beschreibung, wie die Domains aufeinander
aufsetzen, was einem den Entwurf von polymorphen Algorithmen erst
erlaubt.
 
Im Anhang werden schlie"slich alle Systemfunktionen sowie alle vorhandenen
Categories, Domains, Packages und Operations aufgelistet - immerhin sind
hierf"ur 120 Seiten erforderlich. Ein guter Index schlie"st das Buch ab.
 
Ich halte das Buch f"ur sehr gelungen. Es enth"alt eine F"ulle von
interessanten Informationen f"ur das ganze Benutzerspektrum, vom Anf"anger
bis zum Profi. Insbesondere sind alle mir bekannten Aspekte des Systems
enthalten. Bei der Lekt"ure wird klar, wie sich {\axiom} von den
anderen Systemen unterscheidet. Das Druckbild ist modern und
nicht mit Details "uberladen. Vielleicht der einzige Wermutstropfen:
Leider hat der Verlag sich f"ur die Klebebindung entschieden. Ob
diese der Benutzung als ''Handbuch'' standh"alt, bleibt abzuwarten.
\begin{flushright}
Gerhard Schneider (Karlsruhe)
\end{flushright}
 
\end{itemize}



\newpage

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     Lehrveranstaltungen                                         %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
{\Large\bf \hrule\vspace{1mm}
%{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Lehrveranstaltungen "uber Computeralgebra im WS 1992/93
\vspace{1mm}}\hrule}
{\small
\begin{itemize}
 
\item
{\bf RWTH Aachen}\\
{\em Methoden der Computeralgebra}, J. Neub"user, V4+"U2.\\
{\em Einf"uhrungspraktikum  Maple}, J. Neub"user, V. Dietrich, U. Klein,
Blockpraktikum in 5 Wochen, "U2.\\
{\em Arbeitsgemeinschaft Untersuchung algebraischer Strukturen auf Computern},
"U2.\\
 
%\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 Effiziente Numerische Algorithmen}, A. Sch"onhage, V4.\\
%{\em Seminar Computeralgebra}, A. Sch"onhage, O. Geupel, S2.\\
 
%\item
%{\bf Universit"at Clausthal-Zellerfeld}\\
%{\em Projektgruppe \ca}, Lex, S"oding, P2.
 
\item
{\bf Technische Universit"at Dresden}\\
{\em Einf"uhrung in die \ca\ I}, K. Rammelt, V2.
 
\item
{\bf Universit"at D"usseldorf}\\
{\em Konstruktive Zahlentheorie I}, M. Pohst, V4 + \"U2.\\
{\em Algorithmen in der Zahlentheorie}, M. Pohst, S2.
 
\item
{\bf Universit"at Erlangen-N"urnberg}\\
{\em Methoden der Computeralgebra: Gr"obnerbasen}, H. Meyn, K. Kalb, V+"U 4\\
 
%\item
%{\bf Universit"at-Gesamthochschule Essen, Institut f"ur Experimentelle
%Mathematik}\\
%{\em Effektive Algorithmen}, T.V. Tran, V2.\\
%{\em Paralleles Rechnen}, W. Happle, P2.
 
\item
{\bf Universit"at Heidelberg}\\
{\em Computeralgebra (Faktorisierung)}, B.~H.~Matzat, V2 + P2.
 
\item
{\bf Universit"at Karlsruhe}
{\em Proseminar Computeralgebra}, J. Calmet, S2\\
{\em Blockpraktikum Maple}, G. Schneider, V2+"U\\
 
\item
{\bf Universit"at Leipzig}\\
{\em \ca\ f"ur Naturwissenschaftler}, W. Lassner, V2.\\
{\em \ca\ und Differentialgleichungen}, W. Lassner, V2.\\
{\em Problemseminar objektorientierte Programmierung}, W. Lassner, P2.\\
{\em Einf"uhrung in die \ca}, H.-G. Gr"abe, V2+P2.\\
{\em Oberseminar \ca}, Lassner, Gr"abe, Apel, Klaus, S2.
 
\item
{\bf RISC Linz}\\
{\em "Uberblick "uber Symbolic Computation}, B. Buchberger, V2 \\
{\em Computeralgebra f"ur Fortgeschrittene}, F. Winkler, V2 \\
{\em Algorithmische Algebraische Geometrie}, S. Stifter, V2\\
{\em Geometrische Grundlagen f"ur Symbolic Computation}, S. Stifter, V2\\
{\em Algorithmische Kombinatorik}, P. Paule, V2\\
{\em Automatisches Beweisen B}, D. Wang, V2 \\
{\em Rewriting in Mathematik und Logik}, H. Hong, V2 \\
%{\em Parallel Algorithms for Symbolic Computation}, H. Hong, V2 \\
{\em Selected Topics in Computer Algebra II}, G. Collins, V2 \\
{\em Praktikum Paralleles Rechnen}, W. Schreiner, P2. \\
{\em Diverse weitere Praktika und Seminare zur \ca}. \\

%\item
%{\bf Technische Universit"at M"unchen}\\
%{\em Einf"uhrung in die Computeralgebra}, M.~Kaplan, V3.
 
\item
{\bf Universit"at-Gesamthochschule Paderborn}\\
{\em Computeralgebra}, B. Fuchssteiner, V4+"U2\\
{\em Mathematisches Grundpraktikum  MuPAD}, W. Wiwianka, V2+"U2\\
{\em Mathematik am Computer}, C. Nelius, V2+"U2\\
{\em Computeralgebra in der Algebra}, H. Lenzing, V2+"U2\\
{\em Automath-Seminar}, N. Dourdoumas, B. Fuchssteiner, J. L"uckel, F.-J. Rammi
g, S2\\
\item
{\bf Universit"at Passau} \\
{\em Algebra}, V. Weispfenning, V4.\\
{\em Oberseminar Computeralgebra}, V. Weispfenning, Th. Becker,
H. Kredel, S3.
 
\item
{\bf Universit"at Rostock}\\
{\em Computeralgebra und -analytik}, Hantzschmann, Widiger, V4.
 
%\item
%{\bf Universit"at des Saarlandes, Saarbr\"ucken}
 
\item
{\bf Universit"at T"ubingen}\\
{\em Termersetzungssysteme}, R.~B"undgen, V3 + \"U1 \\
{\em Parallele arithmetische Algorithmen}, W.~K"uchlin, V3 + \"U1 \\
{\em Seminar \ca}, R.~Loos, G.~Hagel, S2.
 
\item
{\bf Eidgen"ossische Technische Hochschule, Z"urich}\\
{\em Computeralgebra I}, M. Monagan, V2+"U1.\\
{\em Mathematische Software}, R. M"ader, V2+"U1.\\
{\em Seminar Computeralgebra}, M. Bronstein, R. M"ader, S1.\\
 
\end{itemize}
}
 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     Leserbriefe                                                 %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
%{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
%\centerline{Leserbriefe}
%\vspace{1mm}\hrule}


\newpage 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     Kurze Mitteilungen                                          %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Kurze Mitteilungen}\vspace{1mm}\hrule}
 
\vspace*{2mm}
{\small
 
\begin{itemize}
 
\item
Das Mitglied der Fachgruppenleitung
Dr. Gerhard Schneider ist einem Ruf auf eine
C3-Professur an die Universit"at Karlsruhe gefolgt.
Die neue Anschrift lautet:
Rechenzentrum der Universit"at Karlsruhe, Zirkel 2, D-W--7500 Karlsruhe.
Elektronische Adresse: schneider@dkauni2.bitnet bzw.
schneider@rz.uni-karlsruhe.de.
Bitte senden Sie Ihre Beitr"age f"ur \cais\  nur noch an die neuen
Adressen.
\item
Die elektronischen Adresse des Mitglieds der Fachgruppenleitung Dr. Fritz
Schwarz hat sich ge"andert:
fritz.schwarz@gmd.de.
\item
Die Adresse des stellvertretenden Sprechers der Fachgruppe Dr. Johannes
Grabmeier "andert sich zum 15. 12. 1992:
IBM Wissenschaftliches Zentrum Heidelberg,
Vangerowstra"se 18, W-6900 Heidelberg.
Telefon: 06221-59-4329,
Telefax: 06221-59-3200. Die elektronische Adresse bleibt
unver"andert: grabm@dhdibm1.bitnet .
\item
%Landeslizenz Maple:
Im Bundesland Baden-W"urttemberg gibt es nun eine Landeslizenz f"ur Maple.
Damit kann Maple auf
allen Rechnern an allen Hochschulen und Fachhochschulen des Landes
eingesetzt werden. Die Organisation
hat ASK (Akademische Software Kooperation, Uni Karlsruhe) "ubernommen;
die Verteilung erfolgt i.a. "uber die Rechenzentren der
einzelnen Hochschulen.
N"ahere Informationen zur Landeslizenz sind bei ASK erh"altlich
(Herr Filipp, Tel (0721) 608-3802).
\begin{flushright}
Gerhard Schneider (Karlsruhe)
\end{flushright}
\item
An der RWTH in Aachen wurde Anfang September
die eintausendste Sublizenz f"ur
Maple gegen  Beteiligung  mit  DM  20 an den Campuslizenzgeb"uhren  an
Studenten verteilt.
\item
Der DFG-Schwerpunkt Algorithmische Zahlentheorie und Algebra wurde in
der Woche vom 29.6. bis 3.7.1992 im Rahmen einer gleichnamigen Tagung
in Dagstuhl begutachtet mit dem Erfolg, da"s in den n"achsten 2 Jahren
20 Arbeitsgruppen aus 12 Universit"aten innerhalb dieses Schwerpunkts
gef"ordert werden.
\begin{flushright}
B. Heinrich Matzat (Heidelberg)
\end{flushright}

\item
MuPAD 1.0 ist ab sofort verf"ugbar. Der Erwerb der Lizens ist f"ur
wissenschaftliche Institute und Universit"aten kostenlos.
Bei Interesse wenden Sie sich bitte an MuPAD-distribution@uni-paderborn.de
 
 
 
\item
\vspace*{1cm}

\fbox{\parbox{15cm}{
Im Projekt {\em COMAL} bei der GMD in Sankt Augustin ist eine
 
\vspace*{5mm}
 
\centerline{\Large\bf Postdoc-Stelle in \ca}
 
\vspace*{5mm}
 
f\"{u}r drei Jahre wiederzubesetzen.
 
\underline{T\"{a}tigkeit:} Die Mitarbeit im Projekt {\em COMAL} umfa\ss t
die Entwicklung von Algorithmen zur L\"{o}sung von
Differentialgleichungen und ihre Implementierung in verschiedenen
Computeralgebra-Systemen, vorzugsweise \axiom\ und REDUCE.
Dar\"{u}berhinaus sollen Untersuchungen \"{u}ber verschiedene Teilaspekte
der Systementwicklung durchgef\"{u}hrt werden.
 
 
\underline{Gew\"{u}nschte Kenntnisse:}
 
 
- Theorie der Differentialgleichungen und der Algebra.
 
- Basisalgorithmen der Computeralgebra.
 
- Erfahrung bei der Implementierung von Computeralgebra-Software.
 
- Prinzipien des Software-Engineering in Theorie und Praxis.
 
\vspace*{5mm}
Ausk\"{u}nfte erteilt Dr. Fritz Schwarz, Tel. 02241-142782 oder
02241-142334.  Bewerbungen sind zu richten an die Personalabteilung der
GMD, Postfach 1240, 5205 Sankt Augustin.
 }}
 
\end{itemize}
}%\small
 
\end{document}
 
 
 
SoSo 1993
 
\item
{\bf Technische Universit"at Dresden}\\
{\em Einf"uhrung in die \ca\ II}, K. Rammelt, V2.
 
\item
{\bf Eidgen"ossische Technische Hochschule, Z"urich}\\
{\em Computer Algebra II}, M. Monagan, V2 U1 (Sommer).\\
{\em Symbolic Integration}, M. Bronstein, V2 U1 (Sommer).\\
{\em Aufbau symbolischer Rechensysteme}, R. M"ader, V2 U1 (Sommer).\\
 
 
 
