Objective
This project is in computational group theory (CGT), a novel domain of algebra at the interface with computer science. The main objective of the project is to build up a new area of CGT – computing with groups generated by a finite set of matrices over an infinite field. This entails: (i) development of a methodology to handle the main classes of finitely generated linear groups in a computer; (ii) justification of decidability and solution of fundamental algorithmic problems; and (iii) design of software for practical computation. In particular, we focus on practical algorithms for arithmetic groups, Zariski dense subgroups, and virtually solvable linear groups.
The planned results will be the first of their kind. The project will impact group theory by replacing cumbersome methods with straightforward computation, allowing the solution of previously intractable problems. The project will impact other sciences and mathematics overall by providing a means for scientists to carry out effective mathematical experiments in areas where linear groups appear as a mathematical model of transformations.
The planned research and related activities (such as the establishment of an international research team) will impact the career of the researcher by bringing her recognition as a leading expert in computational algebra and its applications. Training in computer science in the world-class environment provided by the host, and complementary training in IT skills provided by the industrial partner during secondment, will diversify competencies and career prospects of the researcher. The project is designed to make the host institution a world centre in this new area of computational algebra. The project's communication and public engagement strategy will promote mathematics as a profession for women, thereby impacting EU society by taking measures to redress gender imbalance in STEM.
Fields of science (EuroSciVoc)
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: https://op.europa.eu/en/web/eu-vocabularies/euroscivoc.
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: https://op.europa.eu/en/web/eu-vocabularies/euroscivoc.
- natural sciencescomputer and information sciencessoftware
- natural sciencesmathematicspure mathematicsarithmetics
- natural sciencesmathematicspure mathematicsalgebraalgebraic geometry
- natural sciencesmathematicsapplied mathematicsmathematical model
You need to log in or register to use this function
We are sorry... an unexpected error occurred during execution.
You need to be authenticated. Your session might have expired.
Thank you for your feedback.
You will soon receive an email to confirm the submission. If you have selected to be notified about the reporting status, you will also be contacted when the reporting status will change.
Programme(s)
Funding Scheme
MSCA-IF-EF-ST - Standard EFCoordinator
KY16 9AJ St Andrews
United Kingdom