Seminar "Aktuelle Themen der Computeralgebra"
(WS 2001/02, Universität Regensburg)

Nr. im Vorlesungsverzeichnis: 51141
Zeit und Ort: Mo, 14-16 Uhr, Raum M 101
Voraussetzungen: Grundkenntnisse in Computeralgebra
Literatur: M. Kreuzer und L. Robbiano, Computational Commutative Algebra 1, Springer 2000
Inhalt: Aktuelle Forschungsergebnisse der Computeralgebra, Diplomandenseminar
 

Vortragseinteilung

1. Minimalisierung der kritischen Paare bei der Berechnung von Gröbner-Basen (M. Kreuzer)
   1. Positive Graduierungen (29.10.)
   2. Abgeschnittene Gröbner-Basen (29.10.)
   3. Der homogene Buchberger-Algorithmus (5.11.)
   4. Die Gebauer-Möller Installation (12.11.)
   5. Minimalisierung der abgearbeiteten Paare (12.11.)
2. Faugere's Algorithmus F4 (J. Schmidbauer)
   1. Grundlagen (19.11.)
   2. Der Algorithmus F4 (26.11.)
   3. Optimierung von F4 (3.12.)
   (dvi-Datei)
3. Computeralgebra in der Warteschlangentheorie (A. Wills)
   1. Das Problem (10.12.)
   2. Übersetzung in die lineare Algebra (10.12.)
   3. Lösungsmethoden(17.12.)
4. Uniformitätsprüfung für 0-dimensionale Schemata und Anwendungen in der Codierungstheorie (T. Eisenmann)
   1. Nulldimensionale Schemata (7.1, 14.1.)
   2. Die Konstruktion von Hansen (28.1.)
   3. Bestimmung der (i,j)-Uniformität (28.1, 4.2.)
   4. Beispiele (4.2.)
5. Zusatzvortrag: Algorithmische Aspekte der reellen algebraischen Geometrie
   (P. Ullrich, TU München) (25.1. um 10 Uhr c.t. im Raum M 102)

Letzte Änderung: 7.2.2002
  <Zurück zur Homepage von Martin Kreuzer>