Follow
Miguel A. Abanades
Miguel A. Abanades
Verified email at urjc.es
Title
Cited by
Cited by
Year
Development of automatic reasoning tools in GeoGebra
M Abánades, F Botana, Z Kovács, T Recio, C Sólyom-Gecse
ACM Communications in Computer Algebra 50 (3), 85-88, 2016
442016
Software matemático libre
MA Abánades, F Botana, J Escribano, LF Tabera
La Gaceta de la RSME 12 (2), 325-346, 2009
432009
An algebraic taxonomy for locus computation in dynamic geometry
MÁ Abánades, F Botana, A Montes, T Recio
Computer-Aided Design 56, 22-33, 2014
402014
Using a free open source software to teach mathematics
F Botana, MA Abánades, J Escribano
Computer Applications in Engineering Education 22 (4), 728-735, 2014
262014
Adding remote computational capabilities to dynamic geometry systems
J Escribano, F Botana, MA Abánades
Mathematics and Computers in Simulation 80 (6), 1177-1184, 2010
212010
Automatic deduction in (dynamic) geometry: Loci computation
F Botana, MA Abánades
Computational Geometry 47 (1), 75-89, 2014
202014
Exploring students’ procedural flexibility in three countries
JR Star, D Tuomela, NJ Prieto, P Hästö, R Palkki, MÁ Abánades, J Pejlare, ...
International Journal of STEM Education 9, 1-18, 2022
182022
Exact internet accessible computation of paths of points in planar linkages and diagrams
F Botana, MA Abánades, J Escribano
Computer Applications in Engineering Education 19 (4), 835-841, 2011
172011
Concepto de lugar geométrico. Génesis de utilización personal y profesional con distintas herramientas
IM Gómez-Chacón, F Botana, J Escribano, MÁ Abánades
Bolema: Boletim de Educaçăo Matemática 30, 67-94, 2016
112016
Computing locus equations for standard dynamic geometry environments
F Botana, MA Abánades, J Escribano
Computational Science–ICCS 2007: 7th International Conference, Beijing …, 2007
112007
First steps on using OpenMath to add proving capabilities to standard dynamic geometry systems
MA Abánades, J Escribano, F Botana
International Conference on Mathematical Knowledge Management, 131-145, 2007
92007
Which one is the “best”: A cross-national comparative study of students’ strategy evaluation in equation solving
R Jiang, JR Star, P Hästö, L Li, R Liu, D Tuomela, NJ Prieto, R Palkki, ...
International Journal of Science and Mathematics Education 21 (4), 1127-1151, 2023
82023
Algebraic equivalence of real algebraic cycles
M Abánades, W Kucharz
Annales de l'institut Fourier 49 (6), 1797-1804, 1999
81999
Software Using the Gröbner Cover for Geometrical Loci Computation and Classification
MA Abánades, F Botana, A Montes, T Recio
Mathematical Software–ICMS 2014: 4th International Congress, Seoul, South …, 2014
72014
Towards the automatic discovery of theorems in GeoGebra
M Abánades, F Botana, Z Kovács, T Recio, C Sólyom-Gecse
Mathematical Software–ICMS 2016: 5th International Conference, Berlin …, 2016
52016
Automatic deduction in dynamic geometry using sage
F Botana, MA Abánades
arXiv preprint arXiv:1202.4830, 2012
52012
Algebraic homology for real hyperelliptic and real projective ruled surfaces
MA Abánades
Canadian Mathematical Bulletin 44 (3), 257-265, 2001
52001
Flexibilidad matemática y resolución de ecuaciones lineales
N Joglar Prieto, MÁ Abánades Astudillo, J Star
Uno: Revista de didáctica de las matematicas, 2018
42018
Sage: una aplicación libre para matemáticas
F Botana, J Escribano, MA Abánades
SUMA 67, 41-46, 2011
42011
The Intergeo file format in progress
M Abánades, F Botana, J Escribano, M Hendriks, U Kortenkamp, Y Kreis, ...
Proceedings of the 22nd OpenMath Workshop, 17-30, 2009
42009
The system can't perform the operation now. Try again later.
Articles 1–20