- Title
- Combining pencil/paper proofs and formal proofs, a challenge for Artificial Intelligence and mathematics education
- Creators - without role
- Julien Narboux - Université de StrasbourgViviane Durand-Guerrier - Université de Montpellier, Institut Montpelliérain Alexander Grothendieck - IMAG
- Contributors - without role
- Richard P.R.Vélez M.P.Van Vaerenbergh S.
- Publication Details
- Mathematics Education in the Age of Artificial Intelligence: How Intelligence can serve mathematical human learning, Vol.17, pp.167-192
- Series
- Mathematics Education in the Digital Era
- Identifiers
- 9933933509311
- Academic Unit
- Institut Montpelliérain Alexander Grothendieck - IMAG
- Language
- English
- Resource Type
- Book chapter
- Local Fields
- hal-03254579
Book chapter
Combining pencil/paper proofs and formal proofs, a challenge for Artificial Intelligence and mathematics education
Mathematics Education in the Age of Artificial Intelligence: How Intelligence can serve mathematical human learning, Vol.17, pp.167-192
Mathematics Education in the Digital Era
10/03/2022
Metrics
1 Record Views