Berechnungen mit Matrixgruppen (B07)

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