Semialgebraische Methoden in der algorithmischen Geometrie

在DEM beantangten Projekt Sollen Neue Methoden für Fragen der Nichtlinearen算法中，几何图形被缠绕在一起。Ausangspunkt Hibebesind jüngere Ergebnisse der算法错位几何(U.A.zur Klärung Nichtline GrundProbleme im Gerdenraum)和半代数几何(U.A.zu实证检验von Polynomen mittels von Polynomen mittels Semidefinder Programmierung)。从结果上看，新的决定论和随机性与方法论是一致的，这是一种半代数的概念，它是一种新的解决方法和方法的方法。

In dem beantragten Projekt sollen neue Methoden für Fragen der nichtlinearen algorithmischen Geometrie entwickelt werden. Ausgangspunkt hierbei sind jüngere Ergebnisse der algorithmischen Geometrie (u.a. zur Klärung nichtlinearer Grundprobleme im Geradenraum) und der semialgebraischen Geometrie (u.a. zu Positivitätstest von Polynomen mittels semidefiniter Programmierung). Aufbauend auf diesen Resultaten sollen neue deterministische und randomisierte Methoden zur Untersuchung und Behandlung semialgebraischer Versionen wichtiger Grundprobleme entwickelt, zentrale Anwendungen (beispielsweise Gelenkmechanismen) untersucht sowie Werkzeuge zur Behandlung dieser Fragen entwickelt werden.