Automatic analysis of proof in a computer-based environment
J. Trgalova, and H. Chaachoua. Proof and Proving in Mathematics Education ICMI'19 : 19th International Conference on Mathematics Instruction, Taipei, Taiwan, page 226 --231. (2009)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 trgalova2009
%A Trgalova, Jana
%A Chaachoua, Hamid
%B Proof and Proving in Mathematics Education ICMI'19 : 19th International Conference on Mathematics Instruction, Taipei, Taiwan
%D 2009
%E Lin, F.-L.
%E Hsieh, F.-J.
%E Hanna, G.
%E de Villiers, M.
%K assessment geometry imported
%P 226 --231
%T Automatic analysis of proof in a computer-based environment
@inproceedings{trgalova2009,
added-at = {2009-12-15T15:00:45.000+0100},
author = {Trgalova, Jana and Chaachoua, Hamid},
biburl = {https://www.bibsonomy.org/bibtex/2c549600bc31496a73445cb21c6b1e841/marvinschiller},
booktitle = {Proof and Proving in Mathematics Education ICMI'19 : 19th International Conference on Mathematics Instruction, Taipei, Taiwan},
editor = {Lin, F.-L. and Hsieh, F.-J. and Hanna, G. and de Villiers, M.},
interhash = {f043c885e711350311fed35eda08be94},
intrahash = {c549600bc31496a73445cb21c6b1e841},
keywords = {assessment geometry imported},
pages = {226 --231},
timestamp = {2009-12-15T15:02:27.000+0100},
title = {Automatic analysis of proof in a computer-based environment},
year = 2009
}