Computing Locus Equations for Standard Dynamic Geometry Environments. - Francisco Botana; Miguel A. Abánades; Jesús Escribano (International Conference on Computational Science (2), 2007)

First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems. - Miguel A. Abánades; Jesús Escribano; Francisco Botana (Calculemus/MKM, 2007)

Adding remote computational capabilities to Dynamic Geometry Systems. - Jesús Escribano; Francisco Botana; Miguel A. Abánades (Math. Comput. Simul., 2010)

Using Free Open Source Software for Intelligent Geometric Computing. - Miguel A. Abánades; Francisco Botana; Jesús Escribano; José L. Valcarce (ICCSA (4), 2011)

Exact internet accessible computation of paths of points in planar linkages and diagrams. - Francisco Botana; Miguel A. Abánades; Jesús Escribano (Comput. Appl. Eng. Educ., 2011)

Using a free open source software to teach mathematics. - Francisco Botana; Miguel A. Abánades; Jesús Escribano (Comput. Appl. Eng. Educ., 2014)

Automated Generation of Equations for Linkage Loci in a Game Physics System. - Miguel A. Abánades; Francisco Botana; Jesús Escribano (Technol. Knowl. Learn., 2014)