Computational tropical geometry

In dem beantragten Projekt sollen algorithmische und computerorientierte Methoden für die tropische Geometrie entwickelt werden. Ausgangspunkte sind jüngere Resultate zur Kombinatorik tropischer Prävarietäten und Varietäten, zur Existenz kurzer tropischer Basen sowie zum Membership-Problem für Amöben. Aufbauend auf diesem Stand der Forschung sollen neue Methoden zur kombinatorischen Analyse tropischer Strukturen, zur effektiven Handhabung tropischer Basen, zur Berechnung und Approximation von Amöben sowie ihres Gerüsts sowie zum Rückschluss von tropischen auf klassische algebraische Varietäten entwickelt werden.

DFG-Verfahren Sachbeihilfen