Research facility · founded 2022
PICUBE: Les assistants à la démonstration au cœur du raisonnement mathématique
Paris, France · inria.fr/equipes/picube
Part of Institut national de recherche en sciences et technologies du numérique
- Citations, last 5 years
- 33
- Works, last 5 years
- 48
- h-index
- 3
- Scientists listed
- 0
- Grants since 2016
- 0