#	Pagina
attuale pagina	/open-h2020/projects/201270/index.html

Opendata, web and dolomites

InfGroups SIGNED

Foundations for computing with infinite linear groups

Total Cost €

EC-Contrib. €

Partnership

Views

Outcomes and
results

InfGroups project word cloud

Explore the words cloud of the InfGroups project. It provides you a very rough idea of what is the project "InfGroups" about.

first public team impacting solvable straightforward linear computation society algebra justification career redress algorithmic groups subgroups cgt methodology gender science algorithms practical complementary cumbersome group women training model experiments handle computer world computational finitely zariski profession designed fundamental competencies skills classes finite environment software intractable carry dense decidability communication secondment area computing recognition appear stem previously strategy sciences matrices theory diversify industrial virtually imbalance transformations thereby engagement interface expert mathematics international host replacing entails centre establishment class domain researcher prospects scientists solution arithmetic infinite mathematical

Project "InfGroups" data sheet

The following table provides information about the project.

Coordinator	THE UNIVERSITY COURT OF THE UNIVERSITY OF ST ANDREWS Organization address address: NORTH STREET 66 COLLEGE GATE city: ST ANDREWS postcode: KY16 9AJ website: www.st-andrews.ac.uk contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.
Coordinator Country	United Kingdom [UK]
Project website	https://infgroups.cs.st-andrews.ac.uk
Total cost	183˙454 €
EC max contribution	183˙454 € (100%)
Programme	1. H2020-EU.1.3.2. (Nurturing excellence by means of cross-border and cross-sector mobility)
Code Call	H2020-MSCA-IF-2015
Funding Scheme	MSCA-IF-EF-ST
Starting year	2016
Duration (year-month-day)	from 2016-05-01 to 2018-04-30

Partnership

Take a look of project's partnership.

#	participants	country	role	EC contrib. [€]
1	THE UNIVERSITY COURT OF THE UNIVERSITY OF ST ANDREWS THE UNIVERSITY COURT OF THE UNIVERSITY OF ST ANDREWS Organization address address: NORTH STREET 66 COLLEGE GATE city: ST ANDREWS postcode: KY16 9AJ website: www.st-andrews.ac.uk contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	UK (ST ANDREWS)	coordinator	183˙454.00

Map

Project 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.

Publications

List of publications.
year	authors and title	journal	last update
2018	A.S. Detinko, D.L. Flannery Linear groups and computation published pages: , ISSN: 0723-0869, DOI: 10.1016/j.exmath.2018.07.002	Expositiones Mathematicae	2019-06-13
2018	A. Detinko, D. Flannery, A. Hulpke Algebra, matrices, and computers published pages: 1-10, ISSN: , DOI:	Snapshots of modern mathematics from Oberwolfach to appear	2019-06-13
2018	A. Detinko, D. Flannery Practical computation with linear groups over infinite domains published pages: 1-10, ISSN: , DOI:	\'Proc. Groups St Andrews\', LMS Lecture Note Series to appear	2019-06-13
2016	A. Detinko, D. Flannery Recent advances in computing with infinite linear groups published pages: 2136-2139, ISSN: 1660-8933, DOI:	\'Computational Group Theory\', in: \'Oberwolfach Reports Volume 13, Issue 3	2019-06-13
2018	A. S. Detinko, D. L. Flannery, A. Hulpke Algorithms for Experimenting with Zariski Dense Subgroups published pages: 1-10, ISSN: 1058-6458, DOI: 10.1080/10586458.2018.1466217	Experimental Mathematics to appear	2019-06-13
2018	A. Detinko, D. L. Flannery, A. Hulpke Zariski density and computing in arithmetic groups published pages: 967-986, ISSN: 0025-5718, DOI: 10.1090/mcom/3236	Mathematics of Computation 87/310	2019-06-13
2017	A.Â S. DETINKO, D.Â L. FLANNERY L.Â G.Â KOVÃCS AND LINEAR GROUPS published pages: 1-8, ISSN: 1446-7887, DOI: 10.1017/s1446788716000045	Journal of the Australian Mathematical Society volume 102, no. 1, pages 55â€“6	2019-06-13

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "INFGROUPS" project.

For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.

Send me an email (fabio@fabiodisconzi.com) and I put them in your project's page as son as possible.

Thanks. And then put a link of this page into your project's website.

The information about "INFGROUPS" are provided by the European Opendata Portal: CORDIS opendata.