|
Stephan Ritscher Mentor: Prof. Dr. Ernst W. Mayr
Stipendien und Auszeichnungen
Ich beschäftige mich mit Idealen von Polynomen mit mehreren Variablen. Eine der wichtigsten Aufgaben in diesem Zusammenhang ist das Membershipproblem, d.h. die Frage, ob ein gegebenes Polynom in einem Ideal enthalten ist. Hat man eine Lösung für das Membershipproblem, kann man diese z.B. auf polynomielle Optimierung, automatisches Beweisen, Bewegungsplanung in der Robotik und algebraische Geometrie anwenden. Die Standardmethode, das Membershipproblem algorithmisch zu lösen, ist die Berechnung einer Gröbner-Basis. Diese ist im Allgemeinen extrem aufwendig, was auch durch untere Komplexitätsschranken gefestigt wurde. Deshalb untersuche ich, ob die Berechnung von Gröbner-Basen für häufig vorkommende Klassen von Polynomidealen einfacher als im allgemeinen Fall ist. Wissenschaftliche ArbeitenWissenschaftliche Arbeiten
|
|