Project Details
Projekt
Expanding the toolbox for search algorithms
Subject Area
Mathematics
Term
from 2020 to 2022
Project identifier
Deutsche Forschungsgemeinschaft (DFG) - Project number 450136794
The goal of this project is to deepen and intensify the successful collaboration with several colleagues in St Andrews (UK)on topics in computer algebra. Our main objectives are: 1. Extending our work on search algorithms based on directed graphs. This includes optimising the implementation as well as extending the theoretical concepts. 2. Developing our algorithms for calculating canonical images even further and extending the methods to more general structures. 3. Exploring ideas for search algorithms that use homomorphic images of groups.
DFG Programme
Research Grants
