Proof assistants for undergraduate mathematics education: elements of an a priori analysis - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2023

Proof assistants for undergraduate mathematics education: elements of an a priori analysis

Résumé

This paper presents an a priori analysis of the use of six different interactive proof assistants for education, based on the resolution of a typical undergraduate exercise on abstract functions. It proposes to analyze these tools according to three main categories of aspects: language and interaction mode, automation and user assistance, and proof structure and visualization. We argue that this analysis may help formulate and clarify further research questions on the possible impact of such tools on the development of reasoning and proving skills.
Fichier principal
Vignette du fichier
PA_apriori_long-submitted.pdf (3.33 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Licence : Copyright (Tous droits réservés)

Dates et versions

hal-04087080 , version 1 (02-05-2023)

Licence

Copyright (Tous droits réservés)

Identifiants

  • HAL Id : hal-04087080 , version 1

Citer

Evmorfia-Iro Bartzia, Emmanuel Beffara, Antoine Meyer, Julien Narboux. Proof assistants for undergraduate mathematics education: elements of an a priori analysis. 2023. ⟨hal-04087080⟩
122 Consultations
222 Téléchargements

Partager

Gmail Facebook X LinkedIn More