Skip to Main content Skip to Navigation
New interface
Conference papers

Automatic analysis of proof in a computer-based environment

Jana Trgalova 1 Hamid Chaachoua 1 
1 MeTAH - Modèles et Technologies pour l’Apprentissage Humain
LIG - Laboratoire d'Informatique de Grenoble
Résumé : no abstract
Complete list of metadata

https://hal.inria.fr/hal-00948780
Contributor : Denis Bouhineau Connect in order to contact the contributor
Submitted on : Tuesday, February 18, 2014 - 4:23:07 PM
Last modification on : Tuesday, November 15, 2022 - 3:28:25 PM

Identifiers

  • HAL Id : hal-00948780, version 1

Collections

Citation

Jana Trgalova, Hamid Chaachoua. Automatic analysis of proof in a computer-based environment. ICMI'19 : 19th International Conference on Mathematics Instruction, Taipei, Taiwan, 2009, Taipei, Taiwan. (6 p.). ⟨hal-00948780⟩

Share

Metrics

Record views

121