Publicacións nas que colabora con Miguel A. Abánades Astudillo (24)

2017

  1. Una propuesta en formación inicial de profesores de matemáticas para enseñar con aplicaciones web de cálculo simbólico

    Las TIC en la enseñanza. Experiencias en la UCM: actas de la Jornada. 29 de marzo de 2017, Facultad de Geografía e Historia (Universidad Complutense de Madrid), pp. 89-93

2016

  1. Concepto de lugar geométrico. Génesis de utilización personal y profesional con distintas herramientas

    Bolema - Mathematics Education Bulletin, Vol. 30, Núm. 54, pp. 67-94

  2. Descubrimiento Automático en GeoGebra: primeros pasos

    XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016

  3. Development of automatic reasoning tools in GeoGebra

    ACM Communications in Computer Algebra, Vol. 50, Núm. 3, pp. 85-88

  4. Towards the automatic discovery of theorems in GeoGebra

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2015

  1. Distintas herramientas para la enseñanza/ aprendizaje del concepto de lugar geométrico

    Espacio de Trabajo Matemático: Cuarto Simposio Internacional ETM: del 30 de junio al 4 de julio de 2014, San Lorenzo de El Escorial, Madrid, España (Universidad Complutense de Madrid), pp. 261-282

2014

  1. An algebraic taxonomy for locus computation in dynamic geometry

    CAD Computer Aided Design, Vol. 56, pp. 22-33

  2. Automated generation of equations for linkage loci in a game physics system

    Technology, Knowledge and Learning, Vol. 19, Núm. 3, pp. 317-326

  3. Automatic deduction in (dynamic) geometry: Loci computation

    Computational Geometry: Theory and Applications, Vol. 47, Núm. 1, pp. 75-89

  4. Software using the Gröbner cover for geometrical loci computation and classification

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  5. Using a free open source software to teach mathematics

    Computer Applications in Engineering Education, Vol. 22, Núm. 4, pp. 728-735

2013

  1. A dynamic symbolic geometry environment based on the GröbnerCover algorithm for the computation of geometric loci and envelopes

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2012

  1. A demo on using the GröbnerCover algorithm for dynamic geometry tasks

    Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones: EACA 2012

2011

  1. Exact internet accessible computation of paths of points in planar linkages and diagrams

    Computer Applications in Engineering Education, Vol. 19, Núm. 4, pp. 835-841

  2. Sage: una aplicación libre para matemáticas

    Suma: Revista sobre Enseñanza y Aprendizaje de las Matemáticas, Núm. 67, pp. 41-46

  3. Using free open source software for intelligent geometric computing

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2010

  1. Adding remote computational capabilities to Dynamic Geometry Systems

    Mathematics and Computers in Simulation, Vol. 80, Núm. 6, pp. 1177-1184

  2. Remote Symbolic Computation of Loci.

    International Journal for Technology in Mathematics Education, Vol. 17, Núm. 3, pp. 135-140

2009

  1. Software matemático libre

    Gaceta de la Real Sociedad Matematica Española, Vol. 12, Núm. 2, pp. 325-346

2008

  1. Be SAGE: Use Open Source Mathematical Software for Teaching and Research

    EACA 2008: XI Encuentro de Álgebra Computacional y Aplicaciones : Granada, del 10 al 12 de septiembre