Publicacións en colaboración con investigadores/as de Universidad de Cantabria (32)

2021

  1. A Mechanical Geometer

    Mathematics in Computer Science, Vol. 15, Núm. 4, pp. 631-641

2020

  1. An enhanced algorithm for complex permittivity extraction at microwave frequencies

    International Journal of Microwave and Optical Technology, Vol. 15, Núm. 3, pp. 238-245

  2. Special issue on dynamic geometry and automated reasoning

    Journal of Symbolic Computation

2019

  1. A Low-profile planar monopole internal antenna for GSM/DCS/PCS/IMT/UMTS/WLAN/ISM/LTE operation in the Mobile phones

    International Journal of Microwave and Wireless Technologies, Vol. 11, Núm. 1, pp. 41-52

  2. A Proposal for the Automatic Computation of Envelopes of Families of Plane Curves

    Journal of Systems Science and Complexity, Vol. 32, Núm. 1, pp. 150-157

  3. Automatically Augmented Reality with GeoGebra

    Augmented Reality in Educational Settings (Brill), pp. 347-368

2018

  1. Comparison and Evaluation of SAR Induced in Four Human Head models for Two Types of Antennas Used in Mobile Telephones

    International Conference on Multimedia Computing and Systems -Proceedings

  2. Towards an automated geometer

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

2017

  1. A new compact and miniaturized GCPW-fed slotted rectangular antenna for wideband UHF FIRD applications

    International Journal of Electrical and Computer Engineering, Vol. 7, Núm. 2, pp. 767-774

  2. A novel microstrip low pass filter based on ring topology

    International Journal of Microwave and Optical Technology, Vol. 12, Núm. 1, pp. 17-21

  3. Computing envelopes in dynamic geometry environments

    Annals of Mathematics and Artificial Intelligence, Vol. 80, Núm. 1, pp. 3-20

  4. Internal compact printed loop antenna for WWAN/WLAN/ISM/LTE smartphone applications

    International Journal of Microwave and Wireless Technologies, Vol. 9, Núm. 10, pp. 1961-1973

  5. The role of automated reasoning of geometry statements in mathematics instruction

    PROCEEDINGS OF THE TENTH CONGRESS OF THE EUROPEAN SOCIETY FOR RESEARCH IN MATHEMATICS EDUCATION (CERME10)

2016

  1. A compact planar monopole antenna with a T-shaped coupling feed for LTE/GSM/UMTS operation in the mobile phone

    Lecture Notes in Electrical Engineering

  2. A novel low-cost microstrip bandpass filter for ultra-wideband RF applications

    International Journal of Microwave and Optical Technology, Vol. 11, Núm. 2, pp. 92-99

  3. A novel wideband bandpass filter using coupled lines and T-shaped transmission lines with wide stopband on low-cost substrate

    Progress In Electromagnetics Research C, Vol. 67, pp. 143-152

  4. Calculating the SAR distribution in two human head models exposed to printed antenna with coupling feed for GSM/UMTS/LTE/WLAN operation in the mobile phone

    International Journal of Microwave and Optical Technology, Vol. 11, Núm. 6, pp. 391-398

  5. Descubrimiento Automático en GeoGebra: primeros pasos

    XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016

  6. Development of automatic reasoning tools in GeoGebra

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

  7. On the Unavoidable Uncertainty of Truth in Dynamic Geometry Proving

    Mathematics in Computer Science, Vol. 10, Núm. 1, pp. 5-25