\documentstyle[11pt,german]{article}
\textwidth 175mm\textheight 252mm\columnwidth\textwidth
%\addtolength{\textheight}{-0.8cm}
\hoffset-25mm\voffset-20mm
\newcommand\tm{$^{\rm tm}$}
\renewcommand{\baselinestretch}{0.9}
\begin{document}
\begin{Huge}
\noindent
\framebox[175mm]{\bf Computer-Algebra Rundbrief}
\end{Huge}
 
 
\noindent
{\it Nummer 7  \hfill Fachgruppe 2.2.1 \hfill 26. November 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*{8mm}
 
{\em
\noindent
Liebe Kolleginnen und Kollegen,
 
\vspace*{3mm}
\noindent
fast genau drei Jahre nach Gr"undung unserer Fachgruppe werden die
Unterzeichner ihre Funktion als Sprecher und Herausgeber dieses
Rundbriefes abgeben. Nach der Wahl der neuen Fachgruppenleitung und
ihres Sprechers werden ab sofort Herr Weispfenning aus Passau und als
Stellvertreter Herr Grabmeier aus Heidelberg diese Rolle "ubernehmen.
 
\vspace*{3mm}
\noindent
Hier ist das Ergebnis der Wahl der Fachgruppenleitung:
 
\vspace*{2mm}
 
\noindent
\begin{tabular}{llp{0.2cm}rl}
Abgegebene Stimmzettel:& 270 &&&\\
Davon Enthaltungen:& 2 &&&\\
&&&&\\
Wahlergebnis:& Prof.~Dr.~Th.~Beth && 119 & Stimmen\\
& Prof.~Dr.~J.~Buchmann && 95 & Stimmen\\
& Prof.~Dr.~J.~Calmet && 120 & Stimmen\\
& Prof.~Dr.~B.~Fuchssteiner && 118 & Stimmen\\
& Dr.~J.~Grabmeier && 131 & Stimmen\\
& Prof.~Dr.~W.~La"sner && 91 & Stimmen\\
& Prof.~Dr.~B.~Matzat && 110 & Stimmen\\
& Prof.~Dr.~J.~Neub\"user && 160 & Stimmen\\
& Prof.~Dr.~M.~Pohst && 111 & Stimmen\\
& Dr.~G.~Schneider && 100 & Stimmen\\
& Dr.~F.~Schwarz && 185 & Stimmen\\
& Prof.~Dr.~H.~G.~Zimmer && 106 & Stimmen\\
\end{tabular}
 
\vspace*{2mm}
 
\noindent
Somit wurden in die Fachgruppenleitung neben den bereits delegierten
Herren Degen, Loos und Weispfenning die Herren Beth, Calmet,
Fuchssteiner, Grabmeier, Matzat, Neub\"user, Pohst, Schwarz und Zimmer
gew\"ahlt.\\
 
\noindent
Wir meinen, da"s in diesen drei Jahren das Gebiet Computer-Algebra in
Deutschland erheblich gefestigt worden ist und an Bedeutung gewonnen
hat. Zu den wichtigsten Ergebnissen unserer Arbeit z"ahlen:
 
\begin{itemize}
\item Die Etablierung unserer Fachgruppe mit inzwischen ca. 1200
Mitgliedern.
 
\item Etablierung der CAHS - Computer-Algebra Herbstschule, die im
kommenden Jahr zum dritten Mal stattfinden wird.
 
\item Die Veranstaltung der ISSAC'91 in Bonn.
 
\item Die Veranstaltung eines Seminars in Dagstuhl mit dem Titel
Algorithmen der Computer-Algebra.
 
\item Die Veranstaltung von DMV--Seminaren "uber Computer--Algebra
und Computational Number Theory in Schlo"s Mickeln.
 
\item Die Veranstaltung von Fachtagungen "uber Computational Number
Theory und Computational Group Theory im Mathematischen
Forschungsinstitut Oberwolfach.
 
\item Die Durchf\"uhrung einer Sektion Computer--Algebra auf zwei
DMV--Jahrestagungen.
\end{itemize}
 
\noindent
Wir w"unschen unseren Nachfolgern alles Gute in ihrem Amt und
weiterhin viel Erfolg bei der Verbreitung der Computer-Algebra.
 
\hspace*{70mm} F.~Schwarz \hspace*{15mm} J.~Neub\"user}
\newpage
{\Large\bf\hrule\vspace{1mm}
%{\vspace*{5mm}\Large\bf\hrule\vspace{1mm}
\centerline{Hinweise auf Konferenzen}\vspace{1mm}\hrule}
 
\begin{enumerate}
\item {\bf Workshop Computer--Algebra--Systeme}
 
Institut f\"ur Experimentelle Mathematik, Universit\"at--GHS--Essen,
13. und 14.12.1990.
 
{\footnotesize Kontaktadresse:  Computer--Algebra--Workshop,
c/o Dr.~Gerhard Schneider, Institut f\"ur Experimentelle Mathematik,
Ellernstr. 29, D--4300 Essen 12, Tel.:0201~320640, FAX:0201~3206425,
E-Mail:mat420@de0hrz1a.bitnet.}
 
\item {\bf Computer Algebra in Engineering and Education}
 
Technische Universit\"at Delft, NL, 17.12.1990.
 
Organisatoren:
The Foundation Computer Algebra Nederland (CAN), the Dutch Benelux
Simulation Society (DBSS) and the Working Group for Industrial and
Applied Mathematics (WITW).
 
{\footnotesize Kontaktadresse:  Delft University of Technology, Fac.
of Technical Mathematics and Informatics, Attn. Mrs. J. Slot, P.O. Box
356, 2600 AJ  Delft, The Netherlands, Tel.: +31 15 785810, FAX: +31 15
787022, E-Mail:can@can.nl.}
 
\item {\bf Workshop on Symbolic Computing in Applied Maths}
 
Canterbury University, Christchurch, Neuseeland, 8.2.1991.
 
Der Workshop ist Bestandteil der $27^{th}$ Australian Applied Maths
Conference in Hanmer Springs, Neuseeland.
 
{\footnotesize N\"ahere Informationen erteilt:
g.keady@waikato.ac.nz.}
 
\item {\bf QE-Conference Algorithmen zur Quantorenelimination}
 
Blaubeuren, 10.--17.3.1991.
 
{\footnotesize Kontaktadresse: Herr S. Seitz,
Wilhelm--Schickard--Institut f\"ur Informatik, Sand 13,
D--7400~T\"ubingen}
 
\item {\bf Workshop on Symbolic Software for Mathematical Research}
 
Rutgers, NJ, USA, 11.--15.3.1991.
 
{\footnotesize Kontaktadresse: Charles Sims, Dept. of Mathematics,
Rutgers University, New Brunswick, NJ 08903,\\
E-Mail:sims@math.rutgers.edu.}
 
\item {\bf Workshop on Computational Number Theory}
 
Rutgers, NJ, USA, 18.--22.3.1991.
 
{\footnotesize Kontaktadresse: A.M.~Odlyzko, AT\&T Bell Labs,
600 Mountain Ave., Murray Hill, NJ 07974-2070.}
 
\item {\bf Group Theory and Computation}
 
University of Warwick, Coventry, England, 18.--22.3.1991.
 
{\footnotesize Kontaktadresse: R. Carter, Mathematics Institute,
University of Warwick, Coventry CV4 7AL, U.K.,\\
E-Mail:ses@uk.ac.warwick.math.}
 
\item {\bf V. Internationales Kolloquium "uber aktuelle Probleme
der Rechentechnik}
 
Dresden, 19.--23.3.1991.
 
Themen: Computer Algebra, - Analytik, Mathematische Informatik,
Computer Geometrie, Mathematische Verfahrenstechnik, Mathematische
Modellbildungen (Anwendungen in Natur- und Ingenieurwissenschaften).
 
{\footnotesize Tagungsleitung: Prof.~Dr.~M.~Ludwig,
Sektionsleitung: Prof.~Dr.~G.~Geise.}
 
\item {\bf CAMASA '91 \\
Convegno Nazionale di Calcolo Algebrico e Simbolico}
 
Cagliari, Italy, 21.--23.3.1991.
 
{\footnotesize Kontaktadresse:  T.~Mora, Dip. Matematica,
Via~L.B.~Alberti~4, 16132 Genova, Tel.:010-3538739, Fax:010-3538769,
E-Mail:THEOMORA@IGECUNIV.bitnet}
 
\item {\bf Commutative Algebra, Algebraic Geometry and their
interactions\\
with Computer Algebra}
 
Eisenach, 5.--13.6.1991.
 
Anmeldung bitte bis zum {\bf 1.1.1991}.
 
{\footnotesize Kontaktadresse: Karl--Marx--Universit\"at, Sektion
Mathematik, W. Reutter, Karl--Marx--Platz, 7010~Leipzig.}
 
\item {\bf Computational Number Theory}
 
Mathematisches Forschungsinstitut Oberwolfach, 7.--13.7.1991.
 
Tagungsleitung:
H.~W.~Lenstra~Jr. (Berkeley), M.~E.~Pohst (D\"usseldorf), H.~G.~Zimmer
(Saarbr\"ucken).
 
{\footnotesize
Kontaktadresse: H.~G.~Zimmer, Math.~Inst., Universit\"at Saarbr\"ucken,
e-mail:zimmer@campus.uni-sb.DE.}
 
\item {\bf International Symposium on Symbolic and Algebraic
Computation ISSAC '91}
 
Bonn, 15.--17.7.1991.
 
{\footnotesize Kontaktadresse:  Frau Harms, GMD Schlo"s Birlinghoven,
Postfach 1240, 5205 Sankt Augustin 1, Tel. 02241-142473.}
 
\item {\bf DMV-Jahrestagung}
 
Bielefeld, 15.--20.9.1991.
 
\noindent
{\bf Demonstrationsveranstaltung}
{\sl Computer-Algebra Systeme -- moderne Arbeitswerkzeuge f\"ur
   Mathematiker, Naturwissenschaftler und Ingenieure}
 
Die verschiedensten Computer-Algebra
Systeme sollen vorgef\"uhrt werden. Beitr\"age sind willkommen.
 
{\footnotesize Kontaktadresse:
Waldemar Wiwianka (waldemar@uni-paderborn.de),
Benno Fuchssteiner (benno@uni-paderborn.de),
Universit\"at Paderborn, Fachbereich Mathematik, Postfach 1621,
4790 Paderborn}
 
\noindent
{\bf Sektion Wissenschaftliches Rechnen}
 
{\footnotesize Kontaktadressen: W. J"ager, Institut f"ur Angewandte
Mathematik, Universit"at Heidelberg, Im Neuenheimer Feld 294, 6900
Heidelberg, Tel.:06221/56-2780. J. Neub"user, Lehrstuhl D f"ur
Mathematik, RWTH Aachen, Templergraben 64, 5100 Aachen,
Tel.:0241/80-4543, e-mail:fm@dacth51.bitnet.}
 
\item {\bf CAHS'91, 3.~Herbstschule Computer-Algebra und ihre
Anwendungen}
 
Dagstuhl, 23.--27.9.1991.
 
{\footnotesize Kontaktadresse: Frau D\"usselberg,
Deutsche Informatik Akademie,
Wissenschaftszentrum,
Ahrstra"se 45, 5300~Bonn~2, Tel.:~0228-302164.}
 
\item {\bf AAECC 9, Ninth International Symposium on Applied
Algebra, Algebraic Algorithms, and Error Correcting Codes}
 
New Orleans, 7.--10.10.1991.
 
{\footnotesize Kontaktadresse: T.R.N. Rao, Center Adv. Comp.  Studies,
Univ. of Southwestern Louisiana, P.O.Box 44330, Lafayette, LA
70504-4330, USA, Phone:1-318-2316854, Fax:1-318-2315791,
e-mail:trn@cacs.usl.edu.}
 
\item {\bf Algorithmen der Computer--Algebra}
 
Dagstuhl Seminar, 16.--20.12.1991.
 
{\footnotesize Organisatoren: Bruno\ Buchberger, James\ Davenport,
Fritz\ Schwarz. Teilnahme nur auf Einladung.}
 
{\footnotesize Kontaktadresse: F.~Schwarz, GMD~Institut F1,
Postfach~1240, D--5205~Sankt Augustin 1.}
\end{enumerate}
{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Berichte von Konferenzen}\vspace{1mm}\hrule}
\begin{enumerate}
\normalsize
\item {\bf Computeralgebra und Differentialgleichungen}
 
Universit\"at Leipzig, 5.--16.2.1990.
 
Das interdisziplin\"are Seminar be\-sch\"aftig\-te sich in
Vor\-tr\"agen \"Uber\-sichts\-vor\-lesungen und
Computer\-demon\-stra\-tionen am PC mit Algo\-rith\-men der
Com\-puter\-algebra zur L\"osung gew\"ohn\-licher und partieller
Differen\-tial\-gleichungen und zur Inte\-gration in ge\-schlos\-sener
Form.
 
{\footnotesize
Liste der Vorlesungen, Seminarvortr\"age und Computer-Demos:
 
S.A. Abramov: {\it Extension of some algorithms for solving linear
differential and difference equations}.
L.M. Berkovich: 1. {\it The method of factorization and transformation
of ordinary differential equations}, 2. {\it Solving nonlinear
differential equations by the transformation method}.
K. Beyer: {\it Von Gauss und Green bis H\"ormander}.
A.V. Bocharov: {\it DELIA -- A personal toolbox for investigating
differential equations with S. Lie approach}.
L. Bordag: {\it Periodic multiphase solutions of the Kadomsev--
Petviashvili equation}.
M. Bronstein: {\it Simplification and integration in SCRATCHPAD}.
G. Czichowski: {\it Symmetrien und nichtlineare gew\"ohnliche
Differentialgleichungen 2. Ordnung}.
J.H. Davenport: {\it Integration of algebraic and mixed functions}.
J. Fitch: {\it Software-engineering and computer algebra}.
V.M. Ganzha: {\it Symbolic numeric interface for difference schemes
in stability analysis}.
V.P. Gerdt: {\it Nonlinear evolution equations and solving algebraic
equations: The importance of computer algebra}.
M. G\"unther: {\it Nichtlineare hyperbolische Differentialgleichungen}.
K. Hantzschmann: {\it Computeranalytik}.
G. Heinig: {\it Schnelle Algorithmen}.
W. Lassner: 1. {\it Computeralgebrasysteme (Einf\"uhrung in das
Praktikum (REDUCE) der Kursteilnehmer)}. \ 2. {\it Symboldarstellungen
von Operatoren und Algebren}.
O.I. Marichev, V.S. Adamchik: {\it Algorithms for calculations of
traditional integrals of special function in REDUCE}.
M.A.H. MacCallum: \ 1. {\it Some algorithms for exact solutions of first
order ODEs and linear ODEs}, \ 2. {\it Computer-aided classification
of geometries in general relativity}.
P. M\"obius: {\it Nichtlineare Wellengleichungen in der Physik}.
S.S. Moskalyuk: {\it Modelling of dynamical systems}.
M.L. Nechaevsky: {\it Implementation of algorithms for searching
integrable linear ordinary differential equations}.
E.V. Pankratyev: {\it Differentialk\"orper}.
W. Purkert, B. Fritzsche: {\it Sophus Lie in Leipzig}.
A. Rathseld: {\it Numerische L\"osungen von Doppelschichtpotential\-
gleichungen auf dem Rand von Polygonal- und Polyedergebieten}.
E. Schr\"ufer: {\it EXCALC -- Calculations in modern differential
geometry}.
F. Schwarz: {\it ''Von Sophus Lie zur Computeralgebra'' -- 1. Symmetrien
von Differentialgleichungen, \ 2. Programmierung mit abstrakten
Datentypen: Das Symmetrie Paket SPDE in SCRATCHPAD, \ 3. SPDE
in REDUCE}.
V. Weispfenning: {\it Computeralgebra und Differentialalgebra}.
Th. Wolf, A. Brand: {\it Analytische Untersuchungen und exakte
L\"osungen von Differentialgleichungen mit CRACKSTAR}.
E. Zeidler: {\it Bifurkationstheorie}.
A.Yu. Zharkov: {\it A REDUCE package for determining Lie-B\"acklund
symmetrics and classification of non-linear evolution systems}.
\hfill V.~Weispfenning}
 
\item {\bf Workshop on Number Theory and Algorithms}
 
Berkeley, Kalifornien, 26.--29.3.1990.
 
\noindent
{\small
Am Mathematical Sciences Research Institute (M.S.R.I.) in Berkeley,
Kalifornien, fand in der Zeit vom 26. bis zum 29. M\"arz 1990 ein
{\em Workshop on Number Theory and Algorithms} statt. Das
Vortragsprogramm gliederte sich in drei Abschnitte:
\begin{itemize}
\item[a)] Algorithmen in der Theorie der algebraischen Zahlk\"orper,
\item[b)] Algorithmen in der arithmetischen algebraischen Geometrie
und der Theorie der Modulformen,
\item[c)] Algorithmen zu Primzahltests und zur Faktorisierung ganzer
Zahlen.
\end{itemize}
Das Hauptgewicht lag auf dem unter c) genannten Themenkreis. Dabei
herrschte der experimentelle Aspekt vor. St\"arker theoretisch
ausgerichtet waren - mit Ausnahme des Berichts "uber das
Computer--Algebra System PARI - die Vortr\"age "uber algebraische
Zahlk\"orper unter a). Im Teil b) hingegen hielten sich Theorie und
Experiment in etwa die Waage.
 
Insgesamt wurde auf dem Workshop die zunehmende Bedeutung von
Computer--Experimenten bei der Behandlung rein theoretischer
Fragestellungen in der Zahlentheorie deutlich. Andererseits zeigte sich
die Wirksamkeit zun\"achst nicht anwendungsbezogener Theorien bei der
Entwicklung neuer und effizienter zahlen--theoretischer Algorithmen.
 
Da viele prominente Teilnehmer keine Gelegenheit zu einem eigenen
Vortrag erhalten hatten, spielte sich naturgem\"a"s ein wesentlicher
Teil des Workshops in Gespr\"achen und Diskussionen am Rande des
offiziellen Programms ab.}
 
{\footnotesize
Vortr\"age (in chronologischer Reihenfolge):
 
J.~Buchmann, Universit\"at Saarbr\"ucken,
{\it On the computation of class groups};
H.~Cohen, Universit\'{e} de Bordeaux I,
{\it PARI, a computer algebra system for number theory};
J.~Martinet, Universit\'{e} de Bordeaux I,
{\it On discriminants, regulators and class groups};
R.~Schoof, Rijksuniversiteit Utrecht,
{\it Kolyvagin's work on class groups of cyclotomic fields};
J.~Teitelbaum, University of Michigan,
{\it Computation of p-adic periods};
J.--F.~ Mestre, Universit\'{e} de Paris VII,
{\it Generalized arithmetic geometric mean algorithms};
B.~Mazur, Harvard University,
{\it Finding and computing modular eigenforms of high weight};
A.~Brumer, Fordham University,
{\it The behavior of Mordell--Weil groups of elliptic curves};
V.~Shoup, AT\&T Bell Laboratories,
{\it Algorithms for finite fields};
W.~Bosma, University of Sydney,
{\it Primality testing with finite rings};
F.~Morain, (I.N.R.I.A.),
{\it Primality testing with elliptic curves};
D.~A.~Hejhal, Institute for Advanced Study \& University of
Minnesota, {\it Computational aspects of the Selberg trace formalism};
H.~Lenstra, University of California, Berkeley,
{\it Factoring integers in the dark ages};
A.~Lenstra, Bell Communications Research,
{\it Factoring integers with the number field sieve};
J.~Buhler, Reed College,
{\it The number field sieve for general integers};
A.~Odlyzko, AT\&T Bell Laboratories,
{\it Solving sparse linear systems over finite fields};
D.~Gordon, University of Georgia \& Sandia National Laboratories,
{\it Discrete logarithms with the number field sieve};
C.~Pomerance, University of Georgia,
{\it A rigorous time bound for factoring integers}.
\hfill Prof.~Dr.~H.~G.~Zimmer}
 
\item {\bf Minisymposium: Symbolverarbeitung in der Mechanik\\
auf der GAMM-Tagung 1990}
 
Hannover, 10.4.1990.
 
{\small
Im Rahmen der wissenschaftlichen Jahrestagung 1990 der Gesellschaft
f"ur Angewandte Mathematik und Mechanik (GAMM) in Hannover,
8.-12.04.1990, fanden sechs Minisymposien zu ausgew\"ahlten Themen
statt. Das Minisymposium ``Symbolverarbeitung in der Mechanik'' wurde
von E.J. Kreuzer, TU Hamburg-Harburg, und R. Loos, Universit\"at
T\"ubingen, organisiert. Innerhalb der zweist\"undigen Veranstaltung
wurden drei Vortr\"age in der folgenden Reihenfolge pr\"asentiert:  R.~
Loos (T\"ubingen): {\it Der Einflu"s von Anwendungen auf die
Entwicklung der Computer-Algebra}; J.~Calmet (Karlsruhe): {\it
Mathematical Capabilities of the Leading Computer Algebra Systems}; E.~
Kreuzer (Hamburg-Harburg):  {\it Symbolverarbeitung in der Mechanik -
2 Beispiele}. Die Veranstaltung fand gute Resonanz und es wurde der
Wunsch ge\"au"sert, Veranstaltungen zum Thema Symbolverarbeitung auch
bei zuk\"unftigen GAMM-Tagungen besonders zu ber"ucksichtigen.
\hfill E.~Kreuzer}
 
\item{\bf International Symposium on Design and Implementation of
Symbolic Computation Systems DISCO '90}
 
Capri, Italy, 10.--12.4.1990.
 
{\small
Diese Konferenz besch\"aftigte sich sowohl mit theoretischen Fragen
(Sprachdesign und Korrektheit) als auch mit Methoden und Techniken der
Implementierung von Computersystemen f\"ur symbolische und
algebraische Berechnungen.
 
Die behandelten Hauptprobleme waren:  SAC Systemsdesign
(Speicherverwaltung, Sprachdesign, Mathematischer Gehalt),
Theoretische Informatik (Algebraische Spezifikation, Polymorphe
Typsysteme), SAC Implementierungsmethoden und --techniken (Typsysteme,
CA auf Parallelrechnern), Software Umgebungen (Symbolik--Numerik
Schnittstelle, Logik Programmierung, Datenbanksysteme), Automatic
Reasoning (Prolog Systeme, Unifikation, Knuth--Bendix Rewrite Systeme,
Objektorientierte Programmierung), Benutzerschnittstelle
(Graphiksysteme).
 
In einer speziellen Sitzung wurden verschiedene neuere Computer
Algebra Systeme und Entw\"urfe vorgestellt. Wegen der Hardware
Ausstattung des Hotels (1 MacIntosh, 2 IBM/PC), konnten nur wenige
Systeme vorgef\"uhrt werden.}
 
{\footnotesize
Vortr\"age (in chronologischer Reihenfolge):
 
{\it Current Main Problems in Computer Algebra Systems Design},
J. Davenport;
{\it The Design of Cayley--A Language for Modern Algebra},
G. Butler, J. Cannon;
{\it CoCoA: A User--Friendly System for Commutative Algebra},
A. Giovini, G. Niesi;
{\it The Design of SISYPHE: A System for Doing
Symbolic and Algebraic Computation},
A. Galligo, J. Grimm, L. Pottier;
{\it Scratchpad's View of Algebra I: Commutative Algebra},
J. H. Davenport, B. M. Trager;
{\it Praxis: A Rule--Based Expert System for Macsyma},
M. Clarkson;
{\it Will DELiA Grow into an Expert System ?}
A. V. Bocharov;
{\it GANITH: An Algebraic Geometry Package},
C. Bajaj, A. Royappa;
{\it A Theory for Program and Data Type Specification},
C. Talcott;
{\it Context Induction: A Proof Principle for
Behavioural Abstractions},
R. Hennicker;
{\it Completion Modulo Associativity, Commutativity
and Identity (AC1)},
J. P. Jouannaud, C. Marche;
{\it Polymorphic Type Checking with Subtypes in Prolog},
T. W. Fruehwirth;
{\it On the Power of Subsumption and Context Checks},
R. N. Bol, K. R. Apt, J. W. Klop;
{\it Putting Algebraic Components Together:
a Dependent Type Approach},
J. C. Reynaud;
{\it Efficient Type Inference and Coercion in Computer Algebra},
A. Fortenbacher;
{\it Abstract Specification of Mathematical Structures and Methods},
C. Limongelli, M. B. Mele, M. Regio, M. Temperini;
{\it Programming Paradigms for Symbolic Computation Systems --
Analysis of an Example},
U. Petermann;
{\it The MAS Type System},
H. Kredel;
{\it Prototypes for the Automatic Translation of
Computer Algebra Languages},
D. Constales;
{\it The Computation of Gr\"obner Bases on a Shared Memory Processor},
J. P. Vidal;
{\it Requirements for Standards in Knowledge Base Systems},
G. Attardi;
{\it Reconciling Symbolic and Numeric
Computation in a Practical Setting},
M. C. Dewar, M. G. Richardson;
{\it The Design and Specification of the ASSPEGIQUE Database},
M. Bidiot, F. Capy, C. Choppy;
{\it Implementation of the Symbol Analytic
Transformation Language FLAC},
S. V. Chmutov, E. A. Gaydar, I. M. Ignatovich,
V. F. Kozadoy, A. P. Nemytykh, V. A. Pinchuk;
{\it A Functional and Logic Language with Polymorphic Types},
M. Hanus;
{\it The Use of Proof Plans in Formal Methods},
A. Bundy;
{\it A Prolog Technology Theorem Prover:
A New Exposition and Implementation in Prolog},
M. E. Stickel;
{\it Parametric Queries, Linear Constraints
and Variable Elimination},
J. L. Lassez;
{\it AC--Unification Race: The System Solving Approach
and its Implementation},
A. Adi, C. Kirchner;
{\it Heuristical Criteria in Refutational Theorem Proving},
S. Anantharaman, N. Andrianarivelo;
{\it Design and Development of ENprover,
An Automated Theorem Proving System Based on EN--Strategy},
F. Baj, M. Bruschi, A. Zanzi;
{\it Towards a Logic Language:
An Object--Oriented Implementation of the Connection Method},
G. Forcellese, M. Temperini;
{\it Graphical Object Oriented Executable Specification
for an Automation Oriented Paragigm of Software Development},
V. Russi, R. Zompi;
{\it Building Graphic User Interfaces for Computer Algebra Systems},
N. Kajler;
{\it A System Independent Graphing Package for Mathematical Functions},
P.S. Wang;
{\it A Model of Interaction for Graphical Systems},
G. P. Faconti, R. D. Bettarini, F. Paterno.
 
\newpage
Vortr\"age in der System Section (in chronologischer Reihenfolge):
 
{\it The GANITH algebraic geometry toolkit},
C. Bajaj, A. Royappa;
{\it Features of the Computer Algebra Language FLAC},
V. Kistlerov;
{\it Interactive Disply and Manipulation of Curves and
Surface of Mathematical Functions},
D. Bennett;
{\it ASSEPEGIQUE An integrated Specification Environment},
M. Bidoit et. al.;
{\it DELiA},
A. V. Bocharov;
{\it CoCoA: A User--Friendly System for doing
Computations in Commutative Algebra},
A. Giovini, G. Niesi;
{\it MAS Modula--2 Algebra System},
H. Kredel;
{\it NOETHER},
I. Orci;
{\it Novelties in the Derive (R) Computer Algebra Interface},
A. D. Rich, D. R. Stoutemyer;
{\it An Environment for Mathematical Knowledge Representation},
J. Calmet, I. A. Tjandra, G. Bittencourt;
{\it HCL -- A Compact Implementation of Common Lisp},
T. Yamamoto.}
 
{\small
Die Proceedings sind als Springer Lecture Notes in Computer Science
Band 429 erschienen.
 
Die n\"achste DISCO soll 1992 vor Ostern in Bath (England) in der
Universit\"at stattfinden.
\hfill Heinz Kredel}
 
\item{\bf Effective Methods in Algebraic Geometry (MEGA 90)}
 
Castiglioncello (Livorno), Italy, 17.--21.4.1990.
 
{\small
\noindent
Vom 17. bis 21. April fand in Castiglioncello (Livorno, Italien)
die Mega 90 statt (Effective Methods in Algebraic Geometry).
Ziel der MEGA ist es, der ISSAC und AAECC mit ihren breitgestreuten
Themenkreisen eine rein mathematisch orientierte Computeralgebra
Konferenz zur Seite zu stellen.
 
\noindent
Die MEGA soll in Zukunft regelm\"a"sig stattfinden. Das n\"achste
Treffen ist f\"ur die Woche nach Ostern 1992 an einem noch zu
bestimmenden Ort geplant. Die deadline f\"ur Beitr\"age
wird voraussichtlich im Herbst 1991 sein. Die Proceedings
der MEGA 90 werden im Birkh\"auser Verlag erscheinen, wobei noch
kein Erscheinungstermin feststeht. Zehnzeilen-Abstracts
der Beitr\"age sollen demn\"achst im SIGSAM Bulletin erscheinen.
Folgende Vortr\"age wurden in Castiglioncello gehalten.}
 
{\footnotesize
{Invited Talks} (je 60 min.):
 
G.\ Pfister: {\it Application of the Mora
algorithm to algebraic geometry};
G.\ van der Geer: {\it Codes and elliptic curves};
N.\ N.\ Vorobjov jr.: {\it Deciding consistency of systems
of polynomial in exponent inequalities in subexponential time};
P.\ Milman: {\it (Almost) explicit desingularization};
R.\ Benedetti: {\it On the effectiveness of solutions of the
semialgebraic Hauptvermutung - examples with uncomputable complexity}.
 
{Contributed Papers} (je 30 min.):
 
F.\ Rossi, W.\ Spangher: {\it Some effective methods in the openness
of loci for Cohen-Macaulay and Gorenstein properties};
L.\ Langemyr: {\it Algorithms for a multiple algebraic extension};
M.\ Giusti, J.\ Heintz: {\it Un algorithme - disons rapide - pour la
decomposition \'{e}quidimensionelle};
M.\ Chardin: {\it Un algorithme pour le calcul du r\'{e}sultant de troi s
p\^{o}lynomes homog\`{e}nes en trois variables};
M.\ M\"oller: {\it Computing syzygies \`{a} la Gauss-Jordan};
A.\ Galligo: {\it D\'{e}composition effective d'ensembles de points
dans ${\bf P}^2$};
A.\ G.\ Alexandrov, A.\ V.\ Bocharov, V.\ L.\ Kistlerov: {\it On using
FLAC as an implementation language for differential algebraic
algorithms};
H.\ Lombardi, M.\ F.\ Roy: {\it Th\'{e}orie constructive
\'{e}l\'{e}mentaire des corps ordonn\'{e}s};
H.\ Lombardi: {\it Null-, Positiv- et Nichtnegativstellens\"atze
r\'{e}els effectifs};
M.\ F.\ Roy, A.\ Szpirglas: {\ it Sign determination on zero dimensional
sets};
F.\ Cucker, L.\ Gonzales-Vega, F.\ Rossell\'{o}: {\it On algorithms
for real algebraic curves};
N.\ Malashonok: {\it Solution methods for linear equation systems
in a commutative ring};
D.\ Lazard: {\it On the complexity of zero-dimensional
algebraic systems};
Y.\ N.\ Laksman: {\it A single exponential bound on the complexity
of computing Gr\"obner bases of zero-dimensional ideals};
T.\ Krick, A.\ Logar: {\it Membership problems, representation problems
and the computation of the radical for one-dimensional ideals};
A.\ Dickenstein, C.\ Sessa: {\it Duality methods for the
membership problem};
D.\ Richardson: {\it Finding roots of equations involving
functions defined by first order algebraic differential equations};
J.\ F.\ Pommaret, A.\ Haddak: {\it Effective methods for systems
of algebraic partial differential equations};
D.\ Grigor'ev: {\it Complexity of solving systems of linear equations
over the rings of differential operators};
B.\ Mourrain: {\it Manipulations g\'{e}om\'{e}triques et
simplifications alg\'{e}briques};
R.\ Marlin: {\it Une conjecture sur les anneaux de Chow
$A(G,{\bf Z})$, renforc\'{e}e par un calcul formel};
F.\ Ollivier: {\it Canonical bases. relations with standard bases,
finiteness conditions and application to tame automorphisms};
E.\ Strickland: {\it Algorithms computing the equivariant
cohomology of complete symmetric varieties};
J.\ F.\ Mestre: {\it Invariants and covariants of binary sextic forms
and moduli of curves of genus 2};
G.\ Gallo, B.\ Mishra: {\it A bound on the degrees of
polynomials in characteristic sets};
T.\ Gateva: {\it Noetherian properties and growth of
associative algebras};
K.\ Shirayanagi: {\it A classification of finite dimensional
monomial algebras};
J.\ L.\ Montana, L.\ M.\ Pardo, T.\ Recio: {\it Towards a
complexity theory for semialgebraic sets, constructible sets and
polynomials};
T.\ Dub\'{e}: {\it Homogenizing prime sequences};
L.\ Caniglia, J.\ A.\ Guccione, J.\ J.\ Guccione: {\ it Local
membership problems for polynomial ideals}.
 
{Informal Sessions} (je 15 min.):
 
P.\ Milman: {\it A combinatorical analogue of desingularization};
I.\ Del Corso: {\it Factorization of prime ideal extensions
in number fields};
G.\ Gentili: {\it Some remarks on rational geometry
in space};
G.\ Carra-Ferro, W.\ Sit: {\it On term ordering and rankings};
F.\ Ollivier: {\it Standard bases of differential ideals};
G.\ Moreno: {\it Climbing generic stairs};
M.\ Alonso, T.\ Mora, M.\ Raimondo: {\it Local decomposition
algorithms};
M.\ Fiorentini: {\it Curve spaziali $K$-Buchsbaum che non sono
quasi-completa intersezione};
C.\ Traverso: {\it Intersection algorithms};
J.\ Backelin: {\it A graph-component algorithm for eliminating
S-polynomials: is it new?}
M.\ C.\ Gontard: {\ it Am\'{e}lioration de la m\'{e}thode de
Wu - implementation en Scratchpad};
B.\ Ruitenburg: {\it Lie groups and power series};
M.\ Alonso, T.\ Mora,  M.\ Raimondo: {\it Complexity of power series}.
\hfill Th.~Becker,~Passau}
 
\vspace*{-4mm}
 
\item{\bf IV International Conference on Computer Algebra in Physical
Research}
 
Dubna, UdSSR, 21.--24.5.1990.
 
{\small
Diese Konferenz war die vierte in der Reihe gleichen Namens.  Sie
zeigt die gro"se Bedeutung, die {\em Anwendungen} der
Computer-Algebra in der Sowjetunion beigemessen wird. Schwerpunkte
waren unter anderem Differentialgleichungen (Abramov, Astrelin,
Berkovitch, Gerdt, Hantschmann, Kvashenko, Schr"ufer, Schwarz, Wolf),
Rechnungen in der Quantenfeldtheorie (Chetyrkin, Larin et al., Kataev)
und auch verschiedene Systementwicklungen (Bocharov, Kredel). Es soll
ein Tagungsband erscheinen. \hfill F.~Schwarz}
 
\item{\bf RISC-LINZ Summer School in Computer Algebra}
 
Hagenberg bei Linz, "Osterreich, 2.--14.7.1990.
 
{\small
Vom 2. bis 14. Juli 1990 fand unter der Leitung von Dr. Franz Winkler
zum ersten Mal die {\it ``RISC-LINZ Summer School in Computer
Algebra''} statt.  Die Sommerschule wurde im Schlo\ss\ Hagenberg, der
Heimst\"atte des Forschungsinstituts RISC-LINZ der Johannes Kepler
Universit\"at Linz, abgehalten.  Die Ausschreibung der Sommerschule
richtete sich prim\"ar an Doktoratsstudenten der Mathematik und
Computerwissenschaft, welche in diesem Kurs die Gelegenheit bekommen
sollten, sich auf dem Gebiet der Computer-Algebra zu spezialisieren.
Das Programm beinhaltete eine theoretisch fundierte Einf\"uhrung in
die Computer-Algebra, eine Heranf\"uhrung an die aktuelle
Forschungsarbeit, sowie praktischen Umgang mit Programmsystemen der
Computer-Algebra.
 
Die theoretischen Vorlesungen wurden von Dr. Franz Winkler abgehalten,
f\"ur die praktischen \"Ubungen an verschiedenen Softwaresystemen war
Dr. Edward S. Blurock verantwortlich.  Daneben konnten als Vortragende
Dr.~Greg~Butler (Univ. of Sydney), Dr.~Michael~Monagan (ETH Z\"urich),
Dr.~Juan~R.~Sendra (Univ. Alcal\'a, Madrid) und Dr.~Hans~Zassenhaus
(Ohio State Univ. und RISC-LINZ) gewonnen werden.  Dr.~Sabine~Stifter,
Dr.~Peter~Paule, Dipl.-Ing.~Bernhard~Wall und Herr~Wolfgang~Schreiner
von RISC-LINZ boten \"Uberblicksvortr\"age \"uber Spezialgebiete des
Symbolischen Rechnens.
 
Von den 80 Bewerbern aus der ganzen Welt wurden schlie\ss lich 22 als
Teilnehmer der Sommerschule ausgew\"ahlt. Die meisten von ihnen waren
Doktoratsstudenten, einige aber auch promovierte Universit\"atslehrer
der Mathematik, Informatik und Physik.  Die Teilnehmer kamen aus
\"Agypten, Belgien, BRD, CSFR, D\"anemark, Gro\ss britannien, Indien,
Italien, Kanada, Norwegen, \"Osterreich, Polen, Rum\"anien, Schweden,
Spanien, UdSSR und USA.  F\"ur etliche Teilnehmer konnte der
zweiw\"ochige Aufenthalt im Schlo\ss\ Hagenberg nur durch die gro\ss
z\"ugige F\"orderung seitens kommunaler und privatwirtschaftlicher
Organisationen erm\"oglicht werden.  In diesem Zusammenhang sei dem
Linzer Hochschulfond, der Stadt Linz und der Vereinigung
\"Osterreichischer Industrieller, Landesgruppe Ober\"osterreich, recht
herzlich f\"ur die gew\"ahrte Unterst\"utzung gedankt.
\hspace*{\fill} F.~Winkler}
 
\vspace*{-4mm}
 
\item {\bf DMV-Seminar "`Konstruktive Zahlentheorie"'}
 
Schlo"s Mickeln bei D"usseldorf, 5.--12.8.1990.
 
{\small
Die Teilnehmer wurden durch Vortr\"age von H.~W.~Lenstra~Jr.
(Berkeley) und M.~E.~Pohst (D\"usseldorf) an den aktuellen Stand der
Forschung auf einigen Gebieten der konstruktiven Zahlentheorie
herangef\"uhrt. Schwerpunkte waren Methoden und Algorithmen zum
Faktorisieren gro"ser Zahlen, f\"ur Primzahltests und zum
Berechnen von Invarianten algebraischer Zahlk\"orper. Speziell
wurde auf das "'number field sieve"' von Pollard und die k\"urzlich
erfolgte Faktorisierung der neunten Fermatzahl F9 eingegangen.
Die Teilnehmer hatten nachmittags Gelegenheit, mit dem Softwarepaket
KANT Rechnungen in Zahlk\"orpern durchzuf\"uhren.
 
Gastvortr\"age hielten:
M.~J\"untgen (D\"usseldorf),
{\it Unit computation by a generalization of Lagrange's method};
F.~Morain (INRIA),
{\it Primality testing with elliptic curves};
H.~Zassenhaus (Columbus),
{\it On the factorization of polynomials over finite fields}.
\hfill M.~Pohst}
 
\item{\bf Second International Joint Conference of ISSAC--90 and
AAECC--8}
 
Tokyo, Japan, 20.--24.8.1990.
 
{\small
Zum zweiten Mal fanden die Konferenzen ISSAC 90 und AAECC-8 unter den
Namen "International Joint Conference 2" parallel zueinander statt ,
nachdem IJC-1 1988 in Rom abgehalten wurde.  Der Tagungsband
''Proceeding of the international Symposium on Symbolic and Algebraic
Computation'', ACM-Press, 1990 Ed.: S. Watenabe and R. Nogeta , lag zu
Beginn der Tagung vor. Diese Veranstaltung ist sicher eine gute
M\"oglichkeit schnell einen \"Uberblick \"uber aktuelle Arbeiten zu
erhalten.}
 
{\footnotesize
{\bf Eingeladene Vortr\"age:} (40 Minuten)\\
S-C. Chou, {\it Automated Reasoning in Geometries Using the
Characteristic Set Method and Gr\"obner Basis Method},
R.J. Fateman, {\it Advances and Trends in the Design and Construction
of Algebraic Manipulation Systems},
D.Y. Grigoriev, {\it How to Test in Subexponential Time Whether Two
Points can be Connected by a Curve in a Semialgebraic Set},
K. Okubo, {\it Global Theory of Ordinary Differential Equations and
Formula Manipulation},
N. Takayama, {\it Gr\"obner Basis, Integration and Transcendental
Functions}.\\
 
{\bf Vortr\"age:} (20 Minuten)\\
V.S. Adamchik, {\it The Algorithm for Calculating Integrals of
Hypergeometric Type Functions and its Realization in REDUCE System},
K. Aberer, {\it Normal Forms in Function Fields},
M. Baaz and A. Leitsh, {\it A Strong Problem Reduction Method Based on
Function Introduction},
M. Belmesk, {\it An Execution Model for Exploiting and-or Parallelism
in Logic Programs},
D. Bini and V. Pan, {\it Parallel Polynomial Computations by Recursive
Process},
R. Bradford, {\it A Parallelization of the Buchberger Algorithm},
D. Cantone and V. Cutello {\it A Decidable Fragment of the Elementary
Theory of Relations and Some Applications},
B.W. Char, {\it Progress Report on a System for General-Purpose
Parallel Symbolic Algebraic Computation},
G. Chen, {\it An Algorithm for Computing the Formal Solutions of
Differential Systems in the Neighborhood of an Irregular Singular
Point},
G. Chen and I. Gil, {\it The Implementation of an Algorithm in
Macsyma:  Computing the Formal Solutions of Differental Systems in the
Neighborhood of Regular Singular Point},
F. Cherief, {\it An Algebraic Model for the Parallel Interpretation of
Equationally Defined Functions},
P. Codognet, {\it Equations, Disequations and Unsolvable Subsets},
G. Cooperman, L. Finkelstein and N. Sarawagi {\it A Random Base Change
Algorithm for Permutation Groups},
S-C. Chou and X-S. Gao, {\it Methods for Mechanical Geometry Formula
Deriving},
Y. Doleh and P.S. Wang, {\it SUI: A System Independent User Interface
for an Integrated Scientific Computing Environment},
C. Faure, {\it A Meta Simplifier},
J. Fitch, {\it A Delivery System for REDUCE},
M. Franov, {\it PRECOMAS An Implementation of Constructive Matching
Methodology},
G.J. Free, {\it Computation of Catalan`s Constant Using Ramanujan`s
Formula},
V.G. Ganzha, {\it Application of REDUCE System for Analyzing
Consistency of Systems of P.D.E.+s},
V.G. Ganzha and M.Y. Shashkov, {\it Local Approximation Study of
Difference Operators by Means of REDUCE System},
K. Gatermann, {\it Symbolic Solution of Polynomial Equation Systems
with Symmetry},
V.P. Gerdt and A.Y. Zharkov, {\it Computer Generation of Necessary
Integrability Conditions for Polynomial-nonlinear Evolution Systems},
V.P. Gerdt, N.V. Khutornoy and A.Y. Zharkov, {\it Solving Algebraic
Systems Which Arise as Necessary Integrability Conditions for
Polynomial-Nonlinear Evolution Equitations},
R. Glueck and V.F. Turchin, {\it Application of Metasystem Transition
to Function Inversion and Transformation},
D.Y. Grigoriev, {\it Complexity of Irreducibility Testing for a System
of Linear Ordinary Differential Equations},
H. Hong, {\it An Improvement of the Projection Operator in Cylindrical
Algebraic Decomposition},
M. Kalkbrener, {\it Solving Systems of Bivariate Algebraic Equations
by Using Primitive Polynomial Remainder Sequences},
E. Kaltofen, Y.N. Lakshman,J-M. Wiley, {\it Modular Rational Sparse
Multivariate Polynomial Interpolation},
D. Kapur and H.K. Wan, {\it Refutational Proofs of Geometry Theorems
via Characteristic Set Computation},
M. Kohno, {\it Reduction Problems in the Theory of Differential
Equations},
S.V. Kolyada, {\it Systems for Symbolic Computations in Boolean
Algebra},
N. Kuhn, K. Madlener and F. Otto, {\it A Test for $\lambda$-Confluence
for Certain Prefix Rewriting Systems with Applications to the
Generalized Word Problem},
A.A. Letichevsky and J.V. Kapitonova, {\it Algebraic Programming in
the APS System},
R. Liska and L. Drska, {\it FIDE. A REDUCE Package for Automation of
Finite Difference Method for Solving P.D.E.},
Z-J. Liu, {\it An Algorithm for Finding All Isolated Zeros of
Polynomial Systems},
J.LLovet andf J.R. Sendra, {\it A Modular Approach to the computation
of the Number of Teal Roots},
D. Manocha, {\it Regular Curves and Proper Parametrizations},
S.I. Mazurik and E.V. Vorozhtsov, {\it Symbolik - Numerical
Computations in the Stability Analyses of Difference Schemes},
B. Mishra and P. Pedersen, {\it Artihmetic with Real Algebraic Numbers
is in NC},
N.V. Murray and E. Rosenthal {\it Reexamining Intractability of
Tableau Methods},
M.T. Noda and E. Miyahiro, {\it On the Symbolic/Numeric Hybrid
Integration},
A.C. Norman, {\it A Critical-Pair/Completion based Integration
Algorithm},
J. Padget and A. Barnes, {\it Univariate Power Series Expansions in
REDUCE},
J-L. Roch, {\it Fast Division of Arbitrary Size Integers},
T.C. Scott and G.J. Fee, {\it Some Applications of Maple Symbolic
Computation to Scientific and Engineering Problems},
K. Shirayanagi, {\it On the Isomorphism Problem for Finite-dimensional
Binomial Algebras},
T.J. Smedley, {\it Detecting Algebraic Dependencies Between Unnested
Radicals Extended Abstract},
Z. Stachniak, {\it Resolution Proof Systems with Weak Transformation
Rules},
J. von zur Gathen, {\it Polynomials over Finite Fields with Large
Images},
N. Takayama, {\it An Algorithm of Constructing the Integral of a
Module - An Infinite Dimensional Analog of Gr\"obner Basis},
H.Q. Tan and X. Dong, {\it Optimization Techniques for Symbolic
Equation Solver in Engineering Applications},
Q-S. Tao, {\it Symbolic and Algebraic Manipulation for Formulae of
Interpolation and Quadrature},
F. Ulmer and J. Calmet, {\it On Liouvillian Solutions of Homogeneous
Linear Differential Equations},
P.S. Wang, {\it Parallel Univariate Polynomial Factorization on
Shared-Memory Multiprocessors},
S. Yamasaki, {\it Dataflow for Logic Program as Substitution
Manipulator},
K. Yokoyama, M. Noro and T. Takeshima, {\it On Determining the
Solvability of Polynomials},
K. Yokoyama, M. Noro and T. Takeshima, {\it On Factoring Multi-Variate
Polynomials over Algebraically Closed Fields}.}
 
{\small
Die Conference Proceedings sind bei Addison-Wesley erschienen.
\hfill J.~Calmet}
 
\item{\bf $2^{nd}$ International Workshop on Advances in Robot
Kinematics\\
with emphasis on Symbolic Computation}
 
Linz, Austria, 10.--12.9.1990.
 
{\small
Der Workshop besch\"aftigte sich mit aktuellen Themen der
Roboterkinematik im allgemeinen, und mit der Anwendung bzw.
Entwicklung von Methoden aus dem Bereich des Symbolic Computation in
diesem Gebiet.
\newpage
Mit seinen 55 Vortr\"agen (davon 5 eingeladen) und ca.
130 Teilnehmern bot der Workshop ein Forum des regen
Gedankenaustausches einerseits auf den Gebieten der Roboterkinematik
und des Symbolic Computation, als auch f\"ur einen ersten Einstieg in
das jeweils andere Gebiet.
 
Die Proceedings erscheinen im Sommer 1991 im Springer Verlag.}
 
{\footnotesize
Vortr\"age (in chronolgischer Reihenfolge):
 
B.~Roth, Stanford University, USA, {\it Robot
Kinematics - What we do and what we do not know} (Invited);
J.~Lenarcic, A.~Umek, S.~Savic,
{\it Considerations on the human arm workspace and manipulability};
A.~Hemami, Chang-Jin~Li, T.~S.~Sankar,
{\it An efficient computational method of the Jacobian for robot
manipulators};
F.~Di~Caprio, S.S.~Khanuja, M.M.~Stanisic, O.~Duta,
{\it A singularity free six degree of freedom manipulator};
L.~Nielsen, C.C.~de~Wit, P.~Hagander,
{\it Controllability issues in robots near singular configurations};
K.~Kazerounian, Z.~Wang,
{\it Application of symbolic computation in analytic determination of
the null space of human arm kinematics};
M.~Valasek,
{\it Differential kinematic analysis of general 6R robot manipulators
without the inverse of Jacobian matrix};
St.~Valencik, M.~Badida, M.~Majernik,
{\it Inventory designing of kinematic structures of grippers};
B.~Freeman, H.J.~Kang, {\it Evaluation of
loop constraints of general closed-chain linkages};
P.~Desbats, A.~Micaelli,
{\it Global determination of the minimal set of inertial parameters of
robots having open or closed-loop kinematic structures};
E.~Wehrli, P.~Coiffet,
{\em Modal formulations for the dynamics of flexible manipulators and
large space structures};
I.A.~Parkin,
{\it On determining parameters of
the twist-axis for the finite displacement of a body};
D.M.~Griffith, R.J.~Cipra,
{\it A multiple robot simulation and remote control environment
utilizing a computer graphics display};
G.F.~Schultheiss, M.~B\"oke, E.~Aust, H.-J.~Deeg,
{\it Experience with off-line programming and simulation systems for
an underwater handling system};
T.~Leinonen, A.~P\"a\"arni,
{\it Computer-aided animation in robot kinematics};
J.~Angeles ,McGill University, Canada,
{\it A scale-independent and frame-invariant index of kinematic
conditioning for serial manipulators} (Invited);
M.~Gaetano, INRIA, Sophia Antipolis, France,
{\it Computer algebra systems - new trends} (Invited);
C.~Bonivento, K.L.~Doty, C.~Mechiorri,
{\it Kinematic conditions for compliant robotic manipulation};
F.~Casolo, R.~Faglea, G.~Legnani,
{\it Direct and inverse dynamics of multi-chain systems: applications
of a generalized consistent approach};
G.~Gogu,
{\it Algorithmization of kinematic modeling of industrial robots};
H.~Lipkin, D.R.~Smith,
{\it A summary of the theory and applications of the conics method in
robot kinematics};
P.~Kovesi, {\it Imaginary kinematics};
R.~Hashimoto, Y.~Kuba, M.~Wada, H.~Endo,
{\it A distributed control method of kinematics and dynamics for cell
array structured manipulators};
M.~Zefran, T.~Bajd,
{\it Kinematic model of a robot hand and computation of grasp matrix
using screw-system};
A.~Moshaiov,
{\it On accuracy control aspects of kinematically redundant robots};
Z.R.~Novakovic, B.~Siciliano,
{\it A new second-order inverse kinematics solution for redundant
manipulators};
J.W.~Burdick, G.S.~Chirikjian,
{\it An obstacle avoidance algorithm for hyper-redundant manipulators.}
N.~Aspragathos,
{\it Kinematics control of planar redundant manipulators and symbolic
generation of their inverse kinematics solutions};
T.~Ropponen, Y.~Nakamura,
{\it Performance analysis of kinematic and actuation redundance in a
closed link manipulator};
T.~Tsuji, T.~Takahashi, K.~Ito,
{\it Multi-point compliance control for redundant manipulators};
P.~Dietmaier,
{\it Displacement analysis of the homogeneous orthogonal 7-link 7R
space mechanism};
P.~Duffy, M.~Griffis, M.~Swinson,
{\it The fallacy of modern hybrid control theory for the simultaneous
control of force and motion};
R.~Penne,
{\it Coordination of rays near a simple polygon: constraint
decomposition};
R.J.~Salerno, C.~Reinholtz, S.G.~Dhande,
{\it Kinematics of long-chain variable geometry truss manipulators};
R.V.~Mayorga, B.~Ressa, A.K.C.~Wong, N.~Milano,
{\it A procedure for the symbolic computation of a dexterity measure
for robot manipulators};
Th.~Tran, A.~Griaud,
{\it Kinematic modeling of tasks under constraints. Application
to fine motion and calibration};
J.M.~McCarthy (University of California at Irvine, USA),
{\it Motion optimization for cooperating robot systems} (Invited);
B.~Mishra (New York University, USA),
{\it Dexterous manipulation: a geometric approach} (Invited);
D.~Halperin,
{\it Automatic kinematic modeling of robot manipulators and symbolic
generation of their inverse kinematic solutions};
B.~Walden,
{\it Using a fast signal processor to solve the inverse kinematic
problem};
P.~Kovacs,
{\it Minimum degree solutions for the inverse kinematics problem by
application of the  Buchberger algorithm};
W.~Khalil, F.~Bennis:
{\it Automatics calculation of the inverse geometric model of robots};
S.~Sasaki, Y.~Shinohara,
{\it Joint solutions derived via optimization technique under formal
separation of joint variables};
H.~Rieseler, H.~Schrake, F.M.~Wahl,
{\it Symbolic computation of closed form solutions with prototype
equations};
V.~Milenkovic, V.J.~Milenkovic, P.H.~Milenkovic,
{\it Inverse kinematics of not fully serial robot linkages with
nonsingular wrists};
C.~Innocenti, V.~Parenti-Castelli,
{\it A new kinematic model for the closure equations of the
generalized stewart platform mechanism};
J.-P.~Merlet,
{\it Symbolic computation for the determination of the minimal direct
kinematics polynomial and the singular configurations of parallel
manipulators};
A.~Rovetta, M.S.~Cai, Xia~Wen,
{\it Mechanical error analysis for parallel manipulators};
Jun~Ho~Oh, D.H.~Kim, K.H.~Kuk,
{\it Identification of robot kinematic parameters for the nearly
parallel joints};
F.~Pierrot, E.~Dombre,
{\it Parallel structures for robot wrists};
M.J.~Harris, D.~McCloy,
{\it The kinematics of a parallel-linkage robot};
V.~Hayward, R.~Kurz,
{\it Modeling of a parallel wrist mechanism with actuator redundancy};
N.~Boschian,
{\it Adaptive grid for autonomous robot environment modeling};
C.L.~Boddy,
{\it Implementation of a real-time trajectory planner incorporating
end-effector collision avoidance for a manipulator arm};
G.~Oriolo, C.~de~Medio,
{\it Robot obstacle avoidance using vortex fields};
S.~Flac, P.~Cafuta, K.~Jezernik,
{\it Dynamic programming in robot path planning}.
\hspace*{\fill} Frau~Dr.~S.~Stifter}
 
\newpage
\item {\bf CAHS'90,
2.~Herbstschule Computer-Algebra und ihre Anwendungen}
 
Bonn, 24.--28.9.1990.
 
{\small
\noindent
Dies war die zweite Herbstschule in Computer-Algebra, die gemeinsam
von der DIA und der GMD veranstaltet wird.  Den Teilnehmern wurden die
CA-Systeme REDUCE, Derive, MAPLE, Mathematica, Macsyma und Scratchpad
vorgestellt, hinzu kamen eine Einf\"uhrung in das Programmieren mit
RLISP, Vortr\"age "uber Software Entwicklung f\"ur CA, Datenstrukturen
in der CA und algorithmische Probleme der CA.  Im sehr umfangreichen
praktischen Teil der Herbstschule war ein Kennenlernen und Arbeiten
mit allen vorgestellten CA-Systemen m\"oglich.  Die Teilnehmer der
CAHS waren Mathematiker, Physiker und Ingenieure aus Forschung und
Industrie.  \hfill B.~Hornef}
\end{enumerate}
 
{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Neues \"uber Systeme und Hardware\vspace{1mm}}\hrule}
 
\vspace*{2mm}
 
\centerline{\large\bf KANT}
 
\newcommand{\kant}{{\bf KANT }}
\hyphenation{uni-mo-du-lare}
\hyphenation{ent-wickelt}
\hyphenation{Erfolg-reiche}
 
\noindent
An der Heinrich-Heine-Universit"at D"usseldorf wird seit einigen
Jahren das Programmpaket \kant {\em Komputational Algebraic Number
Theory} entwickelt. Es ist  "uberwiegend spezialisiert auf
Zahlengeometrie und Rechnungen in algebraischen Zahlk"orpern.\kant
ist das weltweit einzige Softwaretool, mit dem man u.a.
Einheitensysteme und Klassengruppen algebraischer Zahlk "orper von (im
Prinzip) beliebigem Grade bestimmen kann. Erfolgreiche Rechnungen
wurden bis zum K\"orpergrad 20 durchgef\"uhrt. Da \kant in
Standard-Fortran entwickelt wurde, ist es praktisch ohne Aufwand
portierbar.
 
\noindent
Anl\"a"slich eines DMV-Seminars in D\"usseldorf (5.-12.8.1990) erhielt
\kant eine ``Shell'' zum Betrieb unter UNIX und anderen
Betriebssystemen.  Die men\"ugesteuerte Benutzeroberfl\"ache
erleichtert die Anwendung der Hauptprogramme von \kant und den
Datenaustausch zwischen den einzelnen Hauptprogrammen erheblich. Somit
k\"onnen die Strukturberechnungen einfach und ohne Kenntnis der
\kant-Architektur durchgef"uhrt werden.
 
\noindent
Neben der Effizienzsteigerung der bereits implementierten Algorithmen
und der Entwicklung neuer Algorithmen in der algebraischen
Zahlentheorie stehen Bestrebungen im Vordergrund, in Zahlk\"orpern
h\"oheren Grades zu rechnen.  Beispielhaft daf"ur sind Studien "uber
72-dimensionale gerade unimodulare Gitter, die aus speziellen
algebraischen Zahlk"orpern gleichen Grades gewonnen werden.
 
\noindent
Zur Zeit werden gro"se Tafelwerke mit \kant berechnet.
Stellvertretend nennen wir die Berechnung aller nichtisomorphen
Zahlk"orper (und ihrer Invarianten) mit einer Diskriminante unterhalb
einer gegebenen Schranke. An der Einrichtung einer Datenbank f\"ur
Zahlk\"orperdaten wird gearbeitet.
 
\noindent
Algorithmen zur L"osung von Thue-Gleichungen unter Verwendung von
\kant wurden in Leiden w"ahrend einer Fachtagung "uber diophantische
Approximation erfolgreich demonstriert.
 
\vspace*{0.3cm}
 
\noindent
\begin{tabular}{ll}
Kontaktadresse:& \kant Group, Prof.~Dr.~M.E.~Pohst\\
&Mathematisches Institut\\
&Heinrich--Heine--Universit\"at\\
&Universit\"atsstr. 1\\
&4000 D\"usseldorf 1\\
&E-Mail: pohst@dd0rud81.bitnet
\end{tabular}
{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Publikationen "uber Computer-Algebra
\vspace{1mm}}\hrule}
\begin{itemize}
\item
Evelyne Tournier, {\em Computer Algebra and Differential Equations},
Academic Press (GB), 1989, 220 Seiten.
 
\item
W.~C.~Bauldry, J.~R.~Fiedler, {\em Calculus Laboratories with MAPLE,
A Tool not an Oracle}, Brooks/Cole, Symbolic Computation Series.
 
\item
J. Della Dora, J. Fitch, eds.: {\it Computer Algebra and Parallelism},
Academic Press, ISBN 0-12-209042-X.
 
\item
Conference Proceedings ISSAC'90, Tokyo, Addison-Wesley,
ISBN 0-202-54892-5.
 
\item
Im {\it Journal of Symbolic Computation} ist als Nummer 5 und 6 des
Bandes 9 ein Special Issue {\it Computational group theory, part 1}
erschienen, in dem sieben Arbeiten zur algorithmischen
Darstellungstheorie und sieben Arbeiten zu Algorithmen f\"ur
aufl\"osbare und nilpotente Gruppen zusammengefa"st sind.  Seit dem
Proceedings-Band des 1981 in Durham veranstalteten LMS-Symposiums
"uber Computational Group Theory (vgl.  Computer Algebra Rundbrief Nr.
2 Seite 7) ist dies die wichtigste Zusammenfassung von Arbeiten zu
diesem Gebiet.  F\"ur das n\"achste Jahr ist ein weiteres solches
Special Issue geplant, in dem Algorithmen f\"ur endlich pr\"asentierte
Gruppen und Permutationsgruppen zusammengefa"st werden sollen.  So
sehr das Erscheinen solcher Sammlungen im Prinzip zu begr\"u"sen ist,
ist der Nebeneffekt, da"s dadurch Arbeiten bis "uber vier Jahre auf
ihre Publikation warten mu"sten, zu bedauern. \hfill J.~Neub\"user
 
\item
{\bf ``Applicable Algebra in Engineering, Communication and
Computing''} ist eine neue Zeitschrift, die vom Springer-Verlag
publiziert wird.  Der Titel und der Entwurf der Titelseite deuten an,
da\ss\ sie Arbeiten ver\"offentlichen wird, die sowohl f\"ur
Informatiker als auch f\"ur Mathematiker interessant sind. Daher ist
sie die richtige Fachzeitschrift zur Ver\"offentlichung der Arbeiten
aus dem Bereich Computer Algebra. Um sie besser kennenzulernen, kann
man Probeexemplare beim Springer-Verlag in Heidelberg anfordern. Die
erste Ausgabe erschien im Juli 1990. Die zweite erfolgt im Dezember
1990. Danach gibt es vier Ausgaben j\"ahrlich. Die Herausgeber werden
versuchen, einerseits die Verz\"ogerungen bei den Ver\"offentlichungen
von Artikeln zu vermeiden und andererseits einen hohen
wissenschaftlichen Standard zu erreichen.  Weitere Informationen
erteilt der ``Managing Editor'':  Prof. Dr. J. Calmet, Institut f\"ur
Algorithmen und Kognitive Systeme, Am Fasanengarten 5, 7500 Karlsruhe
1. \hfill J.~Calmet
\end{itemize}
{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Lehrveranstaltungen "uber Computer-Algebra im WS 1990/91
\vspace{1mm}}\hrule}
\vspace*{2mm}
 
\noindent
{\bf RWTH Aachen}\\
{\em Gruppentheorie und Algorithmen I}, J. Neub"user, V4+"U2.\\
{\em Einf"uhrungspraktikum in MAPLE}, Neub"user, Klein, Dietrich,
Blockpraktikum.\\
 
\noindent
{\bf Heinrich--Heine--Universit"at D\"usseldorf}\\
{\em Konstruktive Zahlentheorie I}, M.E. Pohst, V4+"U2.\\
Oberseminar {\em Effiziente Algorithmen in der algebraischen
Zahlentheorie}, M.E. Pohst, S2.\\
 
\noindent
{\bf Universit"at Heidelberg}\\
Seminar {\em Konstruktive Galoissche Theorie},
B.H.~Matzat, 2-st\"undig, dazu ein Computer--Praktikum.\\
 
\noindent
{\bf Universit"at Karlsruhe, Fakult\"at f\"ur Informatik}\\
{\em Fouriertransformation, Wavelets und Fraktale},
Beth, Creutzburg, Holschneider, 2-st\"undig.\\
{\em Praktikum "uber Computer--Algebra},
J.~Calmet, F.~Ulmer, 2-st\"undig.\\
 
\noindent
{\bf Universit"at Leipzig}\\
{\em Software--Entwicklung in der symbolischen Version von REDUCE},
F.~Schwarz, Ferienkurs, 11.--22.2.1991.\\
 
\noindent
{\bf Universit"at Passau}\\
{\em Algorithmische Differentialalgebra},
V.~Weispfenning, 3-st"undig. \\
{\em Nicht-kommutative Noethersche Ringe},
V.~Weispfenning, 3-st"undig. \\
{\em Oberseminar Computer-Algebra},
V.~Weispfenning, 3-st"undig. \\
{\em Einf\"uhrung in Computer-Algebra Systeme},
H.~Kredel, V.~Weispfenning, 2-st"undig.\\
 
\noindent
{\bf Universit"at des Saarlandes, Saarbr\"ucken}\\
{\em Computer-Algebra}, A.~Peth\"o, 4-st"undig.
{\vspace*{5mm}\Large\bf \hrule\vspace{1mm}
\centerline{Kurze Mitteilungen}\vspace{1mm}\hrule}
\vspace*{2mm}
\noindent
Dem Rundbrief ist die neueste Liste der verf\"ugbaren Versionen
von Maple beigef\"ugt. Es wird besonders auf die M\"oglichkeit
hingewiesen, ''site licenses`` zu erwerben, sowie "uber eine
Campus-Lizenz zu verhandeln, die dann eine unbeschr\"ankte Anzahl
von Computern umfa"st. ***
\end{document}
