Gröbner bases are special generating systems of ideals in polynomial rings which have good algorithmic properties. For this reason computing Gröbner bases is a fundamental algorithmic task which is at the core of many techniques in computer algebra and its applications. The seminar covers topics in commutative algebra, algebraic and polyhedral geometry, optimization, algorithms and more.
The seminar is organized in blocks with talks given by the participants. Usually each talk is about one scientific original paper. The presentations will take place on Tuesdays May 3rd, May 24th, June 7th and June 14th respectively from 9:30 till 13:00.
First Meeting: Wednesday, April 20, 14:00 in room: MA 621. This is mandatory for all participants.
Q+A Meeting: Tuesday, May 3, 10:00 in room: MA 621.
This meeting offers the possiblity to ask questions about the presentation and your specific topic.
The talks will be given on Tuesday, May 24 and June 7.
The order of the presentations is fixed. The dates will be assigned. Please sign in for the presentation of your choice at the office MA 6 - 2 in MA 625. (If the topic of your choice is already taken by someone else you will have to choose another topic.)
|09:30||Susanne Biebler||Joswig and Theobald: Polyhedral and Algebraic Methods in Computational Geometry. § 9.4 - 9.6 (Buchberger Algorithm)|
|10:30||Michael Joswig||Joswig and Theobald: Polyhedral and Algebraic Methods in Computational Geometry. § 10.3 - 10.5 (Elimination)|
|11:30||Mirco Malik||Cox, Little and O'Shea: Ideals, Varieties and Algorithms. § 4.2 + 4.3 (Radical ideals)|
|09:30||Marie Sophie Eisenhardt||Knuth and Bendix: Simple Word Problems in Universal Algebra. In Computational Problems in Abstract Algebra|
|10:30||Sybille Meyer||Mayr and Meyer. The complexity of the word problems for commutative semigroups and polynomial ideals.|
|11:30||Constantin Fischer||Maclagan and Sturmfels: Introduction to Tropical Geometry. § 2.4 (Gröbner bases over fields with valuation)|
The sections 9.1, 9.2 and 9.3 in  are mandatory reading for all participants of the seminar.