- Présentation
- Publications HAL
- Rapports d'activité
Equipe de recherche GALAAD
Géométrie, algèbre, algorithmes
- Responsable : Bernard Mourrain
- Type : Équipe-projet
- Centre(s) de recherche : Sophia
- Domaine : Algorithmique, programmation, logiciels et architectures
- Thème : Algorithmique, calcul certifié et cryptographie
- Université Nice - Sophia Antipolis, CNRS, Laboratoire Jean-Alexandre Dieudonné (JAD) (UMR6621)
Présentation de l'équipe
Notre programme de recherche s'articule autour de la géométrie algébrique effective et de ses applications. Notre objectif est de développer des méthodes algorithmiques permettant de résoudre efficacement et de manière fiable les problèmes géométriques et algébriques, rencontrés dans des domaines tels que la CAO, la robotique, la vision par ordinateur, la biologie moléculaire, ...Nous nous intéressons à l'analyse de ces méthodes tant du point de la complexité arithmétique que des aspects qualitatifs, au centre des interactions entre le calcul symbolique et le calcul numérique.
Axes de recherche
Nous avons subdivisé notre activité de la manière suivante. Trois grands thèmes (I) Géométrie, (II) Résolution des systèmes d'équations algébriques et (III) liens symboliques-numériques; et les sous-thémes :
- Géométrie des variétés algébriques, Géométrie discrète, Algorithmes géométriques pour les arcs de courbes et les surfaces, Géométrie, groupes et invariants, Géométrie des singularités et topologie,
- Méthodes algébriques et structure quotient, Dualité, résidus, interpolation, Algèbre linéaire structurée et polynômes, Décomposition et factorisation, Déformation et homotopie,
- Certification, Approximation, Dégénérescence et arithmétique.
Mots-clés : Géométrie Algèbre Algorithmes
Equipes de recherche du même thème :
- ALGORITHMS - Algorithmes
- ARIC - Arithmétiques des ordinateurs, méthodes formelles, génération de code
- CARAMEL - Cryptologie, Arithmétique : Matériel et Logiciel
- CASCADE - Conception et Analyse de Systèmes pour la Confidentialité et l'Authentification de Données et d'Entités
- CRYPT - Cryptanalyse
- GEOMETRICA - Calcul géométrique
- GRACE - Geometry, arithmetic, algorithms, codes and encryption
- LFANT - Théorie algorithmique des nombres rapide et flexible
- OURAGAN - OUtils de Résolution Algébriques pour la Géométrie et ses ApplicatioNs
- POLSYS - Polynomial Systems
- SECRET - Sécurité, Cryptologie et Transmissions
- VEGAS - Algorithmes géométriques effectifs pour la visibilité et les surfaces
Contact
Responsable de l'équipe
Bernard Mourrain
Tél: +33 4 92 38 78 28
Secrétariat
Tél: +33 4 92 38 78 25
En savoir plus
Rechercher une équipe
Par centre de recherche Inria
Inria
Inria.fr
Inria Channel

Voir aussi