Fiche du document
Date
2019
Discipline
Type de document
Périmètre
Langue
Identifiants
- ISIDORE Id: 10670/1.a67df1...
- isbn: 978-3-030-28483-1
- hal: hal-02333646
Collection
Organisation
Licence
info:eu-repo/semantics/OpenAccess
Mots-clés
Mathematics education research Aumated theorem proving Artifical Intelligence Learning mathematical proof Proof tutors Educational technology Technology enhanced learning Logic ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.3: Deduction and Theorem Proving ACM: K.: Computing Milieux/K.3: COMPUTERS AND EDUCATION/K.3.1: Computer Uses in Education/K.3.1.1: Computer-assisted instruction (CAI) ACM: K.: Computing Milieux/K.3: COMPUTERS AND EDUCATIONSujets proches
Learning process Scholarship LearningCiter ce document
Nicolas Balacheff et al., « Proof Technology and Learning in Mathematics: Common Issues and Perspectives », HAL SHS (Sciences de l’Homme et de la Société), ID : 10670/1.a67df1...
Métriques
Partage / Export
Résumé
International audience
