Découvrir l'Université Grenoble Alpes

Objectifs

Le projet COGENT (pour Cohomologie, géométrie, théorie explicite des nombres) a pour objectif de faire progresser l'état de l'art dans un domaine actif d'interaction entre l'algèbre, la géométrie et l'informatique. Il vise à promouvoir des approches innovantes en matière de méthodes effectives sous-tendant des conjectures de longue date en théorie des nombres. COGENT élargira les connaissances théoriques visant à étendre le champ des calculs symboliques et exacts assistés par ordinateur, en vue d'applications industrielles potentielles dans des domaines disparates allant de la cryptographie à l'analyse topologiques de données.

Le principal objectif de formation du projet est de former une nouvelle génération de jeunes chercheurs et chercheuses dotées d'une expertise unique, y compris les calculs à haute performance en géométrie et topologie, l'assistance à la preuve et les mathématiques formalisées, l'apprentissage automatique et les techniques de calcul quantique.

Axes scientifiques

 

Le projet en bref

Porteur / Pilote	Université Grenoble Alpes
Partenaires / Membres du consortium	Stichting Vrije Universiteit Amsterdam (VUA) Technische Universität Braunschweig (TUB) Université de Bordeaux (UBx) University of Galway University of Durham University of Sheffield (UFSD) Colorado State University (CSU) University of Massachusetts (UMASS) University of Michigan University of North Carolina-Greensboro (UNCG) University of Oklahoma ID Quantique (IDQ, Switzerland) MSM Programming (Croatia)
Financeurs
Opérateur
Montant du financement
Durée du projet
Date de lancement