Proof Technology and Learning in Mathematics: Common Issues and Perspectives

Nicolas Balacheff; Thierry Boy de La Tour

Book Sections Year : 2019

Proof Technology and Learning in Mathematics: Common Issues and Perspectives

(1) , (2)

1
2

Nicolas Balacheff

Function : Author
PersonId : 173152
IdHAL : nicolas-balacheff
ORCID : 0000-0001-7084-3482
IdRef : 026701723

Modèles et Technologies pour l’Apprentissage Humain

CV

Thierry Boy de La Tour

Function : Author
PersonId : 1022935

Calculs algorithmes programmes et preuves

Keywords

Mathematics education research Aumated theorem proving Artifical Intelligence Learning mathematical proof Proof tutors Educational technology Technology enhanced learning Logic

Domains

Computer Science [cs] Technology for Human Learning Mathematics [math] History and Overview [math.HO] Humanities and Social Sciences Education

Fichier principal

2019 Balacheff & Boy de la Tour - chapter - Proof techno.pdf (1.07 Mo)

Origin : Files produced by the author(s)

Nicolas Balacheff : Connect in order to contact the contributor

https://hal.science/hal-02333646

Submitted on : Tuesday, December 14, 2021-11:07:05 AM

Last modification on : Friday, March 24, 2023-2:53:24 PM

Long-term archiving on: Tuesday, March 15, 2022-6:40:07 PM

Dates and versions

hal-02333646 , version 1 (14-12-2021)

Identifiers

HAL Id : hal-02333646 , version 1

Cite

Nicolas Balacheff, Thierry Boy de La Tour. Proof Technology and Learning in Mathematics: Common Issues and Perspectives. Hanna, Gila; Reid, David; de Villiers, Michael. Proof Technology in Mathematics Research and Teaching, Springer, pp.349-365, 2019, 978-3-030-28483-1. ⟨hal-02333646⟩

Proof Technology and Learning in Mathematics: Common Issues and Perspectives

Keywords

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share