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 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 Histoire du numérique Le calcul, une notion difficile à attraper Culture & Société Lire & Voir : Les fondements de l'informatique 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
