# Using Automated Reasoning Tools in GeoGebra in the Teaching and Learning of Proving in Geometry

> Research article (International Journal for Technology in Mathematics Education, 2018) · cited 34× · AI/ML

**Wikidata**: [openalex:W2965423874](https://www.wikidata.org/wiki/openalex:W2965423874)  
**Source**: https://4ort.xyz/entity/using-automated-reasoning-tools-in-geogebra-in-the-teaching-and-learning-of-proving-in-geometry