Julien Narboux
Enseignant-Chercheur, Université de Strasbourg, Laboratoire ICube
1
Documents
Identifiants chercheurs
- julien-narboux
- IdRef : 111206480
- 0000-0003-3527-7184
Publications
- 1
- 1
- 1
- 1
- 1
|
Combining pencil/paper proofs and formal proofs, a challenge for Artificial Intelligence and mathematics educationRichard 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
|