\documentstyle[11pt,german]{article}
\textwidth 175mm\textheight 252mm\columnwidth\textwidth
%\addtolength{\textheight}{-1.2cm}
\hoffset-25mm\voffset-20mm
\newcommand\tm{$^{\rm tm}$}
\begin{document}
\begin{Huge}
\noindent
\framebox[175mm]{\bf Computer-Algebra Rundbrief}
\end{Huge}
 
 
\noindent
{\it Nummer 6  \hfill Fachgruppe 2.2.1 \hfill 20. Mai 1990}
\footnotetext{{\bf Impressum}\hspace*{3mm}
{\em Computer-Algebra Rundbrief}
\hspace*{3mm}Herausgegeben von der Fachgruppe 2.2.1
{\em Computer-Algebra} der GI. \hbox{Anschrift:}
Dr.~F.~Schwarz, GMD, Institut F1, Postfach 1240, 5205 St.Augustin.
ISSN 0933-5994}
 
\vspace*{4mm}
 
{\em Liebe Kolleginnen und Kollegen,
 
zweieinhalb Jahre nach Gr"undung unserer Fachgruppe soll nun die
Leitung zum ersten mal gew"ahlt werden, nachdem sie bei der Gr"undung
von den gr"undenden Gesellschaften (DMV, GAMM und GI) bestimmt
wurde. Die notwendigen Unterlagen daf"ur erhalten Sie zusammen mit
diesem Rundbrief. Bitte kreuzen Sie auf dem Stimmzettel bis zu 9
Namen an und senden ihn im verschlossenen blauen Wahlumschlag
zusammen mit der unterschriebenen "`Versicherung zur Briefwahl"' im
beigef\"ugten R\"ucksendeumschlag bis zum 20. Juni 1990 zur\"uck.
 
Unsere Fachgruppenleitung hat nach ihrer Ordnung 12 Mitglieder, von
denen 3 von den gr\"undenden Gesellschaften als deren Vertreter bestimmt
werden. In die neue Fachgruppenleitung sind auf diese Weise bereits
delegiert: von der DMV Herr Prof. Volker Weispfenning, Universit\"at
Passau, von der GAMM Herr Prof. Wendelin Degen, Universit\"at Stuttgart
und von der GI Herr Prof. R\"udiger Loos, Universit\"at T\"ubingen.
Alle 3 geh\"orten bereits der alten Fachgruppenleitung an. Von den
weiteren von Ihnen zur Wahl vorgeschlagenen Kollegen haben sich 12
bereiterkl\"art zu kandidieren, sie werden Ihnen im folgenden mit
Name, Alter, Arbeitsplatz und Arbeitsgebiet kurz vorgestellt:
 
\vspace*{2mm}
\noindent
Prof.~Thomas~Beth, 40, Professor f"ur Informatik an der Universit"at
Karlsruhe, Algebraische Algorithmen und Kodierungstheorie.
 
\vspace*{1.8mm}
\noindent
Prof.~Johannes~Buchmann, 36, Professor f"ur Informatik an der
Universit"at Saarbr"ucken, Computational Number Theory.
 
\vspace*{1.8mm}
\noindent
Prof.~Jacques~Calmet, 49, Professor f"ur Informatik an der
Universit"at Karlsruhe, Symbolisches Rechnen und Algebraische
Algorithmen, Algorithmen--Engineering, Informations- und
Kodierungstheorie.
 
\vspace*{1.8mm}
\noindent
Prof.~Benno~Fuchssteiner, 48, Professor f"ur Mathematik, Universit"at
Paderborn, Dynamische Systeme und Computer--Algebra, Algorithmen
zur Untersuchung nicht--linearer partieller Differentialgleichungen.
 
\vspace*{1.8mm}
\noindent
Dr.~Johannes~Grabmeier, 33, Wissenschaftl. Zentrum IBM Heidelberg,
Computer--Algebra, Computer--Algebra--System Scratchpad,
Darstellungstheorie.
 
\vspace*{1.8mm}
\noindent
Prof.~Wolfgang~La\ss ner, 46, Professor f"ur Mathematik, Universit"at
Leipzig, Lie--Methoden und nicht kommutative Algebra.
 
\vspace*{1.8mm}
\noindent
Prof.~Joachim~Neub"user, 57, Professor f"ur Mathematik an der RWTH
Aachen, Computational Group Theory.
 
\vspace*{1.8mm}
\noindent
Prof.~B.~Heinrich~Matzat, 45, Professor f"ur Mathematik an der
Universit"at Heidelberg, Konstruktive (computerunterst\"utzte)
Algebra und Zahlentheorie.
 
\vspace*{1.8mm}
\noindent
Prof.~Michael Pohst, 44, Professor f"ur Mathematik an der
Universit"at D"usseldorf, Computational Number Theory.
 
\vspace*{1.8mm}
\noindent
Dr.~Gerhard~Schneider, 34, Wissenschaftlicher Mitarbeiter an der
Universit"at Essen, Computational Group Theory.
 
\vspace*{1.8mm}
\noindent
Dr.~Fritz~Schwarz, 48,
Projektleiter bei der GMD und Privatdozent
an der Universit"at Bonn, Algorithmen f"ur Differentialgleichungen
und Systementwicklung.
 
\vspace*{1.8mm}
\noindent
Prof.~Horst G\"unter Zimmer, 52, Professor f"ur Mathematik an der
Universit"at Saarbr"ucken, Computational Number Theory.
 
\vspace*{2mm}
 
 Bitte machen Sie von Ihrer Wahlm\"oglichkeit Gebrauch.
 
\vspace*{2mm}
 
\hspace*{70mm} F.~Schwarz \hspace*{15mm} J.~Neub\"user}
 
\newpage
{\Large\bf\hrule\vspace{1mm}
\centerline{Hinweise auf Konferenzen}\vspace{1mm}\hrule}
 
\begin{enumerate}
 
\item{\bf Computer Algebra and Differential Equations (CADE 90)\\
Computer Algebra and Parallelism (CAP 90)}
 
Cornell University, Ithaca, NY, USA, 6.5.--12.5.1990.
 
{\footnotesize Kontaktadresse: Valery Styles, Math.~Sciences Inst.,
Cornell U., 201 Caldwell Hall, Ithaca, NY 14853-2602.}
 
\item{\bf IV International Conference on Computer Algebra in Physical
Research}
 
Dubna, UdSSR, 21.5.--24.5.1990.
 
{\footnotesize Kontaktadresse: Joint Institute for Nuclear Research,
Telex: 412621 Dubna SU, Telefax:70952002283.}
 
\item{\bf Second Internat.~School for Computer Science Researchers}
 
Acireale, Sizilien, 18.--30.6.1990.
 
\noindent 18.6.-23.6. Introduction to Complexity Theory,
Randomized Algorithms.
 
\noindent 25.6.-30.6. Circuit Theory, Cryptography,
Robotics Algorithms.
 
{\footnotesize Kontaktadresse: Alfredo Ferro, Dipartimento de
matematica, Univ.~di Catania, Viale A. Doria, 6,
I 95125 Catania, Italy.
E-mail: MI3CTG51@ICINECA.BITNET.}
 
\item{\bf SIAM Annual Meeting,\\
Minisymposium: "`Theory and Algorithms of Symbolic Computing."'\\
Minisymposium: "`Symbolic Computing in Science and Engineering."'}
 
Chicago, Illinois, (Hyatt Regency Hotel), 15.--20.7.1990.
 
{\footnotesize Kontaktadresse: SIAM, 3600 University City Science
Center, Philadelphia PA 19104-2488. E-mail: siam@wharton.upenn.edu.}
 
\item {\bf DMV-Seminar Konstruktive Zahlentheorie}
 
Schlo"s Mickeln bei D"usseldorf, 5.8.--12.8.1990.
 
{\footnotesize
Kontaktadresse: M.~Pohst, Mathematisches Institut,
Universit"at D"usseldorf,
Universit"atsstr.~1, 4000 D"usseldorf, Tel.:~0211/3112188.}
 
\item{\bf Second International Joint Conference of ISSAC--90 and
AAECC--8}
 
Tokyo, Japan, 20.8.--24.8.1990.
 
{\footnotesize
Deadline f"ur eingereichte Beitr"age (Eingang): {\bf 31.3.1990}}
 
{\footnotesize Beitr"age ISSAC--90 an:Dr. Tateaki Sasaki,
ISSAC Program Committee Co--Chairman, The Institute of
Physical and Chemical Research, Wako--shi, Saitama 351--01, JAPAN\\
Beitr"age AAECC--8 an: Prof. Hideki Imai, AAECC Program Committee
Co-Chairman, Faculty of Engineering, Yokohama National University,
Tokiwadai, Hodogaya-ku, Yokohama 240, JAPAN.}
 
{\footnotesize Kontaktadresse: Conference Secretariat IJC-2,
c/o Scientist, Inc., Yamazaki Bldg., 3--2 Kanda Suruga--dai,
Chiyoda-ku, Tokyo 101, JAPAN, Phone (03)253--8992, Fax (03)255--6847.}
 
\item{\bf Advances in Robot Kinematics}
 
Linz, Austria, 10.9.--12.9.1990.
 
{\footnotesize Kontaktadresse: Bernhard Kutzler, RISC-Linz,
Johannes Kepler University, A-4040 Linz, Austria, ph. +7236/3231-45,
fax + 7236/3331-30, e-mail Bitnet: K311940 AEARN\\
bzw. {\it Jo\v{z}ef Stefan} Institute, University of Edvard Kardelj,
Ljubljana, Yugoslavia.}
 
\item {\bf Greco Calcul Formel}
 
Luminy, France, 10.9.--15.9.1990.
 
{\footnotesize
Kontaktadresse: D.~Lazard, Universit\'{e} Paris VI,
4 pl.~Jussieu, 75252,
Paris Cedex 85, France; Tel.:(33)1-43267660;
UUCP: Lazard at litp.ibp.fr}
 
\item {\bf 2.~Herbstschule Computer-Algebra und ihre Anwendungen}
 
Bonn, 24.9.--28.9.1990.
 
{\footnotesize Kontaktadresse: Frau Offermanns,
Deutsche Informatik Akademie,
Wissenschaftszentrum,
Ahrstra"se 45, 5300~Bonn~2, Tel.:~0228-302164.}
 
\item{\bf ASME Winter Annual Meeting\\
Symposium:"`Symbolic Computations and Their Impact on Mechanics"'}
 
Dallas, Texas, 25.--30.11.1990.
 
\item {\bf International Symposium on Symbolic and Algebraic
Computation ISSAC '91}
 
Bonn, 15.7.--17.7.1991.
 
{\footnotesize Kontaktadresse:  Frau Harms, GMD Schlo"s Birlinghoven,
Postfach 1240, 5205 Sankt Augustin 1, Tel. 02241-142473.}
 
\end{enumerate}
 
{\Large\bf \hrule\vspace{1mm}
\centerline{Berichte von Konferenzen}\vspace{1mm}\hrule}
 
\begin{enumerate}
 
\item {\bf Scratchpad II und experimentelle Mathematik}
 
Essen, 30.11.-1.12.1989.
 
\small
{Am 30.11/1.12.1989 fand im Institut f"ur Experimentelle Mathematik
der Universit"at Essen zusammen mit dem Institut f"ur
Supercomputing der IBM Heidelberg eine Veranstaltung "uber das
Computeralgebra-System Scratchpad II statt, zu der "uber 40
ausw"artige Teilnehmer erschienen. Auf insgesamt f"unf Workstations
IBM 6150 hatten alle Tagungsteilnehmer w"ahrend der beiden Tage
ausf"uhrlich Gelegenheit, selbst mit dem System zu arbeiten und
eigene Erfahrungen zu sammeln. Dar"uberhinaus fanden folgende
Vortr"age (in chronologischer Reihenfolge) statt:
 
J. Grabmeier (IBM): {\em Scratchpad II, ein Computeralgebra-System mit
abstrakten Datentypen}; H. Gollan (Essen):  {\em Algebra und
Darstellungstheorie in Scratchpad II}; G. Schneider (Essen):
{\em Scratchpad II auf dem IBM RT}; A. Fortenbacher (IBM): {\em Aspekte
Systemdesigns von Scratchpad II};
\hfill G.~Schneider}
 
\normalsize
\item{\bf Computer-Algebra und Differentialgleichungen}
 
Leipzig, DDR, 5.2.--16.2.1990.
 
Der Kurs fand am Interdisziplin\"{a}ren Seminar f\"{u}r
wissenschaftlichen Nachwuchs (INTSEM) an der
Karl-Marx-Universit\"{a}t Leipzig statt.  Schwerpunkte der Tagung
waren: {\em Algorithmische Methoden der Theorie linearer und
nichtlinearer gew\"{o}hnlicher und partieller
Differentialgleichungen. Anwendung der Computeralgebra zur L\"{o}sung
von Differentialgleichungen in Kombination mit numerischen und
graphischen Methoden. Theoretische und rechnerische Aspekte der
Differentialgeometrie, Differentialalgebra und ihre Anwendung in der
Physik.} Die Vortr\"{a}ge wurden durch praktische Demonstrationen
und der M\"{o}glichkeit zu \"{U}bungen erg\"{a}nzt.
 
{\noindent Vortr\"age:}
 
\small
{\noindent S.A. Abramov, Moskau, {\em Extension of some algorithms
for solving linear differential equations}; L.M. Berkovich,
Kuybishev, {\em Factorization an transformation methods for
differential equations}; K. Beyer, Leipzig, {\em Von Gau{\ss} und
Green bis H\"{o}rmander}; A.V. Bocharov, Pereslavl, {\em DELIA: A
toolbox for investigating differential equations}; L. Bordag,
Leipzig, {\em Periodic multiphase solutions of the KP equation}; M.
Bronstein, Yorktown Heights und J.H. Davenport, Bath, {\em
Simplification and Integration in SCRATCHPAD}; G. Czichowski,
Greifswald, {\em Symmetrien und gew\"{o}hnliche
Differentialgleichungen 2. Ordnung}; J. Fitch, Bath, {\em Software
engineering and computer algebra}; V.M. Ganzha, Novosibirsk, {\em
Symbolic numeric interface for difference schemes in stability
analysis}; V.P. Gerdt, Dubna, {\em Nonlinear evolution equations};
M. G\"{u}nther, Leipzig, {\em Nichtlineare hyperbolische DGlen}; K.
Hantzschaum, Rostock, {\em Computeranalytik}; G. Heinig, Leipzig,
{\em Schnelle Algorithmen}; J. Kadlecsik, Budapest, {\em Isovector
calculations with EXCALC}; W. Lassner, Leipzig, {\em
Computeralgebrasysteme, Symboldarstellungen von Operatoren und
Algebren}; M.A.H. MacCallum, London, {\em Some algorithms for exact
solutions of 1st order ODEs and linear ODEs, Computer-aided
classification of geometries in GR}; P. M\"{o}bius, Dresden, {\em
Nichtlineare Wellengleichungen in der Physik}; S.S. Moskalyuk, Kiev,
{\em Modelling of dynamical systems}; M.L. Nechaevsky, Kuibyshev,
{\em Implementation of algorithms for searching integrable linear
ODEs}; E.V. Pankratyev, Moskau, {\em Differentialk\"{o}rper}; B.
Fritzsche, W. Purkert, Leipzig, {\em Sophus Lie in Leipzig}; A.
Rathseld, Berlin, {\em Numerische L\"{o}sungen von
Doppelschichtpotentialgleichungen auf dem Rand von Polygonal- und
Polyedergebieten}; E. Schr\"{u}fer, GMD Bonn, {\em EXCALC:
Calculations in modern differential geometry}; F.~Schwarz, GMD Bonn,
{\em Symmetries of differential equation, The package SPDE in REDUCE
and SCRATCHPAD}; V. Weispfenning, Passau, {\em Computeralgebra und
Differentialalgebra}; Th. Wolf, A. Brand, Jena, {\em Analytische
Untersuchungen und exakte L\"{o}sungen von DGlen mit CRACKSTAR}; E.
Zeidler, Leipzig, {\em Bifurkationstheorie}; A. Yu. Zharkov,
Saratov, {\em A REDUCE package for determining Lie-B\"{a}cklund
symmetries and classification of non-linear evolution systems}.
\hfill E.~Schr"ufer}
 
\normalsize
\item {\bf Symposium on Symbolic Computation}
 
Z\"urich, Schweiz, 5.3.--7.3.1990.
 
{\noindent Vortr"age (in chronologischer Reihenfolge):}
 
\small
{\noindent Prof. H. B\"uhlmann, {\it Opening};
D.S.~Scott, {\it Teaching geometry on the computer};
J.W.~Gray, {\it Programming abstract mathematics in Mathematica};
J.C.~Davenport, {\it Decision theories for real closed fields: their
complexity in theory and practice}; B.~Buchberger, {\it Gr\"obner bases
and generalized Sylvester matrices}; M.M.~Richter, {\it Rewrite rules,
nilpotent groups, and nonstandard models}; S.~Feferman, {\it Types as
properties: logics for functional programming}; G.~Longo, {\it Recent
categorical fall--outs of calculi of lambda-conversion}; G.H.~Gonnet,
{\it Algebraic computation with sets means more than union intersection
and complement}; E.~Specker, {\it ``Erwin Engeler''};
J.C.~Shepherdson, {\it Transformations of logic programs}; J.A.~Goguen,
{\it Semantics of concurrent interacting objects using sheaf theory};
R.~Milner, {\it Peripatetic processes}; D.~Harel, {\it Bounded
cooperative concurrency is exponentially powerful}.
 
\normalsize
Proceedings sollen im n\"achsten Jahr erscheinen.
\hfill B. Hornef}
 
\end{enumerate}
 
{\Large\bf \hrule\vspace{1mm}
\centerline{Neues \"uber Systeme und Hardware\vspace{1mm}}\hrule}
 
\vspace*{2mm}
 
\centerline{\large\bf 2. Generation IBM RISC Workstation}
 
\noindent
Am 8.\ M\"arz 1990 wurde in Bonn die 2.\ Generation von IBM RISC
Workstations vorgestellt. Es gibt 6 Modelle im Preisspektrum von
20.000 DM --- 250.000 DM. Schon das Einstiegsmodell 6000/320
verf\"ugt \"uber die sehr ansehnliche Rechenleistung von 27.5 VAX
MIPS und 7.4 Double Precision Linpacks. Diese hohe Rechenleistung
wird durch Aufteilung des Prozessors in 3 logische
Funktionseinheiten erreicht, einen Branch Prozessor, einen
Fixed-Point Prozessor und einen Floating-Point Prozessor.  Die
teureren Modelle 530, 540 verf\"ugen im Gegensatz zu der
Einstiegsmaschine und dem kleinsten Standmodell~520 \"uber einen 128
Bit breiten Datenbus, wohingegen die beiden kleinen Maschinen nur
einen 64 bit breiten Datenbus haben. Dar\"uberhinaus ist der
Systemtakt h\"oher, so da{\ss} bis zu 41 MIPS und 13 Double
Precision Linpacks erreicht werden. Die Busbandbreite liegt in der
Gr\"o{\ss}enordnung von 400 MB/s.  Aufgrund der hohen Rechenleistung,
selbst bei Fixed-Point Operationen, und der Ausbauf\"ahigkeit des
Hauptspeichers auf bis zu 256~MB beim Modell~540, bzw.~32~MB beim
Einstiegsmodell, erscheinen die neuen IBM Workstations f\"ur die
h\"aufig rechenintensiven Anwendungen in der Computer-Algebra
geradezu pr\"adestiniert.  Die ersten Modelle sollen im Juni dieses
Jahres ausgeliefert werden.  Schwachstelle ist z.~Zt. noch die
begrenzte Verf"ugbarkeit von Software.
\hfill Knut~Wolf \\
 
\vspace*{4mm}
\centerline{\large\bf NEWEUL}
\vspace*{2mm}
 
{\footnotesize
\begin{tabular}{p{2cm}lp{2cm}l}
&{\normalsize E. Kreuzer}&&{\normalsize W. Schiehlen}\\
&Meerestechnik II&&Institut B f\"ur Mechanik\\
&Technische Universit\"at&&Universit\"at Stuttgart\\
&Hamburg--Harburg&&Pfaffenwaldring 9\\
&Ei"sendorfer Str.42&&7000 Stuttgart 80\\
&2100 Hamburg 90&&\\
\end{tabular}}
 
\medskip
\noindent
{\bf NEWEUL} ist ein Programmsystem zur Berechnung symbolischer
Bewegungsgleichungen von Mehrk\"orpersystemen. Mehrk\"orpersysteme
sind Ersatzmodelle der Mechanik, die z.~B. in der Fahrzeug-,
Maschinen- und Roboterdynamik h\"aufig benutzt werden. Die Modelle
k\"onnen sehr komplex werden, so da"s die Aufstellung der
Bewegungsgleichungen mit Papier und Bleistift sehr m\"uhsam und
zeitraubend ist. Deshalb wurden Formalismen zur weitgehend
automatischen Gleichungsaufstellung entwickelt.
 
\noindent
Die Symbolmanipulation von {\bf NEWEUL} ist auf der Basis eines
speziellen Codierungsverfahrens in FORTRAN implementiert. Das
System {\bf NEWEUL} erlaubt alle zur Berechnung der nichtlinearen
und/oder linearen Bewegungsgleichungen erforderlichen Operationen
an algebraischen Ausdr\"ucken, Vektoren und Matrizen, dar\"uber
hinaus auch die Substitution, Vereinfachung und Faktorisierung von
Ausdr\"ucken. Als Konstante sind ganze Zahlen und reelle
Gleitkommazahlen variabler Genauigkeit zugelassen. Der modulare
Aufbau des Systems {\bf NEWEUL} erm\"oglicht die schnelle Erweiterung
mit neu aufzunehmenden Bausteinen. Die Dateneingabe erfolgt mit Hilfe
eines Editors auf der Grundlage von vorbereiteten Formularfiles.
Die Berechnungsart (nichtlinear oder linear), die Vereinfachungs- und
Substitutionsprozesse sowie das Ausgabeformat kann gesteuert werden,
so z.~B. die Erzeugung eines FORTRAN--Codes zur unmittelbaren
Verkn\"upfung der Bewegungsgleichungen mit numerischen
Simulationsprogrammen. Eine kleine Version von {\bf NEWEUL} ist nun
auch f\"ur Personal Computer erh\"altlich und eignet sich besonders
gut zum Einsatz in der Lehre und Ausbildung. Ein umfangreiches
Benutzerhandbuch erl\"autert die Arbeitsweise von {\bf NEWEUL} und
erkl\"art an ausgew\"ahlten Beispielen die wesentlichen Merkmale des
Systems.
 
\noindent
Ein Paket zur Berechnung von Inversen und Determinanten von Matrizen
mit symbolischen Elementen ist ebenfalls verf\"ugbar.
 
{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Publikationen "uber Computer-Algebra
\vspace{1mm}}\hrule}
 
\vspace*{1mm}
 
\noindent Vom Research Institute for Symbolic Computation (RISC)
in Linz wird eine Serie von Preprints, Dissertationen und
Vorlesungsausarbeitungen aus dem Gebiet der Computer Algebra
und verwandten Gebieten herausgegeben, die zum Teil kostenlos,
bei gr"o"serem Umfang gegen Unkostenerstattung abgegeben werden.
Eine vollst"andige Liste der RISC-LINZ Serie kann angefordert
werden von:\\
\hspace*{1cm} RISC-LINZ\\
\hspace*{1cm} J.~Kepler Universit"at\\
\hspace*{1cm} A-4040 Linz\\
\hspace*{1cm} "OSTERREICH.
 
\noindent
In Anbetracht der immer noch sehr kleinen Anzahl von Lehrb"uchern
"uber Computer Algebra sei insbesondere auf einige
Vorlesungsausarbeitungen hingewiesen:
 
\begin{itemize}
\item F.~Winkler: Computer Algebra I \\(Algebraische
Grundlagen) 126 S. RISC-LINZ Series 88-88.0.
 
\item M.~Rothstein: Notes on Computer Algebra in the Analysis \\
(als Computer Algebra II) 53 S. RISC-LINZ Series 89-31.0.
 
\item F.~Winkler: Computer Algebra III \\(Spezialgebiete der
Computer Algebra) 26 + 23 S. RISC-LINZ Series 88-53.0.
 
\item F.~Winkler, B.~Kutzler, F.~Lichtenberger: Computer Algebra
Systeme\\
38 + 20 + 23 + 33 S. RISC-LINZ Series 88-10.0.
\hspace*{\fill} J.~Neub"user
\end{itemize}
 
{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Lehrveranstaltungen "uber Computer-Algebra im SS 1990
\vspace{1mm}}\hrule}
\vspace*{2mm}
 
\noindent {\bf RWTH Aachen} \\
{\em Einf"uhrungspraktikum in MAPLE,} Neub"user,
Klein, Dietrich.\\
 
\noindent
{\bf Universit"at Bonn}
 
\noindent
{\em Softwareentwicklung in der symbolischen Version von REDUCE II},
Schwarz, 2-st"undig.\\
 
\noindent
{\bf Universit"at Karlsruhe} \\
{\em Computer--Algebra Praktikum},
Beth, Geiselmann, Sch"afer, 2-st"undig. \\
{\em Computer-Algebra Vorlesung},
Beth, 4+2-st"undig. \\
 
\noindent
{\bf Universit"at Passau} \\
{\em Algorithmen der reellen Algebra und Geometrie},
V.~Weispfennig, 3-st"undig. \\
{\em Seminar Computer-Algebra},
V.~Weispfennig, 2.5-st"undig. \\
 
\newpage
{\Large\bf \hrule\vspace{1mm}
\centerline{Berichte \"uber Arbeitsgruppen}\vspace{1mm}\hrule}
 
\vspace*{1mm}
 
\centerline{\large \bf RISC-Linz}
\noindent
RISC-Linz ist ein an der Johannes Kepler
Universit\"at in Linz, \"Osterreich,
eingerichtetes Forschungsinstitut, das sich mit `Symbolic Computation'
besch\"aftigt. Das Institut wird von Prof.\ Dr.\ Bruno Buchberger
geleitet, der
durch die Entwicklung seiner Gr\"obnerbasen-Methode
international bekannt
wurde. Untergebracht ist RISC-Linz in dem
neu renovierten mittelalterlichen
Schlo"s Hagenberg, das etwa 20 km au"serhalb
von Linz in der wundersch\"onen
und ruhigen Landschaft des unteren M\"uhlviertels liegt.
Derzeit sind 30
Mitarbeiter am Institut t\"atig.
Kontaktpersonen sind Dr.\ Franz Lichtenberger und Dr.\ Bernhard Kutzler.
 
\noindent
RISC-Linz verfolgt drei Hauptziele: Forschung, Lehre und industrielle
Kooperation. Die dabei behandelten Schwerpunkte sind in Form von Labors
organisiert. Es sind dies:
Computer-Algebra, Softautomation, Expertensysteme,
Chemische Syntheseplanung,
Algorithmische Kombinatorik, Paralleles Rechnen
und `Symbolic Computation' im
Unterricht.
Einige der derzeit behandelten Probleme sind:
Weiterentwicklung der Methode der Gr\"obnerbasen,
automatisches Beweisen geometrischer Theoreme,
Experimente mit Computer-Algebra Systemen im Schulunterricht,
`Offline'-Roboterprogrammierung,
Computerunterst\"utzte Synthese organischer Molek\"ule,
Entwicklung einer f\"ur `Symbolic Computation' geeigneten Sprache zur
parallelen Programmierung Transputer-basierter Hardware.
 
\noindent
Die Besetzung einer zweiten Stelle
eines ordentlichen Professors soll die
Forschungspotenz von RISC-Linz noch deutlich erh\"ohen.
Des weiteren soll in Zukunft die Zusammenarbeit mit potentiellen
Anwendern der
Methoden des Symbolischen Rechnens, und zwar Anwendern
im universit\"aren wie
auch im industriellen Bereich, noch verst\"arkt werden.
Im September 1990 findet in Linz der ``2nd International
Workshop on Advances
in Robot Kinematics with a special session on Symbolic Computation for
Kinematics'' statt, der von RISC-Linz in Zusammenarbeit mit dem
Jo\v{z}ef-Stefan-Institut in Ljublijana organisiert wird.
Schlo"s Hagenberg soll in den n\"achsten Jahren Zentrum eines
`Software-Dorfes' werden, in dem Forschungsinstitute und Softwarefirmen in
einer stimulierenden Umgebung auf das Engste kooperieren k\"onnen.
 
\vspace*{7mm}
 
\centerline{\large \bf SIMATH--Gruppe Saarbr\"ucken}
\noindent
Die  SIMATH--Gruppe ist eine am Fachbereich Mathematik der Universit\"at des
Saarlandes gegr\"undete, auf dem Gebiet  der Konstruktiven
Zahlentheorie arbeitende Forschergruppe.
Sie setzt sich aus wissenschaftlichen Mitarbeitern
und  Diplomanden zusammen  und  steht unter der Leitung von  Prof. Dr. H.G.
Zimmer. Der Schwerpunkt der Arbeit liegt  in  der Theorie der algebraischen
Zahl- und Funktionenk\"orper und  der Arithmetik algebraischer, insbesondere
elliptischer Kurven. Die  verschiedenen Forschungsprojekte werden mit Hilfe
computer--gest\"utzter Methoden durchgef\"uhrt. Grundlage  f\"ur die Computer--
Anwendungen ist das von der Gruppe entwickelte und bereits
im ersten Computer--Algebra--Rundbrief vorgestellte  Algorithmensystem
SIMATH.
Das in Zusammenarbeit mit der SIEMENS--AG  entstandene System
unterscheidet sich von anderen Computer--Algebra--Systemen durch
seine starke zahlentheoretische Ausrichtung. Es wird st\"andig ausgebaut
und neueren Entwicklungen in der Zahlentheorie angepa"st.
Urspr\"unglich  f\"ur  den SIEMENS--PC MX--2  entwickelt,
l\"auft SIMATH inzwischen auch  auf den Workstations von Apollo und SUN.Das
System  zeichnet sich durch vielseitige Anwendungsm\"oglichkeiten und gro"se
Benutzerfreundlichkeit aus.\\
Zur Zeit bearbeitete und  gr\"o"stenteils bereits abgeschlossene Projekte
betreffen:\\
 
\vspace*{-4mm}
\centerline{\bf in der algebraischen Zahlentheorie}
\vspace*{-3mm}
 
\begin{list}{-}{\addtolength {\itemsep} {-3.0mm}}
\item
die Berechnung von Ganzheitsbasen in Zahl- und Funktionenk\"orpern,
\item
die Bestimmung des Zerlegungsgesetzes in Zahl- und Funktionenk\"orpern,
\item
die Berechnung von Regulator, Einheitengruppe, Idealklassen- und
Divisorklassengruppe in quadratischen Kongruenzfunktionenk\"orpern,
\item
die Bestimmung der Klassenzahl von Zahlk\"orpern;
\end{list}
 
\vspace*{-3mm}
\centerline{\bf in der Arithmetik der elliptischen Kurven}
\vspace*{-3mm}
 
\begin{list}{-}{\addtolength {\itemsep} {-3.0mm}}
\item
die Konstruktion von Kurven hohen Ranges "uber Zahlk\"orpern,
\item
die Bestimmung von Torsionsgruppen "uber Zahlk\"orpern,
\item
die Konstruktion minimaler Modelle "uber lokalen und globalen K\"orpern,
\item
die H\"ohenberechnung "uber lokalen und globalen K\"orpern,
\item
die Bestimmung von L--Reihen \"uber Zahlk\"orpern,
\item
das Auffinden von Kongruenzzahlen;
\end{list}
 
\vspace*{-3mm}
\centerline{\bf in der Theorie der algebraischen Kurven}
\vspace*{-3mm}
 
\begin{list}{-}{\addtolength {\itemsep} {-3.0mm}}
\item
das Auffinden von semistabilen Modellen zu vorgegebenen Kurven "uber
endlichen K\"orpern,
\item
die Bestimmung von Geschlecht, L--Reihe und Klassenzahl von Kurven
"uber endlichen K\"orpern.
\end{list}
 
\vspace*{-3mm}
Die Durchf\"uhrung der  Projekte wird  zu einem wesentlichen Teil
aus Drittmitteln finanziert.
 
\vspace*{7mm}
 
\centerline{\large \bf Computer--Algebra bei der GMD}
 
\noindent
Seit 1985 gibt es bei der Gesellschaft f\"ur Mathematik und
Datenverarbeitung~GMD das Projekt {\em COMAL}, das sich mit
Computer-Algebra und deren Anwendungen besch\"aftigt. Schwerpunkte
der Arbeit dieses Projektes sind
\vspace*{-3mm}
 
\begin{list}{-}{\addtolength {\itemsep} {-3.0mm}}
\item Entwicklung und Implementierung von Algorithmen zum L"osen von
Differentialgleichungen.
\item Untersuchung von verschiedenen Problemen, die im
Zusammenhang mit Systementwicklung auftreten.
\end{list}
 
\vspace*{-3mm}
Seit einigen Jahren bestehen sowohl zu der Scratchpad Gruppe des
T.~J.~ Watson Instituts der IBM in Yorktown Heights, die von Dr.\
Jenks geleitet wird, als auch zu Dr.~Hearn bei der Rand~Corporation
in Santa-Monica, dem Entwickler von Reduce, enge Kontakte.
 
Neben diesen Aktivit\"aten in der Forschung legt die GMD gro\ss en
Wert auf den Wissenstransfer. Schwerpunkte in diesem Bereich sind
\vspace*{-3mm}
 
\begin{list}{-}{\addtolength {\itemsep} {-3.0mm}}
\item Vorlesungen und Seminare an der Universit"at Bonn
 
\item In Zusammenarbeit mit der DIA wird vom 24.-29. September 1990
die 2. Computer-Algebra Herbstschule CAHS'90 in Bonn veranstaltet.
Zielgruppe dieser Herbstschule sind Anwender von Computer-Algebra
aus Industrie und Forschung.
 
\item Die ISSAC'91 wird im Juli n"achsten Jahres unter Mitwirkung
der GMD in Bonn stattfinden.
 
\end{list}
 
{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Kurze Mitteilungen}\vspace{1mm}\hrule}
\vspace*{1mm}
 
\noindent
{\bf CAN-Info:} CAN, Computer--Algebra in den Niederlanden, ist eine
1988 gegr\"undete Stiftung, die den Einsatz der CA in Lehre und
Forschung f\"ordern soll. {\bf CAN-Vorstand:} {\em J.A.~van~Hulzen},
Universit\"at Twente (Chairman), {\em A.M.~Cohen}, CWI~Amsterdam
(Secretary-treasurer), {\em A.H.M.~Levelt}, Katholische Universit\"at
Nijmegen, {\em J.A.~Sanders}, Freie Universit\"at Amsterdam,
{\em J.A.M.~Vermaseren}, NIKHEF--H Amsterdam. CAN betreibt ein
sogenanntes Expertisenzentrum mit Sitz CWI in Amsterdam. Adresse:
Expertisecentrum~CAN, Kruislaan~413, 1098~SJ~Amsterdam, P.O.~Box~4079,
1009~AB~Amsterdam, Tel.:~020-5926050, Fax.:~020-5924199,
Telex:~12571~mactr~nl. Stab: {\em A.J.P.~Heck}, Gesch\"aftf\"uhrender
Direktor (e-mail heck@cwi.nl), {\em Frau~E.~Willems}, Sekretariat
(e-mail wilmz@cwi.nl) und {\em B.~Lisser}, Programmierer (e-mail
bertl@cwi.nl). Diesem Zentrum steht ein SUN-4 Rechner zur Verf\"ugung,
der alle bekannten CA Systeme unterst\"utzt und der bequem "uber
SURFnet (niederl\"andisches Computernetzwerk f\"ur Hochschulen und
Forschung) erreicht werden kann. $***$
\vspace*{1cm}
 
 
\end{document}
