Towards the Automatic Discovery of Theorems in GeoGebra. - Miguel A. Abánades; Francisco Botana; Zoltán Kovács; Tomás Recio; Csilla Sólyom-Gecse (ICMS, 2016)

Development of automatic reasoning tools in GeoGebra. - Miguel A. Abánades; Francisco Botana; Zoltán Kovács; Tomás Recio; Csilla Sólyom-Gecse (ACM Commun. Comput. Algebra, 2016)

GeoGebra Tools with Proof Capabilities. - Zoltán Kovács; Csilla Sólyom-Gecse (CoRR, 2016)

Rewriting input expressions in complex algebraic geometry provers. - Zoltán Kovács; Tomás Recio; Csilla Sólyom-Gecse (Ann. Math. Artif. Intell., 2019)