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