000888033 001__ 888033 000888033 005__ 20250209040141.0 000888033 0247_ $$aG:(GEPRIS)453084359$$d453084359 000888033 035__ $$aG:(GEPRIS)453084359 000888033 040__ $$aGEPRIS$$chttp://gepris.its.kfa-juelich.de 000888033 150__ $$aBerechnungen mit Matrixgruppen (B07)$$y2021 - 000888033 371__ $$aProfessor Dr. Max Horn 000888033 371__ $$aProfessorin Dr. Alice Niemeyer 000888033 450__ $$aDFG project G:(GEPRIS)453084359$$wd$$y2021 - 000888033 5101_ $$0I:(DE-588b)2007744-0$$aDeutsche Forschungsgemeinschaft$$bDFG 000888033 550__ $$0G:(GEPRIS)286237555$$aTRR 195: Symbolische Werkzeuge in der Mathematik und ihre Anwendung$$wt 000888033 680__ $$aDieses 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. 000888033 909CO $$ooai:juser.fz-juelich.de:942624$$pauthority$$pauthority:GRANT 000888033 909CO $$ooai:juser.fz-juelich.de:942624 000888033 980__ $$aG 000888033 980__ $$aAUTHORITY