L'automatisation des procédures arithmétiques
Intervention de Catherine Thevenot qui présente ses travaux sur l'automatisation des procédure arithmétiques lors de la conférence internationale "Mathématiques pour tous : Faire aimer et pratiquer les maths de l'école au lycée" (Paris, le 15 juin 2022).