Calcul formel et symbolique
[Nov. 28, 2019]
Summary
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.
Infos
-
Added by:
-
Updated on:
Jan. 1, 2021, midnight -
Duration:
00:26:42 -
Channel:
-
Number of views:
-
Type:
-
Main language:
French
Downloads
Video file(s):
Audio file:
Comments have been disabled for this video.