Fiche d'un projet ANR

 42715Formalisme, formalisation, intuition et compréhension en mathématiques : de la pratique informelle aux systèmes formels et retour [En savoir plus]FFIUM - ANR-17-FRAL-0003
FRAL - 2017