Equipe-projet ARIC Arithmétiques des ordinateurs, méthodes formelles, génération de code AriC étudie divers aspects de l'approximation et de l'algèbre d'un point de vue informatique, en...
@Inria / Sophie Barbier Science dans la société (Re) Découvrez Interstices, notre revue de vulgarisation scientifique en ligne 11/10/2022
© Flickr / Photo Pierre Metivier Cryptographie Ordinateur quantique : quatre algorithmes conçus pour résister à sa menace 07/09/2022
Communication / Événement SuperComputing 2017 : Inria sera présent à la conférence mondiale du Calcul Haute Performance, Réseaux, Stockage et Big Data 09/11/2017