Publications en collaboration avec des chercheurs de Private University College of Education of the Diocese of Linz (9)

2023

  1. Dealing with degeneracies in automated theorem proving in geometry: A zero-dimensional approach

    EACA 2022: XVII Encuentro de Álgebra Computacional y Aplicaciones

  2. Towards Detection of Partial Truth via Real Geometry

    CEUR Workshop Proceedings

2022

  1. Is Computer Algebra Ready for Conjecturing and Proving Geometric Inequalities in the Classroom?

    Mathematics in Computer Science, Vol. 16, Núm. 4

2021

  1. Dealing with degeneracies in automated theorem proving in geometry

    Mathematics, Vol. 9, Núm. 16

  2. GeoGebra Discovery in Context

    Electronic Proceedings in Theoretical Computer Science, EPTCS

  3. Merging Maple and GeoGebra Automated Reasoning Tools

    Communications in Computer and Information Science

2020

  1. Reasoning about linkages with dynamic geometry

    Journal of Symbolic Computation, Vol. 97, pp. 16-30

2019

  1. Detecting truth, just on parts

    Revista matemática complutense, Vol. 32, Núm. 2, pp. 451-474

2018

  1. Using automated reasoning tools in GeoGebra in the teaching and learning of proving in geometry

    International Journal for Technology in Mathematics Education, Vol. 25, Núm. 2, pp. 33-51