Algorithmen und Logik für Gruppen und dynamische Systeme (A26)

• Fachliche Zuordnung: Mathematik
• Förderung: Förderung seit 2023
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 286237555

Automatengruppen bilden aufgrund ihrer auffälligen Eigenschaften (Burnside-Gruppen, Gruppen mit intermediärem Wachstum), ihrer Anwendbarkeit (Codierung dynamischer Systeme) und ihrer Zugänglichkeit für Berechnungen eine grundlegende Klasse von Gruppen. In diesem Projekt wird die Entscheidbarkeit und Komplexität der Logik erster Ordnung dieser Gruppen mit Hilfe leistungsfähiger Werkzeuge aus der formalen Sprachtheorie erforscht, und es wird robuste und gut integrierte Computersoftware entwickelt, um sie zu manipulieren.

• DFG-Verfahren: Transregios
• Teilprojekt zu: TRR 195: Symbolische Werkzeuge in der Mathematik und ihre Anwendung
• Antragstellende Institution: Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
• Teilprojektleiter: Professor Dr. Laurent Bartholdi