Gröbnerbasen / Computation

Arbeitsgebiet: Syzygien

Die algorithmische Bestimmung von Syzygien bildet den Kern der konstruktiven Modultheorie. Schnelle Implementierungen hierfür sind daher die wichtigste Problemstellung der Computeralgebra in diesem Bereich.

Mögliche Themen:

1. Komplexitätsanalyse der bekannten Algorithmen zur Syzygienberechnung.
2. Ausarbeitung und Implementierung neuer Varianten.

Direktlinks: Einleitung | Themenübersicht