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

\newcommand\tm{$^{\rm tm}$}
\def\CA{Com\-pu\-ter\-al\-ge\-bra}
\def\ca{Com\-pu\-ter\-al\-ge\-bra}
\def\cas{Com\-pu\-ter\-al\-ge\-bra-Sy\-stem}
\def\bibtex{{\sc Bib}\TeX}

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

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

\newcommand{\axiom}{{\sc AXIOM}}
\newcommand{\derive}{{\sc Derive}}
\newcommand{\macsyma}{{\sc Macsyma}}
\newcommand{\maple}{{\sc Maple}}
\newcommand{\mathematica}{{\sc Mathematica}}
\newcommand{\reduce}{{\sc REDUCE}}
\newcommand{\aldessac}{{\sc Aldes/SAC-2}}
\newcommand{\sac}{{\sc SAC-2}}
\newcommand{\aldes}{{\sc ALDES}}
\newcommand{\cayley}{{\sc Cayley}}
\newcommand{\magma}{{\sc MAGMA}}
\newcommand{\cocoa}{{\sf CoCoA}}
\newcommand{\felix}{{\sc FELIX}}
\newcommand{\form}{{\sc FORM}}
\newcommand{\gap}{{\sf GAP}}
\newcommand{\kant}{{\sc KANT-V2}}
\newcommand{\mas}{{MAS}}
\newcommand{\masyca}{{MASYCA}}
\newcommand{\mathcad}{{\sc Mathcad} }
\newcommand{\macaulay}{{\sc Macaulay}}
\newcommand{\macauley}{{\sc Macaulay}}
\newcommand{\mupad}{{\rm MuPAD}}
\newcommand{\chevie}{{\sf CHEVIE}}
\newcommand{\qpic}{{\sc Quotpic}}
\newcommand{\pari}{{PARI}}
\newcommand{\reve}{{\sc Reve}}
\newcommand{\orme}{{\sc ORME}}
\newcommand{\simath}{{\sc Simath}}
\newcommand{\parsac}{{\sc Parsac}}
\newcommand{\symmetrica}{{\sc Symmetrica}}
\newcommand{\reptiles}{{\sc RepTiles}}
\newcommand{\symmpad}{{\sc SymmPAD}}
\newcommand{\singular}{{SINGULAR}}
\newcommand{\theorist}{{\sc Theorist}}
\newcommand{\algep}{{\sc ALGEB}}
\newcommand{\algeb}{{\sc ALGEB}}
\newcommand{\amore}{{AMORE}}
\newcommand{\crep}{{CREP}}
\newcommand{\meataxe}{{\sc Meat-Axe}}
\newcommand{\moc}{{\sc MOC}}
\newcommand{\redux}{{\sc ReDuX}}
\newcommand{\sisyphos}{{\sc Sisyphos}}
%LiE
\font\logo=cmss10 scaled \magstep4
\newdimen\r \r=3.14 pt \multiply\r by \magstep3\divide\r by 1000
\newbox\LiEbox \newbox\liepic
\setbox\LiEbox=\hbox{{\logo L\kern-.25em\raise\r\hbox{\i}\kern-0.03em E} }
\def\LiE.{\unhcopy\LiEbox}
%immer noch LiE
\font\smlogo=cmss10 \r=2.718pt
\newbox\smallLiEbox \newbox\liepic
\setbox\smallLiEbox=\hbox{{\smlogo L\kern-.25em\raise\r\hbox{\i}\kern-0.03em E}}
\def\lie{\unhcopy\smallLiEbox}


\renewcommand{\baselinestretch}{0.9}
 
 
\begin{document}
\begin{Huge}
\noindent
\framebox[175mm]{\bf Computeralgebra--Rundbrief}
\end{Huge}
 
 
\noindent
{\it Nummer 13  \hfill 
%Fachgruppe bzw. -ausschu"s Computeralgebra  der GI (2.2.1), DMV
%und GAMM
Fachgruppe Computeralgebra 
\hfill 28.10.1993}
\footnotetext{{\bf Impressum}\hspace*{3mm}
{\em Computeralgebra--Rundbrief}
\hspace*{3mm}Herausgegeben von der 
Fachgruppe bzw. Fachausschu"s Computeralgebra  der GI (2.2.1), DMV
und GAMM,
Redaktionsschlu{\ss}
28.02 und 31.08. \hbox{Anschrift:}
Dr.~J.~Grabmeier, IBM Deutschland Informationssysteme GmbH, 
Wissenschaftliches Zentrum Heidelberg,
%Vangerowstra"se 18, Postfach 103068, W-6900 Heidelberg.
69020 Heidelberg.
Telefax: 06221-59-3500.
Elektronische Adresse: grabm@dhdibm1.bitnet.
ab 1. November 1993:
Dr. Ulrich Schwardmann,
Gesellschaft f"ur wissenschaftliche Datenverarbeitung mbH G"ottingen (GWDG)
Am Fassberg, 37077 G"ottingen,
Tel. 0551-201542, 
Telefax: 0551-21119
Internet:  uschwar1@gwdg.de,
ISSN 0933-5994.}
 
\vspace*{5mm}
%\vspace*{2mm}
 
{\em
\noindent
Liebe Kolleginnen und Kollegen,

die Arbeit der Fachgruppenleitung im vergangenen halben Jahr  
war gepr"agt von den Aktivit"aten um den Report 
{\sl \ca\ in Deutschland}, aber auch durch neue Initiativen. 
So wurde der Report an alle Dekanate Informatik, Mathematik und
Physik deutscher Universit"aten sowie an Forschungsgesellschaften  und
an die Wissenschaftsministerien verschickt. 
In diesem Zusammenhang sind wir auf Anregung des GI-Pr"asidenten 
Prof. Vollmar dabei, eine Pressekonferenz 
zum Thema \ca\ mit Pr"asentation des Reports vorzubereiten.

Wir haben die Beziehungen zur GAMM neu belebt und werden 
k"unftig dort als Fachausschu"s \ca\ 
aktiv sein. Besonders erfreulich ist, da"s es schon 
bei der n"achsten GAMM-Jahrestagung an Ostern 1994 eine 
Sektion \ca\ (Leitung S.~Rump) und einen Hauptvortrag (B.~Buchberger) 
geben wird, n"aheres dazu in diesem Rundbrief. Wir d"urfen Sie 
bitten, dort mit Vortr"agen und \ca-Vorf"uhrungen mitzuwirken.

Die Kontakte zur Physik haben zu einer gemeinsamen Aktivit"at 
mit der GI-Fachgruppe PII (4.0.3, Physik, Informatik, Informationstechnik) 
gef"uhrt. Wir beabsichtigen, eine interdisziplin"are Tagung zu organisieren
mit dem Ziel, die Anwender von \cas\ in 
Physik, Chemie, Biologie, Medizin und Technik mit den 
Entwicklern von Algorithmen und Systemen der \ca\ zusammenzubringen. 
Wir hoffen, da"s dadurch eine fruchtbarer Dialog entsteht.

Wir haben auch ein Gespr"ach mit dem neu gew"ahlten Vorsitzenden 
(chair) Prof.~E.~Kaltofen  (New York) 
der ACM SIGSAM (SPECIAL INTEREST GROUP ON SYMBOLIC AND ALGEBRAIC
COMPUTATION) gef"uhrt -- siehe dazu auch den letzten Rundbrief Nr. 12 --
und sind "ubereingekommen, k"unftig auf einigen Gebieten eng 
zusammenzuarbeiten, z.B.  bei elektronischen Informationssystemen
wie \cais\ und bei der Sammlung von \ca-Benchmarks.  
Weiter werden sich die beiden Fachgruppen
bei wichtigen Entscheidungen von beidseitigem
Interesse wie etwa ISSAC-Konferenzen usw. gegenseitig absprechen.

Die Fachgruppenleitung hat bei ihrer letzten Sitzung 
eine neue Ordnung beschlossen, die nach der endg"ultigen Zustimmung 
durch die Tr"agergesellschaften sofort in Kraft sein wird. Dies war 
notwendig geworden, da die alte Ordnung an die Fachgruppenrahmenordung
der GI angepa"st werden mu"ste und wir gleichzeitig eine Symmetrie zu den 
drei Tr"agergesellschaften realisieren wollten. Die Ordnung kann 
im \cais\ %z.B. durch {\tt send ....}
abgerufen werden. 

Die Fachgruppenleitung hat Herrn Dr.~Ulrich Schwardmann von der 
Gesellschaft f"ur wissenschaftliche Datenverarbeitung mbH G"ottingen (GWDG)
mit der Redaktion des Rundbriefs betraut. Bitte senden Sie ab sofort 
Ihre Beitr"age direkt an seine unten angebene elektronische Adresse. 


Die gr"o"ste Ver"anderung f"ur die Fachgruppe ergibt sich aus der 
Notwendigkeit,
ab 1.1.1994 einen Beitrag f"ur die Mitglieder der Fachgruppe einzuf"uhren, um 
das Fachgruppenkonto bei der GI auszugleichen und auch k"unftig 
den \ca-Rundbrief herausgeben zu k"onnen.
Bisher konnten die Druck- und Versandkosten weitgehend durch 
die Unterst"utzung der GMD, der GI und aus einem "Uberschu"s aus
einer durch die Fachgruppe organisierten Tagung beglichen werden.
Leider hat sich auch die Hoffnung der Fachgruppenleitung, 
eine Beitragserhebung durch den Verkauf des Reports aufschieben 
zu k"onnen, nicht erf"ullt.  
%Der Jahresbeitrag 
%wurde durch Beschlu"s der  Fachgruppenleitung bei ihrer Herbstsitzung 
%am 23.10.1993 f"ur Mitglieder der Fachgruppe, die 
%zugleich Mitglied der GI, DMV oder GAMM sind, auf
%DM 15,00 festgesetzt.
Auf ihrer Herbstsitzung am 23.10.1993 hat 
die Fachgruppenleitung  beschlossen, 
f"ur Mitglieder der Fachgruppe, die 
zugleich Mitglied der GI, DMV oder GAMM sind, einen 
Jahresbeitrag von DM 15,00 einzuf"uhren.
Wir haben die Gesellschaften gebeten, die Bezahlung dieses Beitrags
zusammen mit ihrem Jahresbeitrag zu erm"oglichen,
%Dieser Beitrag wird ab 1994 mit dem Jahresbeitrag der Gesellschaft angefordert,
bei Mehrfachmitgliedschaften vorzugsweise die GI.
Bei Mitgliedern, die keiner der drei Tr"agergesellschaften angeh"oren, 
wird der Jahresbeitrag von DM 18,00 durch Rechnungstellung erbeten.
Bitte haben Sie Verst"andnis f"ur diese f"ur uns leider 
unumg"anglich gewordene Entscheidung. 

\vspace*{3mm}
\hspace*{70mm} Johannes~Grabmeier \hspace*{15mm} B.~Heinrich~Matzat
}%end 


\vspace*{5mm}

