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é Histoire du numérique Idée reçue : L'informatique, c'est récent ! Histoire du numérique Une révolution permanente 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
