1. Abánades, M. A., Escribano, J. and Botana F., 2009. Remote symbolic computation of loci. Presentation at CADGME 2009, Hagenberg–Linz, Austria. https://www.risc.jku.at/conferences/cadgme2009/ABANADES/ABANADES.pdf. (Accessed 6 July 2017).
2. An algebraic taxonomy for locus computation in dynamic geometry;Abánades;Comput. Aided Des.,2014
3. Development of automatic reasoning tools in GeoGebra. Software Demonstration at the ISSAC 2016 Conference;Abánades;ACM Commun. Comput. Algebra,2016
4. Mechanisms in Modern Engineering Design. Volume 1;Artobolevsky,1976
5. Automated theorem proving in GeoGebra: current achievements;Botana;J. Autom. Reason.,2015