Vorlesungszeiten und -räume:
Di. und Do. 8.15 - 9.30 Uhr, 46-260
Eintrag im Vorlesungsverzeichnis:
89-715
Computeralgebra
4 Std. Vorlesung
Di. und Do. 8.00 - 9.30 Uhr, 46-260
2 Std. Übung
n.V., s. Aushang
Beginn: 30.10.
Computeralgebra-Systeme wie Mathematica, Maple und MuPAD erfreuen
sich immer größerer Beliebtheit in Wissenschaft und Technik. Sie
werden eingesetzt, um mathematische Probleme symbolisch und exakt zu
lösen. Dazu benutzen sie effiziente Implementierungen algebraischer
Algorithmen. In dieser Vorlesung beschäftigen wir uns sowohl mit den
mathematischen Grundlagen, die hinter den Algorithmen stehen, als auch
mit Implementierungsaspekten. Insbesondere wird die Realisierung der
Arithmetik in algebraischen Bereichen vorgestellt. Wir beleuchten
ausgewählte Probleme in Gruppen, Körpern und Ringen. Hierbei stehen
auch Komplexität und Effizienz von Lösungen im Vordergrund.
Geddes/Czapor/Labahn: Algorithms for Computer Algebra, INF 235/132, L inf
694.
Davenport/Siret/Tournier: Computer Algebra, INF 235/116.
Buchberger et al. (Eds.): Computer Algebra, INF 235/095.
Mignotte: Mathematics for Computer Algebra, INF 235/126.
Mignotte/Stefanescu: Polynomials: An Algorithmic Approach, INF 246/057.
Winkler: Polynomial Algorithms in Computer Algebra, INF 235/132.
Zippel: Effective Polynomial Computation, INF 246/054.
Vordiplom.
Schein (Übungen, Kolloquium) für Teilnehmer mit Nebenfach Informatik.
Anwendungsveranstaltung des Lehrgebietes "Grundlagen der
Programmierung" der theoretischen Informatik.
Buch zur Vorlesung: Die Vorlesung wird sich hauptsächlich an dem
Buch "Modern Computer Algebra" von Joachim von zur Gathen und Jürgen
Gerhard, erschienen 1999 bei Cambridge University Press, ISBN
0-521-64176-4, INF 235/167 und L inf 92, orientieren. Eine weitere
Quelle wird das Buch "Algorithms for Computer Algebra" von Geddes et
al., L inf 694, INF 235/132 und MAT Gedd, sein.
Vorlesungsordner: Die Folien zur Vorlesung finden sich im
Semesterapparat der Bereichsbibliothek Informatik.
Fragen. Wendet Euch bitte an Bernd Strieder, wenn ihr Fragen zu
den Übungen habt. Bernd könnt Ihr per Email erreichen
(strieder@informatik.uni-kl.de) bzw. in den Räumen der AG Madlener.
