Equipe-projet PICUBE Les assistants à la démonstration au cœur du raisonnement mathématique Les assistants à la démonstration au cœur du raisonnement mathématique
Centre(s) inria Centre Inria de Paris En partenariat avec CNRS,Université Paris Cité Publications HALRapport d'activité Contacts Paul-Andre Mellies Responsable de l'équipe Meriem Guemair Assistant(e) de l'équipe Diana Marino Duarte Assistant(e) de l'équipe Dans l'actualité Bourses ERC MALINCA : le projet qui ambitionne de réduire le fossé linguistique entre les mathématiciens et les machines 05/11/2024 Toute l'actualité de l'équipe-projet Découvrez les autres équipes qui travaillent sur le même thème
Bourses ERC MALINCA : le projet qui ambitionne de réduire le fossé linguistique entre les mathématiciens et les machines 05/11/2024