Miguel A. Abánades

According to our database, Miguel A. Abánades authored at least 15 papers between 2007 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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

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

Proceedings of the Mathematical Software - ICMS 2016, 2016

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

Automatic deduction in (dynamic) geometry: Loci computation.

Francisco Botana, Miguel A. Abánades

Comput. Geom., 2014

Using a free open source software to teach mathematics.

Francisco Botana, Miguel A. Abánades, Jesús Escribano

Comput. Appl. Eng. Educ., 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

Software Using the Gröbner Cover for Geometrical Loci Computation and Classification.

Miguel A. Abánades, Francisco Botana, Antonio Montes, Tomás Recio

Proceedings of the Mathematical Software - ICMS 2014, 2014

2013

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

Proceedings of the Intelligent Computer Mathematics, 2013

2011

Automatic Deduction in Dynamic Geometry using Sage

Francisco Botana, Miguel A. Abánades

Proceedings of the Proceedings First Workshop on CTP Components for Educational Software, 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

On a generalized name entity recognizer based on Hidden Markov Models.

J. Manuel Colmenar, Miguel A. Abánades, Fernando Poza, Diego Martín, Alfredo Cuesta-Infante, Alberto Herran, José Ignacio Hidalgo

Proceedings of the 11th International Conference on Intelligent Systems Design and Applications, 2011

Using Free Open Source Software for Intelligent Geometric Computing.

Miguel A. Abánades, Francisco Botana, Jesús Escribano, José L. Valcarce

Proceedings of the Computational Science and Its Applications - ICCSA 2011, 2011

2010

Adding remote computational capabilities to Dynamic Geometry Systems.

Jesús Escribano, Francisco Botana, Miguel A. Abánades

Math. Comput. Simul., 2010

2007

First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems.

Miguel A. Abánades, Jesús Escribano, Francisco Botana

Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

Computing Locus Equations for Standard Dynamic Geometry Environments.

Francisco Botana, Miguel A. Abánades, Jesús Escribano

Proceedings of the Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27, 2007