Record #888033 - RWTH Publications

DFG project G:(GEPRIS)453084359

Berechnungen mit Matrixgruppen (B07)

Coordinator	Professor Dr. Max Horn ; Professorin Dr. Alice Niemeyer
Grant period	2021 -
Funding body	Deutsche Forschungsgemeinschaft
	DFG
Identifier	G:(GEPRIS)453084359

⇧ TRR 195: Symbolische Werkzeuge in der Mathematik und ihre Anwendung ⇧

Note: 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.