\documentstyle[11pt,german]{article}
%\input{latlib}
\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 5  \hfill Fachgruppe 2.2.1 \hfill 15. November 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 Sankt Augustin 1.
ISSN 0933-5994}
 
\vspace*{5mm}
 
{\em Liebe Kolleginnen und Kollegen,
 
\vspace*{3mm}
unsere Fachgruppe besteht nun seit zwei Jahren und wir m"ochten dies
zum Anla\ss\ nehmen, wieder einmal zu fragen: Was haben wir in dieser
Zeit erreicht, um unser Gebiet voranzubringen?  Unser erstes
Ziel, die Kenntnis "uber unser Gebiet zu verbreiten, haben wir durch
verschiedene Veranstaltungen verfolgt.
So findet auf den
Jahrestagungen der DMV nun schon fast regelm"a\ss ig eine
Veranstaltung zur Computer-Algebra statt -- teilweise trifft
dies auch auf die entsprechenden Jahrestagungen der GI und der GAMM
zu -- und in Zusammenarbeit mit der DIA wurde im vergangenen
September in Bonn eine Herbstschule abgehalten, die sich wohl zu einer
Dauereinrichtung entwickeln wird und deren Schwerpunkt auf Anwendungen
liegt (siehe auch die Ank"undigung an anderer Stelle dieses
Rundbriefes).  Des weiteren wird das
j"ahrlich stattfindende International
Symposium on Symbolic and Algebraic Computation im Jahr 1991
von der GMD in Bonn veranstaltet werden -- wir m"ochten Sie schon
jetzt bitten, dies in Ihrer Planung zu ber"ucksichtigen, da dies
sicher ein gute Chance ist, ohne gro\ss e Reisekosten an dieser auf dem
Gebiet der Computer-Algebra f"uhrenden Tagung teilzunehmen. Im
gleichen Jahr soll in der neu zu gr"undenden Fortbildungsst"atte
Dagstuhl der GI eine Veranstaltung "uber Computer-Algebra
stattfinden.
F"ur weitere Anregungen
und konstruktive Kritik sind wir nat"urlich jederzeit dankbar.
 
Die Berichte \"uber Computer--Algebra Gruppen in Deutschland haben
wir aus Platzgr\"unden vollst\"andig auf den n\"achsten Rundbrief
verschoben.
 
Immer wieder werden Fragen betreffend der Verf"ugbarkeit von
Computer-Algebra Systemen gestellt. Wir haben deswegen aus fr"uheren
Rundbriefen eine "Ubersicht zusammengestellt, die
Ihnen zusammen mit diesem Rundbrief zugesandt wird.
Sie wird in unregelm"a\ss igen Abst"anden auf den
neuesten Stand gebracht werden und ist auf Anforderung erh"altlich.
 
Zusammen mit diesem Rundbrief erhalten Sie ein Exemplar der Ordnung der
Fachgruppe Computer--Algebra, die von den Gr"undungsmitgliedern
beschlossen und von DMV, GAMM und GI akzeptiert worden ist. Nach dieser
findet im Jahr 1990 erstmals eine Wahl der Fachgruppenleitung statt.
Je ein Mitglied der Fachgruppenleitung wird von DMV, GAMM und GI bestimmt.
Sie, die Mitglieder der Fachgruppe, w"ahlen 9 weitere Mitglieder der
Fachgruppenleitung. Sie werden gebeten, f"ur diese Wahl bis zum
1.3.90 Vorschl"age an Dr. F. Schwarz (Anschrift wie im Impressum) zu
senden.
 
Alle Vorgeschlagenen werden danach gefragt werden, ob sie sich zur Wahl
stellen. Mit der Nr.~6 des Rundbriefs werden Sie dann im April/Mai 1990 eine
Liste der Kandidaten und Wahlunterlagen erhalten. Sie k"onnen dann bis zu
9 Kandidaten aus der Kandidatenliste anstreichen (Kumulierung ist nicht
zul"assig). F"ur die R"ucksendung der Wahlumschl"age wird eine Frist von
ca.~4 Wochen gesetzt werden. Diejenigen 9 Kandidaten, die die meisten
Stimmen auf sich vereinen, bilden zusammen mit den 3 von DMV, GAMM und GI
benannten Delegierten die neue Fachgruppenleitung, die ihre Arbeit am
1.10.90 aufnehmen soll.
 
Bitte machen Sie von Ihrem Recht auf Mitbestimmung der Fachgruppenleitung
Gebrauch, zun"achst durch Benennung von Kandidaten, von denen Sie erwarten,
da"s sie die Sache der Computer-Algebra tatkr"aftig unterst"utzen werden.
 
\hfill F. Schwarz, J. Neub"user}
 
{\vspace*{5mm}\Large\bf\hrule\vspace{1mm}
\centerline{Hinweise auf Konferenzen}\vspace{1mm}\hrule}
 
\begin{enumerate}
 
\item {\bf Scratchpad II und experimentelle Mathematik}
 
Essen, 30.11.-1.12.1989.
 
{\footnotesize
Kontaktadresse: Dr.~H.~Gollan, Institut f"ur Experimentelle Mathematik,
Ellernstr.~29, 4300 Essen 2, E-mail MAT422 at DE0HRZ1A.BITNET.}
 
\item{\bf Computeralgebra und Differentialgleichungen}
 
Leipzig, DDR, 5.2.--16.2.1990.
 
{\footnotesize Kontaktadresse: Interdisziplin\"ares Seminar f\"ur
wissenschaftlichen Nachwuchs an der Karl--Marx--Universit\"at,
Goethestra"se~6~PSF~920, DDR--7010~Leipzig.}
 
\item{\bf Symposium on Symbolic Computation}
 
Z\"urich, Schweiz, 5.3.--7.3.1990.
 
{\footnotesize Kontaktadresse: Prof. Dr. H. Laeuchli,
Mathematik, HG G 62.3, ETH-Zentrum,
CH-8092 Z\"urich, Schweiz.}
 
\item {\bf Workshop on Number Theory and Algorithms}
 
Berkeley, Kalifornien, 26.3.--29.3.1990.
 
{\footnotesize
Kontaktadresse:
Prof.~H.W.~Lenstra~jr.,
Departement of Mathematics, UC Berkeley}
 
\item {\bf Minisymposium: Symbolverarbeitung in der Mechanik}
auf der GAMM-Tagung 1990
 
Hannover, 9.4.--12.4.1990.
 
{\footnotesize Ansprechpartner: Dr.~E.~Kreuzer,
Meerestechnik~II, Technische Universit\"at Hamburg--Harburg,
Ei"sendorfer~Str.~42, 2100 Hamburg 90.}
 
\item{\bf International Symposium on Design and Implementation of
Symbolic Computation Systems}
 
Capri, Italy, 10.4.-12.4.1990.
 
{\footnotesize Kontaktadresse: Prof. Alfonso Miola, Dip. Informatica
e Sistemistica, Via Buonarroti 12, 00185 Roma, Italy. Phone:~
(+39)--6--7312367/7312328/733412, Fax number:(+39)--6--734616}
 
\item{\bf Effective Methods in Algebraic Geometry (M E G A 90)}
 
Pontignano, Siena, Italy, 17.4.--21.4.1990.
 
{\footnotesize Kontaktadresse: Carlo Traverso, Dipartimento di
Mathematica, Via Buonarroti 2, 56100 Pisa, Italy. E-Mail:
Traverso@icnucevm.bitnet}
 
\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 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}
\vspace*{3mm}
 
{\Large\bf \hrule\vspace{1mm}
\centerline{Berichte von Konferenzen}\vspace{1mm}\hrule}
 
\begin{enumerate}
 
\item {Third CAYLEY Users Conference}
 
Essen, 17.11.--19.11.1988.
 
Auf dieser Tagung wurden in einer Reihe von Vortr{\"a}gen verschiedene
Algorithmen aus der Gruppen- und
Darstellungstheorie vorgestellt und ihre Implementation in das CAYLEY-System
diskutiert. Ferner wurde die Bedienung dieses Systems sowie seine
Benutzeroberfl{\"a}che online demonstriert.
F{\"u}r die ca. 50 Teilnehmer aus ganz
Europa standen 17 Bildschirmarbeitspl{\"a}tze an drei verschiedenen Systemen
(IBM 4381 mit CMS, IBM 6150 mit AIX, Siemens WS30 mit Unix) zum
eigenst{\"a}ndigen Arbeiten mit CAYLEY zur Verf{\"u}gung.
 
{\noindent Vortr"age (in chronologischer Reihenfolge):}
 
\small
{\noindent G. Michler, {\it Introduction};
J. Cannon, {\it CAYLEY: past, present and
future}; D. Holt, {\it Permutation groups in CAYLEY}; G. Schneider, {\it
Representation Theory in CAYLEY: Tools and Algorithms}; Ch. Leedham-Green,
{\it An introduction to computing with p-groups}; J. Cannon, {\it The new
soluble group module in CAYLEY}; R. Curtis, {\it Natural generators for the
Mathieu groups}; G. Schneider, {\it Library management in CAYLEY}; B.
Sandling, {\it Group rings}; J. Cannon, {\it Basic strategies for computing
with fp-groups}; N. Klingen, {\it Algebraic number theory with the help of
CAYLEY}; M. Pohst, {\it A computational number theory package: KANT}; H.
Gollan, {\it A representation theory case study: $J_1$ in char 2}.
 
\normalsize
Proceedings sollen als SIGSAM-Bulletin erscheinen.
\hfill G. Schneider}
 
\normalsize
\item {Meeting on Computer and Commutative Algebra, COCOA II}
 
Universit"at Genua, Italien, 29.5.--3.6.1989.
 
Die Konferenz besch"aftigte sich mit algorithmischen Techniken
in der kommutativen Algebra und der (reellen und komplexen)
algebraischen Geometrie; dar"uberhinaus wurden Anwendungen
solcher Techniken in der Differentialalgebra und in Noetherschen,
nichtkommutativen Algebren behandelt. Ein zentrales Thema bildete
die Frage der asymptotischen und praktischen Komplexit"at der
dargestellten Verfahren aus den Bereichen Eliminationstheorie,
Gr"obner- und Standardbasen Techniken, Quantorenelimination und
spezieller Probleme. Dabei spielten Anwendungen tiefliegender
Methoden der algebraischen Geometrie (lokale Kohomologie,
effektive Nullstellens"atze) eine wichtige Rolle.
 
Bei der Demonstration von Computer Algebra Systemen wurde insbesondere
das neue Macintosh-System CoCoA (Universit"at Genua) vorgestellt,
das eine benutzerfreundliche Oberfl"ache f"ur Fragen der
algebraischen Geometrie bietet; ferner das DOS-System ALPI
(Universit"at Pisa), das neue Strategien zur Gr"obner- und
Standardbasenberechnung benutzt.
 
{\noindent Vortr"age (in chronologischer Reihenfolge):}
\small
 
{\noindent C. Traverso, Pisa,
{\it A new critical pair completion algorithm for
standard and Gr"obner bases};
V. Weispfenning, Passau, {\it Comprehensive Gr"obner bases};
T. Recio, Santander, {\it Towards a catalogue of shapes for plane
real algebraic closed connected curves with double points};
M. Giusti, Palaiseau, {\it On the Castelnuovo regularity for curves};
W. Vasconcelos, Rutgers, {\it The equations of commuting pairs of
matrices};
B. Sturmfels, Linz, {\it Gr"obner bases of determinantal ideals};
B. Buchberger, Linz, {\it Gr"obner bases and determinant
polynomials};
L.J. Billera, Rutgers, {\it Gr"obner bases methods for multivariate
splines};
A. Giovini - G. Niesi, Genova, {\it CoCoA System Presentation};
D. Lazard, Paris, {\it Solving algebraic systems};
J. Heintz, Buenos Aires, {\it The complexity of the membership
problem for polynomial ideals};
A. Galligo, Nice, {\it What property of local cohomology is
used in the proof of the sharp effective Nullstellensatz?};
B. Trager, IBM Yorktown Heights, {\it Good reduction of curves and
applications};
F. Winkler, Linz, {\it A p-adic approach to the computation of
Gr"obner bases};
M. Sweedler, Cornell, {\it Bases for subalgebras};
H.M. M"oller, Hagen, {\it On solving systems of algebraic
equations by decomposition};
T. Gateva, Sofia, {\it On the noetherianity of some finitely
presented associative algebras};
Brownawell, Penn State Univ, {\it New results on the effective
Nullstellensatz};
M.F. Roy, Rennes, {\it Effective real algebra and geometric
applications};
J.J. Risler, Paris, {\it Connected components of real algebraic and
semialgebraic sets};
W. Lassner, Leipzig, {\it Ordering problems and symbol representation
in envelopping algebras};
G. Carra'Ferro, Catania, {\it Minimal Hilbert polynomial in algebraic
geometry and differential algebra};
P. Gianni, Pisa, {\it Efficient computation of zero-dimensional
Gr"obner bases by change of ordering};
M. Stillman, Cornell, {\it Finding the image of a polynomial map
corresponding to a line bundle};
D. Bayer, Harvard, {\it Two new algorithms for computing
Hilbert polynomials};
K.J. Nishimura, Nagoya, {\it On Nagata rings};
R. Fr"oberg, Stockholm, {\it A faster way to count the solutions
of an inhomogeneous system of equations with applications to
cyclic n-roots},
J. Elias, Barcelona, {\it The reduction number of one-dimensional
local rings};
W. Vasconcelos, Rutgers, {\it On the equations of Rees algebras};
A. Simis, Salvador de Bahia, {\it Rees algebras of some special
ideals};
Ngo Viet Trung, Hanoi, {\it The Hilbert function of integral
closures of powers of parameter ideals}.
\hfill V. Weispfennig}
 
\normalsize
\item {Computers \& Mathematics}
 
Konferenz am MIT, Cambridge, Massachusetts, 13.6.--17.6.1989.
 
Die Konferenz war die dritte einer Reihe von
Konferenzen, welche sich im weiteren Sinne mit der Anwendung des Computers
als Mittel in der mathematischen Forschung befa"ste. Die Konferenz bestand
aus 21 Hauptvortr"agen, 36 Vortr"agen, 8 3-st"undigen Minikursen, 10
Tutorials von Computer Algebra Programmen, sowie Demonstration der CA
Programme Mathematica, Maple, Macsyma, $f(z)$, Scratchpad und einiger
Computer Hersteller.
 
{\noindent Hauptvortr"age (in chronologischer Reihenfolge):}
\small
 
{\noindent M.F.~Barnsley, Georgia Tech.,
{\it Mathematics and Graphics of Fractals}; R.J.~Baxter, ANU, {\it Arithmetic
Series, Expansions, and Exact Results in Statistical Mechanics}; P.~Borwein,
Dalhousie, {\it Ramanujan and Maple: Classical Analysis and Symbolic
Computation}; A.~Chorin, Berkeley U., {\it Random Computation and
Differential Equations}; D.V.~and~G.V.~Chudnovsky, Columbia U., {\it How We
Use Computer Algebra for Supercalculations}; J.H.~Conway, Princeton U., {\it
Computers and Frivolity}; D.~Cox, U. of Illinois, {\it Supercomputing
Graphics: Convergence of Art and Mathematics}; M.J.~Creutz, Brookhaven, {\it
Roulette Wheels and Quantum Field Theory}; M.M.~Denneau, IBM Research, {\it
Supercomputing in the Early 1990's: Teraflops and Beyond}; G.K.~Francis, U.
of Illinois, {\it Novel Ways to Paint and Animate Surfaces Extended in Four
or More Dimensions}; J.W.~Goodman, Stanford U., {\it Computing in the
Photonic Age}; R.W.~Gosper, Symbolics, Inc., {\it How I Find Funny Looking
Formulas}; A.H.~Guth, MIT, {\it The Birth of the Cosmos}; R.H.~Miller,
Chicago, {\it Playing God: Building Galaxies in a Computer}; A.~Odlyzko,
AT\&T Bell Labs, {\it Computational Insights into Problems of Combinatorics
and Number Theory}; J.~Schwartz, MIT/Harvard, {\it Software for Students to
Make Mathematics: Lessons from Secondary Geometry and Algebra};
N.J.A.~Sloane, AT\&T Bell Labs, {\it Computers and the Search for
Error-Correcting Codes}; A.R.~Smith, PIXAR, {\it How To Make Pictures With A
Computer}; D.~Stanton, Minnesota, {\it Undergraduate Exploration into
Combinatorics Using Computers}; H.S.~Wilf, U. of Pennsylvania, {\it How to
Prove Billions of Combinatorial Identities at Once}.}
 
\normalsize
{\noindent Vortr"age (in chronologischer Reihenfolge):}
\small
 
{\noindent
T.A.~Ager and R.A.~Ravaglia, Stanford U., S.~Dooley, Berkeley, {\it
Representation of Inference in Computer Algebra Systems with Applications to
Intelligent Tutoring}; A.G.~Akritas, U of Kansas, {\it Exact Algorithms for
the Matrix-Triangularization Subresultant PRS Method}; J.~Baddoura, MIT, {\it
Integration in Finite Terms and Simplification with Dilogarithms};
F.~Bergeron, U. du Quebec a Montreal, {\it A Story About Computing with Roots
of Unity}; M.J.~Beeson, San Jose State, {\it Logic and Computation in
MATHPERT: An Expert System for Learning Mathematics}; G.~Copperman and
L.~Finkelstein, Northeastern, P.W.~Purdom Jr., Indiana, {\it Fast Group
Membership Using a Strong Generating Test for Permutation Groups}; P.J.~Costa
and R.H.~Westlake, Raytheon, Wayland, MA, {\it Example of Computer Enhanced
Analysis}; D.~Duval, U de Grenoble, {\it Simultaneous Computations of
Different Characteristics}; M.R.~Fellows, Idaho, N.G.~Kinnersley and
M.A.~Langston, Washington State U., {\it Finite-Basis Theorems and a
Computation-Integrated Approach to Obstruction Set Isolation}; W.~Feurzeig,
P.~Horwitz, A.~Boulanger, BBN Labs, {\it Advanced Mathematics from an
Elementary Viewpoint: Chaos, Fractal Geometry, and Nonlinear Systems};
E.~Freire, E.~Gamero, E.~Ponce, U Sevilla, Spain, {\it An Algorithm for
Symbolic Computation of Hopf Bifurcation}; A.~Galligo, Nice and INRIA/Sophia
Antipolis, C.~Traverso, Pisa, {\it Practical Determination of the Dimension
of an Algebraic Variety}; V.~Ganzha, Novosibirsk \& TU M"unchen, R.~Liska, TU
of Prague, {\it Application of the Reduce Computer Algebra System to
Stability Analysis of Difference Schemes}; K.O.~Geddes and T.C.~Scott,
Waterloo, {\it Recipes for Classes of Definite Integrals Involving Exponentials
and Logarithms}; V.P.~Gerdt and N.A.~Kostov, Inst Nuclear Research, Dubna,
{\it Computer Algebra in the Theory of Ordinary Differential Equations of
Halphen Type}; C.~Graci, J.Y.~Narayan, R.~Odendahl, SUNY, Oswego, {\it Bunny
Numerics: A Number Theory Microworld}; M.V.~Hildebrand, Harvard, J.~Weeks,
Ithaca, NY, {\it A Computer Generated Census of Cusped Hyperbolic
3-Manifolds}; H.J.~Hoover, Alberta, {\it Why Integration is Hard};
J.K.~Johnstone, Johns Hopkins, {\it Working with Ruled Surfaces in Solid
Modeling}; D.~Kapur, SUNY, Albany, K.~Madlener, U. Kaiserslautern, {\it A
Completion Procedure for Computing a Canonical Basis for a k-Subalgebra};
D.~Leites, Stockholm, G.~Post, Twente, The Netherlands, {\it Cohomology to
Compute}; H.S.~Mills and M.H.~Vernon, Lewis \& Clark State College, {\it
Using Macsyma to Calculate the Extrinsic Geometry of Tubes in Riemannian
Manifolds}; D.L.~Rector, U of California at Irvine, {\it Semantics in
Algebraic Computation}; N.W.~Rickert, Northern Illinois U., {\it Efficient
Reduction of Quadratic Forms}; D.~Rockmore, Harvard, {\it Computation of
Fourier Transforms on the Symmetric Group}; T.~Sakkalis, New Mexico State U.,
{\it Signs of Algebraic Numbers}; D.Y.~Savio and E.A.~Lamagna, Rhode Island,
S.-M.~Liu, Northwestern, {\it Summation of Harmonic Numbers}; M.F.~Singer,
North Carolina State, {\it Liouvillian Solutions of Linear Differential
Equations with Liouvillian Coefficients}; N.~Strauss, Pontificia U. Catolica,
Rio, {\it Algorithm and Implementation for Computation of Jordan Form};
H.-Q.~Tan, U of Akron, {\it Symbolic Derivation of Equations for Mixed
Formulation in Finite Element Analysis}; A.~Thorup, Copenhagen, A.~Hefez, U
Fed do Esperito Santo, Vitoria, Brazil, {\it Symmetric Matrices with
Alternating Blocks}; H.F.~Trotter, Princeton, {\it Use of Symbolic Methods in
Analysing an Integral Operator}; A.~Valibouze, LITP, Paris, {\it Symbolic
Computation with Symmetric Polynomials: An Extension to Macsyma}; P.~Viana,
MIT and Pontificia U. Catolica, Rio, {\it Classicality of Trigonal Curves of
Genus Five}; E.R.~Vrscay, Waterloo, {\it Iterated Function Systems and the
Inverse Problem of Fractal Construction Using Moments}; D.~Wang, Academia
Sinica, Beijing, {\it Computer Algebraic Methods for Investigating Plane
Differential Systems of Center and Focus Type}.}
 
\normalsize
{\noindent Minikurse:}
 
\small
{\noindent
T.~Banchoff, Brown, {\it Interactive Computer Graphics and Differential
Geometry}; M.~Bronstein and B.M.~Trager, IBM Research, J.H.~Davenport, U of
Bath, {\it Symbolic Integration is Algorithmic}; G.~Butler, Sydney, {\it An
Introduction to Computational Group Theory}; J.S.~Devitt, Saskatchewan,
M.~Henle, Oberlin, {\it Computers in Undergraduate Mathematics: Making it
Happen}; W.H.~Kahan, Berkeley, {\it The Regrettable Failure of Automated
Error Analysis}; Y.~Nievergelt, E. Washington, {\it The HP-28S as a Bridge
Between Theory and Applications}; H.-O.~Peitgen, U Bremen and U of
California, Santa Cruz, R.F.~Voss, IBM Research, {\it The Science of Fractal
Images}; L.~Robbiano, Genua, {\it Gr"obner Bases: A Foundation for
Commutative Algebra}.}
 
\normalsize
{\noindent Tutorials:}
 
\small
{\noindent
A.V.~Bocharov, Acad. of Science,
Pereslavl, USSR, {\it SCOLAR}; G.~Butler, Sydney, {\it CAYLEY}; K.O.~Geddes,
Waterloo, {\it MAPLE}; A.C.~Hearn, RAND Corporation, {\it REDUCE};
R.D.~Jenks, IBM Research, {\it SCRATCHPAD}; R.~Petti, Symbolics, Inc, {\it
MACSYMA}; M.~Sch"onert, Aachen, {\it GAP}; M.~Stillman, Cornell, D.~Bayer,
Columbia, {\it MACAULAY}; D.~Stoutemeyer, Soft Warehouse, {\it DERIVE};
S.~Wolfram, Wolfram Research, {\it MATHEMATICA}.
 
\normalsize
Proceedings sind im Springer-Verlag erschienen,
E. Kaltofen, S.M. Watt, {\it Computers and Mathematics}, 1989.
\hfill Martin~Sch\"onert}
 
\normalsize
\item {Workshop on Symbolic Computation Methods in Differential
Equations}
 
University of Minnesota, USA, 26.6.--30.6.1989.
 
Dieser Workshop wurde vom IMA f"ur Interessenten an Computer-Algebra
Systemen veranstaltet, die vorher selbst nicht zu den Anwendern
geh"orten. Von den etwa 70 Teilnehmern d"urfte ein signifikanter
Anteil auch in Zukunft Computer-Algebra in ihrem jeweiligen
Arbeitsgebiet anwenden.  Der Schwerpunkt der Anwendungen f"ur
Differentialgleichungen lag bei den Systemen REDUCE und Scratchpad.
Die etwa 20 Stunden Vortr"age wurden im wesentlichen von A.~C.~Hearn
(Rand Corpoaration), S.~M.~Watt (IBM Yorktown Heights) und
F.~Schwarz (GMD, Sankt~Augustin) gehalten. \\
\hspace*{\fill} F.~Schwarz
 
\newpage
\normalsize
\item {AAECC--7 Konferenz}
 
Toulouse, Frankreich, 26.6.--30.6.1989.
 
Hauptthema war die Theorie der fehlerkorrigierenden Codes.
Aus dem Bereich der Computer--Algebra gab es nur wenige Beitr\"age,
die sich in zwei Gruppen gliedern lassen:
 
Auf der einen Seite die "`Italienische Schule"' der nicht
kommutativen Algebra und der Gr\"obner Basen mit dem System AIPI um
die Professoren Mora, Robiano und Traverso -- der eingeladene Vortrag
von Theo Mora verdient besondere Erw\"ahnung --, auf der
anderen Seite die Gruppe aus Paris, die sich mehr mit geometrischen
Fragestellungen (Giusti) und Resolventen (Valibouze) befa"ste.
 
Die Proceedings werden in ``Applied Discrete Mathematics'' erscheinen.
\hfill J.~Calmet
 
\normalsize
\item {ISSAC-89}
 
Portland, Oregon, 17.7.--19.7.1989.
 
Die Computer-Algebra Tagung, die j"ahrlich gemeinsam von ACM-SIGSAM
und SAME veranstaltet wird, fand dieses Jahr in Portland/Oregon
statt. Diese Veranstaltungen sind sicher eine gute M"oglichkeit,
schnell einen "Uberblick "uber aktuelle Arbeit zu erhalten. Die
K"urze der Veranstaltung, nur drei Tage, und damit notwendig
verbunden die Komprimierung der Beitr"age auf 20 min wird dadurch
erm"oglicht, da\ss\ der fertige Tagungsband zu Beginn vorlag.  Der
genaue Titel ist: {\em Proceedings of the ACM-SIGSAM 1989
International Symposium on Symbolic and Algebraic Computation,
ISSAC'89}, ACM Press, 1989, Gaston Gonnet, Editor.
 
 
{\noindent Eingeladene Vortr"age (in chronologischer Reihenfolge):}
\small
 
{\noindent Michael Singer,
{\it A Survey of Formal Solutions of Differential Equations};
Andrew M. Odlyzko,
{\it Symbolic Algebra in Mathematics: Dreams and Reality};
John Cannon,
{\it Designing a Software Environment for
Studying Algebraic Structures};
Dominique Duval,
{\it Computing with Algebraic Numbers--An Example of
Dynamic Evaluation};
Richard Rand,
{\it Computer Algebra--the Method of Averaging and Elliptic
Functions};
Herbert Melenk,
{\it Decomposition of Polynomial Equation Systems by Gr"obner
Type Methods}.}
 
\normalsize
{\noindent Vortr"age (in chronologischer Reihenfolge):}
\small
 
{\noindent M.A. Barkatou,
{\it On the Reduction of Linear Systems of Difference Equations};
John Shackell,
{\it A Differential-Equations Approach to Functional Equivalence};
Richard J. Fateman,
{\it Series Solutions of Algebraic and Differential Equations:
A Comparison of Linear and Quadratic Algebraic Convergence};
Fritz Schwarz,
{\it A Factorization Algorithm for Linear Ordinary Differential
Equations};
Erich Kaltofen, Thomas Valente, Noriko Yui,
{\it An Improved Las Vegas Primality Test};
Victor Pan,
{\it On Some Computations with Dense Structured Matrices};
Fran\c{c}ois Ollivier,
{\it Inversibility of Rational Mappings and Structural
Identifiability in Automatics};
Franz Winkler,
{\it Knuth-Bendix Procedure and Buchberger Algorithm--A Synthesis};
Richard J. Fateman,
{\it Lookup Tables, Recurrences and Complexity};
Robert Grossman, Richard G. Larson,
{\it Labeled Trees and the Efficient Computation of Derivations};
Chanderjit Bajaj, John Canny, Thomas Garrity, Joe Warren,
{\it Factoring Rational Polynomials Over the Complexes};
Trevor J. Smedley,
{\it A New Modular Algorithm for Computation of Algebraic Number
Polynomial Gcds};
Stan Cabay, George Labahn,
{\it A Fast, Reliable Algorithm for Calculating Pad\'{e}--Hermite
Forms};
Maria E. Alonso, Teo Mora, Mario Raimondo,
{\it Computing With Algebraic Series};
John Abbott,
{\it Recovery of Algebraic Numbers from their p-adic Approximations};
John F. Canny, Erich Kaltofen, Lakshman Yagati,
{\it Solving Systems of Non-Linear Polynomial Equations Faster};
Russell Bradford,
{\it Some Results on the Defect};
Laureano Gonz\`{a}lez, Henri Lombardi, Tom\`{a}s Recio,
Marie-Fran\c{c}oise Roy,
{\it Sturm--Habicht Sequence};
James M. Purtilo,
{\it MINION: An Environment to Organize Mathematical Problem Solving};
John Fitch,
{\it Can REDUCE be Run in Parallel?};
J.A. van Hulzen, B.J.A. Hulshof, B.L. Gates, M.C. van Heerwaarden,
{\it A Code Optimization Package for REDUCE};
Michael C. Dewar,
{\it IRENA--An Integrated Symbolic
and Numerical Computation Environment};
Theodore H. Einwohner, Richard J. Fateman,
{\it A MACSYMA Package for the Generation and Manipulation of
Chebyshev Series};
Sanjiva Weerawarana,Paul S. Wang,
{\it GENCRAY: A Portable Code Generator for Cray Fortran};
Carlo Traverso, Leombattista Donati,
{\it Experimenting the Gr"obner Basis Algorithm With the
AlPI System};
Bruce R. Miller,
{\it A Program Generator for Efficient Evaluation of Fourier Series};
Manuel Bronstein,
{\it Simplification of Real Elementary Functions};
Keith O. Geddes, L. Yohanes Stefanus,
{\it On the Risch--Norman Integration Method and Its Implementation
in MAPLE};
J.S. Devitt,
{\it Unleashing Computer Algebra on the Mathematics Curriculum};
Robert A. Ravenscroft, Jr. \& Edmund A. Lamagna,
{\it Symbolic Summation with Generating Functions};
Bruce W. Char,
{\it Automatic Reasoning About Numerical Stability of Rational
Expressions};
Guoting Chen,
{\it Computing the Normal Forms of Matrices Depending on Parameters};
Marc Giusti,
{\it On the Castelnuovo Regularity for Curves};
Bernhard Kutzler,
{\it Careful Algebraic Translations of Geometry Theorems};
G.E. Collins, J.R. Johnson,
{\it Quantifier Elimination and the Sign Variation Method for Real Root
Isolation};
Stanley Rabinowitz,
{\it On the Computer Solution of Symmetric Homogeneous Triangle
Inequalities};
Sidney C. Porter,
{\it Dense Representation of Affine Coordinate Rings of Curves With
one Point at Infinity};
B. David Saunders, Hong R. Lee, S. Kamal Abdali,
{\it A Parallel Implementation of the Cylindrical Algebraic
Decomposition Algorithm};
Andr\'{e} Deprit, Etienne Deprit,
{\it Massively Parallel Symbolic Computation};
Fran\c{c}oise Siebert-Koch,
{\it Parallel Algorithm for Hermite Normal Form of an Integer Matrix};
J"urgen Avenhaus, Dieter Wi"smann,
{\it Using Rewriting Techniques to Solve the Generalized Word Problem
in Polycyclic Groups};
N. Kuhn, K. Madlener,
{\it A Method for Enumerating Cosets of a Group Presented by a
Canonical System};
Gene Cooperman, Larry Finkelstein, Eugene Luks,
{\it Reduction of Group Constructions to Point Stabilizers};
Mitsuhiro Okada,
{\it Strong Normalizability for the Combined System of the Typed
Lambda Calculus and an Arbitrary Convergent Term Rewrite System};
Peter O'Hearn, Zbigniew Stachniak,
{\it Note on Theorem Proving Strategies for Resolution Counterparts
of Non--Classical Logics};
Neil V. Murray, Erik Rosenthal,
{\it Employing Path Dissolution To Shorten Tableaux Proofs};
Claude Kirchner, H\'{e}l\`{e}ne Kirchner,
{\it Constrained Equational Reasoning};
Annick Valibouze,
{\it R\'{e}solvantes et Fonctions Sym\'{e}triques}.
\hfill F.~Schwarz}
 
\normalsize
\item {AMS Short Course Cryptology and Computational Number Theory}
 
Boulder, Colorado, 6.8.--10.8.1989.
 
"Uber zwei wichtige Ereignisse auf dieser Tagung soll
kurz berichtet werden:
 
"Uber den ``Short  Course in Cryptology and
Computational Number Theory''  und
"uber die ``Special Session on Computational Number Theory''.
 
Der ``Short Course'' war gedacht als
eine breite Einf"uhrung in das Gebiet.
Vortr"age wurden gehalten "uber ``The Search
for Provably Secure Systems''
(Shafi Goldwasser), ``Primality Testing'' (Arjen Lenstra),
``Factoring'' (Carl
Pomerance ), ``The Discrete Logarithm Problem'' (Kevin S. McCurley),
``The Rise
and Fall of Knapsack Cryptosystems'' (Andrew M. Odlyzko),
``Pseudorandom Number
Generators in Cryptography and Number Theory'' (Jeffrey C. Lagarias).
 
In der ``Special Session on Computational Number Theory''
gab es Vortr"age
"uber neue Entwicklungen, z.B. bei diskreten Logarithmen
in Klassengruppen,
bei der Faktorisierung von Polynomen "uber endlichen
K"orpern und insbesondere
bei der Faktorisierung ganzer Zahlen mit Hilfe
des Number Theory Sieve von
Pollard. Es wird erwartet, da"s letzterer Algorithmus
die erwartete Laufzeit
bei der Faktorisierung von $n$
von $\exp (\sqrt{\log n\log \log n})$ auf
$\exp (\sqrt[3]{\log n}\sqrt[2]{\log\log n})^c$ herabsetzt.
\hfill J.~Buchmann
 
\normalsize
\item {Colloquium on Computational Number Theory}
 
Debrecen, Ungarn, 4.9.--8.9.1989.
 
{\noindent Organisationskomittee:}
\small
 
{\noindent A. Pethoe, Debrecen, (Chairman);
K.~Gyoery, Debrecen;
M.~Pohst, D\"usseldorf;
H.C.~Williams, Winnipeg;
H.G.~Zimmer, Saarbr\"ucken;
I.~Gaal, Debrecen, (Sekret\"ar).}
 
\normalsize
Im Mittelpunkt der Konferenz standen die Pr\"asentation und Diskussion
von
Algorithmen in der Zahlentheorie. Die behandelten Themen
erstreckten sich
auf die elementare, die analytische und die
algebraische Zahlentheorie sowie
auf die algebraische Geometrie. Dabei wurde die
enge Verzahnung von
Theorie und Computer-Anwendungen deutlich.
 
Insbesondere hatten die Teilnehmer w\"ahrend der Tagung
Gelegenheit, theoretische
Fragestellungen oder Vermutungen auf den dort vorhandenen PC's
(IBM- kompatiblen Rechnern und Siemens \mbox{MX-2}) numerisch zu
untersuchen bzw. zu testen.
In Erg\"anzung zu den Vortr\"agen fanden
Pr\"asentationen der zahlentheoretisch
ausgerichteten Computer-Algebra Systeme KANT (D\"usseldorf) und
SIMATH (Saarbr\"ucken) statt.
 
{\noindent Vortr\"age (in zeitlicher Reihenfolge):}
\small
 
{\noindent J.~Buchmann, {\it Subexponential class group computation};
S.~D\"ullmann, {\it Implementation of a subexponential class
group algorithm};
K.~Nakamula, {\it Class number computation by elliptic units
and cyclotomic units};
D.~Ford, {\it Totally complex quartic fields of small discriminants};
M.~Pohst, {\it Remarks on index divisors};
J.~von~Schmettow, {\it KANT - a tool for computations in algebraic
number fields};
N.~Schulte, {\it Index form equations in cubic number fields};
B.~Arenz, {\it Computing fundamental units from independent units};
U.~Schr\"oter, {\it Computation of fundamental units in algebraic
number fields};
T.~Gulyas, {\it Modification of the Fincke-Pohst method for
solving norm equations};
F.~Halter-Koch, {\it Regulators and class numbers of real
quadratic fields};
E.~Bayer, {\it Semi-dual normal bases};
H.G.~Zimmer, {\it The rank of elliptic curves upon quadratic extension};
P.~Serf, {\it Congruent and non- congruent numbers};
J.~Brillhart, {\it Parity theorems for partition functions and
modulo 2 reciprocation of infinite modularpart functions};
G.~Turnwald, {\it On a conjecture of Graham};
H.~Cohn, {\it Computation of singular moduli by multivalued
modular equations};
C.~Hollinger, {\it SIMATH - A computer algebra system I};
A.~Stein,{\it SIMATH - A computer algebra system II};
I.~Gaal, {\it On the computer resolution of some
diophantine equations};
J.H.~Evertse, {\it Effective results on the solutions of
Thue equations};
R.J.~Str\"oker, {\it On Thue equations associated with certain
quartic and sextic number fields};
N.~Tzanakis, {\it On the practical solution of the Thue-Mahler
equation};
S.A.~Stepanov, {\it On structure complexity of primitive
normal basis of a finite field};
H.C.~Williams,{\it An introduction to the CUFFQI algorithm of Shanks};
V.~Fleckinger, {\it Power basis of ring of integers in ray
class fields of imaginary quadratic fields};
R.~Mollin, {\it Gauss' class number one problem for real
quadratic fields};
M.~Tasche, {\it Number theoretic transforms and a theorem
of Sylvester-Kronecker};
G.~Steidl, {\it On a symmetric radix representation of
Gaussian integers};
Ju.V.~Melnicuk, {\it Algorithms for representation of real
numbers by fast convergent series};
B.~Kovacs, {\it Number systems};
G.~Niklasch, {\it A ``fastest'' Euclidean algorithm};
B.~Tropak, {\it A numerical method for the determination
of the cyclotomic polynomial coefficients};
B.J.~Birch, {\it A letter from Elkies to Sloane};
J.~Chahal, {\it On a theorem of Bass, Milnor and Serre};
I.~Nemes, {\it On the solution of the diophantine equation
\{Gn\} = P(x) with sieve algorithm};
Nguyen~Quoc~Thang, {\it On the Hasse principle};
A.~Pethoe, {\it Application of a polynomial transformation to the
construction of a public key cryptosystem}.
\hfill Prof.~Dr.~H.G.~Zimmer}
 
\normalsize
\item {Herbstschule Computer-Algebra und ihre Anwendungen}
 
Bonn, 11.9.--15.9.1989.
 
Dies war die erste Herbstschule in Computer-Algebra einer Serie,
die gemeinsam von der DIA und der GMD veranstaltet wird. Der
Schwerpunkt bei diesen Veranstaltungen liegt auf Anwendungen, wobei
eine wichtige Zielgruppe Anwender von Mathematik in Industrie und
Forschung sind.  Dies wird schon durch den umfangreichen praktischen
Teil unterstrichen. Die Veranstaltung wird in erweiterter Form im
n"achsten Jahr wiederholt.  \hfill F.~Schwarz
 
\end{enumerate}
 
\normalsize
 
{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Neues \"uber Systeme und Hardware\vspace{1mm}}\hrule}
 
\vspace*{3mm}
 
\centerline{\large \bf Neue Version von Derive}
 
\noindent
Vom Computer-Algebrasystem {\bf Derive} gibt es die neue Version 1.4,
die noch leistungsf\"ahiger und damit attraktiver geworden ist.
Zu den Neuigkeiten geh"oren u.a.:
\begin{itemize}
\item[$\Box$] Neue Vektor- und Matrixfunktionen:
\begin{itemize}
\item[$\Diamond$] VECTOR(u,n,k,m,s)
vereinfacht zu einem $\frac{(m-k+1)}{s}$
dimensionalen Vektor, der in der i-ten Zeile die Auswertung der
Funktion u(n) an der Stelle $k + (i-1)s$ enth\"alt.
\item[$\Diamond$] ELEMENT(v,n)
vereinfacht zum n-ten Element des Vektors $v$.
\item[$\Diamond$] ELEMENT(m,n,k)
vereinfacht zum k-ten Element der n-ten Zeile der
Matrix m.
\item[$\Diamond$] TRACE(m) berechnet die Spur der Matrix m.
\item[$\Diamond$] ROW\_REDUCE(A,B)
augmentiert die Matrix $A$ mit der Matrix $B$
und f\"uhrt anschlie"send das Gaus'sche Eliminationsverfahren durch.
Dieser Befehl eignet sich besonders zur L\"osung inhomogener linearer
Gleichungssysteme.
\item[$\Diamond$] CROSS(v,w)
berechnet das Kreuzprodukt der beiden Vektoren
$v$ und $w$.
\end{itemize}
\item[$\Box$] Neue Vektoranalysis-Funktionen:
\begin{itemize}
\item[$\Diamond$] GRAD(u)
vereinfacht zu dem Gradienten von~$u$ bzgl.\ der
Koordinatenvariablen~$x$, $y$~und~$z$.
\item[$\Diamond$] DIF(v) vereinfacht zur Divergenz von~$v$.
\item[$\Diamond$] LAPLACIAN(u) ist der Laplace-Operator.
\item[$\Diamond$] CURL(v)
berechnet die Rotation des 2- oder 3-dimensionalen
Vektors $v$.
\item[$\Diamond$] POTENTIAL(v,w)
berechnet das Potential des Vektorfeldes $v$.
\item[$\Diamond$] VECTOR\_POTENTIAL(v,w)
berechnet das Vektor--Potential des
Vektorfeldes $v$.
\end{itemize}
\end{itemize}
 
\noindent
{\bf Anbieter:} Institut f\"ur Angewandte Informatik GmbH,
Thienhausenerstr. 57, 5657 Haan 1, Tel.:(02129)~59985,
Fax.:(02129)~59924.
 
\noindent
{\bf Preis:} 410.-DM + MWST.
 
\pagebreak[3]
\vspace*{5mm}
\centerline{\large \bf ZIB Berlin erweitert REDUCE Angebot}
 
\noindent
Das Konrad-Zuse-Zentrum Berlin (ZIB) bietet schon seit mehreren
Jahren REDUCE f\"ur die Cray-Rechnerserien an. Seit September
1989 sind nun auch Workstation-Versionen hinzugekommen,
und zwar f\"ur \\
\hspace*{9mm} SUN-3 (Prozessor 68020), \\
\hspace*{9mm} SUN-4 (Prozessor SPARC) und \\
\hspace*{9mm} SUN-386i (Prozessor 80386). \\
Versionen f\"ur \\
\hspace*{9mm} DEC DI3100 (Prozessor MIPS) und \\
\hspace*{9mm} Silicon Graphics IRIS (Prozessor MIPS) \\
sind in Vorbereitung.
 
\noindent
In allen F\"allen basiert REDUCE auf Implementierungen auf Portable
Standard LISP (PSL), die hoch optimierten Maschinencode
f\"ur das jeweilige Rechnersystem produzieren. Die Implementierungen
f\"ur SPARC, 80386 und MIPS sind Entwicklungen des ZIB, die 68020
Version wurde in wesentlichen Punkten verbessert. Besonders
leistungsf\"ahig ist die SPARC-Version, da die RISC-Architektur
bei der LISP-Ausf\"uhrung voll zur Geltung kommt: hier
wird der Bereich gr\"o"ster Mainframes erreicht. Einige
CPU-Zeiten f\"ur den REDUCE-Standardtest:
 
\noindent
\hspace*{9mm} SUN 3/50  (16MHz)   32.5 sec \\
\hspace*{9mm} SUN 3/60  (20MHz)   20.2 sec \\
\hspace*{9mm} SUN 386i  (20MHz)   15.5 sec \\
\hspace*{9mm} SUN 3/260 (25MHz)   16.2 sec \\
\hspace*{9mm} SUN 4/260 (16MHz)    5.4 sec \\
\hspace*{9mm} CRAY 2               1.9 sec \\
\hspace*{9mm} CRAY Y-MP            0.8 sec \\
\noindent
Weitere Information durch:
H. Melenk,
Konrad-Zuse-Zentrum f\"ur Informationstechnik,
Heilbronner Str.~10,
1000~Berlin~31,
email: zb6260@db0zib21 (EARN bis Ende 1989),
Melenk@sc.zib-berlin.dbp.de (X400).
 
\vspace*{5mm}
\centerline{\large\bf Symbol-Mathematik-Paket MACSYMA jetzt auf PC
verf\"ugbar}
 
\noindent
Ab sofort kann die volle Performance, Funktionalit\"at und
Produktivit\"at von {\bf MACSYMA} auch auf 386er PC's unter DOS zum
Einsatz kommen.
 
\centerline{\bf Hardware- und Software-Anforderungen f\"ur die
PC-Version}
\begin{center}
\begin{tabular}{|l|l|l|}
\hline
& Minimal-Konfiguration & Empfohlene Konfiguration
\\ \hline
Hauptspeicher & 4 MB & 6 MB
\\ \hline
Swap Space & 8 MB & 10 MB
\\ \hline
Hard Disk & 30 MB & 40 MB
\\ \hline
Graphik-Adapter & \multicolumn{2}{|c|}{EGA, CGA oder VGA}
\\ \hline
Windows & MS-Windows ist teilweise enthalten &MS-Windows, MS-Paint
\\ \hline
\end{tabular}
\end{center}
 
\noindent
{\bf Anbieter:} Symbolics GmbH, Mergenthalerallee 77--81,
D-6236 Eschborn/Ts.
 
\noindent
{\bf Preis:} 7620.-DM + MWST. (f\"ur Universit\"aten gelten gesonderte
Bedingungen)
 
\newpage
{\Large\bf \hrule\vspace{1mm}
\centerline{Publikationen "uber Computer-Algebra
\vspace{1mm}}\hrule}
\vspace*{1mm}
\noindent
D.Stauffer, F.W.Hehl, V.Winkelmann, J.G.Zabolitzky,
{\em Computer Simulation and Computer Algebra - Lectures for
Beginners}, Springer-Verlag, 1988.
 
\noindent
{\footnotesize Das Kapitel {\em Reduce for Beginners}
enth"alt eine elementare
Einf"uhrung in die algebraische Version von REDUCE, die durch einige
Aufgaben angereichert ist.  \hfill F.~Schwarz}
 
\vspace*{2mm}
 
\noindent
A.G. Akritas,
{\em Elements of Computer Algebra with Applications},
John Wiley \& Sons,1989.
 
\noindent
{\footnotesize Die wichtigsten Kapitel aus dem Inhalt sind
{\em Greatest Common Divisors of Polynomials over the Integers and
Polynomial Remainder Sequences}, {\em Factorization of Polynomials
over the Integers} und {\em Isolation and Approximation of the Real
Roots of Polynomial Equations}. In diesen
Gebieten hat der Autor selbst in den letzten Jahren eigene neue
Ergebnisse ver"offentlicht. Sie geben f"ur das jeweilige Gebiet eine
gute Einf"uhrung, die bis zum neuesten Stand der Forschung reicht.
Insbesondere d"urfte auch das Literaturverzeichnis von Interesse
sein. Als Begleitmaterial f"ur Vorlesungen ist es ebenfalls sicher
gut geeignet, allein schon wegen seiner zahlreichen
"Ubungsbeispiele. Die {\em Implementierung} von Algorithmen wird so
gut wie nicht behandelt, der Autor empfiehlt das System MAPLE f"ur
diesen Zweck.\hfill F.~Schwarz}
 
{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Lehrveranstaltungen "uber Computer-Algebra im WS 1989/90
\vspace{1mm}}\hrule}
\vspace*{1mm}
\noindent {\bf RWTH Aachen} \\
{\em Computational Group Theory}, Neub"user,
Vorlesung 4-st\"undig, "Ubung 2-st\"undig. \\
{\em Einf"uhrungspraktikum MAPLE,} Neub"user,
Klein, Dietrich, Blockpraktikum,
6 Nachmittage.\\
 
\noindent
{\bf Universit"at Bonn} \\
{\em Software-Entwicklung in der symbolischen Version von REDUCE},
F.~Schwarz, 2-st"undig mit "Ubungen. \\
 
\noindent
{\bf Universit"at Karlsruhe} \\
{\em Computer--Algebra Praktikum},
Calmet, Ulmer, 2-st"undig. \\
{\em Seminar Algebraische Algorithmen--Entwicklung},
Beth, Geiselmann, Maisel, 2-st"undig. \\
 
\noindent {\bf Universit\"at Linz} \\
{\em Softwaresysteme f\"ur Computer-Algebra}, S.~Stifter, 2-st\"undig \\
{\em Logisches Programmieren - PROLOG}, B.~Kutzler, 2-st\"undig \\
{\em Einf\"uhrung in die Computer-Algebra}, F.~Winkler, 2-st\"undig \\
{\em Algebraische Geometrie und Kommutative Algebra},
F.~Winkler, 2-st\"undig \\
{\em Symbolische und numerische Methoden in der Dynamik},
W. Hirschberg, 2-st\"undig \\
{\em Literaturseminar aus Symbolic Computation I},
B. Buchberger, 2-st\"undig \\
{\em Programmierprojekt Symbolic Computation I},
B. Buchberger, 4-st\"undig \\
{\em Projektseminar - Algorithmische algebraische
Geometrie}, B.~Buchberger, F.~Winkler, 2-st\"undig \\
{\em Projektseminar - Symbolic Computation in Education},                   n,
B. Buchberger, B. Kutzler, 2-st\"undig \\
 
\noindent
{\bf Universit\"at Passau} \\
{\em Computer-Algebra}, Thomas Becker, 4-st\"undig \\
{\em Praktikum zur Computer-Algebra}, H. Kredel, V. Weispfennig,
4-st\"undig
 
{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Kurze Mitteilungen}\vspace{1mm}\hrule}
\vspace*{1mm}
 
\noindent
Ank"undigung einer neuen Zeitschrift {\em Applicable Algebra in
Engineering, Communication and Computer Science}, Beitr"age bitte
senden an: Prof. Dr. Jacques Calmet, Inst. of Algorithms and
Cognitive Sciences, Haid--und--Neu--Str. 7, 7500 Karlsruhe 1, West
Germany. $***$
Im Rahmen eines gemeinsamen
Studienprojektes des Mathematischen Forschungsinstitutes
Oberwolfach  und der IBM Deutschland ist das
Computer-Algebrasystem Scratchpad
dort auf einer IBM RT 6150 Workstation verf\"ugbar. $***$
In den Niederlanden wurde im M\"arz diesen Jahres innerhalb des
Zentrums f\"ur Wissenschaft und Informatik (CWI) der Forschungsbereich
{\em Computer Algebra Nederland}
(CAN, Kontaktadresse: Arjeh Cohen,
+31~20~592~8020, email: marc@cwi.nl)
eingerichtet. Der
Wissenschaftsbetrieb beginnt im Dezember. $***$
\end{document}
