Publicacións en colaboración con investigadores/as de Universidad Complutense de Madrid (23)

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. Foreword to the special issue on "nonstandard applications of computer algebra"

    Mathematics and Computers in Simulation

  5. 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)

  6. 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)

  2. Lichenised and lichenicolous fungi from the Pitiüses Archipelago (Eivissa, Formentera, Sa Conillera and Es Vedrà), Balearic Islands, Spain

    VI Jornades de Medi Ambient de les Illes Balears: ponències i resums

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. 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

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)

  3. Lichens and lichenicolous fungi of Sierra de San Lorenzo (La Rioja Community, Spain)

    Cryptogamie, Mycologie, Vol. 28, Núm. 2, pp. 133-153

2002

  1. Ground-based radar, close-range photogrammetry and digital terrain data applied together to archaeological heritage documentation

    Proceedings of SPIE-The International Society for Optical Engineering, Vol. 4758, pp. 527-532