Berechnungen mit Matrixgruppen (B07)

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

Dieses Projekt konzentriert sich auf die Entwicklung effizienter Algorithmen für endliche klassische Gruppen, die häufig als Grundbausteine für allgemeinere Matrixgruppen dienen. Unser Ziel ist es, einen neuen Algorithmus zu entwerfen, der für eine klassische Gruppe ohne spezifische Annahmen über ihre Computerdarstellung eine wesentliche Datenstruktur für weiterführende Analysen berechnet. Darüber hinaus streben wir die Bereitstellung weiterer anspruchsvoller Algorithmen der Gruppentheorie an. Unsere Algorithmen sind randomisiert und werden von Erfolgswahrscheinlichkeiten und einer detaillierten Komplexitätsanalyse begleitet. Die Implementierung erfolgt im Computeralgebrasystem OSCAR.

• 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
• Teilprojektleiterinnen / Teilprojektleiter: Professor Dr. Max Horn, seit 1/2021; Professorin Dr. Alice Niemeyer, seit 1/2021