220 citations · 1.1k across the 28 of their papers we have counts for
Showing 2020 · cs.AIShow all
2 papers · 2 filters
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…
cs.AI2020★ 4 cited
Towards a Geometry Automated Provers Competition
Nuno Baeta, Pedro Quaresma, Zoltán Kovács
The geometry automated theorem proving area distinguishes itself by a large number of specific methods and implementations, different approaches (synthetic, algebraic, semi-synthet…