Sites Inria

English version

Equipe de recherche ALGO

Algorithmes

  • Responsable : Bruno Salvy
  • Centre(s) de recherche : CRI de Paris
  • Domaine : Systèmes symboliques
  • Thème : Structures algébriques et géométriques, algorithmes

Présentation de l'équipe

L'objectif de l'équipe-projet ALGO est l'analyse et l'optimisation fines de systèmes complexes discrets présentant une forte composante aléatoire. De nombreux problèmes de grande taille rentrent dans ce cadre tels l'étude quantitative d'algorithmes probabilistes sur des structures discrètes, ou l'optimisation de l'allocation de ressources dans les réseaux de communication. La réalisation de cet objectif passe par la compréhension en profondeur de l'aléa discret et des problèmes de nature mathématique que pose sa quantification. Cela suppose de dégager des méthodes générales pour obtenir des résultats présentés de manière exacte ou asymptotique. Ces résultats fournissent alors des informations très précises sur le comportement qualitatif ou quantitatif des systèmes étudiés.

Étant donné le caractère très systématique de l'approche poursuivie, des méthodes de décision réalisables en calcul formel font aussi partie des objectifs du projet. Cette approche est un moteur puissant de renouvellement qui conduit à la révision d'approches classiques dans le domaine des fonctions spéciales et des développements en séries. L'objectif est de disposer d'une algorithmique fiable et complète pour de grandes classes de problèmes précisément caractérisés; voir déjà nos bibliothèques gfun et Mgfun assez largement utilisées dans la communauté combinatoire et présentes dans les dernières versions de Maple. Les résultats sont susceptibles de nombreuses applications bien au delà du domaine de la modélisation combinatoire : ainsi une meilleure intégration des fonctions spéciales au calcul formel est visée, ce qui s'applique à de larges classes de problèmes dans les sciences de l'ingénieur.

Axes de recherche

  • Analyse d'algorithmes;
  • calcul formel;
  • algorithmique des séquences;
  • algorithmique et modélisation des réseaux.

Relations industrielles et internationales

  • Relations internationales suivies avec les universités de Barcelone, Canterbury, Florence, Hong-Kong, Montréal, Moscou, Princeton, Purdue, Rome, Vienne, Vancouver, ...

  • Participation au projet Esprit BRA Alcom-FT (Algorithms and Complexity--Future Technologies) de l'Union Européenne (10 partenaires). Programmes bilatéraux Procore (Hong-Kong) et Amadeus (Autriche).

  • Accord avec la société Waterloo Maple Inc. qui est à l'origine de l'un des deux principaux logiciels de calcul formel (Maple).

  • Participation au projet INTAS ``Methods, algorithms, and software for functional and structural annotation of complete genoms'' (4 partenaires).

  • CTI France Télécom R&D pour l'optimisation de la gestion du trafic TCP; RNRT Métropolis pour l'utilisation de la métrologie dans l'étude des réseaux IP.

Mots-clés : Analyse d'algorithme Algorithmique Analyse combinatoire et asymptotique Évaluation de performance Analyse automatique Calcul formel Arbres Tri et recherche Protocole de communication et r&eacut

Suivez Inria tout au long de son 50e anniversaire et au-delà !