Miguel A. Abánades

Publication Activity (10 Years)

Years Active: 2007-2016
Publications (10 Years): 2

Top Topics

Reasoning Processes

Computer Assisted Instruction

Automatic Discovery

Free Open Source Software

Top Venues

MKM/Calculemus/DML

Comput. Appl. Eng. Educ.

Comput. Aided Des.

Publications

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