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
Type de document :
Communication dans un congrès
ICMI'19 : 19th International Conference on Mathematics Instruction, Taipei, Taiwan, 2009, Unknown, (6 p.), 2009
Liste complète des métadonnées

https://hal.inria.fr/hal-00948780
Contributeur : Denis Bouhineau <>
Soumis le : mardi 18 février 2014 - 16:23:07
Dernière modification le : jeudi 11 janvier 2018 - 06:27:12

Identifiants

  • 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.), 2009. 〈hal-00948780〉

Partager

Métriques

Consultations de la notice

263