Vers l'utilisation d'un assistant de preuve en classe ?

Le Mercredi 12 décembre 2018 nous avons eu le plaisir d'écouter monsieur Julien Narboux dont l'exposé avait pour titre : " Vers l'utilisation d'un assistant de preuve en classe ? ".

 

Vous trouverez plus de détails en suivant ce lien : mathinfo.unistra.fr/irem/conferences/2018-2019/ , et ci-dessous l'affiche de cette conférence.