Fachbereich 17 Mathematik/Informatik | Vorlesungsankündigung für das WS 2001/2002 |
Prof. Dr. Wolfram Koepf |
Veranstaltung | SWS | Tag | Zeit | Ort/Raum | Betreuer | Beginn |
Seminar | 2 | Donnerstag | 11-13 | HPS / R. 450 A | W. Koepf | 18. 10. 2001 |
Vergabe der Vortragsthemen: Mittwoch, 11. Juli 2001, 13:15 Uhr, Raum 450 A
Inhalt der Lehrveranstaltung: In diesem Seminar behandeln wir die Theorie der Gröbnerbasen und ihrer Anwendungen. Beispielsweise lassen sich durch Bestimmung von Gröbnerbasen polynomiale Gleichungssysteme algorithmisch lösen. Dies findet in vielen Anwendungen Verwendung. Die Bestimmung von Gröbnerbasen bildet ein wichtiges Konzept in Computeralgebrasystemen. Als Literatur dient das ausgezeichnete Buch von Cox, Little und O'Shea.
Vortragsplan
ungefährer Termin | Thema | Vortragende/r |
11.06.01 | Vorbesprechung | Wolfram Koepf
koepf@mathematik.uni-kassel.de Zimmer 3305, 0561/804-4207 |
18.10.01 | Vorbesprechung der ersten Vorträge | |
25.10.01 | Affine Varietäten
Kap. 1:1-3 |
Bettina Redlich
bettina@mathematik.uni-kassel.de |
01.11.01 | Ideale
Kap. 1:4-5, Kap. 2:1 |
Jörg Meyfarth |
08.11.01 | Mehrdimensionaler Divisionsalgorithmus
Kap. 2:2-4 |
Claudia Sielemann
claudi@mathematik.uni-kassel.de |
22.11.01 | Gröbnerbasen
Kap. 2:5-6 |
Detlef Müller
dmueller@mathematik.uni-kassel.de |
29.11.01 | Buchbergeralgorithmus
Kap. 2:7-8 |
Tobias Hofmann
tobiash@mathematik.uni-kassel.de |
06.12.01 | Effiziente Umsetzung des Buchbergeralgorithmus
Kap. 2:9 |
Udo Richter
urichter@student.uni-kassel.de |
20.12.01 | Elimination
Kap. 3:1-4 |
Hendrik Spiewok |
10.01.02 | Resultanten
Kap. 3:5-6 |
Andreas Conz
andreasc@neuro.informatik.uni-kassel.de |
17.01.02 | Robotik
Kap. 6:1-3 |
Klaus Ludwiczak
L_Klaus@web.de |
31.01.02 | Automatisches Beweisen in der Geometrie
Kap. 6:4-5 |
Volker Messerschmidt
vmesser@mathematik.uni-kassel.de |
Leistungsnachweis: Vortrag, schriftliche Ausarbeitung
Empfohlene Literatur: