Miguel A. Abánades

15 papers C 1Misc 1Journal 7Unranked 6
YearRankTypeTitle / Venue / Authors
2016 J jnl
Development of automatic reasoning tools in GeoGebra.
ACM Commun. Comput. Algebra
Miguel A. Abánades, Francisco Botana, Zoltán Kovács, Tomás Recio, Csilla Sólyom-Gecse
2016 — conf
Towards the Automatic Discovery of Theorems in GeoGebra.
ICMS
Miguel A. Abánades, Francisco Botana, Zoltán Kovács, Tomás Recio, Csilla Sólyom-Gecse
2014 J jnl
An algebraic taxonomy for locus computation in dynamic geometry.
Comput. Aided Des.
Miguel A. Abánades, Francisco Botana, Antonio Montes, Tomás Recio
2014 J jnl
Automated Generation of Equations for Linkage Loci in a Game Physics System.
Technol. Knowl. Learn.
Miguel A. Abánades, Francisco Botana, Jesús Escribano
2014 J jnl
Automatic deduction in (dynamic) geometry: Loci computation.
Comput. Geom.
Francisco Botana, Miguel A. Abánades
2014 — conf
Software Using the Gröbner Cover for Geometrical Loci Computation and Classification.
ICMS
Miguel A. Abánades, Francisco Botana, Antonio Montes, Tomás Recio
2014 J jnl
Using a free open source software to teach mathematics.
Comput. Appl. Eng. Educ.
Francisco Botana, Miguel A. Abánades, Jesús Escribano
2013 — conf
A Dynamic Symbolic Geometry Environment Based on the GröbnerCover Algorithm for the Computation of Geometric Loci and Envelopes.
MKM/Calculemus/DML
Miguel A. Abánades, Francisco Botana
2011 — conf
Automatic Deduction in Dynamic Geometry using Sage
ThEdu
Francisco Botana, Miguel A. Abánades
2011 J jnl
Exact internet accessible computation of paths of points in planar linkages and diagrams.
Comput. Appl. Eng. Educ.
Francisco Botana, Miguel A. Abánades, Jesús Escribano
2011 C conf
On a generalized name entity recognizer based on Hidden Markov Models.
ISDA
J. Manuel Colmenar, Miguel A. Abánades, Fernando Poza, Diego Martín, Alfredo Cuesta-Infante, Alberto Herran, José Ignacio Hidalgo
2011 — conf
Using Free Open Source Software for Intelligent Geometric Computing.
ICCSA (4)
Miguel A. Abánades, Francisco Botana, Jesús Escribano, José L. Valcarce
2010 J jnl
Adding remote computational capabilities to Dynamic Geometry Systems.
Math. Comput. Simul.
Jesús Escribano, Francisco Botana, Miguel A. Abánades
2007 Misc conf
Computing Locus Equations for Standard Dynamic Geometry Environments.
International Conference on Computational Science (2)
Francisco Botana, Miguel A. Abánades, Jesús Escribano
2007 — conf
First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems.
Calculemus/MKM
Miguel A. Abánades, Jesús Escribano, Francisco Botana