Project Details
Computations with matrix groups (B07)
Subject Area
Mathematics
Term
since 2021
Project identifier
Deutsche Forschungsgemeinschaft (DFG) - Project number 286237555
This project focuses on the development of efficient algorithms for finite classical groups, which often serve as basic building blocks for more general matrix groups. Our goal is to design a new algorithm that takes as input a classical group without any assumptions about its computer representation and computes a data structure essential for further analysis. Additionally, we aim to provide further sophisticated algorithms in group theory. Our algorithms are randomized and are accompanied by success probabilities and a detailed complexity analysis. Everything will be implemented in the computer algebra system OSCAR.
DFG Programme
CRC/Transregios
Applicant Institution
Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
Project Heads
Professor Dr. Max Horn, since 1/2021; Professorin Dr. Alice Niemeyer, since 1/2021