Biltzar ekarpenak (7) Ikertzaileren baten partaidetza izan duten argitalpenak

2022

  1. A web version of Tarski, a system for computing with Tarski formulas and semialgebraic sets

    Proceedings - 2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022

  2. Adaptación de materiales del proyecto matesgg para alumnado con autismo

    Investigación en Educación Matemática XXV

  3. Analysis of Time Series Imaging Approaches for the Application of Fault Classification of Marine Systems

    Proceedings of the 32nd European Safety and Reliability Conference, ESREL 2022 - Understanding and Managing Risk and Reliability for a Sustainable Future

  4. Augmented intelligence with GeoGebra and Maple involvement

    Proceedings of the Asian Technology Conference in Mathematics

  5. Distancia institucional en relación a la metodología docente en un curso de mecánica de fluidos en Ingeniería Aeroespacial.: Un enfoque desde la teoría antropológica de lo didáctico

    Educación y transferencia del conocimiento: propuestas de innovación para la mejora docente. Libro de resúmenes del I Congreso Internacional Docente, Educación y Transferencia del Conocimiento

  6. Real Quantifier Elimination in the Classroom

    Proceedings of the Asian Technology Conference in Mathematics

  7. Rhinoceros Esperimenti: la reprogramación urbana desde el contexto histórico

    Arquitectura y paisaje: transferencias históricas, retos contemporáneos