Automatic analysis of proof in a computer-based environment

Jana Trgalova 1 Hamid Chaachoua 2
1 MeTAH
Leibniz - IMAG - Laboratoire Leibniz, LIG - Laboratoire d'Informatique de Grenoble, EducTICE - Education, Technologies de l'information et de la communication
2 MeTAH
LIG - Laboratoire d'Informatique de Grenoble
Résumé : no abstract
Liste complète des métadonnées

https://hal.inria.fr/hal-00948780
Contributor : Denis Bouhineau <>
Submitted on : Tuesday, February 18, 2014 - 4:23:07 PM
Last modification on : Tuesday, April 16, 2019 - 10:28:00 AM

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, Unknown, (6 p.). ⟨hal-00948780⟩

Share

Metrics

Record views

290