Calcul formel et symbolique

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
  • Licence : Licence Creative Commons