Accéder directement au contenu

Julien Narboux

Enseignant-Chercheur, Université de Strasbourg, Laboratoire ICube
1
Documents
Identifiants chercheurs

Publications

"vdurandg"
Image document

Combining pencil/paper proofs and formal proofs, a challenge for Artificial Intelligence and mathematics education

Julien Narboux , Viviane Durand-Guerrier
Richard P.R.; Vélez M.P.; Van Vaerenbergh S. Mathematics Education in the Age of Artificial Intelligence: How Intelligence can serve mathematical human learning, 17, Springer, pp.167-192, 2022, Mathematics Education in the Digital Era, 978-3-030-86908-3. ⟨10.1007/978-3-030-86909-0_8⟩
Chapitre d'ouvrage hal-03254579v1