Inhalt Ausgewählte Themen aus:

• Primzahltests, Faktorisierung in Z
• LLL-Algorithmus
• Polynomfaktorisierung über endlichen Koerpern, über Z, Q oder in K [x₁,...,x_n]
• Gröbnerbasen Resultanten und Elimination
• Primaer-Zerlegung, Radikal-Berechnung, Syzygien und freie Auflösungen
• Praktische Anwendungen, wie z.B.: Überpruefung von Prozessoren, Gleichgewichtszustände in ökonomischen Modellen, Beschreibung von Konfigurationsräumen von Molekülen, Robotics oder Sudoku

Bei allen Themen steht das praktische Arbeiten mit einem konkreten Computeralgebrasystem (z.B. Singular, Sage,...) im Vordergrund.

Voraussetzungen Lineare Algebra I

Literatur wird nachgetragen