Bannière Recherche Recherche

Laboratoires.Ecoles, Collège et Formation doctorales 

Stratégie. Séminaires, colloques. Sciences et société

Réseaux et pôles d'excellence. Investissements d'avenir (Labex)

Licence Creative Commons Calcul formel et symbolique

28 novembre 2019
00:26:42
Nombre de vues 114
Nombre d’ajouts dans une liste de lecture 0
Nombre de favoris 0
Françoise JUNG / Jean-Guillaume DUMAS / Clément PERNET / GRICAD

Dans cet exposé, nous aborderons trois thèmes représentatifs de l'activité des équipes grenobloises qui ont travaillé dans le domaine du calcul formel depuis 40 ans : 

- équations algébriques et différentielles : les projets DESIR et CATHODE ; 

- algèbre linéaire exacte : algorithmes rapides denses, méthodes itératives pour matrices creuses et structurées ; 

- cryptologie et sécurité : un exemple d'utilisation de systèmes polynomiaux et de l'algorithme de Buchberger pour affiner les paramètres de cryptosystèmes. 

Mots clés : calcul gricad histoire

  • Ajouté par : Gricad Vidéos
  • Mis à jour le : 1 janvier 2021 00:00
  • Chaîne :
  • Type : Conférences
  • Langue principale : Français
Les commentaires ont été désactivés pour cette vidéo.