Calcul formel et symbolique
Journée thématique
GRICAD
Françoise JUNG / Jean-Guillaume DUMAS / Clément PERNET
Jeudi 28 novembre 2019
"Réalisation technique : Antoine Orlandi | Tous droits réservés"
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.Â