L’automatisation des procédures arithmétiques
Intervention de Catherine Thevenot qui présente ses travaux sur l’automatisation des procédure arithmétiques.
Prochaine vidéo
Conférence internationale Mathématiques pour tous - 11 Discussion Apports de la recherche (2)
Conférence internationale du CSEN du 15 juin 2022