\documentstyle[11pt,german]{article}
%\input{latlib}
\textwidth 175mm\textheight 252mm\columnwidth\textwidth
\hoffset-25mm\voffset-20mm
\newcommand\tm{$^{\rm tm}$}
\begin{document}
\begin{Huge}
\noindent
\framebox[175mm]{\bf Computer-Algebra Rundbrief}
\end{Huge}
 
 
\noindent
{\it Nummer 4  \hfill Fachgruppe 2.2.1 \hfill 20. M"arz 1989}
\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*{5mm}
 
{\em Liebe Kolleginnen und Kollegen,
 
 
es stellt sich immer wieder heraus, da\ss\ die Kommunikation
zwischen verschiedenen Arbeitsgruppen im Bereich der
Computer-Algebra verbesserungsbed"urftig ist. Oft ist es sogar
schwierig, einen "Uberblick dar"uber zu gewinnen, wer an welchem Ort
in diesem Bereich arbeitet. Wir planen deshalb, in den n"achsten
Ausgaben dieses Rundbriefes mit kurzen Berichten "uber
Arbeitsgruppen im Bereich der Computer-Algebra zu beginnen. Damit
diese Berichte m"oglichst vollst"andig werden, bitten wir Sie um
eine kurze Beschreibung Ihrer Arbeit in der folgenden Form:
%
\begin{enumerate}
\item Institution, einige Kontaktpersonen
\vspace{-1mm}
\item Arbeitsgebiet, bisher bearbeitete Probleme
\vspace{-1mm}
\item Pl"ane f"ur die n"achsten ein bis zwei Jahre
\end{enumerate}
 
Jeder dieser Punkte sollte nicht mehr als etwa f"unf Zeilen
umfassen. Diese Beitr"age werden dann in den oben erw"ahnten Bericht
"ubernommen. Auch f"ur Hinweise auf die Arbeit anderer Ihnen
bekannter Institutionen w"aren wir dankbar.
 
Wie "ublich auch hier noch einmal die Bitte um Angabe der
Lehrveranstaltungen in Computer-Algebra im WS 89/90 f"ur den
n"achsten Rundbrief.
 
Hier noch ein besonderer Hinweis auf zwei Veranstaltungen im Bereich
der Computer-Algebra. Auf der GI Jahrestagung in M"unchen wird sich
unsere Fachgruppe treffen. Die unter Nr. 10 angek"undigte
Herbstschule "uber Computer-Algebra wird von unserer Fachgruppe
unterst"utzt. "Uber beide Veranstaltungen wird Ihnen im Laufe des
Sommers noch genauere Information zugehen.
 
\hspace*{70mm} F.~Schwarz \hspace*{15mm} J.~Neub\"user}
 
{\vspace*{5mm}\Large\bf\hrule\vspace{1mm}
\centerline{Hinweise auf Konferenzen}\vspace{1mm}\hrule}
 
\begin{enumerate}
\item {\bf Computer Aided Proofs in Analysis}
 
Cincinnati, USA, 22.3. - 25.3.1989.
 
{\footnotesize Kontaktadresse: Ken Meyer,
Department of Mathematical Sciences,
University of Cincinnati, Cincinnati, Ohio 45221-0008.}
 
\item {\bf COCOA II, Computers and Commutative Algebra}
 
Genova, Italien, 29.5.-3.6.1989.
 
{\footnotesize Kontaktadresse: Lorenzo Robbiano, Dipartimento di
Mathematica, Universit\`{a}, Via L.B. Alberti 4, 16132 Genova, Italy,
Tel. (39) 14-3538732.}
 
\item {\bf Computers \& Mathematics}
 
Cambridge, Mass., 12.6.-16.6.1989.
 
{\footnotesize
Kontaktadresse: Computers \& Mathematics 1989, 62 Eastview,
Pleasantville, New York, 10570, U.S.A., Tel. (914) 769-2725.}
 
\item {\bf AAECC 7}
 
Toulouse, Frankreich, 26.6.-30.6.1989.
 
{\footnotesize Kontaktadresse: Professor A. Poli, AAECC/LSI,
University P. Sabatier, 118 route de Narbonne,
31062~Toulouse~C\'{e}dex, France.}
 
\item {\bf IMA Workshop on Computer Algebra and Differential
Equations}
 
Minneapolis, Minnesota, USA, 26.6.-30.6.1989.
 
{\footnotesize
Kontaktadresse: Prof.~W.~Miller, Institute for Mathematics and
its Applications, University of Monnesota, 524 Vincent Hall,
Minneapolis, Minnesota 55455, U.S.A.}
 
\item {\bf ISSAC-89}
 
Portland, Oregon, 17.7.-19.7.1989.
 
{\footnotesize
Kontaktadresse: Dennis Arnon, Xerox Palo Alto Research Center,
3333 Coyote Hill Road, Palo Alto, CA 94304, U.S.A., Tel.(415)
494-4425.}
 
\item {\bf First Brazilian School on Computer Algebra}
 
Rio de Janeiro, 24.7. - 11.8.1989.
 
{\footnotesize Kontaktadresse:  Dr. Marcelo J.Reboucas, Departemento
de Relatividade e Particulas, Centro Brasileiro de Pesquisas
Fisicas, Av. Xavier Sgaud, 150, Urca 22.290 Rio de Janeiro (RJ)
Brasilien.}
 
\item {\bf AMS Short Course on Kryptology and Computational Number
Theory}
 
Boulder, Colorado, 6.8. - 7.8.1989.
 
{\footnotesize Kontaktadresse:  M. Foulkes, AMS, P.O.Box 6248,
Providence R.I. 02940.}
 
\item {\bf Colloquium on Computational Number Theory}
 
Debrecen, Ungarn, 4.9.-8.9.1989.
 
{\footnotesize Kontaktadresse: Istvan Gaal, Kossuth Lajos
University, Mathematical Institute, 4010 Debrecen Pf.12., Hungary.}
 
\item {\bf Herbstschule Computer-Algebra und ihre Anwendungen}
 
Bonn, 11.9.-15.9.89
 
{\footnotesize Kontaktadresse:  Deutsche Informatik Akademie,
z.~Hd. Frau Offermanns, Wissenschaftszentrum,
Ahrstra\ss e 45, 5300 Bonn 2, Tel. 0228-302164.}
 
\item {\bf Algorithmen f"ur algebraische Zahlen}
 
T"ubingen, Termin steht noch nicht fest.
 
{\footnotesize Kontaktadresse: R. Loos,
Wilhelm-Schickard-Institut,
Universit"at T"ubingen,
Auf der Morgenstelle 10,
7400 T"ubingen}
 
 
\item {\bf Meeting on Effective Methods in Algebraic Geometry}
 
Pontignano (bei Florenz), Italien 17.4.- 21.4.1990
 
{\footnotesize Kontaktadresse: C.~Traverso, Dipartimento di Matematica,
Via Buonarroti 2, I-56100 Pisa.
Titel und Abstrakt m"ussen bis 31.10.89 eingereicht sein.}
 
\end{enumerate}
 
{\Large\bf \hrule\vspace{1mm}
\centerline{Berichte von Konferenzen}\vspace{1mm}\hrule}
 
\begin{enumerate}
\item {International Course on Computational Real Geometry}
 
Catania, 12.12.--17.12.1988
 
Themen: Einf"uhrung in die Reelle Geometrie. Komplexit"at von
Problemen. Anwendung in der Roboter Kinematik. (Probabilistische)
Algorithmen in der Geometrie.
 
 
{\noindent Vortr"age (Reihenfolge des jeweils ersten Vortrages):}
\small
 
{\noindent J.H.  Davenport, Bath,  {\it From Algebraic Numbers to
Algebraic Geometrie}; M.F.  Coste-Roy, Rennes,  {\it Thom's Lemma and
Applications}; J. Heintz, Buenos Aires,  {\it Cylindrical Algebraic
Decomposition and Quantifier Elimination}; T.  Recio, Santander,
{\it Bounds in Real Algebraic Geometry}; M. Sharir, New York,{\it
Applications of Real Algebraic Geometry to Motion Planning and
Computational Geometry}; L. Guibas, DEC, {\it Arrangements of
Algebraic Varieties in High Dimensions}.
\hfill  F. Ulmer}
 
\normalsize
 
\item {Konferenz "uber Applicable Algebra}
 
Mathematisches Forschungsinstitut Oberwolfach, 1.1.--6.1.1989
 
Die Konferenz konzentrierte sich auf Anwendungen von algebraischen
Methoden zur L"osung von Problemen in technischen
Anwendungsbereichen wie Nachrichtentechnik und Akustik, Robotik,
Vision und K"unstliche Intelligenz, sowie VLSI und
Schaltungsentwurf, sowie auf Methoden aus den Gebieten Algebraische
Geometrie, Algebraische Logik, Arithmetik in reellen komplexen und
endlichen K"orpern, Darstellungs- und Invariantentheorie, sowie
Diskrete Mathematik.
 
Zu diesem Treffen wurden neben Algebraikern, die sich mit den
genannten Anwendungen besch"aftigen und Forschern und Entwicklern
aus dem meist ingenieurm"a\ss ig orientierten Anwendungsbereich
gerade auch Computer-Algebraiker eingeladen, die durch ihre Arbeit
eine Verbindung zwischen vielen der oben genannten Gebiete
herstellen.
 
{\noindent Vortr\"age (in chronologischer Reihenfolge):}
 
\small
 
{\noindent M.R. Schroeder,
{\it The Unreasonable Effectiveness of Number Theory in Physics,
 Music and Communication};
Z.D. Dai,
        {\it Functions Defined by de Bruijn Sequences};
L. Budach,
         {\it VLSI-Design and Fractals};
U. Rembold,
         {\it Autonomous mobile robots};
C. M. Hoffmann,
        {\it Trade-Off between symbolic algebraic and floating point
        computation in solid modeling};
V. Weispfenning,
         {\it Comprehensive Gr\"obner Bases};
J. H. Davenport,
         {\it From Gr\"obner bases to solving equations};
H. J. Stetter,
   {\it A computational algorithm for finding all zeros of a
        multivariate polynomial system};
B. Sturmfels,
     {\it Computational versions of the Quillen-Suslin-Theorem};
Ken-ichi Kanatani,
        {\it Group theoretical methods in image understanding};
J. Mundy,
        {\it An Algebraic Basis for Modeling in Computer Vision};
S.S. Abhyankar,
        {\it Invariant Theory};
M. Clausen,
         {\it FFT};
D. Jungnickel,
         {\it The trace of primitive elements of $GF(q^m)$};
W.~Geiselmann,
         {\it Selfdual Normal Bases over $GF(q)$};
D. Gollmann,
         {\it Multiplication in $GF(2^n)$};
A. Guthmann,
         {\it Constructive Arithmetic in $GF(q) T $};
H.H. Nagel,
         {\it Algebraic Approaches in Image Sequence Analysis};
B.A. Kutzler,
      {\it Algebraic methods for automated geometry theorem proving};
G. Schiffels,
        {\it Well Quasi Orders and Gr\"obner Ideal Bases};
H. Niederreiter,
         {\it The linear complexity profile of binary sequences};
D. E. Lazi\` c ,
        {\it Sphere Packing and Signal Constellations};
B. Haible,
     {\it Linear differential equations with polynomial coefficients.};
K. Murota,
    {\it LM-matrix and its combinatorial canonical form for systems analysis};
J. Grabmeier,
        {\it On sums of characters: zero-testing and interpolation};
A. Shokrollahi,
        {\it Fermat Codes};
W. B\"uttner,
        {\it Modelling Complex Applications in Prolog};
J. Cannon,
        {\it Knowledge-Based Systems as  a Tool for Applied Algebra};
A. Kerber,
         {\it The combinatorial use of finite group actions}.
\hfill  W.~Geiselmann}
 
\normalsize
 
\item {Computational Group Theory}
 
Special Session beim Jahrestreffen der AMS, Phoenix, Arizona,
11.1.-14.1.89.
 
Auf der Tagung wurden fast alle gr"o"seren CA-Systeme demonstriert:
DERIVE, MACSYMA, MAPLE, MATHEMATICA, SCRATCHPAD II, SMP; zu der Special
Session des weiteren die gruppentheoretischen Systeme: CAYLEY, CAS, GAP,
SOGOS, SPAS sowie als stand-alones die Implementationen von TC und NQ aus
Canberra.
 
\noindent Vortr"age:
 
\small
{\noindent L.~Babai, Budapest, E.M.~Luks, U. of Oregon, A. Seress, Ohio State,
{\it Managing permutation groups in $0(n^4log^cn)$time}; G.~Cooperman,
L.~Finkelstein, Northeastern U., {\it Short presentations and a strong
generating test for permutation groups}; R.H.~Gilman, Stevens Inst. of Techn.,
{\it Verifying that a group is virtually free}; J.~Grover, Lear
Astronics, Woodland Hills, Cal., {\it Modified Todd Coxeter algorithm};
G.~Havas, U. Brisbane, {\it Supercomputer group theory};
J.E.~Humphreys, U. of Massachusetts, {\it Computing decomposition
numbers for finite groups of Lie type in the defining characteristic};
S.~Magliveras, U. of Nebraska, {\it Cryptographic applications of
computational group theory}; M.F.~Newman, Canberra, {\it A method for
proving groups infinite}; E.A.~O'Brien, Marquette U., {\it New methods
for generating descriptions of p-groups}; R.~Riley, Binghampton,
{\it The system PNCRE for computation with explicit subgroups of
$SL_2({\bf C})$}; E.F.~Robertson, St. Andrews, Schottland, {\it On
the efficiency of finite simple groups and their direct squares};
M.~Sch"onert, Aachen, {\it GAP, groups and programming}; C.~Sims,
Rutgers, {\it Implementing the Knuth-Bendix procedure and the
Baumslag-Cannonito-Miller polycyclic quotient algorithm};
M.C.~Slattery, Marquette U., {\it Proofs of algorithms as
implementation tools}; C.R.B.~Wright, U. of Oregon, {\it Algorithms
for computing complements to normal subgroups}; H.~Zassenhaus,
Columbus, Ohio, {\it Current techniques for computing the group of
an equation}.  \hfill M.~Sch"onert}
 
\normalsize
 
\newpage
 
\item {Differential Equations and Computer Algebra}
 
Universit\'{e} Libre de Bruxelles, 19.1.1989
 
{\noindent Vortr\"age:}
 
\small
 
{\noindent J. Henrard,
{\it A Survey of Poisson Series Processors};
A. Heck,
{\it Criteria and Formulae for the Inverse of a Polynomial Map};
G. Gielen,
{\it Symbolic Simulation of Analog Integrated Circuits in S- and Z-
Domain};
D. Dehin,
{\it Conformal Symmetries and Systems of Partial
Differential Equations};
J. Della Dora,
{\it Asymptotic Solutions of Differential and Difference Equations: a
Symbolic Computation Approach};
V. Dietrich,
{\it ELISE, an algorithm realized with Maple};
N. Van Den Bergh,
{\it Applications of Maple to Problems in General Relativity};
L. Brenig, J.L. Colot, E. Mund, J. Sengier,
{\it Demonstrations of Maple and SMP on U.L.B. Sun network}.
\hspace*{2cm}  \hfill F.~Schwarz}
\normalsize
 
\item {Computer Algebra Nederland}
 
Centrum voor Wiskunde en Informatica, Amsterdam, 10.3.1989
 
{\noindent Vortr\"age:}
 
\small
 
\noindent
R.K.~Ellis,
{\it Computer algebra in particle physics: The example of heavy flavour
production};
M. McCallum,
{\it Ordinary differential equations and computer algebra};
R. Sommerling,
{\it Computing invariants of a differential operator using
Dieudonn\'{e} determinants};
A. Heck,
{\it Criteria and formulae for the inverse of a polynomial map};
J.H.J. Molenkamp,
{\it Automatic error cumulation control};
J.A.M. Vermaseren,
{\it A new formula manipulation program for big expressions}.
\hfill F.~Schwarz
 
\end{enumerate}
 
 
 
 
{\vspace*{5mm} \Large\bf \hrule\vspace{1mm}
\centerline{Neues \"uber Systeme und Hardware\vspace{1mm}}\hrule}
 
\vspace*{3mm}
 
\centerline{\large\bf Derive und Galois --- Zwei neue Systeme f\"ur
PC's}
\centerline{Bernhard Kutzler}
 
{\footnotesize
\centerline{Research Institute for Symbolic Computation (RISC-LINZ)}
 
\centerline{Johannes Kepler Universit\"at, A-4040 Linz}}
\medskip
 
{\bf Derive} ist das neueste Computer-Algebra System von Soft Warehouse Inc.
und die Weiterentwicklung von muMATH. Die wesentlichen Systemmerkmale sind:
\begin{itemize}
\item [$-$]
Exakte rationale Arithmetik sowie numerische Approximation auf beliebig
viele Stellen.
\item [$-$]
L\"osen von Gleichungen, Rechnen mit komplexen Zahlen, Trigonometrie,
Infinitesimalrechnung, Vektor- und Matrizenrechnung.
\item [$-$]
Plotten von 2D und 3D Funktionsgraphen.
\item [$-$]
Unterst\"utzung von CGA, EGA, VGA sowie Herkules-Graphik.
\item [$-$]
2D-Ausgabe von Formeln.
\item [$-$]
Anwenderfreundliches Benutzerinterface mit On-Line Help.
\end{itemize}
 
Derive l\"auft auf allen IBM PC und dazu kompatiblen Computern unter MS-DOS
(Version 2.1 oder h\"oher) mit mindestens 512K Hauptspeicher und einem
$5\frac{1}{4}$ Zoll (360K) oder einem $3\frac{1}{2}$ Zoll (760K)
Diskettenlaufwerk.
 
Derive kostet \"OS 2800 + MWSt. (bzw. DM 400) und wird in Europa durch
die Firma CIFEG GmbH (Kalkgruberweg 26, A-4040 Linz, \"Osterreich) vertrieben.
\bigskip
%\bigskip
 
{\bf Galois} ist ein von R.\ Lidl, R.W.\ Matthews und R.\ Wells in Turbo
Pascal v3.0 geschriebenes Programmpaket f\"ur den Einsatz in Forschung und
Lehre. Das System wurde f\"ur jene Anwendungen entwickelt, die sich
mit modularer Arithmetik sowie Matrizen und Polynomen \"uber endlichen
K\"orpern oder ganzen Zahlen modulo $n$ besch\"aftigen.
 
Eine Auswahl der implementierten Routinen ist:
\begin{tabbing}
Chinese Remainder Algorithm xxx\=Greatest Common Divisor xxx\=\kill
Chinese Remainder Algorithm \>Find Primitive Element \>Order of Element\\
Cyclotomic Polynomials \>Find Roots \> Primality Test\\
Calculate Determinant \>Greatest Common Divisor \> Primitivity Test\\
Calculate Rank \>Interpolation \>Rank\\
Evaluate Polynomial \>Least Common Multiple \>Reduced Echelon Form\\
Factorization \>Minimal Polynomial \>Solve Congruences\\
Find Inverse \>Norm \>Solve Linear Systems\\
Find ``Next'' Prime \>Nullspace \>Trace
\end{tabbing}
 
Galois l\"auft auf allen IBM PC und dazu kompatiblen Computern unter MS-DOS
(Version 2.0 oder h\"oher) mit mindestens 640K Hauptspeicher und einem
$5\frac{1}{4}$ Zoll (360K) oder einem $3\frac{1}{2}$ Zoll (760K)
Diskettenlaufwerk.
 
Die single use license von Galois kostet \"OS 1650 + MWSt. (bzw. DM 240),
die site license kostet \"OS 6200 + MWSt. (bzw. DM 890). Der Vertrieb in
Europa erfolgt durch die Firma CIFEG GmbH (Kalkgruberweg 26, A-4040 Linz,
\"Osterreich).
\vspace*{7mm}
 
 
\centerline{\large\bf
Mailbox und elektronisches Bulletin Board f\"{u}r REDUCE}
\centerline{Eberhard Schr\"{u}fer}
{\footnotesize
\centerline{GMD, Institut F1-P}
\centerline{Postfach 1240}
\centerline{5205 St.~Augustin}
\centerline{Tel.: 02241 14 2801, EARN: GF1013 at DBNGMD21}}
 
Seit kurzem existiert ein elektronisches Bulletin Board f\"{u}r
REDUCE Benutzer.  Es ist f\"{u}r die Diskussion von Sachfragen
gedacht, die f\"{u}r die gesamte REDUCE Gemeinschaft von Interesse
sind. In die Verteilerliste f\"{u}r das Bulletin Board kann man
sich eintragen lassen, in dem man eine Message an
 
\begin{quote}
reduce-forum-request@rand.org (EARN, BITNET)
\end{quote}
 
schickt. Das 'reduce-forum' wird momentan unmoderiert betrieben,
d.h. jeder Diskussionsbeitrag wird unmittelbar an {\em alle}
Teilnehmer weitergeleitet.  Das Bulletin Board sollte {\em nicht}
f\"{u}r Bug-Reports verwendet werden.  F\"{u}r solche und f\"{u}r
Fragen, die nicht von allgemeinem Interesse sind, steht
 
\begin{quote}
reduce@rand.org  (EARN, BITNET)
\end{quote}
zur Verf\"{u}gung.
 
Dar\"{u}berhinaus gibt es jetzt eine {\em elektronische Library}.
Von ihr k\"{o}nnen Informationen, gewisse Dokumentationen und auch
Software abgerufen werden. Der momentane Index (wird weiter
ausgebaut) enth\"{a}lt:
 
\begin{verbatim}
arith     -  5 Dec 88 - Code for the support of arithmetic in REDUCE
cl        -  8 Feb 89 - Files for Common Lisp front end to REDUCE
examples  - 18 Jan 89 - Various REDUCE examples
groebner  - 17 Jan 89 - Code for Groebner base calculations
info      -  2 Feb 89 - Various information files (e.g., books about REDUCE)
interface - 27 Jan 89 - Code for the GI/S graphical user interface
laplace   - 17 Jan 89 - Direct and Inverse Laplace Transformations
misc      - 27 Jan 89 - Various pieces of code (mostly not documented)
patches   -  8 Feb 89 - Patches correcting various bugs in REDUCE 3.3
series    -  7 Feb 88 - Truncated power series and other series packages
tex       - 28 Jan 89 - Code for producing TeX output from REDUCE
util      - 25 Jan 89 - Various utility packages
vector    - 20 Dec 88 - Vector algebra and calculus packages
\end{verbatim}
Nach Eintrag in die Verteilerliste k\"{o}nnen weitere Informationen
zur Library durch Senden einer einzeiligen Message, die aus dem Wort
help besteht (entweder im Subject-Feld oder ohne Subject-Feld als
Mail-K\"{o}rper), an
%
\begin{quote}
reduce-netlib\@rand.org (EARN, BITNET)
\end{quote}
%
erhalten werden. Bei Schwierigkeiten bitte an den Autor wenden.
 
\vspace*{10mm}
 
 
\centerline{\large {\bf SIMATH} - ein Computer Algebra System}
\centerline{Prof. Dr. H.G. Zimmer}
 
{\footnotesize
\centerline{Fachbereich 9.1 Mathematik}
 
\centerline{Universit\"at des Saarlandes}
 
\centerline{6600 Saarbr\"ucken}}
 
\medskip
 
\let\uml=\"
%\newcommand{\3}{\ss}
 
{\sc SIMATH} wird im Rahmen einer Kooperation zwischen der
Universit\"at des Saarlandes und der Siemens AG am Lehrstuhl Prof.
Dr. Zimmer auf dem {\bf Siemens PC MX-2} entwickelt. Bis Mitte des
Jahres soll auch eine Auslieferversion f\"ur {\bf APOLLO}
Workstations (DN3010 und DN4500) auf dem Betriebssystem UNIX
fertiggestellt sein.
 
{\underline {\bf Aufbau:}} {\sc SIMATH} ist streng nach den
Konventionen der {\bf Programmiersprache 'C'} geschrieben; die
{\sc SIMATH}-Funktionen lassen sich jedoch verm\"oge mitgelieferter
Konvertierungsroutinen auch in {\bf FORTRAN}-Programme einbinden.
 
Der {\bf modulare} Aufbau erm\"oglicht dem Benutzer
den {\bf Einbau eigener Programme} an allen Stellen des Systems.
{\sc SIMATH} wird von einer {\bf eigenen Benutzeroberfl\"ache} \"uberlagert,
die die System- und Bibliotheksverwaltung auf ein Minimum an Aufwand reduziert.
S\"amtliche {\sc SIMATH}-Datentypen werden durch ein {\bf Listensystem}
realisiert, das ausgestattet ist mit einem {\bf automatischen garbage}
{\bf collector} und einer {\bf dynamischen Speicherplatzverwaltung}.
 
{\sc SIMATH} stellt zur {\bf schnellen, interaktiven} {\bf
Probleml\"osung} einen {\bf Calculator} zur Verf\"ugung, der die
{\sc SIMATH}-Funktionen im {\bf ONLINE-Betrieb}
 zug\"anglich macht.
 
Alle {\sc SIMATH}-Programme sowie der {\sc SIMATH}-{\bf Calculator}
sind mit ausf\"uhrlichen {\bf Dokumentationen und Help-Dateien}
ausgestattet, auf die ebenso wie auf ein {\bf
Schl\"usselwortverzeichnis} interaktiv zuzugreifen ist.
 
{\underline {\bf Inhalt:}} Schwerpunkte von {\sc SIMATH} liegen         im
Bereich der {\bf algebraischen Zahlentheorie}. Hier einige Themenbereiche,
die z.T. bereits ausf\"uhrlich behandelt wurden; z.T. sind
Algorithmen und Prozeduren zu diesen Themen noch in der Entwicklungsphase.
\begin{itemize}
\item      Allgemeine Arithmetik, d.h Grundrechenarten,
           in ${\cal Z},{\cal Q},{\cal Z}$/m${\cal Z},{\cal F}_q,{\cal
 F}_q(x)$,
           sowie in algebraischen Zahlk\"orpern.
           Sofern es in oben genannten Ringen sinnvoll ist:
           Chinesischer Restsatz, Primzahltest, Faktorisierung.
\item      Polynomarithmetik, d.h. Grundrechenarten, Einsetzen,
           Transformationen, Resultante, Diskriminante, Faktorisierungsroutinen
           in Polynomringen mit Koeffizienten aus oben beschriebenen Ringen
           in beliebig vielen Ver\"anderlichen.
\item      Das Matrizenpaket umfa\3t, neben den Grundrechenarten
           f\"ur Matrizen \"uber {\bf allen} oben beschriebenen Ringen,
           die Berechnung der Hermite-Normal-Form, sofern dies sinnvoll
           ist, und das L\"osen linearer Gleichungssysteme
           \"uber $\cal Z$ und $\cal Q$.
\item      Arithmetik in algebraischen Zahlk\"orpern und
           Funktionenk\"orpern, Kettenbruchalgorithmus, Berechnung von
           Ganzheitsbasen, Primdivisorzerlegung,
           Fundamentaleinheiten, Klassenzahl und Klassengruppen.
\item      Elliptische Kurven: Birationale Transformationen,
           Punktarithmetik, global minimales Modell, H\"ohenberechnung
           ( N\'{e}ron-Tate-H\"ohe ) und Kongruenzzahlen.
\end{itemize}
 
Ansprechpartner:
Prof. Dr. H.G. Zimmer,
Universit\"at des Saarlandes,
D-6600 Saarbr\"ucken
\newline
Bau 27.1,
Raum 317,
Tel.: 0681/302-2206
 
\pagebreak
 
\vspace*{-10mm}
 
{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Publikationen "uber Computer-Algebra
\vspace{1mm}}\hrule}
\vspace*{1mm}
Stephen Wolfram,
{\em Mathematica $^{\mbox{\tiny TM}}$
A System for
Doing Mathematics by Computer}, Addison-Wesley Publishing Company,
1988.
 
{\footnotesize
Dies ist das Manual zu dem mit gro\ss er Publicity angek"undigten
neuen System von S.~Wolfram, das als Nachfolger von SMP anzusehen
ist. Von allen Computer-Algebra Systemen stellt Mathematica damit
sicher die ausf"uhrlichste Beschreibung zur Verf"ugung.  Die
wichtigsten "Uberschriften aus dem Inhaltsverzeichnis sind (in
freier "Ubersetzung):  {\it Eine praktische Einf"uhrung in
Mathematica.  Die Struktur von Mathematica. Fortgeschrittene
Mathematik in Mathematica}. Mathematica als eine Computer-Sprache.
Der Text ist leicht verst"andlich geschrieben und mit zahlreichen
Beispielen versehen. F"ur nicht zu umfangreiche Anwendungen, bei
denen die vom System zur Verf"ugung gestellten Funktionen den
gr"o\ss ten Teil des Codes ausmachen, stellt Mathematica sicher eine
echte Alternative dar.  Ganz besonderer Wert wurde auf die
Verf"ugbarkeit von Graphik gelegt. Au\ss er einem langen Kapitel
dar"uber, das fast zehn Prozent des gesamten Textes umfa\ss t, wird
das auch durch die "au\ss ere Aufmachung unterstrichen - eine
dreidimensionale Darstellung in allen Farben des Regenbogens.
\hfill F.~Schwarz.}
 
\vspace*{2mm}
 
H. W. Lenstra, R. Tijdeman, {\em Computational Methods in Number
Theory~I,II}. Mathematisch Centrum, Amsterdam 1982.
 
\vspace*{1mm}
L. Lov\'asz, {\em An Algorithmic Theory of Numbers, Graphs and
Convexity}, Society for Industrial and Applied Mathematics,
Philadelphia 1986.\\
 
\vspace*{1mm}
B. F. Caviness, Robert P. Gilbert, Roman Shtokhamer,
{\em An Introduction to Applied Symbolic Computation using Macsyma},
University of Delaware, 1989.\\
 
\centerline{\bf Computer in der Mathematik in den AMS Notices}
 
\vspace*{2mm}
Die American Mathematical Society (AMS) publiziert seit mehreren
Jahren in ihren NOTICES Artikel, die sich mit der Rolle von Computern
in der Mathematik auseinandersetzen.
Wir geben hier eine "Ubersicht:
\begin{itemize}
\item[1.] "`Future Directions in Computational Mathematics, Algorithms,
and Scientific Software"', {\it vol. 32, No. 6, Nov. 1985, pp 743 - 757},
ist die Wiedergabe der zentralen Teile eines Berichts, den eine
Arbeitsgruppe unter Leitung von W. C. Rheinboldt f"ur die AMS erstellt
hat. Der volle Bericht kann von SIAM, 1400 Architects Building,
117 South 17th Street, Philadelphia, Pennsylvania 19103, angefordert
werden.
\item[2.] In einer von J. P. Buhler herausgegebenen Reihe "`Mathematical
Software"' erschienen folgende zwei Aufs"atze:\\
N. J. A. Sloane: My Friend MACSYMA.\\
\hspace*{2cm} {\it vol. 33, No. 1, Jan. 86, pp. 40-43}\\
A. Ash: A Matrix Laboratory. (Bericht "uber PC-Matlab)\\
\hspace*{2cm} {\it vol. 33, No. 3, June 86, pp. 482 - 485}
\item[3.] Seit Mai 1988 gibt J. Barwise eine bis jetzt regelm"a"sig
erscheinende Spalte "`Computers and Mathematics"' heraus, in deren sehr
lesenswerten "`editorials"' er sich u. a. kritisch mit Problemen wie
der Patentf"ahigkeit von Algorithmen oder der ungew"ohnlich agressiven
Markteinf"uhrung von MATHEMATICA auseinandersetzt, die aber auch
evaluierende Berichte "uber mathematische Software bringt. Folgende
Beitr"age sind bisher erschienen:
\begin{itemize}
\item J. Barwise: Editorial.\\
\hspace*{2cm} {\it vol. 35, No. 5, May/June 88, pp. 693-694}
 
\item J. Barwise: Editorial Notes.\\
E. N. Zalta: Are Algorithms Patentable?\\
Y. Nievergelt: The HP-28S Brings Computations and Theory Back Together in
the Classroom.\\
N. Shankar: Observations on the Use of Computers in Proof Checking.\\
\hspace*{2cm} {\it vol. 35, No. 6, July/August 88, pp. 795-805}
 
\item J. Barwise: Editorial Notes.\\
B.~Simon, R.M.~Wilson: Supercalculators on the PC. (Ein Vergleich
von: EUREKA, \hbox{TKSOLVER} PLUS, MATHCAD 2.0, POINT FIVE,
PC-MATLAB, GAUSS)
 
\hspace*{2cm} {\it vol. 35, No. 7, Sept. 88, pp. 976-1001}
 
\item J. Barwise: Editorial Notes: How to Computerize a Math
Department?\\ D.F. Holt: The CAYLEY Group Theory System.\\
R. J. Palais: Academic Computing and Networking.\\
\hspace*{2cm} {\it vol. 35, No. 8, Oct. 88, pp. 1134-1148}
 
\item J. Barwise: Editorial Notes: Mathematica.\\
E. A. Herman: Mathematica, A Review.\\
Other comments on Mathematica.\\
\hspace*{2cm} {\it vol. 35, No. 9, Nov. 88, pp. 1333-1349}
 
\item J. Barwise: Editorial: Software and Intellectual Property
Rights.\\ D. Griffith: Cyclic Random Competition.\\
K. Devlin: Mathematics without Theorems.
Mathematical Freeware and Shareware: ZG.\\
\hspace*{2cm} {\it vol. 35, No. 10, Dec. 88, pp. 1469 - 1482}
 
\item J. Barwise: Editorial Notes: Why are There so Few Computers in
the Classroom? Math. Bulletin Board System.\\
J. Barwise, J. Etchemendy: Creating Courseware.\\
\hspace*{2cm} {\it vol. 36, No. 1, Jan. 89, pp  32 - 40}
 
\item J. Barwise: Editorial Notes
 
G.-C.~Rota: The Barrier of Meaning
 
L.~A.~Lambe: Reviews: Scratchpad II as a Tool for Mathematical Research.
 
A.~Matchelt: Review: Graphical Aids for Stochastic Processes.
 
\hspace*{2cm}{\em vol. 36, No. 2, Feb. 89, pp. 141-148.
 
 
\hfill  J.~Neub"user}
 
 
\end{itemize}
\end{itemize}
{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Lehrveranstaltungen "uber Computer-Algebra im SS 1989
\vspace{1mm}}\hrule}
\vspace*{1mm}
{\bf RWTH Aachen} \\
{\em Einf"uhrungspraktikum in MAPLE}, Neub"user, Klein, Dietrich,
Blockpraktikum, 6 Nachmittage. \\
{\bf Universit\"at Essen} \\
{\em Einf\"uhrung in die Computer-Algebra I}, G. Schneider, 2std. \\
{\bf Universit\"at Heidelberg} \\
{\em Algorithmen der Zahlentheorie}, B. H. Matzat, 4 Std. mit 2 Std.
Praktikum.
 
\noindent
{\bf Universit\"at Kaiserslautern}
 
\noindent
{\em Fibonacci's Liber Abbaci - ein fr"uhes Buch zur Computer-Algebra},
L"uneburg, 1 Std.
 
\noindent
{\bf Universit\"at Karlsruhe} \\
{\em Computer Algebra $I\!\!I$}, Calmet, 3 Std. \\
{\em Verfahren der schnellen Fourier-Transformation}, Clausen, 3 Std. \\
{\em Theoretische Aspekte der Realisierung von Computer-Algebra-Systemen},
Calmet, Tjandra, Ulmer, 2 Std. Seminar. \\
{\em Abstrakte Datentypen und Spezifikation},
Clausen, Gollmann, 2 Std. Seminar. \\
{\em Computer Algebra}, Tjandra, Ulmer, 2 Std. Proseminar. \\
{\bf Universit"at Linz} \\
{\em Programmiersprachen f\"ur Symbolic Computation II (Funktionales
Programmieren - LISP)}, Winkler, 2~Std. \\
{\em Computer-Algebra II (Symbol-Algorithmen in der Analysis)},
Rothstein, 2 Std. \\
{\em "Uberblick "uber Symbolic Computation}, Buchberger, 2 Std.\\
{\em Ausgew\"ahlte Kapitel aus der algorithmischen algebraischen
Geometrie}, Sturmfels, 2 Std.\\
{\em Programmierprojekt Symbolic Computation II}, Buchberger, 4 Std.\\
{\em Vortragsreihe Symbolic Computation}, Buchberger, Paule, 1 Std.\\
{\em Einf\"uhrung in das wissenschaftliche Arbeiten in Symbolic
Computation I}, Buchberger, 2 Std. \\
{\em Projektseminar: Algorithmische algebraische Geometrie},
Buchberger, Winkler, 2 Std. \\
{\bf Universit"at Passau} \\
{\em Seminar "uber Computer Algebra} (gemeinsam mit der Arbeitsgruppe
Prof. B. Buchberger, Universit"at Linz), Weispfennig, Becker, Kredel,
2 Std. n.V. \\
{\bf Universit"at Saarbr\"ucken} \\
{\em Primzahltests}, Buchmann, 2 Std.\\
{\em Berechnung von Klassengruppen algebraischer
Zahlk\"orper}, Buchmann,
2 Std. \\
{\em Proseminar: Einf\"uhrung in die Kryptographie}, Buchmann, 2 Std.\\
{\em Fortgeschrittenenpraktikum: Faktorisierung gro"ser Zahlen /
lineare Algebra "uber Ringen / Gitterbasis - Reduktion / Normalformen
ganzzahliger Matrizen / Electronic poker}, Buchmann, 2 Std. \\
{\bf Universit"at T\"ubingen} \\
{\em Computer Algebra}, Loos, 4 Std. (mit Rechner\"ubungen, 2 Std.)\\
 
{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Offene Stellen}\vspace{1mm}\hrule}
\vspace{0.3cm}
 
 
\begin{center}
 
\framebox[172mm]{\parbox{170mm}{\footnotesize
An der {\bf Fakult\"at f\"ur Mathematik} ist die Stelle eines/r
\begin{center}
\vspace*{1mm}
{\bf Hochschuldozenten/in (C 2) \\ f\"ur Mathematik }
\vspace*{1mm}
\end{center}
{\footnotesize
die dem neugegr\"undeten Interdisziplin\"aren Zentrum f\"ur
Wissenschaftliches Rechnen zugeordnet ist, mit der Arbeitsrichtung}
 
\begin{center}
{\bf Computerunterst\"utzte Gruppen- und Zahlentheorie}\\
(computational group / number theory) \\
\end{center}
 
zu besetzen.
Es besteht - abgesehen von den F\"allen des \S 61 Abs. 7 UG - keine
M\"oglichkeit, das Beamtenverh\"altnis als Hochschuldozent auf Zeit
\"uber 6 Jahre hinaus zu verl\"angern.
Schwerbehinderte werden bei gleicher Eignung vorrangig eingestellt.\\
Bewerbungen mit den \"ublichen Unterlagen (Lebenslauf,
Schriftenverzeichnis, Verzeichnis der Lehrveranstaltungen) werden bis
zum {\bf 31.M\"arz 1989} erbeten an den {\bf Dekan der Fakult\"at
f\"ur Mathematik, Universit\"at Heidelberg, Im Neuenheimer Feld 288,
6900~Heidelberg.}}}
 
 
\end{center}
 
\begin{center}
 
\framebox[172mm]{\parbox{170mm}{
\begin{center}
{\bf Doktoratsstipendien am RISC-LINZ \\}
\vspace*{3mm}
{\footnotesize \bf Research Institute for Symbolic Computation\\
Johannes Kepler Universit\"at Linz\\
A-4040 Linz, Austria\\
Tel. "Osterreich (732) 2468 / 9219\\
electronic mail: K313370@AEARN.BITNET\\}
\end{center}
 
{\footnotesize
Voraussichtlich ab Wintersemester 1989/1990 werden am RISC-LINZ
einige Stipendien f\"ur ausl\"andische Doktoratsstudenten zur
Verf\"ugung stehen. Das Stipendium selbst ist kostenlos. Das Stipendium
betr\"agt 100.000.- "osterreichische Schillinge im Jahr. Dieser Betrag
sollte die Lebenshaltungskosten abdecken.
 
Ausgezeichnete Studenten mit Diplom in Mathematik oder Informatik und
Interesse an Forschung in Symbolic Computation (Computer Algebra,
Computational Logic, Computational Geometry, Automatic Programming
etc.) k\"onnen sich ab sofort um diese Stipendien bewerben.
(Lebenslauf, Referenzen, m\"oglichst ausf\"uhrliche Informationen).
Bewerbungen bitte an den Leiter des Instituts, Prof. Dr. Bruno
Buchberger, senden (Adresse siehe oben).
 
RISC-LINZ ist ein selbst\"andiges Institut der Universit\"at Linz
mit derzeit 12 Mitarbeitern mit Doktorat und 11 Doktoratsstudenten
sowie etlichen Diplomstudenten, die sich alle im Bereich Symbolic
Computation bet\"atigen. Das Institut wird in K\"urze (Feber 1989) in
ein reizvoll renoviertes sehr altes Schlo"s in sehr sch\"oner
Landschaft nahe Linz "ubersiedeln. Die Computer-Ausstattung ist
zufriedenstellend (10 Apollo Workstations, 1 Apollo 10000,
1 Micro-VAX, 4 VAXstations, ein Transputersystem in Anschaffung) und
wird noch erweitert. Das Institut arbeitet eng mit den Instituten
f\"ur Mathematik und Informatik zusammen und wird Impulsgeber und
Ausgangspunkt einer neuen Studienrichtung ``Mechatronics'' werden.
Auch gibt es eine Reihe von Kooperationen mit der Industrie.
 
Hauptziel der Ausbildung am RISC-LINZ ist die Verbindung von Mathematik
und Informatik. } }}
 
\end{center}
 
\footnotesize
 
\vspace*{-15mm}
\begin{center}
\framebox[172mm]{\parbox{170mm}{
\begin{center}
{\normalsize\bf Ausschreibung der Stelle \\
eines ordentlichen Universit\"atsprofessors f\"ur\\
Symbolisches Rechnen
an der Johannes-Kepler-Universit\"at in Linz (\"Osterreich)\\
(Research Institute for Symbolic Computation)\\}
\end{center}
 
An der Technisch-Naturwissenschaftlichen Fakult\"at der
Johannes-Kepler-Universit\"at Linz wird eine neue Stelle f\"ur einen
ordentlichen Universit\"atsprofessor f\"ur Symbolisches Rechnen
(Symbolic Computation) eingerichtet.  Bewerber/innen sollen ein
ausgezeichnetes Profil als Forscher in wenigstens einem der
Teilgebiete von Symbolic Computation haben (Computer-Algebra,
Computer-Analysis, Computer-Geometrie, Computer-Logic, Formaler
Soft\-ware-Design etc.). Sie sollten au\ss erdem Ambitionen f\"ur
die Ausbildung von Diplom- und Doktoratsstudenten und, im Rahmen
ihres Spezialgebietes, die Eignung und vor allem den Willen haben,
industrielle Anwendungen zu moderieren (z. B. Expertensysteme,
Geometrisches Modellieren, Roboter-Software, AI-Software,
Wissenschaftliche Software).  Eine der Verwendung entsprechende
abgeschlossene inl\"andische oder gleichwertige ausl\"andische
Hochschulbildung und Habilitation bzw. eine gleichzuwertende
wissenschaftliche Bef\"ahigung ist Voraussetzung.
Bewerber/innen aus dem Ausland werden ausdr\"ucklich ermutigt.
 
Die Technisch-Naturwissenschaftliche Fakult\"at der
Johannes-Kepler-Univer\-sit\"at hat f\"ur die Arbeitsrichtung
Symbolic Computation ein eigenes Institut unter der Leitung von
Professor Bruno Buchberger eingerichtet (RISC-LINZ, Research
Institute for Symbolic Computation) mit derzeit 8 Mitarbeitern mit
Doktorat, 11 Doktoratsstudenten und ca. 25 Diplomstudenten .
RISC-LINZ arbeitet in enger Verbindung mit dem Institut f\"ur
Informatik und dem Institut f\"ur Mathematik.
 
Die Betonung von Symbolic Computation an der
Johannes-Kepler-Univer\-si\"at ist ein Teil und eine Triebfeder der
geplanten Erweiterung der Technisch-Naturwissenschaftlichen
Fakult\"at in Richtung ``Mechatronics'' (intelligente Kontrolle von
technischen Vorg\"angen; 10 ordentliche Professuren geplant) in
enger Kooperation mit der Industrie.  Der neue Standort von
RISC-LINZ, Schlo\ss\ Hagenberg (11.-16. Jahrhundert), 15 Autominuten
von Linz, verbindet die Annehmlichkeiten des st\"adtischen Lebens
mit der Abgeschiedenheit in einer der sch\"onsten Landschaften und
im Zentrum des kulturellen Angebots \"Osterreichs.
 
Bewerbungen (Lebenslauf, Kopien einiger wichtiger wissenschaftlicher
Publikationen) werden bis zum 31. M"arz 1989 erbeten an: Dekan Prof.
Dr. Peter Wei\ss , Johannes-Kepler-Universit\"at, A4040 Linz
(Austria). (Tel:  \"Osterreich (732) 2468-312.).  Detaillierte
Ausk\"unfte erteilt auch der Leiter von RISC-LINZ, Prof. Dr. Bruno
Buchberger, Johannes-Kepler-Universit\"at, A4040 Linz. (Tel:
\"Osterreich (732) 2468-9219.  Electronic mail:
K313370@\-AEARN.bitnet.)} }
 
\end{center}
 
\begin{center}
 
\framebox[172mm]{\parbox{170mm}{
An der von der Baden-W\"urttembergischen Landesregierung neu
eingerichteten Forschungsstelle Europ\"aisches Institut f\"ur
Systemsicherheit  (E.I.S.S.)  erforschen wir Grundlagen und
Verfahren der Datensicherheitstechnik in komplexen Systemen und
offenen Netzen.  Innerhalb neuer Projekte, die  auch im Rahmen
europaweiter Kooperationen (Eureka, Esprit, Race) durchgef\"uhrt
werden, befassen wir uns mit Netzsicherheit und der Entwicklung von
Zugangsprotokollen.  Die Schwerpunkte liegen dabei  vor allem auf
den Gebieten Spezifikation, Realisierung und Verifikation sicherer
Systeme, logische Grundlagen der Theorie verl\"a"slicher Systeme,
mathematische Modellierung und Hardware-Implementierung
kryptographischer Algorithmen, insbesondere von Public-Key-Verfahren
und Netzmanagement-Protokollen.  Zur Mitarbeit in diesen Projekten
suchen wir f\"ur sofort oder sp\"ater engagierte
\begin{center}
{\normalsize\bf
        Dipl.-Informatiker/innen \\
        Dipl.-Elektroingenieure/innen \\
        Dipl.-Mathematiker/innen} \\
 
\end{center}
die sich im Hauptstudium (oder danach) vorzugsweise mit
Computer-Algebra, Komplexit\"atstheorie,  Kryptographie oder
Datensicherheit und benachbarten Gebieten (z.B Betriebssysteme,
Netzwerkarchitekturen, Telematik, Experten- systeme, Logik,
VLSI-Design) befa"st haben.  Wir erwarten
\"uber\-durch\-schnitt\-liche Studienleistungen,
interdisziplin\"ares Interesse, Ideenreichtum und
Einsatzbereitschaft sowie Freude zur Teamarbeit.  Wir bieten
besonders f\"ur Absolventen oder Bewerber mit einigen Jahren
Berufserfahrung ein personell und apparativ \"au"serst attraktives
Umfeld, in dem Sie die M\"oglichkeit vorfinden, sich durch
Ver\"offentlichungen und Promotion weiterzuqualifizieren.  Sie haben
Kontakt zu f\"uhrenden internationalen Experten, die zur
Unterst\"utzung der Wissenserfassung und -dokumentation der
aktuellsten Themen von Forschung und Entwicklung im Bereich der
Systemsicherheit eingeladen werden. Promovierten Bewerbern bietet
sich die Chance, die Verantwortung f\"ur ein Projekt zu
\"ubernehmen.  Unsere vertraglichen Konditionen entsprechen denen
der Universit\"at Karlsruhe und sehen einen Zeitvertrag nach BAT
vor.  Bitte bewerben Sie sich mit aussagekr\"aftigen Unterlagen
bei E.I.S.S. Prof. Dr. Thomas Beth, Universit\"at Karlsruhe,
Kaiserstr. 8, 7500 Karlsruhe, Tel.: 0721/608-4205. }}
\end{center}
 
\normalsize
 
{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Kurze Mitteilungen}\vspace{1mm}\hrule}
\vspace*{1mm}
 
SAME hat ein elektronisches Network f"ur Computer-Algebra begonnen.
Interessenten bitte Mitteilung an dl\@frunip11 oder same\@frulm11
(beide bitnet) senden. $***$ Inzwischen gibt es Fachgruppen f"ur
Computer-Algebra in Belgien, Frankreich und Holland.
Sprecher und Kontakperson sind H.~Caprasse (Liege), D.~Lazard (Paris)
bzw. H.~van Hulzen (Enschede).
 
\end{document}
