2 citations · 3 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.CG2022★ 1 cited
Symbolic Comparison of Geometric Quantities in GeoGebra
Zoltán Kovács, Róbert Vajda
Comparison of geometric quantities usually means obtaining generally true equalities of different algebraic expressions of a given geometric figure. Today's technical possibilities…