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)

On a generalized name entity recognizer based on Hidden Markov Models. - J. Manuel Colmenar; Miguel A. Abánades; Fernando Poza; Diego Martín 002; Alfredo Cuesta-Infante; Alberto Herran; José Ignacio Hidalgo (ISDA, 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)

Automatic Deduction in Dynamic Geometry using Sage - Francisco Botana; Miguel A. Abánades (ThEdu, 2011)

A Dynamic Symbolic Geometry Environment Based on the GröbnerCover Algorithm for the Computation of Geometric Loci and Envelopes. - Miguel A. Abánades; Francisco Botana (MKM/Calculemus/DML, 2013)

Software Using the Gröbner Cover for Geometrical Loci Computation and Classification. - Miguel A. Abánades; Francisco Botana; Antonio Montes; Tomás Recio (ICMS, 2014)

An algebraic taxonomy for locus computation in dynamic geometry. - Miguel A. Abánades; Francisco Botana; Antonio Montes; Tomás Recio (Comput. Aided Des., 2014)

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

Automatic deduction in (dynamic) geometry: Loci computation. - Francisco Botana; Miguel A. Abánades (Comput. Geom., 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)

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)