Research

Headband Research

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

Headband 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.

Creative Commons license 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. 

Tags: calcul gricad histoire

 Infos

 Downloads

Video file(s):

Audio file:

 Embed/Share

 Options
Check the box to autoplay the video.
Check the box to loop the video.
Check the box to indicate the beginning of playing desired.
 Embed in a web page
 Share the link
qrcode
Comments have been disabled for this video.