An experiment concerning mathematical proofs on computers with French undergraduate students - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Applied Logic Année : 2004

An experiment concerning mathematical proofs on computers with French undergraduate students

René David
  • Fonction : Auteur
  • PersonId : 859236
Christophe Raffalli
  • Fonction : Auteur
  • PersonId : 859237

Résumé

We describe our experience of using PhoX (the prover of C Raffalli) with undergraduate students in mathematic (in third year) to help them to do correct proofs. They proved, among other things, Heine's theorem.
Fichier principal
Vignette du fichier
final.pdf (338.99 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00384656 , version 1 (15-05-2009)

Identifiants

  • HAL Id : hal-00384656 , version 1

Citer

René David, Christophe Raffalli. An experiment concerning mathematical proofs on computers with French undergraduate students. Journal of Applied Logic, 2004, 2 (2), pp.219-239. ⟨hal-00384656⟩
99 Consultations
172 Téléchargements

Partager

Gmail Facebook X LinkedIn More