\documentstyle[11pt,german]{article}
%\input{latlib}
\textwidth 175mm\textheight 252mm\columnwidth\textwidth
\hoffset-25mm\voffset-20mm
\newcommand\tm{$^{\rm tm}$}
\begin{document}
\begin{Huge}
\noindent
\framebox[175mm]{\bf Computer-Algebra Rundbrief}
\end{Huge}
 
\noindent
{\it Nummer 1  \hfill Fachgruppe 2.2.1 \hfill 15. Dezember 1987}
\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}
 
\vspace*{5mm}
 
{\em Liebe Kolleginnen und Kollegen,
 
am 7. November wurde die Fachgruppe 2.2.1 {\it Computer-Algebra} der
GI gegr\"undet.  Die Aufgabe dieser Fachgruppe wurde wie folgt
definiert:
 
Computer-Algebra befa\ss t sich mit Entwurf, Analyse und
Implementierung von Algorithmen zum algebraischen und symbolischen
Rechnen. Die Fachgruppe sieht es als ihre Aufgabe an, auf diesem
Gebiet die Forschung und Entwicklung zu f\"ordern sowie
Informationen insbesondere \"uber Softwaresysteme zu verbreiten.
 
Die Fachgruppe wird gemeinsam von DMV, GAMM und GI getragen;
die Federf\"uhrung der Fachgruppe liegt bei der GI. Ihre Leitung
besteht zun\"achst aus den Gr\"undungsmitgliedern:
Prof.~Th.~Beth, U. Karlsruhe,
Prof.~B.~Buchberger, U. Linz,
Prof.~W.~Degen, U. Stuttgart (Vertreter der GAMM),
Prof.~B.~Fuchssteiner, U. Paderborn,
Dr.~R.~Jan\ss en, IBM Wissenschaftszentrum Heidelberg,
Prof.~R.~Loos, U. T\"ubingen, Prof.~B.~H.~Matzat, TU Berlin,
Prof.~J.~Neub\"user, RWTH Aachen
(Vertreter der DMV), Dr.~F.~Schwarz, GMD St.~Augustin (Vertreter
der GI), Prof.~H.~Stoyan, U. Konstanz,
Prof.~V.~Weispfennig, U. Passau,
Prof.~H.~G.~Zimmer, U. Saarbr\"ucken.
Als Sprecher wurde F.~Schwarz gew\"ahlt, als Stellvertreter
J.~Neub\"user.
 
Die Mitgliedschaft in der Fachgruppe steht Mitgliedern wie
Nichtmitgliedern der GI offen. Sie ist bis auf weiteres nicht mit
irgendwelchen Kosten verbunden.  Wer der FG beitreten m\"ochte, wird
gebeten, dies in einem formlosen Schreiben der Gesch\"aftsstelle der
GI, Godesberger Allee 99, 5300 Bonn 1, mitzuteilen.
 
Es wurde die Herausgabe eines Computer-Algebra Rundbriefs
beschlossen. Dies ist die erste Ausgabe dieses Rundbriefs, der in
unregelm\"a\ss igen Abst\"anden etwa 2-3 mal im Jahr erscheinen soll
und an alle Mitglieder der FG 2.2.1 kostenlos verschickt wird.
Folgende Rubriken sollen - mit
unterschiedlichem Umfang - in dem Rundbrief zu finden sein:
\vspace{-1.5mm}
\begin{itemize}
\item Ank\"undigungen und Berichte von Konferenzen
\item Berichte \"uber Forschung und Entwicklung
\item Neues \"uber Systeme und Hardware
\item Hinweise auf Publikationen und Lehrveranstaltungen
\"uber Computer-Algebra
\item Probleme und L\"osungen
\item Offene Stellen, Stipendien und Austauschprogramme
\end{itemize}
\vspace{-1.5mm}
Alle Leser werden gebeten, Neuigkeiten aus dem Bereich der
Computer-Algebra, die von allgemeinem Interesse sind, der Redaktion
mitzuteilen. Insbesondere sollten Vorlesungsank\"undigungen f\"ur
das kommende Sommersemester umgehend mit Titel und einer kurzen
Beschreibung des Inhalts an die Redaktion geschickt werden, damit
sie in der n\"achsten Ausgabe zusammen ver\"offentlicht werden
k\"onnen.  Anregungen f\"ur weitere Themen sind nat\"urlich immer
willkommen.
 
Die gro\ss e Resonanz auf die Umfrage der GI, der DMV, der GAMM und
der DPG vom Fr\"uhjahr dieses Jahres hat zur Gr\"undung dieser
Fachgruppe ermutigt. Wir beginnen deshalb diesen Rundbrief mit einer
kurzen Auswertung dieser Umfrage.
 
\hspace*{70mm} F.~Schwarz \hspace*{15mm} J.~Neub\"user}
 
\vspace*{1cm}
\begin{center}
{\Large\bf Auswertung der Umfrage vom April 1987}
\end{center}
 
\noindent
Zun\"achst sind hier die Antworten auf die verschiedenen Fragen
in der gleichen Reihenfolge wie im Fragebogen.
 
1. {\em Sind Sie an Computer-Algebra interessiert und m\"ochten
Sie weitere Informationen erhalten?}
\begin{center}
R\"ucklauf ca. 360 ausgef\"ullte Fragebogen.
\end{center}
 
\vspace{2mm}
 
2. {\em Ich benutze die folgenden CA Pakete bzw. symbolischen Systeme:}
 
\begin{center}
\begin{tabular}{lcp{4cm}lc}
 REDUCE & 118  && SAC-2/ALDES & 18 \\
$\mu$-Math & 68 && Cayley & 14 \\
 Macsyma & 52  && Scratchpad & 9 \\
 Maple & 34  && SMP  & 6 \\
\end{tabular}
\end{center}
 
Weitere Nennungen: RRL (6), Cosy (5), TRSPEC (4), Formac (3),
Comtes (3), CAS (3), OBJ (2), Mesa Verde (2), Symbal, Eureka,
Phaser, MEATAXE, Sogos, Matlab, Dynamik, Macauley, Celerity,
Neweul, GIP-L, MATMAN.
 
\vspace{2mm}
 
3. {\em Ich arbeite mit folgenden Rechnersystemen:}
 
\begin{center}
\begin{tabular}{lcp{4cm}lc}
 VAX & 93   && Sun & 15 \\
 IBM PC/AT/XT & 69  && Apple & 13 \\
 IBM Mainframe & 55  && Atari & 11 \\
 CDC & 36  && HP & 11 \\
 Siemens & 34 && Symbolics & 9 \\
 Cadmus & 18  && Unisys & 7 \\
\end{tabular}
\end{center}
 
Weitere Nennungen (5 oder weniger): Apollo, Masscomp, TR440, Cray,
Siemens PC, Explorer, Prime, Xerox, Olivetti, Univac, Tektronix,
NAS, Compaq, Perkin-Elmer, Honeywell-Bull, Commodore, RANAFACOM, PDP
11.
 
\vspace{2mm}
 
4. {\em Ich benutze Methoden der CA und symbolischen Manipulation
f\"ur Anwendungen des folgenden Typs:}
 
\begin{center}
\begin{tabular}{lc}
 Kombination mit Numerik & 8 \\
 Algebraische Gleichungen und algebraische Geometrie & 7 \\
 Erzeugung von Bew.-Gleichungen dyn. Systeme & 6 \\
 Roboterkinematik & 6 \\
 Kryptographie & 5 \\
 Logikprogrammierung & 5 \\
\end{tabular}
\end{center}
 
Weitere Nennungen (unter 5): Mechanik, Astrophysik, Theoretische
Chemie, Galoistheorie, geometrisches Beweisen, Theorem Proving,
Sicherheitsarithmetik, Fluid-und Thermodynamik, Kubaturformeln,
Boolsche Algebra, Diophantische Gleichungen, Invariantentheorie,
Funktionalgleichungen, Schulunterricht, Kodierungstheorie,
CAD, Optimierung, Finite Elemente, Hochenergiephysik,
wehrtechnische Probleme, Lie Algebren, Computergraphik,
Computational Geometry, Netztheorie, Relativistische Kinematik,
Sprachentwicklung, Compilerbau, Programmtransformation,
Differentialgeometrie, Modellierung von Halbleiterdevices,
Analyse von Warteschlangenmodellen, Katastrophentheorie,
K\"orper- und Ringtheorie.
 
\newpage
 
5. {\em Dabei interessieren mich Methoden aus den folgenden Bereichen:}
 
\begin{center}
\begin{tabular}{lc}
 Arithmetik f. Zahlen, Polynome, Potenzreihen & 219 \\
 Lineare Algebra & 162 \\
 Gruppentheorie & 92 \\
 Termersetzungs-, Deduktionssysteme & 112 \\
 Kombinatorik, Graphentheorie & 110 \\
 Differentiation, Integration, Differentialgleichungen & 180 \\
 Zahlentheorie & 84 \\
 Geometrie & 77 \\
 Mathematische Physik & 113 \\
\end{tabular}
\end{center}
 
{\em Dies Ergebnis zeigt die breite Anwendung von Methoden der
Computer-Algebra, die heute schon existiert. Selbst f\"ur die
meisten Experten d\"urften Anwendungen wie z.B. die Analyse von
Warteschlangenmodellen oder die Modellierung von Halbleiterdevices
neu sein. Die Verteilung der in 2. angegebenen CA Systeme zeigt, wie
wichtig die leichte Zug\"anglichkeit und die Implementierung auf
preiswerter Hardware ist. Allerdings hat sich gerade in diesem Punkt
allein in den letzten 6 Monaten so viel Neues ergeben ( siehe z.B.
die folgenden Mitteilungen \"uber CA Systeme ), da\ss\ diese Zahlen
sicher nicht mehr den neuesten Stand darstellen.}
 
\vspace{1cm}
{\Large\bf\hrule\vspace{1mm}
\centerline{Ank\"undigungen von Konferenzen}\vspace{1mm}\hrule}
 
\begin{enumerate}
\item {\bf Computational Group Theory}
 
Oberwolfach, 15.~5.-21.~5. 1988
 
{\footnotesize Leitung: J.~Neub\"user, Aachen, C.~Sims, Rutgers
 
 Teilnahme auf Einladung
 
 Kontaktadresse: Mathematisches Forschungsinstitut Oberwolfach,
 Gesch\"aftsstelle: Albertstra\ss e 24, D-7800 Freiburg}
 
\item
{\bf First International Workshop on Computer Algebra and
Differential Equations}
 
 Grenoble: 24.~5.-27.~5.1988
 
{\footnotesize Information erh\"altlich von Jean Della Dora oder
Evelyne Tournier, TIM3-IMAG, BP 38402, St.~Martin d'Heres cedex,
Frankreich}
 
\item {\bf Konstruktive Zahlentheorie}
 
Oberwolfach, 22.~5.-28.~5. 1988
 
{\footnotesize Leitung: H.~W.~Lenstra, jr., Berkeley,
M.~Pohst, D\"usseldorf, H.~G.~Zimmer, Saarbr\"ucken
 
 Teilnahme auf Einladung
 
 Kontaktadresse: Mathematisches Forschungsinstitut Oberwolfach,
 Gesch\"aftsstelle: Albertstra\ss e 24, D-7800 Freiburg}
 
\item {\bf First Joint International Conference of
ISSAC ( International Symposium on Symbolic and Algebraic
Computation) and AAECC ( International Conference on Applied
Algebra, Algebraic Algorithms and Error Correcting Codes)}
 
Rom 4.~7.-8.~7. 1988
 
{\footnotesize Conference Chairman: A.~ Miola
 
Kontaktadresse:
Dipartimento di Informatica e Sistemistica, Universit\`{a} di Roma
{\em La Sapienza}, Via Buonarroti 12, 00185 Roma, Italien}
 
\item
Sektion {\bf Computational Algebra} der Jahrestagung der DMV
 
Regensburg 19.~9.-23.~9 1988
 
{\footnotesize Tagungsleitung: R.~Mennicken, Regensburg
 
Sektionsleitung: J.~Neub\"user, Aachen
 
Kontaktadresse: Mathematisches Institut, Universit\"at Regensburg}
 
\item DMV Seminar {\bf Computer-Algebra}
 
Schlo\ss\ Mickeln, D\"usseldorf, 25.~9.-2.~10 1988
 
{\footnotesize Referenten: B.~Buchberger, Linz, J.~Davenport, Bath
 
Organisation: G.~Fischer, D\"usseldorf
 
Kontaktadresse: Gesch\"aftsstelle der DMV, Albertstra\ss e 24,
D-7800 Freiburg}
 
\item
{\bf Applicable Algebra},
 
Oberwolfach, 1.~1.-7.~1.1989
 
{\footnotesize Leitung: Th.~Beth, Karlsruhe, B.~Buchberger, Linz,
H.~L\"uneburg, Kaiserslautern
 
 Teilnahme auf Einladung
 
 Kontaktadresse: Mathematisches Forschungsinstitut Oberwolfach,
 Gesch\"aftsstelle: Albertstra\ss e 24, D-7800 Freiburg}
 
 
\end{enumerate}
 
\vspace*{8mm}
 
{\Large\bf \hrule\vspace{1mm}
\centerline{Berichte von Konferenzen}\vspace{1mm}\hrule}
 
\vspace*{8mm}
 
{\bf Computer Algebraic Integration \& Solution of
Differential Equations}
 
Yorktown Heights, New York 19.~11.-20.~11 1987
 
Automatische Integration und L\"osung von Differentialgleichungen
hat sich als eigenes Teilgebiet der Computer-Algebra etabliert.  Es
ist somit nur konsequent, f\"ur dieses Thema spezielle Tagungen zu
organisieren wie die in Yorktown Heights.  Es bleibt abzuwarten, ob
sich daraus eine eigene Reihe entwickelt. Vortr\"age:
 
{\footnotesize
D.~Armbruster, Cornell, {\em Averaging for Nonautonomous ODE's and
Bifurcations in PDE's},
R.~H.~Rand, Cornell, {\em Perturbation and Bifurcation Calculations
in MACSYMA}, C.~Andersen, William \& Mary, {\em Investigating
a Hybrid Perturbation Galerkin Solution Technique},
D.~Duval, Grenoble, {\em Local Solutions of ODE's and Algebraic
Numbers},
K.~Myer and D.~Schmidt, Cincinatti, {\em The Motion of the Moon},
P.~D.~Gerber, IBM Yorktown Heights, {\em Symbolic Solution of
Quadratic Ordinary Differential Equations},
N.~Kamran, IAS Princeton, {\em ODE's, Cartan's Method of Equivalence,
and Rational Curves in Complex Surfaces},
B.~Trager, IBM Yorktown Heights, {\em Symbolic Integration of
Elementary Functions: History and Perspective},
M.~Bronstein, IBM Yorktown Heights, {\em Symbolic Integration:
Algebraic and Mixed Functions Cases},
D.V. and G.V.~Chudnovsky, Columbia, {\em Computer Experiments
in Geometry and Arithmetic of Differentiel Equations},
F.~Schwarz, GMD St.~Augustin, {\em A Factorization Algorithm for
Linear Ordinary Differential Equations},
M.~F.~Singer, North Carolina State, {\em Closed Form Solution
of Linear Differential Equations},
M.~Musette, Brussels, {\em Use of MACSYMA to Check Existence of
Multisoliton Solutions of Evolution Equations},
R.~Zippel, Symbolics, {\em Qualitative Approaches to Ordinary
Differential Equations}.}
 
Proceedings sollen bei Springer erscheinen.\hfill {\em F.~Schwarz}
 
\newpage
 
{\Large\bf \hrule\vspace{1mm}
\centerline{Neues \"uber Systeme und Hardware\vspace{1mm}}\hrule}
 
\begin{center}
{\bf Symbolisches Rechnen auf Microcomputern}
\end{center}
 
\centerline{Bernhard Kutzler}
{\footnotesize
\centerline{Institut f\"ur Mathematik, Johannes Kepler Universit\"at}
\centerline{ A-4040 Linz}}
 
Die folgenden Softwareprodukte laufen auf allen MS-DOS Rechnern mit
IBM PC kompatiblem Diskettenlaufwerk und k\"onnen von der Firma
CIFEG GmbH, Kalkgruberweg 26, A-4040 Linz bezogen werden. Die
Fachberatung erfolgt in Zusammenarbeit mit dem {\em Research Institute
for Symbolic Computation} (RISC-LINZ) an der Universit\"at Linz
(Dipl.-Ing. B. Kutzler, Tel.  +732/2468-9227).
 
\begin{itemize}
\item  {\bf muMATH\tm-83} zur Durchf\"uhrung algebraischer und
analytischer Rechnungen wie z.B. symbolisches Integrieren und
L\"osen von (Differential)gleichungen, Trigonometrie,
Matrizenrechnung {\it (US\$ 300)}.
\item {\bf CALC-87} muMATH Erweiterungen, z.B. DOS Interface,
''2D'' Ausgabe, Graphik. {\it (US\$ 35)}
\item {\bf muLISP\tm-87,} eine der effizientesten Lisp
Programmierumgebungen auf Micros mit \"uber 450 CommonLisp
Funktionen und Macros, mittel- und hochaufl\"osender Graphik, sowie
''multi-window'' Editier- und Debugsystem.  {\it (US\$ 300,
inklusive Compiler US\$ 400)}
\end{itemize}
{\footnotesize Preise g\"ultig Dez. 1987. Preis\"anderungen
vorbehalten. muMATH, muLISP sind Warenzeichen von Soft Warehouse,
Inc.}
 
\vspace{1cm}
 
\def\sp{{\bf SCRATCHPAD II}\ }
\hyphenation{Per-for-mance}
\hyphenation{Work-sta-tion}
 
\centerline{\sp}
\bigskip
\centerline {Johannes Grabmeier }
{\footnotesize
\centerline {Wissenschaftliches Zentrum der IBM}
\centerline{Tiergartenstr. 15, D--6900 Heidelberg}
\centerline{Tel. 06221-404-329, EARN: GRABM at DHDIBM }}
 
\bigskip
 
 
\sp ist ein Computeralgebrasystem der dritten Generation, die sich
insbesondere als {\sl general purpose abstract data type programming
language} mit {\sl polymorpher} Programmierung von Systemen der
zweiten Generation wie etwa MACSYMA, REDUCE und  SCRATCHPAD I
unterscheidet. \sp wird zur Zeit von der Computeralgebragruppe im
IBM Forschungslabor in Yorktown Heights entwickelt.  \sp basiert auf
LISP  und ist in {\sl categories} (im mathematischen Sinne), {\sl
domains} und {\sl packages} aufgeteilt.  Domainkonstruktoren
gestatten  es dem Benutzer, beliebig viele verschiedene Domains
aufzubauen, auch kann er selbst solche Domainkonstruktoren
implementieren. Zum Beispiel kann man, ausgehend vom Basisdomain
{\sl integer}, Matrizen konstruieren, deren Eintr\"age  Polynome mit
ganzzahligen Koeffizienten sind.  Polymorphe Programmierung bedeutet
nun, da{\ss} sofort die \"ubliche Arithmetik zur Verf\"ugung  steht,
da etwa  die Prozedur zur Multiplikation von zwei Matrizen nur die
Eigenschaft benutzt, da{\ss} die Matrixeintr\"age  Elemente eines
Domains sind, der zur Kategorie der Ringe geh\"ort.  Darauf
aufbauend w\"are etwa Adjunktion von $i$ ({\sl Gaussian}) sowie
Verwendung dieser Elemente als Koeffizienten von Polynomen in
mehreren Unbestimmten m\"oglich.
 
Als weitere Datentypen seien beispielhaft  genannt:  Listen,
Speicher (FIFO, LIFO), Segmente, Mengen, Kardinalzahlen, ganze
Zahlen beliebiger L\"ange, rationale Zahlen, periodische
Dezimalbr\"uche, Kettenbr\"uche, Gleitkommazahlen mit beliebiger
Genauigkeit, komplexe Zahlen, Quaternionen, Polynome in einer und
mehreren Unbestimmten in verschiedenen Darstellungen, endliche
K\"orper, einfache algebraische K\"orpererweiterungen,
Quotientenk\"orper, Elementarfunktionen, trigonometrische
Funktionen, Folgen, Potenzreihen und  Differentialoperatoren.
 
Eine gro{\ss}e Anzahl von Funktionspaketen ({\sl packages})
erg\"anzt als Mathematikbibliothek diese Datentypen.  Beispiele sind
Faktorisierung von ganzen Zahlen und von Polynomen, Differentiation
und Integration bestimmter Funktionen, L\"osen von linearen (Gauss)
und polynomialen Gleichungen (Buchbergeralgorithmus,
Gr\"obnerbasen), L\"osungen von Gleichungen h\"ochstens vierten
Grades durch Radikale, Approximation von Nullstellen, Eigenwerte und
P\'olyasche Abz\"ahltheorie.
 
Das System stellt sowohl einen Interpretierer als auch einen
Kompilierer zur Verf\"ugung. W\"ahrend  im ersten Fall der
Interpretierer in der Lage ist, Datentypen anzupassen, passende
Funktionen auszuw\"ahlen und \"Uberg\"ange  selbst  durchzuf\"uhren,
werden vom Kompilierer sogenannte {\sl strongly typed} Programme
erwartet.  Ein einmal kompiliertes Programm steht dann dem Benutzer
im Interpretiermodus in gleicher Weise wie eine Systemkomponente zur
Verf\"ugung. Schnittstellen zu FORTRAN, SCRIPT und \TeX\ sind
eingebaut.
 
Das IBM Forschungslabor in Yorktown Heights stellt \sp einer
beschr\"ankten Anzahl von Universit\"aten mit IBM Gro{\ss}rechnern
unter dem Betriebssystem VM/SP zur Verf\"ugung. Die
Minimalkonfiguration daf\"ur ist eine 4381 (oder ein IBM
Gro{\ss}rechner vergleichbarer Prozessorgeschwindigkeit) mit 16
Megabyte Hauptspeicher.  Um eine gute Performance zu erzielen sollte
\sp mit 3 Megabyte DCSS (shared segment) installiert werden. Jeder
Benutzer sollte eine virtuelle Maschine von mindestens 8 Megabyte
virtuellem Speicher zur Verf\"ugung haben.  Wenn Sie sich f\"ur eine
Installation von \sp auf Ihrem Rechner interessieren, wenden Sie
sich bitte mit einer Beschreibung Ihrer geplanten Anwendungen an:
Richard D. Jenks,
Computer Algebra Group,
IBM Research Division,
T. J. Watson Research Center,
P. O. Box 218,
USA--Yorktown Heights, NY 10598.
 
Die Computer Algebra Gruppe von Yorktown Heights  wird dann
versuchen,  eine gemeinsame  Studie zu initiieren.
Eine einmalige Geb\"uhr f\"ur die Bereitstellung der B\"ander von
\$ 1000 wird erhoben.
 
Das System wird au{\ss}erdem in K\"urze  in begrenztem Umfang auf
einer IBM~RT~PC Workstation unter AIX als Betatest zur Verf\"ugung
stehen. Um hier eine gute Performance zu erzielen werden mindestens
8 Megabyte Hauptspeicher und 140 Megabyte Plattenspeicher empfohlen.
Diese Betatestversionen sind nicht auf Universit\"aten beschr\"ankt.
Sollten Sie Interesse an einer solchen Testversion haben, wenden Sie
sich  bitte an:
Vicky Markstein,
IBM Corporation,
11400 Burnet Road, Dept D46, Bldg 803,
USA--Austin TX 78759.
 
Bitte senden Sie in diesem Fall eine Kopie Ihres Schreibens auch an
Richard Jenks an die obige Adresse. M\"oglicherweise wird auch
f\"ur das RT PC System eine einmalige  Softwaregeb\"uhr erhoben.
 
F\"ur weitere Ausk\"unfte und Informationen steht der Autor gerne
zur Verf\"ugung.
 
\vspace{1cm}
 
\centerline{\bf SIMATH}
\vspace{3mm}
\centerline{Prof.~Dr.~H.~G.~Zimmer, SIMATH Gruppe}
 
{\footnotesize
\centerline{Fachbereich 9 Mathematik, Universit\"at des Saarlandes}
 
\centerline{D-6600 Saarbr\"ucken}}
 
SIMATH, d.h. SInix MATHematik, ist ein Computer-Algebra-System mit
Schwerpunkt {\em Algebraische Zahlentheorie}.  Es wird an der
Universit\"at des Saarlandes auf dem Siemens PC MX2 entwickelt.
SIMATH  besteht aus folgenden Algorithmenpaketen :
\begin{itemize}
\item Listensystem ( mit automatischem garbage collector )
\item Arithmetiksystem ( Z, Q, Z/mZ, Fq, Globale K\"orper, d.h.
algebraische Zahlk\"orper und algebraische
Funktionenk\"orper; Arithmetik heisst hier
multiple precision Arithmetik. )
\item Polynomsystem ( Polynome in mehreren Ver\"anderlichen, sowohl
in der sparse als auch in der dense Darstellung \"uber den obigen
Strukturen. )
\item Matrizensystem ( Matrizen \"uber obigen Strukturen auch \"uber
Polynomringen. )
\item Arithmetische Anwendungen ( Ganzheitsbasen,
Bewertungsfortsetzung, Zerlegungsgesetz, Fundamentaleinheiten,
Klassengruppen in globalen K\"orpern, insbesondere algebraischen
Funktionenk\"orpern; Minimalmodelle, H\"ohenberechnungen, Rang- und
Basisbestimmung f\"ur elliptische Kurven. )
\end{itemize}
 
SIMATH wird erg\"anzt durch das Dialogsystem SIMCALC.  SIMCALC stellt
die Funktionen von SIMATH im Dialog zur Verf\"ugung.  SIMCALC ist mit
weitreichendem Fehlerchecking und ausf\"uhrlichen help features
ausgestattet. Der Anwender ben\"otigt somit keine
Programmiererfahrung.
 
SIMATH ist aufgrund der internen Datenstruktur, und der Hierachie
innerhalb des Systems, eher mit Reduce oder SAC-2, weniger jedoch
mit Maple vergleichbar.
 
SIMATH unterscheidet sich wesentlich von den genannten Systemen durch
\begin{itemize}
\item das Hauptanwendungsgebiet {\em Algebraische Zahlentheorie}
\item die Konzeption des Systems,
\item die Sprache.
\end{itemize}
 
SIMATH wurde n\"amlich in C geschrieben. Somit k\"onnen
SIMATH-Funktionen ohne Schnittstellenprobleme innerhalb bekannter
Programmiersprachen wie etwa C benutzt werden. Es entf\"allt also bei
der Anwendung von SIMATH das sonst erforderliche Erlernen einer
neuen Programmiersprache.  SIMATH ist als offenes System konzipiert
mit Offenlegung der Datenstrukturen und der Quelltexte.  Das
erm\"oglicht die Anpassung vorhandener, allgemein gehaltener
Algorithmen an die speziellen Probleme des Anwenders und die
Hinzuf\"ugung eigener Algorithmen des Benutzers an allen Stellen
innerhalb des Systems.  Informationen \"uber SIMATH und SIMCALC
k\"onnen \"uber die SIMATH-Gruppe erhalten werden. Die Version 2.0
von SIMATH wird ab 01.02.1988 erh\"altlich sein.
 
\vspace{1cm}
 
{\Large\bf \hrule\vspace{1mm}
\centerline{Offene Stellen}\vspace{1mm} \hrule}
 
\vspace{10mm}
 
\begin{center}
 
\framebox[172mm]{\parbox{170mm}{
\begin{center}
{\large Universit\"at T\"ubingen}
 
Am Wilhelm Schickard-Institut f\"ur Informatik ist die Stelle einer/s
 
{\bf wissenschaftlichen Mitarbeiterin/s}
 
(Bat IIa)
 
\end{center}
 
sofort zu besetzen. Der/Die Bewerber(in) sollte ein Diplom in
Informatik und die Absicht haben zu promovieren, vorzugsweise im
Bereich des symbolischen und algebraischen Rechnens.
 
Bewerbungen mit den \"ublichen Unterlagen an den
Direktor des Wilhelm-Schickard Instituts f\"ur Informatik
Prof.~Dr.~R.~Loos, Auf der Morgenstelle 10/C2, 7400 T\"ubingen.}}
 
\end{center}
\end{document}
