Opendata, web and dolomites

InfGroups SIGNED

Foundations for computing with infinite linear groups

Total Cost €

0

EC-Contrib. €

0

Partnership

0

Views

0

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

year authors and title journal last update
List of publications.
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.

More projects from the same programme (H2020-EU.1.3.2.)

Migration Ethics (2019)

Migration Ethics

Read More  

EcoSpy (2018)

Leveraging the potential of historical spy satellite photography for ecology and conservation

Read More  

INFANTPATTERNS (2019)

Development of kinematic and muscle patterns in preterm infants

Read More