Combining pencil/paper proofs and formal proofs, a challenge for Artificial Intelligence and mathematics education
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Chapitre D'ouvrage
Année : 2022
Archive ouverte univOAK : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03254579
Soumis le : mardi 8 juin 2021-23:06:23
Dernière modification le : jeudi 7 novembre 2024-16:14:04
Archivage à long terme le : jeudi 9 septembre 2021-20:38:15
Citer
Julien Narboux, Viviane Durand-Guerrier. Combining pencil/paper proofs and formal proofs, a challenge for Artificial Intelligence and mathematics education. 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⟩. ⟨hal-03254579⟩
Collections
126
Consultations
237
Téléchargements