[list][*]Chou, S.C. (1987), [url=http://dl.acm.org/citation.cfm?id=39060]Mechanical geometry theorem proving[/url][/*][*]Botana, F. & Kovács, Z. (2014), [i]A Singular web service for geometric computations[/i], 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., [i]Mathematical Software – ICMS 2016. 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings[/i], Springer International Publishing, Cham, pp. 37-42.[/*][*]Abánades, M.; Botana, F.; Kovács, Z.; Recio, T. & Sólyom-Gecse, C. (2016), [i]Development of Automatic Reasoning Tools in GeoGebra[/i], 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., [i]Proceedings of ADG 2016[/i], pp. 23-32.[/*][*]Abánades, M.; Botana, F.; Kovács, Z.; Recio, T. & Sólyom-Gecse, C. (2016), [url=https://www.geogebra.org/m/mbXQuvUV]Implicit loci[/url], GeoGebra Materials for the presentation Implementing Automatic Discovery in GeoGebra at ADG 2016, Strasbourg, France[/*][*]Kovács, Z. (2016), [url=https://www.geogebra.org/m/gH3b2Vwa]Variations on implicit loci in a triangle[/url], Presentation at ICME-13, Hamburg, Germany.[/*][*]Boxhofer, E.; Huber, F.; Lischka, U. & Panhuber, B. (2013), [i][url=http://www.veritas.at/reihe/mathematix]mathematiX[/url] 4[/i], Veritas Verlag, Linz[/*][/list]