202224371Z : PICUBE Les assistants à la démonstration au cœur du raisonnement mathématique
- Unité de recherche
Responsables
PAUL-ANDRE MELLIES à partir du 01/12/2022
Adresse : 75012 Paris
Descriptif :
Aucun
Ecole(s) doctorale(s) de rattachement :
non renseignée
Rattachée au(x) thème(s) de recherche suivant(s):
non renseigné
Liens avec d'autres structures :
Participe à :
Participe à :
- Unité mixte 201621976X - Institut de Recherche en Informatique Fondamentale (lien non exclusif)
- Structures Fédératives de Recherche 196718247G - Centre Inria de Paris (lien non exclusif)
Contact: paul-andre.mellies@inria.fr
Année de création : 2022
Année de fermeture : 2026
Site ESR :
Aucun
Classement scientifique ERC :
non renseigné.
Domaine scientifique :
- 9 : Sciences et technologies de l'information et de la communication 2022
|
U PARIS Cité
-
Université Paris Cité
(établissement tutelle à partir de 2022) |
|
|
INRIA
-
Institut national de la recherche en informatique et automatique
(UPR )
(établissement tutelle à partir de 2022) |
Etablissement référent |
|
CNRS
-
Centre national de la recherche scientifique
(UPR )
(établissement tutelle à partir de 2022) |
-
Libellé(s) de structure
- 09/01/2023 : PICUBE