Seminar "Computeralgebra"
(SS 2003, Universität Dortmund)
Veranstalter: M. Kreuzer,
H.M. Möller und
G. Rosenberger
Ort: Seminarraum M 911
Zeit: Di, 16-18 Uhr
Nr. im Vorlesungsverzeichnis: 011903
Vorkenntnisse: Algebra I
Betreuer: P. Ackermann,
A. Kehrein
Themenbereich 1: Algorithmen in der Gruppentheorie
1. Vortrag: Einführung in gruppentheoretische
Entscheidungsprobleme (P. Ackermann)
2. Vortrag: Wahrscheinlichkeitsmaße in unendlichen Gruppen
(K. Hiddemann)
dvi-Datei
pdf-Datei
3. Vortrag: Generische Komplexität gruppentheoretischer
Entscheidungsprobleme I (G. Hainke u. F. Reidegeld)
4. Vortrag: Generische Komplexität gruppentheoretischer
Entscheidungsprobleme II (G. Hainke u. F. Reidegeld)
5. Vortrag: Durchschnittliche Komplexität gruppentheoretischer
Entscheidungsprobleme (T. Camps)
dvi-Datei
pdf-Datei
Themenbereich 2: Randbasen nulldimensionaler Ideale
1. Vortrag: Einführung in die Berechnung nulldimensionaler
Ideale (M. Kreuzer)
2. Vortrag: Nulldimensionale Ideale und kommutierende Matrizen
(E. Ludwig)
pdf-Datei
3. Vortrag: Nulldimensionale Ideale und Ersetzungsregeln
(H. Bluhm)
dvi-Datei
pdf-Datei
4. Vortrag: Der Buchberger-Möller-Algorithmus
(I. Manfraß)
5. Vortrag: Charakterisierung der Randbasen (A. Kehrein)
6. Vortrag: Multiplikationsmatrizen (H.M. Möller)
Literatur:
Themenbereich 1:
2. A.V. Borovik, A.G. Myasnikov und V. Shpilrain, Measuring sets in infinite groups, Contemp. Math. (erscheint).
3.+ 4. I. Kapovich, A.G. Myasnikov, P. Schupp und V. Shpilrain, Generic-case complexity,
decision problems in group theory and random walks, preprint.
5. I. Kapovich, A.G. Myasnikov, P. Schupp und V. Shpilrain, Average-case complexity
and decision problems in group theory, preprint.
Themenbereich 2:
2. J. Abbott, A. Bigatti, M. Kreuzer und L. Robbiano, Computing ideals of points,
J. Symb. Comput. 30 (1999), 351-356.
2. J. Abbott, M. Kreuzer und L. Robbiano, Computing zero-dimensional schemes,
J. Symb. Comput. (erscheint).
3+4. L. Robbiano, Zero-dimensional ideals or the inestimable value of estimable terms,
Proc. of the Academy Colloquium, Constructive
Algebra and Systems Theory, 2001.
3+4. B. Mourrain, A new criterion for normal form algorithms,
Proc. of the 13th Int. Symposium, AAECC, LNCS 1719 (1999),
430-443.
5. R. Tenberg, Duale Basen nulldimensionaler Ideale und Anwendungen,
Dissertation, Dortmund 1999, Shaker-Verlag 2000.
Letzte Änderung: 28.7.2003
Zurück zur Homepage von M. Kreuzer