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

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

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. Automated generation of equations for linkage loci in a game physics system

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

  2. Using a free open source software to teach mathematics

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

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

  2. Laboratorio de geometría y demostración: experimentación, deducción y demostración con sistemas de geometría dinámica

    Anales de ingeniería técnica en informática de sistemas, Núm. 2, pp. 57-74

2007

  1. Computing locus equations for standard dynamic geometry environments

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

  2. First steps on using openMath to add proving capabilities to standard dynamic geometry systems

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

2006

  1. On using OpenMath for representing dynamic geometry constructions: extended abstract

    Automated deduction in geometry: extended abstracts ([Vigo : Universidade de Vigo], D.L.), pp. 26-30