3 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.CG2022★ 2 cited
Automated Discovery of Geometrical Theorems in GeoGebra
Zoltán Kovács, Jonathan H. Yu
We describe a prototype of a new experimental GeoGebra command and tool, Discover, that analyzes geometric figures for salient patterns, properties, and theorems. This tool is a ba…
cs.AI2020★ 3 cited
Towards Automated Discovery of Geometrical Theorems in GeoGebra
Zoltán Kovács, Jonathan H. Yu
We describe a prototype of a new experimental GeoGebra command and tool Discover that analyzes geometric figures for salient patterns, properties, and theorems. This tool is a basi…