Towards Automated Discovery of Geometrical Theorems in GeoGebra. - Zoltán Kovács; Jonathan H. Yu (CoRR, 2020)

Automated Discovery of Geometrical Theorems in GeoGebra. - Zoltán Kovács; Jonathan H. Yu (ThEdu@CADE, 2021)

The ShowProof Command in GeoGebra Discovery: Towards the Automated Ranking of Elementary Geometry Theorems. - Zoltán Kovács; Bernard Parisse; Tomás Recio; M. Pilar Vélez; Jonathan H. Yu (ACM Commun. Comput. Algebra, 2024)