\newpage
 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     Report                                                      %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 
{\vspace*{5mm}{\Large\hrule\vspace{1mm}
%\begin{center}
%{\bf Report \ca\ in Deutschland,\\
\centerline{\bf Report \ca\ in Deutschland,}
\centerline{
Bestandsaufnahme, M"oglichkeiten, Perspektiven}
%\end{center}
\vspace{1mm}
\hrule}
\vspace*{5mm}


Wir haben noch gen"ugend Exemplare des Reports auf Lager. 
Die Mitglieder, die Ihr pers"onliches Exemplar zum 
Vorzugspreis von DM 15,00 noch nicht abgerufen haben, k"onnen 
dies nach wie vor tun. {\bf  Versehentlich haben wohl auch einige
Mitglieder vergessen, den Report zu bezahlen. Bitte haben Sie 
Verst"andnis daf"ur, da"s wir -- wegen hohem Verwaltungsaufwand -- 
nur auf dem Wege "uber den Rundbrief daran erinnern k"onnen, dies
bald nachzuholen.}

Bitte nutzen Sie die Informationsf"ulle "uber 
\ca, die in diesem Report zusammengetragen wurde und 
weisen Sie bei geeigneten Anl"assen und
Gelegenheiten wie Konferenzen und Mitteilungen in 
Hauszeitschriften u. "a. darauf hin. 

Bitten wenden Sie sich auch direkt an die DLGI, wenn Sie Exemplare
auf Tagungen und Veranstaltungen zum Kauf 
zum Preis von DM 25,00 anbieten m"ochten.
Bestellungen sind durch Brief, Telefon, Telefax, elektronische Post oder
aber durch "Uberweisung mit entsprechenden Vermerk auf
einem  "Uberweisungstr"ager m"oglich:
\begin{quotation}
  \noindent
  DLGI, Dienstleistungsgesellschaft  f"ur Informatik mbH,\\
  Godesberger Allee 99, 53175 Bonn 2\\
  Telefon 0228-95994-11 oder -16\\
  Telefax 0228-95994-20\\
  Elektr. Adresse: gibonn@gmd.de  (mit der Bitte um Weiterleitung zu DLGI)\\
  Kontonummer 30403, Sparkasse Bonn, Bankleitzahl 380 500 00\\
  Vermerk: Computeralgebra-Report
  \noindent
\end{quotation}
Mittlerweile ist es auch m"oglich, den Report durch Angabe einer Nummer einer
VISA Card, Eurocard bzw. Masters Card oder Diners Club Card zu bestellen. 
Dies ist insbesondere f"ur Bestellungen aus dem Ausland der einfachste
Weg. Bitte weisen Sie Interessenten aus dem Ausland gezielt auf diese
M"oglichkeit hin.

Das Autoren- und
das Inhaltsverzeichnis sind im \cais\ abrufbar 
(z.B. 
{\tt send ca-report-index from ca-mitt} und 
{\tt send ca-report-content from ca-mitt}
 ). Als zus"atzlichen Service stellen wir Ihnen
die umfangreiche Bibliographie im \bibtex-Format zur Verf"ugung: 
(z.B. {\tt
send ca-report-bibliographie from ca-mitt}).

 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     Konferenzen                                                 %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 
{\vspace*{5mm}\Large\bf\hrule\vspace{1mm}
\centerline{Hinweise auf Konferenzen}\vspace{1mm}\hrule}
 
\begin{enumerate}

\item {\bf  Er"offnungstagung des Zentrums f\"ur
Computeralgebra
an der Universit\"at Kaiserslautern}

Kaiserslautern, 18./19.11.1993.

{\footnotesize 
Weitere Informationen zur Gr"undung dieses Zentrums und
zur Er"offnungstagung finden Sie im 
Abschnitt \glqq\ Kurze Mitteilungen\grqq.
}

\item {\bf SODA 94, fifth annual ACM-SIAM Symposium on
discrete Algorithms}

Arlington, Virginia (USA), 23.-25.1.1994. 

{\footnotesize 
Bei dieser Tagung gibt es eine spezielle Sektion zu {\sl
Symbolic Computation}.
Weitere Informationen: 
Phone: +1-215-382-9800, Fax: +1-215-386-7999, email:
meetings@siam.org.
}


\item {\bf INTERVAL'94, International Conference on Interval and Computer 
Algebraic Methods in Science and Engineering}

St.~Petersburg, 6.--11.3.1994.

{\footnotesize 
Program Committee chairmen:

R.B. Kearfott (USA), V.M. Nesterov (Ru"sland),
J.Wolff von Gudenberg (Deutschland).


Kontaktadresse: 
Dr. V. M. Nesterov, Box 52, 
St.~Petersburg, 195256, Russia,
e--mail: nest@nit.spb.su
}


\item {\bf Algebra and Combinatorics: Interactions and Applications}

Dresden, 6.--12.3.1994.


{\footnotesize 

dedicated to the memory of Lev Arkad'evi\v{c} Kalu\v{z}nin
on occasion of his 80$^{\rm th}$ birthday.

{\it Topics of the conference}: Groups and Permutation Groups,
Algebraic Combinatorics, General Algebra, Applications in various fields of
science (mathematics, computer science, chemistry, \dots).
The {\it organizing committee} consists of Reinhard P\"oschel
(chairman, Dresden),
Adalbert Kerber (co--chairman, Bayreuth)
Mikhail H. Klin (co--chairman, Beer--Sheva) and Otto H. Kegel
 (Freiburg).

Kontaktadresse: 
Reinhard P\"oschel,
e--mail: LAK@nalw01.math.tu--dresden.de,
Phone: (+49)(-(0)351) 463 5355,
Fax: (+49)(-(0)351) 463 7114.
}


\item {\bf Effektive Methoden der algebraischen Geometrie (MEGA 94)}
 
Santander, Spanien, 5.--9.4.1994.
 
{\footnotesize Kontaktadresse: Prof. Tomas Recio, Prof. L. Gonz\'alez--Vega,
Stichtag zum Einreichen von Arbeiten ist der
16.09.1993 in \TeX\ in elektronischer Form an 
mega94@ccucvx.unican.es oder 16 Kopien an 
Departamento de Matem\'aticas,
Facultad de Ciencias,
Universidad de Cantabria,
Santander 39071, Spanien,
Tel.: 0034--42--201433,
Fax: 0034--42--201402,
elektr. Adresse: recio@ccucvx.unican.es.
\infocais
}


\item {\bf GAMM-Jahrestagung 1994, Sektion \ca}

Braunschweig, Ostern 5.-8.4.1994.


{\footnotesize 
F"ur die n"achste GAMM-Jahrestagung ist eine neue Sektion 
{\sl Computeralgebra und -analysis}
von Kurzvortr"agen
eingerichtet worden, deren Organisation Prof. Rump (Hamburg-Harburg)
"ubernommem hat:

                          GAMM  1994,
                 Annual meeting April 5-8, 1994,
                    at Braunschweig, Germany,
 
The {\sl Gesellschaft f"ur Angewandte Mathematik und Mechanik} (GAMM)
will hold its annual meeting 1994 at Braunschweig the week after
easter.
There is a new section of short lectures on
{\sl Computer algebra and computer analysis.}
This section is devoted to algorithms producing correct answers
on the computer, correct by means of exact results or verified
error bounds.
In order to establish this section for future GAMM-meetings we
would very much appreciate many talks from the field of symbolic
and algebraic computation and others working on algorithms in the
above sense.
Interested people should fill out a registration and a lecture form
which can be obtained by e-mail from the address below. The
computer algebra and computer analysis section has number 14.
 
For more information contact S.M. Rump, TU Hamburg-Harburg,
Informatik III, Eissendorfer Str. 38, 21071 Hamburg, Germany,
e-mail: rump@tu-harburg.d400.de
}


\item {\bf 1st International \derive\ Conference}

Plymouth (Gro"sbritannien), 11.--15.7.1994.

{\footnotesize 
Arbeiten sind einzureichen bis zum 31.01.1994.
N"ahere Informationen durch Prof. John Berry, 
Centre for Teaching Mathematics, Univ. of Plymouth, Drake Circus,
Plymouth, Devon PL4 8AA, GB.
}

\item {\bf CONPAR 94 / VAPP VI International Conference}

Linz, Austria, 6.--8.9.1994.

{\footnotesize 
Bei dieser Tagung gibt es eine spezielle Sektion "uber paralleles
symbolisches Rechnen. 
Chairmain: Prof. Jens Volkert, Program Chairman: Prof. Bruno
Buchberger. Weitere Informationen bei 
Wolfgang Schreiner, RISC-Linz, J. Kepler Univ., A-4040 Linz, Austria,
Phone: +43-7236-3231-66, Fax: +43-7236-3231-30, email:
conpar94@risc.uni-linz.ac.at 
}

\item {\bf DMV-Jahrestagung 1994, Sektion \ca}

Duisburg, 19.--23.9.1994.

{\footnotesize 
Erfreulicherweise hat die DMV bei ihrer Jahrestagung 1994 in Duisburg
%nach Berlin 1987 und Regensburg 1988 wieder
wieder eine Sektion \ca\ eingerichtet. Die Sektionsleitung liegt 
in den H"anden von Prof. B. Fuchssteiner, dem DMV-Vertreter 
in der Fachgruppenleitung.
}

\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 Workshop \kant\ und \simath}
%
%Essen, 03.--05.03.1993.
%
%Bericht? Anfrage an Frey am 24.02.93 und 15.9.
%


\item {\bf  Computational Methods in Lie  Theory}


Monte  Verit\`a, Ascona (Schweiz), 08.--12.03.1993.


Vom  8.  bis  12.  M"arz  1993 fand  auf  dem Monte Verit\`a in  Ascona
(Schweiz) ein  Workshop "uber ''Computational Methods in Lie  Theory''
statt, der  von A. Cohen (Eindhoven)  und  H.P.  Kraft,  P. Littelmann
(Basel)  organisiert wurde.   Neben den wissenschaftlichen Vortr"agen,
die  einen   "Uberblick   "uber  Ergebnisse,   Methoden,  Algorithmen,
Programmpakete   und   Computeralgebra-   Systeme   im   Bereich   der
Lie--Theorie  gaben,  wurde  in  kleineren Arbeitsgruppen anregend und
lebhaft  "uber M"oglichkeiten einer  engeren Zusammenarbeit  und eines
besseren Informationsaustausches  diskutiert.  Als  erster Schritt  in
diese  Richtung soll  ein  Netzwerk  von  interessierten Arbeitgruppen
aufgebaut  und  ein  Informationszentrum eingerichtet  werden, welches
elektronisch zug"anglich ist  und durch mehrere Knoten  in Europa  und
Nord--Amerika unterst"utzt wird.   Angestrebt wird die Speicherung von
Informationen "uber interessierte Arbeitsgruppen,  Preprints, Software
und   Algorithmen,   sowie   Konferenzen,  Workshops   und   "ahnliche
Aktivit"aten, die sich unter dem Stichwort eines ''Electronic Bulletin
Board''  zusammenfassen  lassen.   Als   weiterer  Schritt  wurde  die
Einrichtung eines  Software--Archivs anvisiert. Die dabei entstehenden
Fragen  der  Standardisierung,   Dokumentation  und  Begutachtung  von
Programmen  und Systemen wurden  zwar  als  sehr  wichtig,  aber  auch
schwierig bewertet und bed"urfen  weiterer  Er"orterung. Es wurde eine
kleine Arbeitsgruppe eingesetzt, die  dazu  in n"achster Zeit konkrete
Vorschl"age erarbeiten  will.   Als  gegenw"artig  realisierbar  wurde
beschlossen,  da"s  die  Knoten  Informationen  "uber  die  durch  sie
verf"ugbaren Daten und Software sammeln und an das Informationszentrum
weiterleiten  sowie  den  zur Speicherung  von  Daten  erforderlichen
Festplattenplatz   bereitstellen.    Die  Koordination   der  weiteren
Aktivit"aten erfolgt durch ein wissenschaftliches Komitee  bestehend
aus A. Cohen, H.P.  Kraft und R. Moody (Edmonton).  G. Michler (Essen)
hat f"ur den  Sommer 1994 die Organisation eines Workshops in Aussicht
gestellt.
Die Fachgruppe  hat   angeboten, die  
im genannten Informationszentrum   
gesammelten Informationen  auch "uber  \cais\ zug"anglich zu machen.



\begin{flushright}
Meinolf  Geck und  Joachim Neub"user (Aachen)
\end{flushright}



%\item {\bf CAMASA'93}
% 
%Universit\"at Pisa, 22.--24.04.1993.
%\marginpar{ {\scriptsize Gianni am 15.9. angefragt}}
% 
 
%\item {\bf IMACS - SC 93}
% 
%Villeneuve d'Ascq, France, 23.--25.02.1993.
%
%Bericht?


\item {\bf Applied Algebra, Algebraic Algorithms and Error Correcting Codes
           (AAECC-10)}
 
San Juan, Puerto Rico, 10.--14.5.1993.
 
Vom 10. bis 14. Mai 1993 fand in San Juan de Puerto Rico auf dem Campus
der University of Puerto Rico das zehnte internationale
Symposium \"uber angewandte Algebra, algebraische Algorithmen und
fehlerkorrigierende Codes statt. Dazu waren etwa 60
Teilnehmer auf die karibische Insel gekommen. Zu den 6 eingeladenen
und den 21 anderen Vortr\"agen kamen noch 6 Beitr\"age in den 2
Recent Result Sessions hinzu.
Die Proceedings sind bei Springer in  der Serie {\sl Lecture Notes in Computer
Science} als Nr. 673 erschienen.
Es folgt eine Aufstellung der Vortragenden und ihrer Vortragsthemen:

{\footnotesize
Eingeladene Vortr\"age:
A. R. Calderbank: {\it Sequence Based Methods for Data Transmission and Source
    Compression},
P. V. Kumar: {\it On the Apparent Duality of Kerdock and Preparata Codes},
V. Levenshtein: {\it Bounds for Codes as Solutions of Extremum Problems
    for Systems of Orthogonal Polynomials},
H. M. M\"oller: {\it Systems of Algebraic Equations Solved by Means of
    Endomorphisms},
R. A. Scholz: {\it Criteria for Sequence Set Design in CDMA Communications},
M. Sweedler: {\it Using Groebner Bases to Determine the Algebraic and
    Transcendental Nature of Field Extensions: Return of the Killer Tag
    Variable}.
 
Weitere Beitr\"age:
L. Robbiano: {\it A 'Divide and Conquer' Algorithm for Hilbert-Poincar\'e
    Series, Multiplicity and Dimension of Monomial Ideals},
I. Emiris: {\it An Efficient Algorithm for Sparse Mixed Resultant},
N. Koblitz: {\it Fixed-Parameter Complexity and Cryptography},
G. L. Feng: {\it A Class of Algebraic Geometry Codes from Curves in
    High-Dimensional Projective Spaces},
D. Grigoriev: {\it A Zero-Test and an Interpolation Algorithm for Shifted
    Sparse Polynomials},
H. Janwa: {\it Hyperplane Sections of Fermat Varieties in $P^3$ in Char. 2 and
    Some Applications to Cyclic Codes},
E. Kaltofen: {\it Analysis of Coppersmith's Block Wiedemann Algorithm for the
    Parallel Solution of Sparse Linear Systems},
P.-V. Koseleff: {\it Relations Among Lie Formal Series and Construction of
    Symplectic Integrators},
G. Seroussi: {\it Application of Finite Fields to Memory Interleaving},
O. Moreno: {\it An Elementary Proof of a Partial Improvement to the Ax-Katz
    Theorem},
H. Tapia-Recillas: {\it Energy Functions Associated with Error-Correcting
    Codes},
R. E. Sabin: {\it On Determining All Codes in Semi-Simple Group Rings},
K. Saints: {\it On Hyperbolic Cascaded Reed-Solomon Codes},
Y. Saitoh: {\it Peak-Shift and Bit Error-Correction with Channel Side
    Information in Runlength-Limited Sequences},
F. Ulmer: {\it On a Third Order Differential Equation whose Differential
    Galois Group is the Simple Group of Order 168},
J. Stern: {\it Approximating the Number of Error Locations within a Constant
    Ratio is NP-Complete},
J. van Tilburg: {\it Two Chosen Plaintext Attacks on the Li-Wang Joint
    Authentication and Encryption Scheme},
A. Vardy: {\it Some Constructions of Perfect Binary Codes},
J. P. Cherdieu: {\it Exponential Sums, Codes and Hermitian Codes},
C. Carlet: {\it A Problem on BCH Codes Related to the Divisors of $X^{2^m}+X$
    of Constant Derivatives and Degree $2^{m-2}$},
F. Santos: {\it Parametrization of Semialgebraic Sets}.
 
Recent Result Sessions:
V. A. Zinoviev: {\it On 3-Regular Subgraphs of 4-Regular Graphs},
T. Mora: {\it Groebner Bases and Public Key Cryptography:
    How Moriarty Reads Holmes' Messages},
H. F. Mattson: {\it Covering Radius at the Margin},
P. Shiue: {\it Periodic Complementary Binary Sequences},
A. Caceres: {\it Constructive Bounds on Character Sums and the Minimum
    Weight of Codes},
P. Salzberg: {\it A Family of Cryptosystems Based on Combinatorial
    Properties of Finite Geometries}.
}
\begin{flushright}
Torsten Minkwitz (Karlsruhe) 
%minkwitz@ira.uka.de 
\end{flushright}


\item {\bf Workshop on Computational Group Theory}

The Ohio State University, Columbus, Ohio, 24.--28.5.93.

As part of a special quarter on group theory at The Ohio State University,
entitled as ``Groups and Geometries'', a workshop on Computational
Group Theory took place between May 24 -- May 28, 1993. The primary focus
was on complexity analysis of algorithms, with some talks on
practical methods and implementations. There were nineteen participants
from the U.S. and one from Germany. The meeting was partially
supported by a grant from the National Security Agency.

{\footnotesize

G. Michler: {\it Computational methods in modular representation theory},
E. Luks: {\it Computing in solvable matrix groups I--III},
D. Rockmore: {\it Deciding finiteness of integer matrix groups},
P. Morje: {\it On nearly linear time computation of Sylow subgroups},
G. Cooperman: {\it Some thoughts on strong generating set algorithms},
R. Beals: {\it Las Vegas algorithms for matrix groups I--III},
K. Friedl: {\it Decomposition of algebras},
L. Finkelstein: {\it Some thoughts on base change algorithms},
C. Wright: {\it Computing normalizers in $p$-groups},
F. R\'ak\'oczi: {\it Computing normalizers in permutation
representations of $p$-groups (a GAP program)},
M. Slattery: {\it Algorithms for solvable groups}.
}%\footnotsize
\begin{flushright}
\'Akos Seress (The Ohio State Univ.)
\end{flushright}



\item {\bf Workshop on Symbolic and Numeric Computation}


Helsinki University of Technology, Finland 26.--28.5.1993.
 
The Helsinki Workshop on Symbolic and Numeric Computation organized in
May 1993 gathered some 20 speakers together with about 60 attendants.
The aim of the workshop was to discuss topics
on combined symbolic and numeric methods in scientific and engineering problem
solving with possibly the use of high performance computing
environments and visualization techniques.  The workshop provided a
forum for exchanging ideas and introducing projects that have
developed or used some combination of such tools.
 
Prior to the workshop was an \axiom\ course with some 40 attendants.
It was a hands on course given by Grant Keady, University of Western
Australia.
The particpants had a classroom of 20 workstations or X-terminals
at their disposal.
 
The workshop was organized and supported by the following institutions:
University of Helsinki, Helsinki University of Technology,
The Academy of Finland, The Rolf Nevanlinna--Institute, and
Center for Scientific Computing.
 
An alphabetical list of articles to appear in the proceedings to be
published in research series of the Rolf Nevanlinna--Institute later this
year follows.

{\footnotesize
Rafa\l \ Ab\l amowicz  {\it  MAPLE V symbolic software in teaching calculus
  and differential equations},
Heikki Apiola: {\it Linking both Computer Algebra and  numerical
  matrix languages to Fortran libraries -- The ESC-project},
Michael C. Dewar: {\it Manipulating Fortran Code in \axiom\  and the
  AXIOM-NAG Link},
Juha Haataja: {\it A set of symbolic numeric tools for handling some
  problems on Dirichlet polygons},
Andr\'e Heck, Marc Biemond: {\it Computer Algebra and Geometrical Optics I:
  The Eikonal of a Single Refracting Surface},
S. Hemstock, I. Hounam, M. Nadjm {\it  The NAGWare Gateway Generator and
  MAGNum Gateways},
Jarmo Hietarinta: {\it  Solving huge sets of nonlinear equations},
G. Keady, G. Nolan: {\it  Production of Argument SubPrograms in
  the \axiom\ -- NAG link: examples involving nonlinear systems},
Marko Laine: {\it Combining MATLAB with NAG and MAPLE},
Michael B. Monagan: {\it  Computing Partial Derivatives using Algorithmic
  Dif\-fe\-ren\-ti\-ation in Maple},
Pirkka Peltola: {\it  Solving systems of nonlinear equations with Unix ESC},
Seppo Pohjalainen, Timo H\"am\"al\"ainen: {\it  Symbolic Algebra in
  the Design of Control Systems},
Jussi Rahola: {\it  What is new in Matlab 4.0},
J. Saarinen, K. Kankaala, T. Ala-Nissila, I. Vattulainen:
  {\it On Random Numbers --- Test Methods and Results},
A. P. Serebrovski: {\it  Stochastic control theory: Applications of
  computational environments},
Robert Silhol: {\it Some computational problems arising from
  the study of Riemann surfaces},
R. Sinclair: {\it  Computer Evaluation of Feynman Graphs from Many-Body
  Physics in 2+1 Dimensions},
Mark Sofroniou: {\it  A Combined Symbolic-Numeric Environment
  Using Mathematica},
Esko Valkeila: {\it On the computer generation of a Poisson process}.
}%footnotesize
 
\begin{flushright}
Marko Laine (Helsinki)\\
{\footnotesize
University of Helsinki,
Computing Centre,
email: \verb/Marko.Laine@Helsinki.FI/
}
\end{flushright}


%\item {\bf CoCoA -- Computational Commutative Algebra}
% 
%Cortona, 31.05.--04.06.1993.
%{\scriptsize Bei Moeller am 15.9. angefragt, hat nicht
%teilgenommen, 12.10 bei Greuel angefragt, von Greuel 
% fuer Rundbrief 14 zugesagt}


%\item {\bf RTA-93 Fifth International Conference on
% Rewriting Techniques and  Applications}
%
%Montreal, 16--18.06.93.
%
%{\scriptsize am 30.9. angefragt, K"uchlin will sich 
% darum k"ummern}

 
\item {\bf 5th Conference on Formal Power Series
and Algebraic Combinatorics}
 
Universit\"at Florenz, 21.--25.6.1993.

Die f"unfte Tagung "uber {\sl Formale Reihen und Algebraische Kombinatorik}
wurde von den Kollegen des Dipartimento di Sistemi e Informatica
der Universit\'a di Firenze unter Leitung von R. Pinzani ausgerichtet.
Die Ausschreibung umfasste thematisch die folgenden Gebiete:
Formale Reihen in Kombinatorik, Informatik und Kontrolltheorie;
Kombinatorik und Formale Sprachen;
Algebraische und enumerative Kombinatorik;
Orthogonale Polynome und deren $q$-Analoga;
Kombinatorik und Darstellungstheorie;
Algorithmen und Datenstrukturen;
\ca.
F"ur die Programmgestaltung war ein Komitee unter Leitung von
A. Barlotti (Florenz) und M. Delest (Bordeaux) verantwortlich.
Eingeladene Hauptvortr"age wurden gehalten von:

{\footnotesize

G.C. Rota: {\it Report on the present state of combinatorics},
M. Fliess: {\it Some applications of field theory},
A.M. Odlyzko: {\it Successes and failures of analytic
methods in asymptotic enumeration},
F. Bergeron: {\it Experimental Algebraic Combinatorics 1:
Looking for Idempotents},
C. Itzykson: {\it Combinatoire des triangulations},
R. Stanley: {\it A survey of reduced decompositions},
R. Cori: {\it Bijective Census of Rooted Planar Maps: a Survey}.
}%footnotesize

Es folgt eine Aufstellung der regul"aren Vortr"age des Programms:

{\footnotesize

F. Brenti:
{\it Combinatorial Properties of the Kazhdan-Lusztig
and R-polynomials for $S_n$},
A. de Medicis, D. Stanton, D. White:
{\it The Combinatorics of $q$-Charlier Polynomials},
K. Eriksson:
{\it Strong convergence and the polygon
property of 1-player games},
B. Srinivasan:
{\it A geometrical approach to the Littlewood-Richardson rule},
H. Prodinger:
{\it Combinatorics of geometrically distributed
random variables: left-to-right maxima},
X. Gourdon, B. Salvy:
{\it Asymptotics of Linear Recurrences with
Rational Coefficients},
J. B. Remmel, M. Yang:
{\it When is an S-Series Generated by ... Multiplicity-Free?},
S. Plouffe:
{\it Une m\'ethode pour obtenir la fonction
g\'en\'eratrice alg\'ebrique d'une serie},
B. Leclerc:
{\it Powers of Staircase Schur Functions and Symmetric
Analogues of Bessel Polynomials},
R.Q. Huang, J.J. Zhang:
{\it Quantum Letter-Place Algebra},
S. Feretic, D. Svrtan:
{\it On the Number of Column-Convex Polyominoes with given
Perimeter and Number of Columns},
Z.X. Wen, Z.Y. Wen:
{\it Some Studies of Factors of Infinite Words
Generated by Invertible Substitution},
W. Hochstattler, M. Loebl, C. Moll:
{\it Generating Convex Polyominoes at Random},
S. Dulucq, S. Gire, J. West:
{\it Permutations a' motifs exclus et cartes
planaires non separables},
A. Regev:
{\it Young-derived sequences of Sn-characters
and their asymptotics},
Rong-Qing Jia:
{\it The conjecture of Stanley for symmetric magic squares},
L. Cerlienco, M. Mureddu:
{\it Un nuovo algoritmo per la corrispondenza
Robinson-Schensted},
A. Denise:
{\it Generation aleatoire et uniforme de mots},
C. Frougny, J. Sakarovitch:
{\it From the Fibonacci numeration system to the
golden mean base and some generalizations},
R.A. Liebler, K.H. Zimmermann:
{\it Combinatorial $S_n$-Modules as Codes: a Summary},
T. Roby , I. Terada:
{\it A two-dimensional pictorial presentation of
Berele's insertion algorithm for symplectic tableaux},
M. Bousquet-Melou, J.M. Fedou:
{\it \'Enum\'eration des p\^olyominos convexes
suivant l'aire: exemple de r\'esolution d'un
syst\`eme de $q$-equations differentielles},
J.S. Geronimo:
{\it Asymptotics of Orthogonal Polynomials with
applications to q-analogs of classical polynomials},
J. Zeng:
{\it Sur les symetries ternaires liees aux
nombres de Genocchi},
B.Z. Shapiro, M.Z. Shapiro, A.D. Vainshtein:
{\it Topology of Intersections of Schubert
Cells and Hecke Algebra},
E. Roblet, X.G. Viennot:
{\it Th\'eorie combinatoire des T-fractions et
approximants de Pad\'e en deux points},
H. Eriksson:
{\it Rat Races and the Hook Length Formulae},
J. Betrema, A. Zvonkin:
{\it Plane Trees and Shabat Polynomials},
J. Berstel, M. Pocchiola:
{\it Random Generation of Finite Sturmian Words},
D.A. Beck, J.B. Remmel:
{\it The Combinatorics of Symmetric Functions and
Permutation Enumeration of the Groups $S_n$ and $Bn$},
C. Traverso:
{\it Computing the Hilbert-Poincar\'e series of
monomial ideals, applications to Grobner bases},
C. Krattenthaler:
{\it Non-crossing two-rowed arrays and summations
for Schur functions},
S. Fomin, A.N. Kirillov:
{\it The Yang-Baxter equation, symmetric functions,
and Schubert polynomials},
G. Pirillo, S. Varricchio:
{\it Ultimately periodic and $n$-divided words}.
}%footnotesize

Die Beitr"age zur Poster-Session waren:
{\footnotesize

M. Anselmo, A. Bertoni:
{\it On the Hadamard quotient of rational power series:
an application},
S. Ariki, Tomohide Terasoma, Hirofumi Yamada:
{\it Higher Specht polynomials for the
symmetric group and the wreath product},
L. Bessis:
{\it Fixed points of induced automorphisms},
E. Damiani, Ottavio D'Antona, M. Motta:
{\it $2^n$ vs $3^n$ },
M. A. B. Deakin:
{\it Formal power series and the Laplace transforms
of superexponential functions},
H. Decoste, G. Labelle:
{\it Le $q$-d\'enombrement g\'en\'erique d'une
espece: existence et m\'ethode de calcul},
A. Del Lungo:
{\it Polyominos definis par deux vecteurs},
P. Feinsilver, R. Schott:
{\it Orthogonal polynomial expansion via Fourier
transform},
L. Habsieger:
{\it Recouvrements par des spheres de rayon un:
quelques nouvelles minorations},
R. Kemp:
{\it Rank-selection in Fibonacci lattices},
C. Krattenthaler, R. A. Sulanke:
{\it Counting pairs of nonintersecting lattice
paths with respect to weighted
turns},
G. Labelle, L. Laforest:
{\it Etude de constantes universelles pour les
arborescences hyperquaternaires
de recherche},
P. Lalonde, A. Ram:
{\it Standard Lyndon bases of Lie algebras and
enveloping algebras},
H. Sharif:
{\it Algebraic and algebraically independence of
certain formal power series}.
}%footnotesize

Erg"anzt wurde dieses Programm durch folgenden
Demonstrationen von Programmpaketen:

{\footnotesize
Y. Chiricota:
{\it Equations diff\'erentielles combinatoires et
calcul symbolique},
Christan Krattenthaler:
{\it Mathematica packages for the manipulation of
binomial sums and hypergeometric
series, respectively $q$-binomial sums and basic
hypergeometric series},
N. Rouillon:
{\it CalICo - Un logiciel pour la Combinatoire
\'Enum\'erative},
P. Zimmermann:
{\it Gaia: a package for the random generation of
combinatorial structures}.
}%footnotesize
\begin{flushright}
Volker Strehl (Erlangen)
\end{flushright}
 
\item {\bf  1. Treffen der \axiom-Nutzer  aus 
Deutschland, "Osterreich und der Schweiz}

Universit"at Karlsruhe, 24.6.1993--25.6.1993.

Zum ersten Mal trafen sich die \axiom-Nutzer im deutschsprachigen 
Raum in Karlsruhe. Die Veranstaltung wurde von Prof. Schneider
(U Karlsruhe) und dem Verfasser organisiert. Prof. Schneider 
war auch Gastgeber in den R"aumen des Rechenzentrums.

Nach Erl"auterungen der Konzepte und Weiterentwicklung 
(Rel. 2) mit neuem Compiler $A^\#$ und Schnittstellen zur
NAG FORTRAN-Bibliothek wurde "uber Anwendungen 
aus den verschiedenen Bereichen  von
Differentialgleichungen, gruppentheoretische Algorithmen,
endliche K"orper, Gr"obnerbasen, Polynominterpolation 
bis zum Einsatz von \axiom\ bei Untersuchungen zu numerischen Verfahren 
(Runge-Kutta) und "uber Testergebnisse berichtet. 

Es ist geplant, im Herbst 1994 oder Fr"uhjahr 1995 ein 
weiteres Treffen folgen zu lassen.
 
Die Vortr"age im einzelnen: 

{\footnotesize
Steve Hague, Valerie Stanley: {\it  NAG und  \axiom,
         marketing concepts and future development},
Gerhard Schneider: {\it  Lizenzmanager und Campuslizenzen},
Johannes Grabmeier: {\it  Der neue
         \axiom-Compiler A$^\#$ (Asharp)},
Albrecht Fortenbacher: {\it  Typeninferenz in \axiom},
Werner M. Seiler: {\it  Geometrische Theorie partieller  
 Differentialgleichungen in \axiom},
Clifton Williamson: {\it  Integral basis computations in \axiom},
Steve Hague: {\it  Die Schnittstelle zur NAG-FORTRAN-Bibliothek: 
Demonstration},
Holger Gollan: {\it  Datentypen zur Darstellungstheorie},
Stephen Black: {\it   Der Todd-Coxeter-Algorithmus in \axiom},
Frank Schaefer-Lorinser: {\it  K"orper mit $2^n$ Elementen und
    Elliptische Kurven},
Amin Shokrollahi und Kai Werther: {\it 
Generierung von Multiplikationsalgorithmen in endlichen 
 K"orpern  mittels elliptischer Kurven },
Alfred Scheerhorn: {\it  Datenstrukturen f"ur den 
   algebraischen Abschlu"s endlicher K"orper in \axiom},
Kai Werther: {\it 
Interpolationsalgorithmen fuer d"unnbesetzte Polynome 
"uber endlichen K"orpern und ihre 
Implementation in \axiom},
Clifton Williamson: {\it  Stream-based $p$-adic numbers in \axiom},
Michael Pesch: {\it 
          Umfassende Gr"obnerbasen, Standardbasen f"ur 
Potenzreihen und Konstruktion von Ore-Quotientenringen},
Markus Landvogt: {\it  Ordnungsbedingungen bei
  Runge-Kutta-Verfahren},
Michael Kreissig: {\it  \axiom an der TU Chemnitz},
alle: {\it  Deutschsprachige \axiom-Nutzergruppe: Zuk"unftige
Aktivit"aten (Diskussion).}

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

\item {\bf Commutative Algebra and its Interaction with Computer
Algebra and Combinatorics}
 
Institut f\"ur Experimentelle Mathematik der Universit\"at Essen,
28.--30.06.1993.
 
Die von J. Herzog (Essen) organisierte Tagung hatte zum Ziel, neuere
Entwicklungen in der kommutativen Algebra vorzustellen. Der Schwerpunkt
lag auf Gr\"obnerbasen und kombinatorischen Methoden. Das
Institutsgeb\"aude im Essener Norden bot den etwa 30 Teilnehmern
eine gute Umgebung zum Verfolgen der Vortr\"age und zum Diskutieren.
 
Es folgt eine Aufstellung der Vortragenden und ihrer Vortragsthemen:
{\footnotesize
 
W. V. Vasconcelos: {\it On the integral closure},
J. Backelin: {\it Calculating Gr\"obner bases by remembering:
staggered linear bases},
T. Mora: {\it Computing free resolutions over algebro-geometric rings},
H. M. M\"oller: {\it On the computation of minimal resolutions for
zero-dimensional ideals},
P. Schenzel: {\it On the Castelnuovo regularity of Cohen-Macaulay
varieties},
A. Simis: {\it On derivations of Stanley-Reisner rings},
M. Kreuzer: {\it Cayley-Bacharach schemes and applications},
D. Koppenh\"ofer: {\it Projective representations of algebras of
small rank},
R. Stanley: {\it Applications of special systems of parameters},
T. Hibi: {\it Gorenstein integral sequences arising from partially
ordered sets},
R. H. Villareal: {\it On the Betti numbers of some Gorenstein ideals},
P. Schenzel und W. Vogel: {\it Self intersections and singularities},
U. Storch: {\it Regular sequences and elimination},
A. Aramova: {\it Quasihomogeneous singularities in positive
characteristic},
H. G. Gr\"abe: {\it Constructive methods in local algebra},
V. Weispfenning: {\it A new approach to real quantifier elimination},
B. Sturmfels: {\it Application of toric ideals},
C. Krattenthaler: {\it The counting of nonintersecting lattice paths by
weighted turns and its application in combinatorics and algebra},
R. H\"ubl: {\it Residues of regular and meromorphic forms}.
G. Valla: {\it Betti numbers of perfect ideals}.
B. Ulrich: {\it Tangent star cones}.
L. Robbiano: {\it Computing Hilber-Poincar\'{e} series}.
R. Fr\"oberg: {\it Questions about graded algebras}.
N. V. Trung: {\it Refined degree of homogeneous ideals and the membership
problem}
} %footnotesize
\begin{flushright}
H. Michael M\"oller (Hagen)
\end{flushright}
\item {\bf Number Theoretic and Algebraic Methods in Computer Science}
 
Internationale Konferenz am Internationalen Zentrum f"ur
Naturwissenschaftliche und Technische Information in Moskau, Ru"sland,
29.6.--2.7.1993.
 
Die interessante Konferenz deckte ein breites Spektrum von zahlentheoretischen
und algebraischen Algorithmen nebst Anwendungen in der Informatik ab, wobei das
Thema weitr"aumig ausgelegt wurde.
Chairman war Horst G. Zimmer, Saarbr"ucken, und Vicechairman Igor Shparlinsky,
Moskau und Sydney, und aus dem
Programmkomitee nahmen folgende Mitglieder teil:
Stephen D. Cohen (Gro"sbritannien),
Joachim von zur Gathen (Kanada), Michael Kaminski (Hong Kong),
Gary L. Mullen (USA), Andrew M. Odlyzko (USA), Carl Pomerance (USA),
Alf J. van der Poorten (Australien).
 
Es gab eingeladene und beigetragene Vortr"age
u.a. aus den Gebieten: {\em Faktorisierung, Polynom"-arithmetik, 
Lineare Algebra,
Gruppentheorie, Endlich K"orper, Homologietheorie, Algebraische Geometrie,
Diophantische Gleichungen, insbesondere elliptische und hyperelliptische
Kurven, Algebraische Zahlk"orper, p-adische Analysis, Rekurrente Folgen,
Kodierungstheorie und Algorithmentheorie}.
 
Die Konferenzsprache war -- wie "ublich -- Englisch, jedoch wurden die Vortr"age
der russischen Teilnehmer z.T. auf Russisch mit anschliessender "Ubersetzung 
ins
Englische gehalten, was das Verst"andnis etwas erschwerte. Das Internationale
Zentrum war als Konferenzort gut geeignet. 
Neben dem offiziellen Vortragsprogramm
waren viele Gelegenheiten zu Diskussionen im kleineren Kreis gegeben. Eine
Problemsektion beendete die Konferenz. Zu dem guten Gesamteindruck der 
Veranstaltung
trugen nicht zuletzt die gro"se Gastfreundschaft der russischen Kollegen 
und ein
ausgiebiges Besichtigungsprogramm bei. Folgende Vortr"age wurden 
-- in zeitlicher
Reihenfolge -- gehalten:
 
{\footnotesize
 
Stephen D. Cohen: {\it The Dickson polynomials of the second kind that
 are permutation
polynomials over a finite field},
Gary L. Mullen: {\it Dickson polynomials and 
irreducible polynomials over finite
 fields},
Susan Landau (and Neil Immerman): 
{\it The similarities (and differences) between polynomials
and integers},
Gavin McNay: {\it The existence of primitive
 polynomials over finite fields with maximal level},
Sergey A.Stepanov: {\it An algorithm for constructing 
a normal basis in Galois fields},
(Johannes Buchmann und) 
Sachar Paulus: {\it Algorithms for finite abelian groups },
(Laszlo Babai, Eugene M. Luks und ) Akos Seress:
 {\it Fast deterministic computation with permutation},
Marc Chardin: 
{\it Vanishing of the homology of the graded Koszul complex and the
determination of the dimension of projective varieties},
Victor Flynn: {\it Solving Diophantine problems on curves via
 descent on the Jacobian},
Igor A. Semaev: 
{\it A decomposition of Jacobian Varieties of curves of genus 2},
Alf J. van der Poorten: {\it Solving equations $X^2 - DY^2 = -q$},
M. J. Bertin: {\it Small discriminants and Lehmer's problem},
Gerhard Niklasch: {\it Linear forms in two logarithms: Tuning the 
Mignotte-Waldschmidt
theorems for applications},
(Johannes Buchmann und) Christine Hollinger: 
{\it On smooth ideals in number fields},
Renate Scheidler (und Hugh C. Williams): 
{\it Euclidean division in certain cyclotomic
fields},
Oliver Schirokauer: {\it Discrete logarithms and local units},
(I. McFarlane und) S.G. Hoggar: 
{\it Optimal drivers for the ''random'' iteration
algorithm},
Vladimir Anashin: 
{\it Uniformly distributed sequences over p-adic integers with
application to non-linear congruential generators},
I.M. Sobol (und B.V. Shukhman): 
{\it On computational experiments in uniform distribution},
(Peter J. Grabner), Robert F. Tichy (und Reinhard Winkler):
{\it On the stability of the quotients of successive 
terms of linear recurring sequences},
Laurence Somer: 
{\it Bounds for frequencies of residues in second-order recurrences
modulo $p^k$},
Siegfried Lehr: {\it Sums and rational multiples of q-automatic
 sequences are q-automatic},
Andrew M. Odlyzko: {\it Some asymptotic methods in analysis of algorithms and
combinatorial enumeration},
Sergey M.Voronin: {\it Effective cubatures via the theory of divisors},
Jean-Pierre Tillich: {\it The magnifying coefficient of directed graphs},
Tom G. Berry: {\it On the non-existence of certain geometric MDS codes},
(Pascale Charpin und) Francoise Levy-dit-Vehel: 
{\it On self-dual affine-invariant codes},
Vladimir M. Sidel'nikov: {\it Decoding 
the Reed-Solomon code when the number of errors
exceeds (d-1)/2 and finding zeros of certain multivariate polynomials},
Gautami Bhowmik: {\it Multiplicative functions of integer matrices},
Oliver Ramare: {\it On a theorem of Dirichlet},
Ken-ichi Sato: {\it The Farey sequence and the estimation of Franel's sum},
Tonko Tonkov: {\it New variant of an old idea of Dirichlet},
Carl Pomerance: {\it A hyperelliptic smoothness test},
Horst G. Zimmer: {\it Computing the torsion group, the rank and a basis of the
Mordell-Weil group of an elliptic curve},
F. Cucker (J.L. Montana und L.M. Pardo): 
{\it Models for parallel computation with
real numbers},
(Keju Ma und) Joachim von zur Gathen:
 {\it Counting value sets of functions and tesing
permutation functions},
(Andrea Dunham und) Wayne Patterson: 
{\it Using multiple-radix arithmetic for Galois
fields},
Jacques Stern: {\it A polynomial time algorithm for Farey nets},
V. B. Alekseyev: {\it Completeness recognition in many-valued logic by use of
polylinear forms},
Boris F.Mel'nikov: {\it Semigroups and equivalence 
problems in subclasses of the CF-lanuages class}, }%footnotesize
\\
Es ist geplant, Proceedings "uber die Konferenz herauszugeben.
\begin{flushright}
Horst G. Zimmer (Saarbr"ucken)
\end{flushright}


 

\item {\bf Internationales Seminar "uber Computeralgebra}
 
Lomonossow-Universit\"at Moskau, 2.-4.7.1993.
 
Das Seminar fand im Vorfeld der ISSAC~'93 vom 2.-4. Juli 1993 an der
Staatlichen Moskauer Lomonossow-Universit\"at statt.  Es wurde von
Sergej Abramov, Victor Edneral und Eugene Zima als Veranstaltung der
Fakult\"at f\"ur Computermathematik und Kybernetik, des Institutes f\"ur
Kernphysik der Moskauer Universit\"at und der Fakult\"at f\"ur Mechanik
und Mathematik organisiert.
 
Neben der gastfreundlichen Aufnahme der etwa 35 Teilnehmer an der
Moskauer Universit"at geh"orten eine gemeinsame Bootsfahrt auf dem
Moskauflu\ss 
und ein Besuch im Kreml zum kulturellen Teil der Veranstaltung.
 
Das wissenschaftliche Programm war h"oheren Algorithmen der
Computeralgebra und deren Implementierung gewidmet.
 
Es wurden folgende Vortr"age gehalten:

{\footnotesize
Marko Petkovsek (Univ. of Ljubljana): {\it Computing with recurrence
operators};
Jan E.  {\AA}man (Univ.  of Stockholm): {\it CLASSI - A Computer Program for
Invariant Classification of Space-times in General Relativity};
Margarita Spiridonova (Institute of Math., BAN, Sofia): {\it Legendre
Transformations};
Klimov D., Rudenko V., Leonov V.  (IPMech., Moscow): {\it Symbolic
evaluation in the nonlinear mechanical systems};
Zharkov A.Yu., Blinkov Yu.A.  (Saratov State Univ.): {\it Involutive
systems of algebraic equations};
Astrelin A.  (Mech.-Math.  Dept., MSU): {\it Multidimensional analogy of
the Sturm method};
Meshveliany S.  (Pereslavl-Zalessky): {\it REFAL family languages in
symbolic computations};
Raportirenko A.  (JINR, Dubna): {\it Portable Standard Lisp Interpreter
GSL};
James Davenport (Univ.  of Bath): {\it Types and Conditional Information
in Computer Algebra};
Wolfgang Lassner (Univ.  of Leipzig): {\it Isomorphisms and
automorphisms of Lie algebras evaluated by different types of Groebner
bases calculations};
Manuel Bronstein (ETH, Zurich): {\it On the
factorisation of linear ordinary differential operators};
Tsarev S.P. (Steclov Math.  Inst., Moscow): {\it On some problems in
factorization of linear ordinary differential operators: new
applications of old results};
Berzdinsh (Univ. of Riga, Latvia): {\it Usage of Killing's form to determine the
 number of real solutions of an algebraic
system};
Zima E.  (Computat.  Math.  \& Cybern.  Dept., MSU): {\it The recurrent
relations technique in parallelization of large-scale scalar
computations};
Edneral V., Ilyin V., Kryukov A.  (INPhys.  of MSU): {\it CompHEP - a
system for computer algebra in High Energy Physics};
Abramov S.  (Computat.  Math.  \& Cybern.  Dept., MSU): {\it
Denominators of rational solutions of linear difference equations
with rational coefficients}.
}%\footnotesize
\begin{flushright}
Wolfgang La\ss ner (Leipzig)
\end{flushright}


\item{\bf International Symposium on Symbolic and Algebraic Computation, 
ISSAC'93}
 
Kiev, 6.--8.7.1993.
 
Vom 6. bis 8. Juli 1993 fand in Kiev die ISSAC'93 statt. Das
Symposium wurde von ungef\"ahr 70 Teilnehmern besucht.
Im Rahmen
dieser Veranstaltung wurde au\ss erdem am Glushkov Institut in Kiev
ein eint\"agiger Workshop
\"uber Anwendungen der Computeralgebra abgehalten. Die Proceedings
der ISSAC'93 sind bei ACM Press erschienen. Es folgt eine Aufstellung
der Beitr\"age:
{\footnotesize
 
A. Yu. Zharkov: {\it On algebraic solutions of first order Riccati equation},
M. van der Put, P. A. Hendriks: {\it A rationality result for Kovacic's
 algorithm},
V. G. Ganzha, E. V. Vorozhtsov: {\it A Probabilistic Symbolic-Numerical Method
 for the Stability Analyses of Difference Schemes for PDEs},
V. F. Edneral: {\it Computer Generation of Normalizing Transformation for
 Systems of Nonlinear ODE},
S. A. Abramov: {\it On d'Alembert substitution},
M. Petkovsek, B. Salvy: {\it Finding All Hypergeometric Solutions of Linear
 Differential Equations},
D. J. Jeffrey: {\it Integration to obtain expressions valid on domains of
 maximum extent},
E. V. Zima: {\it Numeric Code Optimization in Computer Algebra Systems and
 Recurrent Relations Technique},
G. E. Collins, W. Krandick: {\it A Hybrid Method for High Precision Calculation
 of Polynomial Real Roots},
D. M. Klimov, V. M. Rudenko, V. V. Leonov: {\it Symbolic Evaluation in the
 Nonlinear Mechanical Systems},
A. B. Godlevsky, A. E. Doroshenko: {\it Parallelizing Programs with APS},
S. A. Gutnik: {\it Application of Computer Algebra to Investigation of the
 Relative Equilibria of a Satellite},
I. I. Shevchenko, A. G. Sokolsky: {\it Studies of Regular Precessions of a
 Symmetric Satellite by Means of Computer Algebra},
M. B. Monagan, W. M. Neuenschwander: {\it GRADIENT, Algorithmic Differentiation
 in Maple},
P. Santas: {\it A Type System for Computer Algebra},
W. Jinzhao: {\it The Regular Problem and Green Equivalences for Special
 Monoids},
L. Babai, K. Friedl, M. Stricker: {\it Decomposition of *-closed algebras in
 polynomial time},
H. Wu: {\it On the Assignment Complexity of Uniform Trees},
D. Cantone, V. Cutello: {\it Decision procedures for stratified set-theoretic
 syllogistics},
T. Jebelean: {\it A Generalization of the Binary GCD Algorithm},
L. Babai, R. Beals, D. Rockmore: {\it Deciding finiteness of matrix groups in
 deterministic polynomial time},
R. Beals: {\it An elementary algorithm for computing the composition factors of
 a permutation group},
M. F. Roy, T. Van Effelterre: {\it Aspect Graphs of Algebraic Surfaces},
D. Richardson: {\it A Zero Structure Theorem for Exponential Polynomials},
S. A. Abramov, K. Yu. Kvashenko: {\it On the greatest common divisor of
 polynomials which depend on a parameter},
M. Bronstein, B. Salvy: {\it Full Partial Fraction Decomposition of Rational
 Functions},
M. Kalkbrener: {\it An upper bound on the number of monomials in the Sylvester
 resultant},
E. J. Volcheck: {\it Noether's S-transformation Symplifies Curve Singularities
 Rationally; a local analysis},
B. Mourrain: {\it The 40 ``generic'' positions of a parallel robot},
I. Emiris, J. Canny: {\it A Practical Method for the Sparse Resultant},
D. Bini, V. Pan: {\it Parallel Computations with Toeplitz-Like and Hankel-Like
 Matrices},
J. R. Sendra, J. Llovet: {\it Efficient Algorithms for Hankel matrices over
 Z[x1,...,xr]},
G. Villard: {\it Computation of the Smith normal form of polynomial matrices},
K. Yokoyama, T. Takeshima: {\it On Hensel Construction of Eigenvalues and
 Eigenvectors of Matrices with Polynomial Entries},
L. Vallier: {\it An Algorithm for the Computation of Normal Forms and Invariant
 Manifolds},
J. Shackell: {\it Nested Expansions and Hardy Fields},
D. Gruntz: {\it A New Algorithm for Computing Asymptotic Series},
V. Weispfenning: {\it Differential Term-Orders},
K. Madlener, B. Reinert: {\it Computing Groebner Bases in Monoid and Group
 Rings},
H. Hong: {\it Quantifier Elimination for Formulas Constrained by Quadratic
 Equations},
M. Caboara: {\it A Dynamic Algorithm for Groebner basis computation},
S. C. Chou, X. S. Gao, J. Z. Zhang: {\it Automated Geometry Theorem Proving by
 Vector Calculation},
D. Lin, Z. Liu: {\it Some Results on Theorem Proving In Geometry over Finite
 Fields},
S. Stifter: {\it Geometry Theorem Proving in Vector Spaces by Means of Groebner
 Bases},
G. Keady, M. G. Richardson: {\it An application of IRENA to systems of nonlinear
 equations arising in equilibrium flows in networks},
}%footnotesize
\begin{flushright}
Michael Kalkbrener (Z\"urich)
\end{flushright}

\item {\bf Computer Algebra Applications}
 
Kiev Seminar, July 9, 1993
 
The one-day workshop {\sl Computer Algebra Applications} 
was held in the frame of
International Symposium on Symbolic and Algebraic Computations (ISSAC'93) at
July 9 in Kiev. There were presented reports which are devoted to different
applications of systems and algorithms of computer algebra to other fields
of physics and mathematics. The workshop was dedicated to the memory of
academician V.M.Glushkov, who initialized a lot of works on symbolic and
algebraic computations in the former USSR. Participants of the seminar had
opportunity to acquaint themselves with works in the field of computer algebra
and in computer sciences in general, which are carried out in Glushkov
Institute of Cybernetics.
 
Es folgt eine Aufstellung der Vortragenden und ihrer Vortragsthemen:
{\footnotesize
 
A.G.Sokolsky: {\it Some problems of computerization of celestial mechanics},
A.Molchanov, I.Zinchenko: {\it Expert learning system for numeric and analytic
calculations},
M.Spiridonova, J.A.Desideri: {\it Symbolic computations for the analysis of
finite-difference schemes by the modified equation approach},
G.I.Malashonok: {\it Groebner bases in the polynomial rings over the rings of
principle ideals},
G.E.Tseitlin, E.L.Jushchenko: {\it Glushkov algebra of alghorithms and their
classifications},
A.Yu.Zharkov, Yu.A.Blinkov: {\it Involution approach to solving systems of
algebraic equations},
V.P.Gusynin, V.V.Kornyak: {\it Covariant computation of some spectral properties
of differential operators on curved manifold with torsion},
N.M.Glasunov: {\it Interval arithmetic applications},
M.S.L'vov, V.A.Volkov, A.B.Kuprienko: {\it Applied computer algebra system AIST:
computer support of mathematical training},
N.O.Kirsanov: {\it Describing the morphology of natural and alghorithmic languag
es},
V.F.Edneral: {\it About normal form for the Henon-Heyles equation},
}%footnotesize
\begin{flushright}
Nickolay N. Vasiliev (St.~Petersburg, Ru"sland)\\
{\scriptsize
Inst. of Theor. Astronomy,
10, Kutuzov Quay, St.~Peterburg, 191187, Russia.
Phone: (812) 275-10-24,
email: \verb/vasiliev@iipah.spb.su/
}%scriptsize
\end{flushright}




%\item {\bf IMACS Symposium on Symbolic Computation '93}
% 
%Lille, France, 14.07--17.07.1993.
%
%{\scriptsize bei Fuchssteiner angefragt, kennt auch niemanden 
%der dort war, aber Schwarz war im Programmkomitee}

 
\item {\bf Arithmetik elliptischer Kurven}
 
Konferenz in Anogeia auf Kreta, Griechenland, 19.--24.7.1993
 
Das kleine Bergdorf Anogeia auf Kreta mit seinem Kulturzentrum, 
in dem die Tagung
stattfand, stellt eine griechische Variante von Oberwolfach dar. 
Die meisten Teilnehmer
waren im Kulturzentrum untergebracht, 
und in der langen Mittagspause sowie abends
traf man sich in einem der Kafeneions am Marktplatz zu Privatgespr"achen,
politischer Diskussion oder mathematischem Gedankenaustausch.
Der idyllische Charakter
des Dorfes trug zur besonderen Atmosph"are der Tagung bei. (Ein Fu"sballspiel
verloren die als stark eingesch"atzten Holl"ander 
gegen ein gemischtes internationales Team knapp mit 1:2.)
 
Die Konferenz hatte den zweifachen Zweck, einerseits 
fortgeschrittenen Studenten
einen "Uberblick "uber die 
neueste Entwicklung der Theorie der elliptischen Kurven
zu vermitteln und andererseits den Forscher mit aktuellen 
Forschungsergebnissen auf
diesem Gebiete vertraut zu machen. Im Mittelpunkt des Interesses stand dabei
nat"urlich der Beweis der Fermatschen Vermutung durch Andrew Wiles. 
In zwei spontan
eingef"ugten Vortr"agen von B.J. Birch: {\it Prolegomena to Wiles} und
J. Coates: {\it Some remarks on Wiles' proof}
wurde ein "Uberblick "uber den Beweis von {\it Fermat's Last Theorem} gegeben.
Von vornherein vorgesehen war die Serie von Vortr"agen von
L. Washington: {\it Taniyama's conjecture implies Fermat's Last Theorem},
durch die das Bild abgerundet wurde, da bekanntlich Wiles die Vermutung von
Taniyama f"ur semistabile elliptische Kurven bewiesen hat, 
und dies zum Beweis der
Fermatschen Vermutung hinreicht.
Zu einer weiteren Serie von "Ubersichtsvortr"agen geh"orten:
{\footnotesize
 
J. Coates: {\it Iwasawa theory of elliptic curves} und R. Greenberg:
{\it Iwasawa theory and elliptic curves}.
Die Computational Number Theory kam zum Zuge in den Vortr"agen von
I. Connell: {\it Computing root numbers of elliptic curves},
R. Liverance: {\it Computing root numbers of elliptic curves},
J.-F. Mestre: {\it Constructing elliptic curves of high rank over Q},
P. Stevenhagen: {\it Applications of elliptic curves in number theory},
B. de Weger: {\it S-integral solutions of elliptic equations},
H.G. Zimmer: {\it Torsion groups of elliptic curves over number fields
of small degrees}.
 
Die "ubrigen Vortr"age waren in der Mehrzahl verschiedenen Themen aus der
Arithmetik elliptischer Kurven gewidmet.
 
P. Bayer (and Gonzales-Rovira): 
{\it On the Hasse-Witt invariant of algebraic curves},
Y. Bilu: {\it Diophantine equations},
F. Beukers: {\it Deformation of elliptic curves},
H. Darmon (and A. Granville): {\it A generalized Fermat equation},
M. Hindry: {\it Large generators of the Mordell-Weil group},
S. Lichtenbaum: {\it L-functions and Euler characteristics},
D. Lorenzini: {\it Reduction theory of modular curves and the conductor of an
elliptic curve},
J.-F. Mestre: {\it The rank of twists of elliptic curves},
J. Oesterle: {\it Cohomology of modular curves},
F. Rodriguez-Villegas (and D. Zagier): {\it Central values of
L-series of $x^3 + y^3 = p$},
Jaap Top (and M. Kuwata): {\it Elliptic surfaces}.
}%footnotesize
\\
Die Tagung fand allgemein unter den Teilnehmern gro"sen Anklang.
\begin{flushright}
Horst G. Zimmer (Saarbr"ucken)
\end{flushright}

\item {\bf 2nd Brasilian Workshop on Computer Algebra}

Rio de Janeiro  (Brasiliena), 21.-23.7.1993.

Etwa 60 Teilnehmer besuchten die 4 Minikurse (\`a 3 Stunden)
und zwar `Algebraic Algorithms' (Francis J.  Wright, London
und Rio), `Newton Algorithm, the Symbolic Computation of Flows and
Deriving Geometricaly Stable Integration Algorithms' (Robert Grossman,
Chicago), `Symbolic Computation and the Geometry of Differential
Equations' (William Shadwick, Fields Institute, Canada) und `\axiom\ and
$A^\#$: Computer Algebra with Abstract Data Types' (Stephen Watt, IBM).
Zus\"atzlich gab es einzelne Vorlesungen und Seminare 
zu weiterf"uhrenden Themen.

\begin{flushright}
Vilmar Trevisan (UFRGS, Porto Alegre)
\end{flushright}

\item {\bf Workshop Computational Group Theory\\
w"ahrend der Tagung Groups 93 St Andrews/Galway}
 
Galway (Irland), 1.-14.8.93.

Die Tagung Groups 93 St Andrews/Galway vom 1. bis zum 14. August
war die vierte in einer Reihe
von offenen Gruppentheorie-Tagungen, die seit 1981 alle 4 Jahre stattfinden,
in diesem Jahr in Galway. Diese 14-t"agigen Tagungen haben durch ihr
Konzept, breiter angelegte Surveys mit Einzelvortr"agen "uber neue
Resultate zu mischen, sehr rasch gro"se Beliebtheit erlangt. An der
diesj"ahrigen Tagung nahmen "uber 300 Wissenschaftler aus einem sehr
breiten Spektrum von L"andern teil. Wir waren in diesem Jahr eingeladen,
w"ahrend der zweiten Woche der Tagung das Gebiet der "`Computational
Group Theory"' in einem Workshop vorzustellen. Struktur und Inhalt
dieses Workshops sind aus der angef"ugten Liste der Vortr"age ersichtlich.\\
Die Grundidee war, in 5 Vortragsreihen und 3 Einzelvortr"agen
(insgesamt also gut vierzig 3/4-st"undigen Vortr"agen) einen "Uberblick
"uber die algorithmischen Methoden und deren mathematische Grundlagen
zu geben und in einem Praktikum an f"unf Nachmittagen Gelegenheit zum
Kennenlernen praktischer M"oglichkeiten, insbesondere des in Aachen
entwickelten Systems \gap\ zu bieten.\\
Um a priori eine Absch"atzung der Teilnehmerzahl zu erhalten, konnte man
sich unverbindlich w"ahrend der ersten Woche in Listen f"ur die Teilnahme
an diesen Workshops eintragen. In diese Listen haben sich 114
Kollegen eingetragen. Entsprechend waren die teilweise parallel
laufenden Vortr"age gut besucht, und "uber die Teilnahme an den
"Ubungen hinaus wurde das System vielfach neu angefordert. Ich denke,
da"s insofern, trotz einiger technischer Probleme mit den vorhandenen
Computern, dieser Workshop ein breites Echo gefunden hat.
{\footnotesize

Montag bis Donnerstag:
9.00--10.30 {\it Finitely Presented Groups}, Neub"user, Holt,
9.00--10.30 {\it Representation theory}, Pahlings, Lux, Geck,
11.00--12.30 {\it Collection Methods}, Newman, Neub"user,
11.00--12.30 {\it Programming in GAP}, Sch"o"-nert,
13.45--15.15 {\it Permutation Groups}, Seress,
Montag:
15.30--16.30 {\it Introduction to the use of GAP}, Sch"onert,
16.30--18.30 Praktische "Ubungen,
Dienstag bis Freitag:
15.30--18.30 Praktische "Ubungen,
Freitag:
9.00--10.00 {\it Cohomology groups}, Holt,
10.00--11.00 {\it Matrix groups}, Leedham-Green,
11.30--12.30 {\it Groups, graphs and design}, Soicher.
}%footnotesize
\nopagebreak
\begin{flushright}
Joachim Neub"user (Aachen)
\end{flushright}

%\item {\bf \cayley/\magma Conference on Computational Algebra}
%
%London, 23.-27.08.1993.
%
%{\footnotesize Bericht von Herrn Schneider zugesagt}


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

Gmunden, \"Osterreich, 15.-17.9.93.

Die DISCO'93 war das dritte Symposium in dieser Reihe.
Die wichtigsten Themen in diesem Jahr waren
Typ- und Spezifikationssysteme f\"ur \cas e,
Theorembeweiser und Ans\"atze f\"ur parallele \cas e.
Die Proceedings sind in der Reihe
Springer Lecture Notes in Computer Science, Band 722, erschienen.
Die n\"achste Veranstaltung ist
in 2 Jahren geplant.
%--in Z\"urich oder USA (Proposals) ???

Es folgt eine Aufstellung der Vortragenden und ihrer Vortragsthemen.
{\footnotesize
B. Buchberger (Linz):
{\it \mathematica: A System for Doing Mathematics by Computer $???$},
B. Bauer, R. Hennicker (M\"unchen):
{\it Proving the Correctness of Algebraic Implementations by the ISAR System},
M. Gogolla, S. Conrad, R. Herzig (Braunschweig):
{\it Sketching Concepts and Computational Model of TROLL light},
Bo Yi, Xu Jiafu (Nanjing, China):
{\it Analogical Type Theory},
%
T. Jebelean (Linz):
{\it Improving the Multiprecision Euclidean Algorithm},
R. Maeder (Z\"urich):
{\it Storage Allocation for the Karatsuba Multiplication Algorithm},
A. Diaz, M. Hitz, E. Kaltofen, A. Lobo, T. Valente (Troy, USA):
{\it Process Scheduling in DSC and the Large Sparse Linear Systems Challenge},
M. Monagan (Z\"urich):
{\it GAUSS: a Parametrized Domain of Computation System with Support for
Signature Functions},
A. Weber (T\"ubingen):
{\it On Coherence in Computer Algebra},
P. Di Blasio, M. Temperini (Roma):
{\it Subtyping Inheritance in Languages for Symbolic Computation Systems},
%
J. Calmet I.A. Tjandra (Karlsruhe):
{\it A unified-Algebra-based Specification Language for Symbolic Computing},
A.C. Hearn, E. Schruefer (Santa Monica, USA, St. Augustin):
{\it An Order-sorted Approach to Algebraic Computation},
P. Fritzson, D. Fritzson, V. Engelson, L. Viklund, J. Herber
(Linkoeping, Schweden):
{\it Variant Handling, Inheritance and Composition in the
ObjectMath Computer Algebra Environment},
G. Grivas, R. Maeder (Z\"urich):
{\it Matching and Unification for the Object-Oriented Symbolic
Computation System Algbench},
P.S. Santas (Z\"urich):
{\it On Subtypes and Coercions in Computer Algebra},
E. Omodeo (Roma):
{\it Decision Procedures in Set and Hyperset Theory},
W.M. Farmer, J.D. Guttmann, F.J. Thayer (Bedford, USA):
{\it Reasoning with Contexts},
R. Caferra, M. Herment (Grenoble):
{\it CLEF$_{ATINF}$: A Graphic Framework for Combining Provers and Editing
Proofs for Different Logics},
O. Caprotti (Linz):
{\it Extending RISC-CLP(Real) to Handle Symbolic Functions},
S. Feng, T. Sakabe, Y. Inagaki (Nagoya, Japan):
{\it Dynamic Term Rewriting Calculus and Its Application
to Inductive Equational Reasoning},
M.P. Bonacina, J. Hsiang (Stony Brook, USA):
{\it Distributed Deduction by Clause-Diffusion: the Aquarius Prover},
%
H. Hong, W. Schreiner (Linz):
{\it The Design of the SACLIB/PACLIB Kernels},
C. Limongelli, M. Temperini (Roma):
{\it On the Uniform Representation of Mathematical Data Structures},
A.C. Norman (Cambridge, U.K.):
{\it Compact Delivery Support for REDUCE},
R. Fournier, N. Kajler, B. Mourrain (Sophia-Antipolis, France):
{\it IZIC: a Portable Language-Driven Tool for Mathematical
Surfaces Visualization}.
%}%footnotesize

Beschreibungen der Vorf"uhrungen.
%{\footnotesize
G. Cioni, A. Colagrossi, S. Bonamico (Roma):
{\it An Enhanced Sequent Calculus for Reasoning in a given Domain},
S.A. Missura (Z\"urich):
{\it Extending AlgBench with a type system},
A. Vantaggiato (San Juan, Puerto Rico):
{\it Modeling Finite Fields with Mathematica.
Applications to the Computation of Exponential Sums and to the
Solution of Equations over Finite Fields},
T. Walsh (Edinburgh):
{\it General Purpose of Proof Plans}.
%}%footnotesize

Systemvorf"uhrungen.
%{\footnotesize
A. Colagrossi (Roma):
{\it SEQUENT CALCULUS},
M. Dewar (Bath, U.K.):
{\it \axiom},
M. Gogolla (Braunschweig):
{\it TROLL light Animator},
M. Herment (Grenoble):
{\it CLEF$_{ATINF}$},
R. Maeder (Z\"urich):
{\it AlgBench},
%S.D. Meshveliani (Pereslav-Zaliessky, Russia):
%{\it DoCon - Alg.  Domain Constructor},
S. Missura (Z\"urich):
{\it AlgBench Type System},
A.C. Norman (Cambridge, U.K.):
{\it CSL},
F.J. Thayer (MITRE Corporation):
{\it IMPS Proof System},
%
B. Bauer, R. Hennicker (M\"unchen):
{\it ISAR System},
G. Grivas (Z\"urich):
{\it Matching and Unification for the AlgBench System},
M. Hoffmann (Purdue, USA):
{\it Geometric Constraint Solver},
M. Monagan (Z\"urich):
{\it GAUSS and Maple V R2},
B. Mourrain (Sophia-Antipolis, France):
%\newpage
{\it IZIC},
W. Schreiner, H. Hong (Linz):
{\it PACLIB},
A. Strotmann (K\"oln):
{\it REDUCE 3.4 and PVM 3.1},
A. Vantaggiato (San Juan, Puerto Rico):
{\it Finite Fields Modeling}.
}%footnotesize
\begin{flushright}
Heinz Kredel (Mannheim)
\end{flushright}


\item {\bf Technology in Mathematical Teaching}
 
Birmingham, England, 17.09.1993--20.09.1993.

Herauszustellen ist, da"s trotz der sehr weit gespannten 
Thematik sich zahlreiche Vortr"age (vorwiegend zu \derive)
mit dem Einsatz von \cas en besch"aftigten.
Weiter gab es Workshops zu \derive\ und  \mathematica.
In einer Industrieausstellung wurden vier Systeme, 
n"amlich \maple, \mathematica, \derive\  und 
\macsyma\ (auf dem  PC) gezeigt, was auf
gro"ses Interesse stie"s.
Ein Konferenzband wird bei Chartwell-Bratt, Ltd, 
Orchard, Bickley road, Bromley, Kent. BR1 2NE
erscheinen 

\begin{flushright}
Bernhard Kutzler (RISC-Linz)
\end{flushright}
 

\item {\bf Symbolic Computation in Combinatorics}
 
ACSyAM Workshop, MSI/Cornell University 21.--24.9.1993.
 
Vom 21. bis zum 24. September 1993 fand im
Army Center of Excellence for Symbolic Methods in
Algorithmic Mathematics (ACSyAM) am
Mathematical Sciences Institute (MSI) der
Cornell University (Ithaca, New York)
ein Workshop "uber
``Symbolic Computation in Combinatorics''
statt.
Im Mittelpunkt dieser Veranstaltung, die von dem United States
Army Research Office  unterst"utzt und die nach Oberwolfach-Modus von
P. Paule (RISC, Universit"at Linz, "Osterreich)
und V. Strehl (Informatik, Universit"at Erlangen)
organisiert wurde, standen algorithmische Methoden zur
formalen Behandlung analytischer Probleme, wie sie sich im Zuge
kombinatorischer Forschung stellen (Identit"aten,
Rekursionen, erzeugende Funktionen,
($q$-)hypergeometrische Reihen, Asymptotik, etc.).
Die Berichte "uber den Einsatz von Computeralgebra-Systemen
in der kombinatorischen Forschung und die Diskussion neuer
Methoden wurden durch zahlreiche Systemvorf"uhrungen
unterst"utzt und erg"anzt.
Die Teilnehmer, 35 an der Zahl, genossen die Gastfreundschaft
und die angenehme Arbeitsumgebung, die ihnen das ACSyAM des
MSI unter seinem Direktor Moss Sweedler geboten hat.
Die drei Hauptvortr"age wurden gehalten von:
 
{\footnotesize
 
G. Andrews:
{\it \axiom\  and the Borwein conjecture},
P. Flajolet:
{\it Statistical combinatorics I},
D. Zeilberger:
{\it The holonomic paradigm and beyond}.
}%footnotesize
 
Die Liste der weiteren Vortr"age umfasste:
 
{\footnotesize
 
I. Gessel:
{\it Finding new identities with the WZ method},
G. Labelle:
{\it Some combinatorial results (first) found
by using computer algebra},
F. Garvan:
{\it Ramanujan's theories of elliptic functions
to alternative bases via Maple},
W. Burge:
{\it Dyson's favourite identity},
M. Petkovsek:
{\it A family of nonlinear recurrences with
periodic solutions},
M. Delest:
{\it Enumeration of polynominoes and `Calcul Formel'},
G. Almkvist:
{\it From plane partitions to Fermat's Last
Theorem (excerpts from the note-book
of a \maple\ user )},
P. Paule:
{\it Remarks on symbolic hypergeometric summation},
J. Stembridge:
{\it On symmetric functions associated with
reduced expressions in finite Coxeter groups},
Y. Chiricota:
{\it Using symbolic computation to represent
combinatorial structures},
S. Milne:
{\it \mathematica\ used in work on multiple q-series},
W. Chu:
{\it Basic almost-poised series},
B. Salvy:
{\it Statistical combinatorics II},
V. Strehl:
{\it Transforming recurrences},
F. Bergeron:
{\it A decidable class of series with nice
closure properties},
S. Plouffe:
{\it A method for finding the algebraic generating
function using the LLL algorithm},
R. Ravenscroft:
{\it Symbolic computation with generating functions},
N. Takayama:
{\it Derivation of connection formulas of
hypergeometric functions by computational geometry},
B. Sturmfels:
{\it A generalization of the identity 1+1 = 2}.
%}%footnotesize
 
Folgende Demonstrationen von Programmen und Systemen wurden
angeboten:
%{\footnotesize
V. Adamchik:
{\it Binomial sums and hypergeometric series in \mathematica},
Y. Chiricota:
{\it CalICo: Calcul et Images en Combinatoire},
C. Krattenthaler:
{\it HYP and HYPQ - \mathematica packages for the manipulation
of binomial, q-binomial, hypergeometric, and basic
hypergeometric series},
P. Lisonek:
{\it Denumerants and their approximations},
I. Nemes:
{\it Applications of Abramov's algorithm for finding rational
function solutions of linear difference equations}
und
{\it A \mathematica\ package for Zeilberger's fast algorithm}
(work of P. Paule and M. Schorr)
und
{\it A \mathematica\ package for Karr's algorithm}
(work of K. Eichhorn),
M. Petkovsek:
{\it A package for verification of C-finite identities}
(joint work with I. Nemes)
und {\it A package for computation with linear
recurrence operators with rational coefficients},
Roberto Pirastu:
{\it Rational summation},
B. Salvy:
{\it GFUN: a package for handling generating functions}
und
{\it Gaia -- random generation of combinatorial structures}
(work of P. Zimmermann),
J. Stembridge:
{\it Investigating symmetric functions via \maple},
N. Takayama:
{\it kan --- a computer algebra system for D-modules}.
}%footnotesize
\nopagebreak 
\begin{flushright}
Volker Strehl (Erlangen)
\end{flushright}

\item {\bf 
Symposium on Quantifier Elimination and Cylindrical Algebraic Decomposition
}
 
RISC-Linz, "Osterreich, 6.-8.10.1993.
 
Das Symposium war die erste Konferenz mit dem Schwerpunkt QE und CAD.
Es wurde veranstaltet, um Professor George E. Collins anl"a"slich seines
f"unfundsechzigsten Geburtstags zu ehren.
Die Anwendungsorientiertheit seiner Forschung wurde im Workshop
am Vortag der Konferenz demonstriert als G. E. Collins, H. Hong,
J. Johnson und S. McCallum das in {\tt SACLIB} implementierte Programm
{\tt qepcad} erl"auterten und es mit den Teilnehmern zur L"osung
konkreter Probleme einsetzten.

Folgende Vortr"age wurden gehalten:
{\footnotesize
G. E. Collins: {\it Quantifier Elimination by 
Cylindrical Algebraic Decomposition
 -- Twenty Years of Progress},
D. Dubhashi: {\it Quantifier Elimination in p-adic Fields},
L. Gonzales-Vega: {\it A Combinatorial Algorithm Solving 
some Quantifier Elimination Problems},
L. Gonzales-Vega, H. Lombardi, T. Recio and M.-F. Roy: 
{\it Determinants and Real Roots of Polynomials},
G. Hagel: {\it Characterizations of the Macaulay-Matrix 
and their Algorithmic Impact},
H. Hong: {\it Hilbert's 16th Problem by CAD},
H. Hong, J. R. Sendra: {\it Computation of Variant Resultants},
J. Johnson: {\it Polynomial Real Root Isolation},
E. Kaltofen: {\it Polynomial Factorization},
W. Krandick: {\it Polynomial Complex Root Calculation},
D. Lazard: {\it Which Arithmetic(s) for Real Geometry?},
R. Liska, S. Steinberg: {\it Applying Quantifier 
Elimination to Stability Analysis of Difference Schemes},
R. Loos: {\it Algorithms for Polynomial Greatest Common Divisors},
D. Musser: {\it Systematic Software Development: Reflections on SAC and ALDES},
R. Pollack, M.-F. Roy: {\it How to Find a Point in 
Every Cell Defined by a Family of Polynomials},
J. Renegar: {\it Complexity of Quantifier Elimination over the Reals},
D. Richardson: {\it Local Theories and Cylindrical Decomposition},
D. Saunders: {\it Symbolic Linear Algebra},
V. Weispfenning: {\it A New Approach to Real Quantifier Elimination},
A. Yu. Zharkov, 
Yu. A. Blinkov: {\it Involutive Bases of Zero-Dimensional Ideals}.
}%\footnotesize
 
Die Konferenzbeitr"age sollen Anfang 1994 als dritter Band der Reihe
``Texts and Monographs in Symbolic Computation'' im Springer-Verlag erscheinen.
Dieser Band wird auch andere wichtige Beitr"age zur Theorie 
von QE und CAD nachdrucken
und eine auf den neuesten Stand gebrachte Bibliographie enthalten.
Zusammen mit ``Algorithms in Real Algebraic Geometry'', 
Hrsg. Denis S. Arnon, Bruno Buchberger,
Academic Press 1988, liegt 
dann eine weitgehend vollst"andige Darstellung des
 Gebiets QE und CAD vor.
\begin{flushright}
Werner Krandick (RISC-Linz)\\
{\scriptsize email: \verb/Werner.Krandick@risc.uni-linz.ac.at/ }
\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
SACLIB
}}\\
\end{center}
The undersigned development team hereby announces the availability
of SACLIB, Version 1.1, a library of C programs for computer algebra
derived from the SAC2 system, and incorporating many improvements.

SACLIB contains programs for list processing, infinite precision
arithmetic (integer, rational and modular), operations on
multivariate polynomials (arithmetic operations, substitution,
greatest common divisors, resultants, factorization, and
others), polynomial real root isolation and refinement,
and operations with real algebraic numbers and polynomials
having algebraic number coefficients.

Improved and extended versions of SACLIB, and several SACLIB
application packages, are already in advanced stages of
development.  These include arbitrary precision floating
point and interval arithmetic, improved greatest common
divisor and factorization algorithms for polynomials,
isolation and refinement of complex roots of polynomials,
Gr\"obner basis computation and quantifier elimination.

Included with the programs are a SACLIB User's Guide and a simple
interactive interface.
The system is offered free of charge by anonymous ftp from
RISC (Kurt G\"odel Institute).  Persons acquiring SACLIB are
requested to inform us of the acquisition and to fully abide by the
other conditions specified in the copyright notice in the User's
Guide.

To notify us of the acquisition and in case of problems, send
e-mail to {\sl saclib@risc.uni-linz.ac.at}.
To download the system:
{\scriptsize
\begin{enumerate}
\item FTP to {\sl ftp.risc.uni-linz.ac.at}.
\item Login as {\sl anonymous}, using your login name as a password.
\item CD to {\sl pub/saclib}.
\item GET the files {\sl README}, {\sl COPYRIGHT}, {\sl saclib.tar.Z}, and
   {\sl sac.tar.Z}.
\item The top level README file and additional README files in the package
   give further information on how to unpack and install the system.
\end{enumerate}
}
\begin{flushright}
Bruno Buchberger, George E. Collins,
Mark J. Encarnacion,              Hoon Hong,
Jeremy R. Johnson,                     Werner Krandick und 
Andreas Neubacher (RISC Linz)
\end{flushright}

\begin{center}
{\Large {\bf
MOLGEN+, molekulare Strukturaufkl"arung
in der Chemie
}}\\
\end{center}

MOLGEN$^+$ ist ein \cas\ f\"ur Forschung und Lehre in der
Chemie, das in mehrj\"ahriger Arbeit im Rahmen von Forschungsprojekten
--- finanziell unterst\"utzt von der VW-Stiftung und von der
Deutschen Forschungsgemeinschaft --- am Lehrstuhl II f\"ur Mathematik
der Universit\"at Bayreuth entwickelt worden ist. 
Es wurde mit dem Deutsch-\"Osterreichische
Hochschul-Software-Preis 1993 f\"ur herausragende Lehrsoftware im
Fachbereich Chemie ausgezeichnet.
 
Dieses \cas\ dient der {\em molekularen Strukturaufkl\"arung,}
deren Aufgabe die Identifizierung chemischer Substanzen anhand von
spektroskopischen Daten ist. Es stellt den hierf\"ur zentralen mathematischen
Teil dar, der zu vorgegebener chemischer Summenformel samt Nebenbedingungen
(vorgeschriebene und/oder verbotene Substrukturen) alle chemischen
Strukturformeln ermittelt, die zu den eingegebenen Daten passen. Aus diesen
Strukturformeln wird dann die zu identifizierende Substanz, genauer: deren
Strukturformel, ausgelesen.
 
Diese Identifizierung chemischer Substanzen anhand von experimentellen
Daten ist heute
ein zentrales Thema in den Labors der Analytischen Chemie.
Das massenhafte Auftreten solcher Probleme, beispielsweise auch im
Umweltschutz, l\"a\ss t den Wunsch nach
Automatisierung entstehen, wenn m\"oglich
durch Computerprogramme, die die anfallenden Daten, wie Reaktionsverhalten,
Spektren und
\"ahnliche Informationen, analysieren k\"onnen und dem Chemiker dann
Kandidaten vorlegen --- m\"oglichst wenige, aber unbedingt {\em alle,}
die in Frage kommen.
Im Zentrum solcher Systeme steckt also notwendigerweise ein {\em Generator,}
der in der Lage sein mu\ss, alle mathematisch m\"oglichen
Strukturformeln
zu produzieren --- effizient und redundanzfrei, dies leistet MOLGEN$^+,$
das bereits im industriellen Einsatz erprobt worden ist.
 
Innerhalb der Lehre --- an Schulen, Universit\"aten und in der Ausbildung
der chemischen Industrie --- er\"offnet MOLGEN$^+$ die M\"oglichkeit, dem
Auszubildenden schnell und effektiv die F\"ulle der chemischen Strukturen
zu
demonstrieren, die vorgegebenen Daten gen\"ugen.
 
\bigskip
MOLGEN$^+$ l\"auft unter DOS auf dem PC, wird vom Umschau-Verlag vertrieben
und ist insbesondere auch f\"ur die Lehre
an Schulen und Hochschulen gedacht. Eine Industrieversion MOLGEN$^+$ ist
ebenfalls erh\"altlich (von den Autoren), sie erfordert allerdings, je
nach Ausbaustufe, erheblich mehr Speicherplatz auf der Festplatte.


\begin{flushright}
Adalbert Kerber (Bayreuth)\\
\verb/kerber@btm2x2.mat.uni-bayreuth.de/
\end{flushright}



\begin{center}
{\Large {\bf
{MAS Modula-2 Algebra System Version 0.7}
}}\\
\end{center}
\mbox{ }
 
Since May 1993 a new version of MAS is available via
anonymous ftp from \verb/alice.fmi.uni-passau.de/
from the directory \verb-pub/ComputerAlgebraSystems/mas7-.
 
The major mathematical library changes of the current version 0.7 are
the following.
{\scriptsize
\begin{itemize}
\item An arbitrary domain polynomial system has been implemented.
\item The {\em comprehensive Gr\"obner base} package
      by E. Sch\"onfeld has been added.
\item There are several new basic arithmetic packages:
      complex numbers, quaternion numbers, octonion numbers,
      finite fields and polynomial rings over these domains.
\item A package for computation in non-commutative {\em polynomial
      rings of solvable type}: $*$-product, left Gr\"obner base,
      two-sided Gr\"obner base, elements in the center,
      by H. Kredel has been included.
\item A package for the computation of generators for the module
      of syzygies of systems of homogeneous polynomial equations and
      Gr\"obner bases for modules over polynomial rings
      (also available for solvable polynomial rings)
      by J. Phillip has been added.
\item The {\em universal Gr\"obner base} package
      by T. Belkahia was included.
\item The {\em d-Gr\"obner base} and {\em e-Gr\"obner base} packages
      for Gr\"obner bases over the integers and
      univariate rational polynomial rings,
      by W. Mark has been included.
\end{itemize}
}
Some important system changes of the current version 0.7 are summarized
in the following list.
{\scriptsize
\begin{itemize}
\item The distribution is now based on the Modula-2 to C translator and
      there exists a C distribution which will work on 'most' workstations.
\item New support for PC 386 and higher (running OS2 2.0 and higher) with
      emx dll runtime libraries is provided.
\item New support for PC 386 and higher (running DOS 5.0) with
      emx DOS extender is provided.
      (This version runs 10 times faster than the previous 8086 version).
\item We dropped support for the Atari, Amiga and PC XT up to 286 versions.
      That means, that we do no more distribute executables for these
      systems, but if you have the maskern(el) you can get the
      new source code (except maskern) and compile it on your system.
\item The HELP and help command has been changed to provide
      name ranges and more information from the procedure comments.
\end{itemize}
}
 
The current implementations (version 0.7) run on
IBM RS/6000 / AIX, IBM--AT 386/ DOS (or compatible),
IBM--AT 386/ OS2 2.0 (or compatible)
and further workstations with unix tools and C compiler
(e.g. NeXT, Sun SPARC, DEC, not on HP).
 
\begin{flushright}
Heinz Kredel (Mannheim)\\
\verb/kredel@rz.uni-mannheim.de/
\end{flushright}


\begin{center}
{\Large {\bf
Ank\"undigung von \chevie % {\sf CHEVIE}}
}}\\
\end{center}

Hiermit k\"undigen wir die erste Ver\"offentlichung von {\sf CHEVIE} an, einem
Computeralgebra--System zur symbolischen Manipulation generischer
Charaktertafeln von Gruppen vom Lie--Typ (und ihrer Greenfunktionen), von
Weylgruppen und Heckealgebren. Es basiert auf dem Computeralgebra--System
\gap\ (Lehrstuhl D  f\"ur Mathematik,  RWTH Aachen) und dem kommerziellen System
\maple\ (The Symbolic Computation Group, University of  Waterloo).
 
\noindent
Zusammen mit {\sf CHEVIE} wird eine Bibliothek von generischen Charaktertafeln,
Tafeln von Greenfunktionen, Tabellen unipotenter Charaktere und Charaktertafeln
von Heckealgebren ausgeliefert. Es folgt eine kurze Zusammenfassung des
Funktionsumfangs und Inhalts von {\sf CHEVIE}:
\begin{itemize}
\item Generische gew\"ohnliche Charaktertafeln f\"ur alle Serien
endlicher Gruppen vom Lie--Typ von kleinem Rang.
 
\item Tabellen von Greenpolynomen (f\"ur exzeptionelle Gruppen,
klassische Gruppen von kleinem Rang und unzusammenh\"angende Gruppen), sowie
ein Programm zur Berechnung der Greenpolynome f\"ur Gruppen vom Typ~$A_n$.
 
\item Programme zum Arbeiten mit diesen Tafeln (Skalarprodukte,
Tensorprodukte, Strukturkonstanten), zum Erstellen neuer Tafeln und zum
Ansehen bzw.~Ausdrucken in \TeX--Format.
 
\item Charaktertafeln von Heckealgebren von allen Typen vom Rang
h\"ochstens~7, und rekursive Algorithmen zu ihrer Berechnung f\"ur die Typen
$A_n$ und $B_n$ (wobei allerdings die Formeln f\"ur Typ $B_n$, $n\ge8$, auf
einer bisher unbewiesenen Vermutung beruhen). Tabellen und Programme f\"ur
Weylgruppen sind bereits bisher durch \gap\ zug\"anglich gewesen.
 
\item Programme zur Berechnung von Kazhdan--Lusztig--Polynomen,
Linkszellen und den zugeh\"origen Zelldarstellungen von Weylgruppen
(effektiv bis Rang etwa~4).
 
\item Ein Handbuch mit einer detaillierten Beschreibung der
Funktionen und ausf\"uhrlichen Beispielen.
\end{itemize}
{\sf CHEVIE} entstand als gemeinsames Projekt von Meinolf Geck und G\"otz
 Pfeiffer
(Lehrstuhl D f\"ur  Mathematik, RWTH Aachen, Templergraben 64, D-52062 Aachen),
und Gerhard Hiss, Frank L\"ubeck and Gunter Malle (IWR der
Universit\"at Heidelberg, Im Neuenheimer Feld 368, D-69120 Heidelberg).
Es kann via anonymous ftp von den folgenden ftp-Servern kopiert werden:
\begin{center}
{\tt samson.math.rwth-aachen.de} (Internet--Nr: 137.226.152.6)\\[1.0ex]
{\tt ftp.iwr.uni-heidelberg.de} (Internet--Nr: 129.206.104.40)
\end{center}
Man stelle mittels 'ftp' eine Verbindung zu einem der obigen Rechner her,
melde sich als Benutzer 'ftp' an und gebe als Passwort seine volle
e-mail Adresse ein. {\sf CHEVIE} liegt jeweils in dem Verzeichnis 'pub/chevie'.
Dort befinden sich die zwei Dateien 'README' und 'chevie\underbar{ }tar.Z'.
In dekomprimiertem Format ben\"otigt {\sf CHEVIE} etwa 5MB Plattenplatz.
 
\begin{flushright}
Meinolf Geck, Gerhard Hiss, Frank L"ubeck, Gunter Malle und G\"otz Pfeiffer
(Aachen und Heidelberg)
\end{flushright}


 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     Arbeitsgruppen                                              %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
%{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
%\centerline{Berichte \"uber Arbeitsgruppen}\vspace{1mm}\hrule}
%\vspace*{3mm}
%
%Bericht "uber Arbeitsgruppe Matzat fuer RB 14  vorgesehen
% 

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

\item Scheu, G.: Arbeitsbuch \ca\ mit \derive-Beispielen,
  Algorithmen, Aufgaben aus der Schulmathematik. F. D\"ummlers Verlag,
Bonn, 1992.

\item B"ohm, J. (Hrsg.) : Teaching Mathematics with \derive. 
  Proc. of the Intern. School of Didactics of Computer Algebra, 
  Krems 1992.  Chartwell-Bratt Ltd., Kent, ISBN 0-86238-319-6.

\item Steeb, W.-H. und Lewien, D.:
      Algorithms and Computation with \reduce,
      B.I. Wissenschaftsverlag, Mannheim, Leipzig, Wien, Z"urich, 1992,
      ISBN 3-411-15651-1.

\item Becker, Th.  und Weispfenning, V. (in Zusammenarbeit mit H. Kredel).:
 Gr"obner Bases.  A Computational Approach to Commutative Algebra. 
 Grad. Texts in Math. 141, Springer-Verlag, New York 1993, XXII + 574 pp.
 ISBN 0-387-97971-9. 
 
Gr"obnerbasen spielen eine zentrale Rolle in der Computeralgebra. 
Die Autoren des
vorliegenden Lehrbuchs benutzen Gr"obnerbasen 
als Einstieg in die Kommutative Algebra.
Da es sich dabei um Berechnungsverfahren f"ur 
spezielle Idealbasen in Polynomringen
handelt, ist dieser Einstieg {\sl computational}, 
d.h. vom Gesichtspunkt der Berechenbarkeit und der effizienten 
Berechnung geleitet. Infolgedessen ist das Buch durchweg
mit Algorithmen zur Berechnung der jeweils behandelten 
algebraischen Gr"o"sen und
Gegenst"ande ausgestattet. 
Der Leser kann die theoretischen Ausf"uhrungen unter
Benutzung eines Computeralgebra-Systems, 
z.B. des von H. Kredel entwickelten Systems
\mas, auf einem Computer rechnerisch nachvollziehen. 
Er erh"alt zudem, nicht zuletzt
durch die regelm"a"sig eingestreuten "Ubungsaufgaben, 
Anregungen zum Einf"ugen eigener Programme. 
Das macht die Besch"aftigung mit der Materie viel interessanter als
das bei der blo"sen Lekt"ure der Fall gewesen w"are und bewirkt 
au"serdem ein tieferes Verst"andnis des Stoffes.
Das Buch ist {\sl self-contained}: 
alle behandelten Begriffe und S"atze werden im
Text selbst entwickelt. 
Vor der eigentlichen Behandlung von Gr"obnerbasen geben
die Autoren in den ersten drei Kapiteln eine detaillierte Einf"uhrung 
in die Theorie der kommutativen Ringe mit Einselement, 
der Polynomringe und der Vektorr"aume und Moduln.
Dabei wird der Begr"undung der Polynomringe auf dem Wege 
"uber Monoidringe naturgem"a"s besonders breiter Raum einger"aumt. 
Die ausf"uhrliche Bereitstellung der
Hilfsmittel aus der Logik wie etwa 
Ordnungsrelationen, Reduktion, Auswahlaxiom und
Zornsches Lemma sowie Berechenbarkeit erfolgt in Kapitel vier 
ebenfalls noch vor
dem eigentlichen Kapitel "uber Gr"obnerbasen. 
Diese Basen werden dann in Kapitel f"unf
ausgiebig sowohl theoretisch als auch algorithmisch behandelt.
Hier finden sich
daher neben {\sl prinzipiellen} auch zwei {\sl real-life} 
Versionen des Buchberger-Algorithmus,
w"ahrend im Gegensatz dazu im Kapitel zwei 
"uber Polynomringe nur ein "prinzipieller"
Faktorisierungsalgorithmus Platz hatte, 
was ja auch der Zielrichtung des Buches
angemessen ist.

    Die letzten f"unf Kapitel bringen eine 
Auswahl von Anwendungen der Gr"obnerbasen-Algorithmen u.a. 
auf die Syzygienberechnung, den Hilbertschen Nullstellensatz, 
die Prim"arzerlegung von Idealen in Noetherschen Ringen, 
die Nullstellenberechnung von
Polynomsystemen und die Dimensionsbestimmung in 
Polynomalgebren.

    In einem Anhang gehen die 
Autoren noch auf verschiedene Themen wie Komplexit"atstheorie und 
automatisches Beweisen kurz ein.

    Das Buch stellt eine echte Bereicherung der Literatur auf den Gebieten der
Computeralgebra und der Kommutativen Algebra dar, 
das f"ur Mathematiker und Informatiker gleicherma"sen 
n"utzlich ist. Es zeichnet sich durch seine algorithmische Ausrichtung 
anderen Lehrb"uchern gegen"uber aus. 
Die Ausf"uhrlichkeit der Darstellung
macht es leicht lesbar, sorgt aber andererseits auch 
f"ur einen gro"sen Umfang, der
abschreckend wirken k"onnte. 
Aber das Thema Gr"obnerbasen hat sich nun einmal zu
einem gro"sen Gebiet entwickelt, das eine entsprechende 
Darstellung verlangt. Au"serdem ist das Buch nicht nur als 
Lehrbuch geeignet, sondern kann auch als Nachschlagewerk
und Anleitung zum Programmieren in der Kommutativen Algebra dienen.

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

\item H. Cohen: {A Course in Computational Algebraic Number Theory},
 Springer-Verlag, Heidelberg 1993, DM 88,00, ISBN = 3-540-55640-0.

Dieses Buch wird im n"achsten Rundbrief besprochen. %Besprechung durch Zimmer

\item Stichtenoth, H.:
      Algebraic Function Fields and Codes,
      Springer-Verlag, Heidelberg 1993,
      DM 48,00,
      ISBN 3-540-56489.

Das Buch gibt eine beweisvollst"andige Einf"uhrung in die
Theorie der algebraischen Funktionenk"or"-per und der
geometrischen Goppa-Codes in der Sprache der 
algebraischen Funktionenk"orper. Es enth"alt u.a. auch
die Beweise zum Satz von Riemann-Roch, den Residuensatz und
den Satz von Hasse-Weil (Riemannsche Vermutung f"ur die
Kongruenzzetafunktion), die in anderen B"uchern "uber
geometrische Goppa-Codes wie auch in der umfangreichen 
Monografie von Tfasman und Vladut {\sl Algebraic Geometric Codes}
stets vorausgesetzt werden.
\begin{flushright}
B. Heinrich Matzat (Heidelberg)                                   
\end{flushright}

\item Kaufmann, St.:
      Mathematica als Werkzeug,
      Birkh"auser Basel 1992,
      SFr 48,00,
      ISBN 3-7643-2832-0. 

Dieses Buch wird im n"achsten Rundbrief besprochen.
%Besprechung durch Hehl


\item Pohst, M.E.:
        Computational Algebraic Number Theory,
        Birkh"auser Basel 1993, DMV Seminar 21,
        DM 39,00,
        ISBN 3-7643-2913-0.


Dieses Buch wird im n"achsten Rundbrief besprochen.
%Besprechung durch Zimmer


\item  {Heck, A.}:
      {Introduction to Maple},
       Springer-Verlag, Heidelberg 1993, 
       {DM 68,00},
       ISBN {3-540-97662-0}.

Zur Zeit erscheinen bei vielen Verlagen B"ucher zum \cas\
\maple, die entweder als Einf"uhrung in das \maple--System gedacht sind
oder spezielle Einsatzgebiete behandeln.

Das Buch von A. Heck unterscheidet sich von allen anderen B"uchern, die
mir bekannt sind dadurch, da"s es sich schon vom Aufbau her an den Problemen
des Benutzers von Maple orientiert. Es wird z.B. das Arbeiten mit
Polynomen und Reihen oder das L"osen von Gleichungen behandelt unabh"angig
davon, ob die dabei benutzten Kommandos zu den automatisch zur Verf"ugung
stehenden Grundkommandos geh"oren oder ob Kommandos z.B. aus den
unterschiedlichen Paketen dazugeladen werden m"ussen. Das gibt dem Benutzer
einen guten und vollst"andigen "Uberblick "uber die M"oglichkeiten, die
ihm das System zur Bearbeitung seiner Aufgabenstellung bietet.

Dar"uberhinaus zeigt die Art, wie der Verfasser die gew"ahlten
Beispielaufgaben behandelt, da"s er sehr gut mit \maple\ vertraut ist und
die Schwierigkeiten kennt, die einem Neuling beim Arbeiten mit \maple\
begegnen k"onnen. Die m"oglichen Fehler in der Benutzung werden an
Beispielen erl"autert und es wird begr"undet, weshalb das System so
reagiert.

Wer das Buch gelesen --- oder besser: an seiner EDV-Anlage durchgearbeitet
hat --- wird ohne Probleme \maple\ in den hier behandelten Einsatzgebieten
verwenden k"onnen.

Hilfreich sind auch die im letzten Abschnitt behandelten umfangreicheren
Aufgabenstellungen. Dem Leser, der darauf brennt, \maple\  zu benutzen, schl"agt
der Verfasser vor, das einleitende Kapitel zu "uberschlagen. Man sollte es
aber nicht ganz aus den Augen verlieren, da auch hier wertvolle Hinweise
zum Umgang mit einem \cas\ gegeben werden.

Fazit: Das Buch von A.~Heck ist das beste bisher auf dem Markt befindliche
Werk, unabh"angig davon ob man sich in das \maple-System einarbeiten oder
nur spezielle M"oglichkeiten des System nutzen m"ochte.

\begin{flushright}
Ulrich Klein (Aachen)
\end{flushright}


\item B. Fuchssteiner et al.: {\mupad. Benutzerhandbuch}.
Birkh"auser, Basel, Boston, Berlin 1993, ISBN 3-7643-2872-X.

Schon wieder ein neues \cas\ oder jedem das Seine.

Die Universit"at Paderborn hat das \cas\ \mupad (Multi
Processing Algebra Data Tool) der "Offentlichkeit vorgestellt.
Ein Ziel der \mupad-Gruppe  war es, den Benutzern ein Werkzeug zur
Verf"ugung zu stellen, mit dem gro"sen Datenmengen wie sie beim
symbolischen Rechnen anfallen, gehandhabt werden k"onnen.

Zu \mupad\ ist ein Benutzerhandbuch erschienen, das als
Einstiegshilfe, aber auch als Nachschlagewerk dient.
Wir finden darin eine Einf"uhrung in \mupad, eine Beschreibung der
\mupad-Sprache und eine "ubersichtliche Liste aller Befehle mit ihrer
Beschreibung. Auch finden wir hier genauere Information "uber
den Kern von \mupad\ und die verwendeten Datenstrukturen.

Die Benutzerschnittstelle von \mupad\  kann durchaus mit xmaple V Rel 2!
verglichen werden.  Wir finden eine Beschreibung derselben im
Benutzerhandbuch.  \mupad\  bietet wie \maple\  eine On-Line Dokumentation,
so ist es schnell m"oglich, Information "uber einen Befehl zu bekommen.
Das ganze Benutzerhandbuch wird als Hypertext mitgeliefert.
Die Grafikumgebung von \mupad\ ist sehr ausgereift:
Interaktives Ver"andern von Grafiken wie Drehen oder Wechseln der Darstellung.
Im Benutzerbuch sind einige Grafiken abgebildet, so da"s man die
M"oglichkeiten des Grafik-Tools anhand von farbigen Beispielen sieht.


\mupad\ hat im Moment noch keine gro"se Bibliothek und Sonderfunktionen zum
Faktorisieren von Polynomen, Integrieren oder die Zeta-Funktion,
(\maple, \mathematica\ und \axiom\  haben ja fast all diese Dinge 
implementiert).
Dies wird sich mit der Zeit aber "andern. Einige Beispiele dazu finden wir
auch im Benutzeshandbuch.

Zur Zeit ist \mupad\ eher ein starkes Tool f"ur den programmierenden 
Mathematiker als ein \glqq Taschenrechner\grqq\ f"ur den Ingenieur.  
Dies spiegelt sich auch im Namen wieder:  {\sl Algebra Tool}.

\begin{flushright}
Martin v. Mohrenschildt (Z"urich)
\end{flushright}


\item 
     Hehl, F.W. and V. Winkelmann and H. Meyer:
      \reduce. Ein Kompaktkurs "uber die
                 Anwendung von Computer-Algebra,
       Springer-Verlag, Heidelberg 1993, 
        DM 38,00,
        ISBN: 3-540-56705-4.
Dies ist eine Neuauflage des  Buches 
Computer-Algebra. Ein Kompaktkurs "uber die
                 Anwendung von \reduce\ mit
neuem Titel. Es wird im n"achsten Rundbrief besprochen.


\item 
{Kov\'acs, P.}:
{{R}echnergest\"utzte symbolische {K}inematik},
Vieweg, Braunschweig, Wiesbaden,
Fortschritte der Robotik, Vol. 18,
1993,
{DM 112,00},
ISBN = {3-528-06544-3}

Das Buch wird im n"achsten Rundbrief besprochen.
%Besprechung Grabmeier

\item 
{Clausen, M., Baum, U.}:
{Fast Fourier Transforms},
BI Wissenschaftsverlag, Mannheim, 
ISBN 3-411-16361-5,
1993.

\end{itemize}


%\newpage

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%     Lehrveranstaltungen                                         %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
{\Large\bf \hrule\vspace{1mm}
%{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Lehrveranstaltungen "uber Computeralgebra im WS 1993/94
\vspace{1mm}}\hrule}
{\small
\begin{itemize}
 
\item
{\bf RWTH Aachen}\\
{\em Arbeitsgemeinschaft Untersuchung algebraischer Strukturen auf
Computern}, Neub"user, Pahlings, Schoenwaelder, Felsch u. Wiss. Mitarbeiter,
"U2.\\
{\em Einf"uhrungspraktikum in das Formelmanipulationsystem \maple
(f. Math., Phys.,Inf.,Lehramtskand.und Ingenieurwiss. ab 2. Sem.)},
Neub"user, Klein, Dietrich, "U2.\\
{\em Praktikum: Programmieren in \maple}, Neub"user, Klein, "U4.
 
%\item
%{\bf Universit"at  Augsburg}\\
 
\item
{\bf Universit"at Bayreuth}\\
{\em Algorithmen f"ur Diskrete Strukturen}, R. Laue, V2.\\
{\em Konstruktive Kombinatorik}, A. Kerber, R. Laue, S2.
 
%\item
%{\bf Universit"at Basel}\\
 
\item
{\bf Technische Universit"at Berlin}\\
{\em \ca}, M. Pohst, S2.\\
{\em Algorithmische Klassenk"orpertheorie}, M. Pohst, V2.

%\item
%{\bf Universit"at Bonn}\\
 
%\item
%{\bf Universit"at Clausthal-Zellerfeld}\\
 

\item
{\bf Technische Hochschule Darmstadt}\\
{\em Computerunterst"utzte Modellierung mechanischer Probleme}, K.G. Roesner,
 V3, "U1.


%\item
%{\bf Technische Universit"at Dresden}\\
 
%\item
%{\bf Universit"at D"usseldorf}\\
 
%\item
%{\bf Universit"at Erlangen-N"urnberg}\\
 
%\item
%{\bf Universit"at-Gesamthochschule Essen, Institut f"ur Experimentelle
%Mathematik}\\

%\item
%{\bf Fachhochschule Flensburg}\\
 
%\item
%{\bf Universit"at Gie"sen}\\
 
\item
{\bf Universit"at Heidelberg}\\
{\em Angewandte Computeralgebra: Einf"uhrung dazu in die
Eliminations- und Invariantentheorie}, W. B"oge, V4.\\
{\em Computeralgebra: Symbolische Integration}, J. Grabmeier, V2.
 
 
\item
{\bf
Friedrich--Schiller--Universit"at Jena}\\
{\em 
K"unstliche Intelligenz und Computeralgebra
}, S. Schipke, V3.


\item
{\bf Universit"at Karlsruhe}\\
{\em Algorithmen der Gruppentheorie}, G. Schneider, V2.\\
{\em Computeralgebra I}, J. Calmet, V3+1.\\
{\em Entwurf von \cas en}, J. Calmet, K. Homann, P4.\\
{\em Proseminar Symbolisches Rechnen}, J. Calmet, K. Homann, C. Zenger, S2.\\
{\em Algebraische Systemtheorie}, Th. Beth, V2.\\
{\em Algorithmische Zahlentheorie}, F. Schaefer-Lorinser.

 
\item
{\bf Universit"at K"oln}
{\em Einf\"uhrung in die \ca}, F.W.\ Hehl, V1, "U1.
 
\item
{\bf Universit"at Leipzig}\\
{\em Basisalgorithmen der \ca}, H.-G. Gr"abe, V2.\\
{\em Problemseminar Mathematica}, B. Fiedler, S2.\\
{\em Fachseminar Konstruktive Algebra}, Gr"abe, Lassner, St"uckrad, S2.\\
{\em Computeralgebra und Wissenschaftliches Rechnen}, W. La\ss ner,
V2.\\
{\em Symbolisches Rechnen}, W. La\ss ner, S2, P2.\\
{\em Oberseminar Computeralgebra}, H.-G. Gr"abe, W. La\ss ner, S2.

%\item
%{\bf RISC-Linz}\\

%\item {\bf Technische Universit"at M"unchen}\\
%{\em Einf"uhrung in die Computeralgebra}, M.~Kaplan, V3.
 
\item 
{\bf Universit"at-Gesamthochschule Paderborn}\\
{\em Mathematik am Computer}, C. Nelius, V2+\"U2  \\
{\em Entwurf und Implementierung eines \cas},
\mupad-Gruppe, V2, S2, P4 \\
{\em Spezielle Kapitel aus der Computeralgebra},
B. Fuchssteiner, V2\\
{\em AUTOMATH-Seminar},
N. Dourdoumas, B. Fuchssteiner, J. L\"uckel, F.-J. Rammig, S2.

\item {\bf Universit\"at Passau}   \\
      {\em Standardbasen,} Th. Becker, V2.   \\
      {\em Gr\"obnerbasen,} V. Weispfenning, S2.  \\
      {\em Oberseminar Computeralgebra,} V. Weispfenning, Th. Becker, S3.
 
%\item {\bf Universit"at Rostock}\\

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

 
%\item
%{\bf Universit"at T"ubingen}\\
 
\item
{\bf Eidgen"ossische Technische Hochschule, Z"urich}\\
{\em Differentialk\"orper}, M.~Bronstein, V2.\\
{\em Seminar Computeralgebra}, M.~Bronstein \& R.~M\"ader, S2.\\
{\em Mathematische Software}, E.~Engeler \& M.~Kalkbrenner, V2.\\
{\em Aufbau symbolischer Rechnensysteme}, R.~M\"ader, V2 + U1.\\
{\em Polytope, Ideale und Kombinatorik}, D.~Mall, V2.\\
{\em Computer Algebra I}, M.~Monagan, V2 + U1.\\

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

\begin{itemize}

\item {\bf Nachruf auf Waldemar Wiwianka}
\indent

Am 18. Juli ist Dr. Waldemar Wiwianka aus Paderborn beim
einem Verkehrsunfall t"odlich verungl"uckt.

W. Wiwianka hat in Paderborn Mathematik studiert und war 
anschlie"send wissenschaftlicher Mitarbeiter in der Arbeitsgruppe
von Prof. Fuchssteiner. 
1990 wurde er mit einer Arbeit zum Thema 
{\sl Algorithmen zur rekursiven Berechnung von Lie-B"acklund Symmetrien
nichtlinearer partiellel Differentialgleichungen} promoviert. 
1991 hat er als Gastwissenschaftler beim Forschungszentrum der IBM 
in USA an der Entwicklung von \axiom\ mitgewirkt.
Er geh"ort zu den Hauptautoren und Designern des 
Computeralgebra-Systems \mupad, f"ur das
ihm zusammen mit der Arbeitgruppe in Paderborn 
der Deutsch-"Osterreichische Hochschul-Software-Preis 1993 zugesprochen wurde.

In den vergangenen Jahren  hat er immer
wieder als Vertreter von Prof.~Fuchssteiner
an den Sitzungen des Leitungsgremiums teilgenommen, Berichte
f"ur unseren Rundbrief geschrieben, sehr aktiv zum Gelingen
unseres Reportes beigetragen und sollte zusammen mit ihm
in Paderborn den zentralen Knoten f"ur Deutschland in einem
beantragten europ"aischen Computeralgebra-Netzwerk organisieren. 

Die Fachgruppe Computeralgebra ist Herrn Wiwianka  dankbar f"ur seine
Arbeit in unserem Gebiet.
Sie  hat mit Herrn Wiwianka einen kreativen und
engagierten Mitstreiter verloren.
Wir werden ihn vermissen.

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

\item
{\bf Zentrum f\"ur Computeralgebra an der Universit\"at
Kaiserslautern}
 
Im Juni dieses Jahres wurde von Ministerium f\"ur Wissenschaft und Weiterbildung
des Landes Rheinland--Pfalz ein Zentrum f\"ur Computeralgebra an der
 Universit\"at
Kaiserslautern eingerichtet.
Das Zentrum f\"ur Computeralgebra ist eine wissenschaftliche Einrichtung der
 Fachbereiche
Mathematik, Informatik und Elektrotechnik der Universit\"at Kaiserslautern.
 
Aufgaben des Zentrums sind die Entwicklung und F\"orderung der
Computeralgebra in Forschung, Lehre und Anwendung, insbesondere
\begin{itemize}
\item[a)] die Entwicklung und Integration von Software auf dem Gebiet der
Computeralgebra und ihre Nutzbarmachung in Forschung, Anwendung und Lehre,
 
\item[b)] die Entwicklung von Curricula in Computeralgebra f\"ur
Studenten unter Ber\"ucksichtigung interdisziplin\"arer Aspekte,
 
\item[c)] die Durchf\"uhrung von Forschungs--, Ausbildungs-- und
Anwenderseminaren,
 
\item[d)] die Zusammenarbeit mit anderen Zentren, die \"ahnliche Ziele
verfolgen.
\end{itemize}
 
Die Leitung des Zentrums besteht aus je zwei Professoren der
Fachbereiche Mathematik (Prof.\ Greuel, Prof.\ Trautmann) und Informatik
(Prof.\ Avenhaus, Prof.\ Madlener) und einem Professor des Fachbereichs
Elektrotechnik (Prof.\ Rupprecht).
 
Gesch\"aftsf\"uhrender Leiter des Zentrums ist Prof.\ G.-M.\ Greuel,
Stellvertreter ist Herr Prof.\ K.\ Madlener (vorbehaltlich der Best\"atigung
durch das Ministerium).

Anmeldungen zur Teilnahme an der Er\"offnungstagung 
bitte an R"udiger Stobbe oder an
Gert-Martin Greuel (\verb/stobbe@MATHEMATIK.UNI-KL.DE/ oder
\verb/greuel@MATHEMATIK.UNI-KL.DE/).

{\scriptsize
 
{\bf Donnerstag, den 18.11.1993}\\
\begin{tabular}{lp{12cm}}
14.30 -- 15.00  & Gru\3wort und Vorstellung des Zentrums\\[1.0ex]
15.00 -- 16.00  & Prof.\ Dr.\ B.\ Buchberger (Research Institute for Symbolic
Computation (RISC), Linz):\\
                & {\it Computeralgebra zwischen Mathematik, Informatik und
                Anwendungen}.\\[1.0ex]
16.00 -- 16.30  & Kaffeepause\\[1.0ex]
16.30 -- 17.30  & Prof.\ Dr.\ G.\ Gonnet (Eidgen\"ossische Technische Hochschule
(ETH), Z\"urich):\\
                & {\it Solving symbolic systems of equations:  algorithm,
                mathematics and engineering}.\\[1.0ex]
18.00 -- 19.00  & Prof.\ Dr.\ G.\ Frey (Institut f\"ur Experimentelle
Mathematik, Universit\"at GH, Essen):\\
                & {\it \"Uber Wiles Beweis des Fermatschen Satzes}\\
                & (gleichzeitig Sonderkolloquium des Fachbereichs
                Mathematik).
\end{tabular}
 
{\bf Freitag, den 19.11.1993}\\
\begin{tabular}{lp{12cm}}
09.00 -- 10.00  & Prof.\ Dr.\ H.\ Matzat (Interdisziplin\"ares Zentrum f\"ur
Wissenschaftliches Rechnen (IWR), Heidelberg):\\
                & {\it Computer--Aspekte der inversen
                Galois--Theorie}.\\[1.0ex]
10.00 -- 10.30 & Kaffeepause\\[1.0ex]
10.30 -- 11.30 & Prof.\ Dr.\ H.\ Vinck (Institut f\"ur Experimentelle
Mathematik, Universit\"at GH, Essen):\\
               & {\it Mathematische Methoden der
               Daten\"ubertragung}.\\[1.0ex]
11.45 -- 12.45 & Prof.\ Dr.\ H.\ Michler (Institut f\"ur Experimentelle
Mathematik, Universit\"at GH, Essen):\\
               &{\it Wissenschaftliches Rechnen in und mit endlichen
               Gruppen}.
\end{tabular}
}
 
{\bf Alle Vortr\"age finden in Geb\"aude 57 (Rotunde) der Universit\"at
Kaisers\-lautern statt.}

Hotelauskunft gibt das Verkehrs- und Informationsamt der Stadt Kaiserslautern,
Stadtverwaltung, Rathausplatz~1, 67657~Kaiserslautern\\
Telefon: 0631-365-2317, Telefax: 0631-365-2723

\begin{flushright}
Gert-Martin Greuel (Kaiserslautern)
\end{flushright}

\item {\bf Position Wanted}

{\bf Russian research mathematician / scientific programmer},
 Ph.D. 1980, Russia,
22 years experience in Applied Mathematics, Computing and Fluid Dynamics,
11 years - in teaching Computational/Pure Mathematics, Computer Science at
university, 44 scientific papers, one is prepared for publication. 
Specialities: 
Applied Mathematics, Mechanics of Fluid, Gas and Plasma, Scientific
Computing. Experienced in Mathematica, \maple, \reduce, C, Fortran programming.
At present works as a Senior Research Associate and is engaged in developing
data analysis system and processing the experimental High Energy Physics data
with the aid of Computer Algebra Systems, computer graphics and Fortran. Seeks
employment in the area of Symbolic/Numerical Computation and/or its 
applications in research, 
business or teaching (permanent work or for several years).
Resume, references, list of publications are available on request.  Contact:
Alexander Urintsev, Particle Physics Laboratory, Joint Institute for Nuclear
Research, Dubna, Moscow Region, 141980, RUSSIA.
E-mail: urintsev@se.jinr.dubna.su.


%\item {\bf SAC-Proposal: Aktueller Stand?}

%\item {\bf Angebot zur Durchf"uhrung von Veranstaltungen im RISC Linz}

%{\footnotesize 
%As you know, by now, we have excellent facilities here in Hagenberg
%for hosting  courses, seminars, workshops and conferences. These
%facilities include
%   the "computer castle", a medieval castle that is
%   beautifully restored and hosts the RISC institute,
%   seminar rooms, a big lecture hall in the castle
%   excellent facilities for buffets, coffee breaks etc.
%   the "software park" in a historical, beuatifully restored
%   old farm house near the castle with some more seminar
%   rooms and lecture halls,
%   two "electronic classrooms" with a network of workstations
%   and beamers,
%   local area network with access to several powerful machines
%   including the parallel machines of the "Austrian Center
%   for Parallel Computation".
% 
%All this in one of the most beautiful landscapes of Austria.
% 
%In the past two years we organized a few summer schools, courses,
%seminars and also workshops using these facilities and the response
%of the participants was very good.
% 
%Thus, we decided to offer these facilities to all individuals and
%institutions working in the area of computer science and mathematics
%for organizing seminars, courses, workshops, conferences
%with a number
%of participants ranging from 10 - 70. I identified a company that
%will professionally organize these events for you here in Hagenberg.
%The company will be responsible for all the organizational work
%involved in such events and is completely informed about the
%facilities available. The service includes marketing, preparation,
%hotel reservation, shuttle, social programs, services during the
%events, meals, fees etc. The only thing you have to provide is
%conference topic and dates, mailing lists,  scientific program,
%lecturers etc.
% 
%If you are interested in using both the facilities and the
%organizational service or if you know people and/or institutions
%who may be interested in using these facilities, please, let
%me know.
%}
%\begin{flushright}
%Bruno Buchberger
%\end{flushright}
%
%{\scriptsize
%Chairman and Full Professor,
%Research Institute for Symbolic Computation (RISC),
%Johannes Kepler University,
%A4040 Linz, Austria, Europe,
%Tel. ++43 (7236) 3231-41,
%FAX  ++43 (7236) 3231-30,
%internet:  buchberg@risc.uni-linz.ac.at,
%}

\item {\bf Prof. Dr. Michael Pohst}
hat einen Ruf auf eine Professur f"ur Algebra und Zahlentheorie
unter Einbeziehung Computer-gest"utzter Methoden an der TU
Berlin angenommen. Die Adresse ist: FB 3 Mathematik MA 8-1,
TU Berlin, Str. des 17. Juni 136, 10623 Berlin.
E-mail: pohst@math.tu-berlin.de. 

\item {\bf B.I.-Wissenschaftsverlag}

Auch der B.I.-Wissenschaftsverlag hat uns mittlerweile zugesagt uns 
seine aktuellen Neuerscheinungen als Besprechungsexemplare zur 
Verf"ugung zu stellen. Bitte nutzen Sie diese M"oglichkeit, die 
gerade aktuellen B"ucher werden wie immer im \cais\ aufgelistet. 
%(z.B. ......).
%Vieweg? 

\item
{\bf Computeralgebra im Rahmen eines Graduiertenkollegs}
 
Das Graduiertenkolleg {\sl Scientific Computing} (Naturwissenschaft mit
dem Computer) K\"oln--St.~Au"-gu"-stin ist eine Einrichtung der Deutschen
Forschungsgemeinschaft und des Landes Nordrhein-Westfalen.  Es wird
getragen von derzeit 12 Hochschullehrern und Mitarbeitern der
Mathematisch-Naturwissen\-schaft\-li\-chen Fakult\"at und des
Rechenzentrums der Universit\"at zu K\"oln, der Kunsthochschule f\"ur
Medien K\"oln und der Gesellschaft f\"ur Mathe\-matik und
Daten\-ver\-arbeitung, St.Augustin.  Die haupts\"achli\-chen
Arbeitsgebiete sind Algorithmen-Entwicklung (J\"unger, Schrader,
Thomas), Simulation \& Optimierung (Bachem, Deiters, Ebel, Ilgenfritz,
K\"upper, Stauffer, Woermann), Visualisierung (Girod, Hehl), {\bf
Computeralgebra} (Hehl, Schr\"ufer) und Rechnerarchitektur (Bachem,
Krekel).
 
F\"ur die Computeralgebra stehen eine Doktorandenstelle und eine
Postdoktorandenstelle zur Verf\"u"-gung, die derzeit mit den Herren
Dipl.--Phys. Roland Puntigam bzw. Dr. Sergey Tertychniy besetzt sind.

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

\item {\bf Deutsch-"Osterreichischen Softwarepreis f"ur \mupad}

Das parallelverarbeitende Computeralgebra-System \mupad\ (Multi Processing
Algebra DataTool) wurde mit dem Deutsch-"Osterreichischen Softwarepreis
ausgezeichnet. \mupad\ ist eine Entwicklung des Paderborner Instituts fuer
Automatisierung und Instrumentelle Mathematik (Automath).

\item {\bf RIACA, Research Institute for Applications of Computer Algebra,
A New Institute }
 
Since October 1, 1993, there is a new research center, the Research
Institute for the Applications of Computer Algebra ({\bf RIACA}). The
Institute was founded by The Foundation Computer Algebra Netherlands
({\bf CAN}) in cooperation with the Stichting Mathematisch Centrum
({\bf SMC}) and the Kurt G\"odel-School in Linz (Austria) (formerly
{\bf RISC}-Linz). {\bf RIACA} is located in Amsterdam.
 
{\bf RIACA} intends to play a pivotal role in the research and development
of applications of Computer Algebra in mathematics, science and
engineering. It aims to be internationally oriented. Thanks to a grant
supplied by the Dutch Ministry of Education and Research, it can
provide financial support for about 8 (temporary) scientific positions
and host a few additional visitors who come with their own financial
support. All in all, it can host about 12 researchers, and is a good
location for workshops and conferences.

Further information is available in  a little brochure
available in \cais\ or from
the secretary of the institute
{\small 
Ms. P.W. Wirahadiraksa,
RIACA,
Kruislaan 419,
1098 VA Amsterdam,
The Netherlands,
Tel.: +31-20-5608450,
Fax : +31-20-6685486,
E-mail: riaca@can.nl.
}
\begin{flushright}
A.M. Cohen (RIACA, Amsterdam)
\end{flushright}


\end{itemize}
 
\end{document}
 
