Automatic analysis of proof in a computer-based environment - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2009

Automatic analysis of proof in a computer-based environment

Abstract

no abstract
No file

Dates and versions

hal-00948780 , version 1 (18-02-2014)

Identifiers

  • HAL Id : hal-00948780 , version 1

Cite

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⟩
125 View
0 Download

Share

Gmail Facebook X LinkedIn More