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

Technology for Human Learning History and Overview [math.HO] 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