Botana, F. & Kovács, Z. (2014), A Singular web service for geometric computations, Annals of Mathematics and Artificial Intelligence, 1-12.
Abánades, M.; Botana, F.; Kovács, Z.; Recio, T. & Sólyom-Gecse, C. (2016), Towards the Automatic Discovery of Theorems in GeoGebra, in Gert-Martin Greuel; Thorsten Koch; Peter Paule & Andrew Sommese, ed., Mathematical Software – ICMS 2016. 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings, Springer International Publishing, Cham, pp. 37-42.
Abánades, M.; Botana, F.; Kovács, Z.; Recio, T. & Sólyom-Gecse, C. (2016), Development of Automatic Reasoning Tools in GeoGebra, ACM Commun. Comput. Algebra 50(3), 85-88.
Abánades, M. A.; Botana, F.; Kovács, Z.; Recio, T. & Sólyom-Gecse, C. (2016), Implementing Automatic Discovery in GeoGebra, in Julien Narboux; Pascal Schreck & Elena Streinu, ed., Proceedings of ADG 2016, pp. 23-32.
Abánades, M.; Botana, F.; Kovács, Z.; Recio, T. & Sólyom-Gecse, C. (2016), Implicit loci, GeoGebra Materials for the presentation Implementing Automatic Discovery in GeoGebra at ADG 2016, Strasbourg, France