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)
GRICAD
GRICAD (Grenoble Alpes Recherche Infrastructure de Calcul Intensif et de Données) est une Unité d'Appui à la Recherche (UAR 3758) sous la tutelle du CNRS (INSMI), de l’Université Grenoble Alpes, de Grenoble-INP et de INRIA, pour répondre aux besoins relatifs au calcul et à la donnée des chercheurs du site grenoblois.
Dans ce cadre GRICAD organise régulièrement des journées de formation et d'animation.
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.
Informations
- Gricad Vidéos
- 1 janvier 2021 00:00
- Conférences
- Français