Equipe-projet PASCALINE Arithmétique des ordinateurs, calcul formel et vérification formelle Arithmétique des ordinateurs, calcul formel et vérification formelle
Centre(s) inria Centre Inria de Lyon En partenariat avec Ecole normale supérieure de Lyon,Université Claude Bernard (Lyon 1),CNRS Publications HALRapport d'activité Contacts Nicolas Brisebarre Responsable de l'équipe Chiraz Benamor Assistant(e) de l'équipe Sylvie Boyer Assistant(e) de l'équipe Dans l'actualité Prix Inria Jean-Michel Muller, le père de la communauté française d’arithmétique des ordinateurs 25/11/2025 Histoire du numérique Une révolution permanente Histoire du numérique Idée reçue : L'informatique, c'est récent ! Culture & Société Lire & Voir : Les fondements de l'informatique Histoire du numérique Le calcul, une notion difficile à attraper Culture & Société Pour la plage, la montagne, la campagne... voire le bureau ou le labo ! Toute l'actualité de l'équipe-projet Découvrez les autres équipes qui travaillent sur le même thème
Prix Inria Jean-Michel Muller, le père de la communauté française d’arithmétique des ordinateurs 25/11/2025
