@article{8f415dd35c4f46f88332924844bafa8f,
title = "Using Automated Reasoning Tools in GeoGebra in the Teaching and Learning of Proving in Geometry",
author = "Zolt{\'a}n Kov{\'a}cs and T. Recio and V{\'e}lez, {M. P.}",
year = "2018",
doi = "10.1564/tme_v25.2.03",
language = "English",
volume = "25",
pages = "33--51",
journal = "The International Journal for Technology in Mathematics Education",
issn = "1744-2710",
publisher = "International Journal for Technology in Mathematics Education",
number = "2",
}