Accueil

Les Rencontres Arithmétiques du GdR Informatique Mathématique (RAIM) abordent les problèmes liés à l'arithmétique et se rapportant aux thématiques du GT Arithmétique du GdR IM : arithmétique des ordinateurs, validation numérique et preuve formelle, calcul scientifique, cryptographie ...