Sites Inria

English version

Equipe de recherche POLKA

Polynômes, combinatoire, arithmétique

  • Responsable : Grigory Koutcherov
  • Centre(s) de recherche : CRI Nancy - Grand Est
  • Domaine : Génie logiciel et calcul symbolique
  • Thème : Algorithmique et calcul formel

Présentation de l'équipe

Le projet Polka a pour but l'étude d'algorithmes sur les nombres, les polynômes et les structures combinatoires, leur implantation efficace, ainsi que leurs applications. L'objectif est d'une part de concevoir des outils portables et efficaces de manipulation de classes bien définies d'objets mathématiques, d'autre part d'utiliser ces outils pour systématiser le traitement de certaines classes de problèmes qui sont aujourd'hui traités à la main, et notammment identifier ces classes automatisables.

Axes de recherche

  • Arithmétique : calcul numérique fiable,
  • Méthodes numériques appliquées au calcul formel,
  • Polynômes : calcul, identification, localisation et codage des zéros, factorisation, résolution de systèmes,
  • Structures combinatoires : analyse de séquences, combinatoire du mot, recherche combinatoire, génération aléatoire, représentation graphique.

Relations industrielles et internationales

  • Projet European LTR FRISCO (Framework for Integrated Symbolic-Numeric Computation),
  • Action de recherche coopérative "calcul fiable" de l'INRIA,
  • Réseau "Informatique et génome" du CNRS
  • Groupe Alea du GDR-PRC AMI.

Mots-clés : Algorithme PolynÔme Calcul formel Interaction symbolique-numérique Structure combinatoire Arithmétique Calcul fiable

Suivez Inria