Research Group
Foundations of Informatics
Prof. Dr. K. Madlener
Gröbnerbasen
Diese Seite enthät einige zusätzliche Informationen über meine Vorlesung im Wintersemester 1996/97
- Vorlesungsbeginn: Montag, der 4. November 1996, 8 Uhr in 36/265
- Skript
Gröbnerbasen, entwickelt von Bruno Buchberger für kommutative
Polynomringe, finden immer häufiger Anwendung bei der Lösung
algorithmischer Probleme.
Ziel dieser Vorlesung ist es, eine Einführung in die Theorie der
Gröbnerbasen zu geben.
Dabei wird sowohl die algebraische und geometrische Sicht,
als auch eine Interpretation als Rewriting-Methode vorgestellt, da
gerade eine Kombination dieser verschiedenen Facetten der Gröbnerbasen
ihre Bedeutung für verschiedene Bereiche in Theorie und Praxis motiviert.
Neben Algorithmen zur Berechnung von Gröbnerbasen soll auf ausgewählte
Anwendungen, wie z.B. das Enthaltenseinsproblem für Ideale,
eingegangen werden.
Die Vorlesung wendet sich an Studenten der Informatik, Mathematik und
Ingenieurwissenschaften, die sich insbesondere für Probleme in
Polynomringen
als Teilbereich der Computer Algebra interessieren.