Allen Leung, Francis Lopez-Real. Theorem Justification and Acquisition in Dynamic Geometry: A Case of Proof by Contradiction. Technology, Knowledge and Learning, 7(2):145-165, 2002. [doi]
@article{LeungL02-1,
title = {Theorem Justification and Acquisition in Dynamic Geometry: A Case of Proof by Contradiction},
author = {Allen Leung and Francis Lopez-Real},
year = {2002},
doi = {10.1023/A%3A1021195015288},
url = {https://doi.org/10.1023/A%3A1021195015288},
researchr = {https://researchr.org/publication/LeungL02-1},
cites = {0},
citedby = {0},
journal = {Technology, Knowledge and Learning},
volume = {7},
number = {2},
pages = {145-165},
}