Publications by the researcher in collaboration with Zoltán Kovács (19)

2024

  1. Computing with Tarski formulas and semi-algebraic sets in a web browser

    Journal of Symbolic Computation, Vol. 120

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. 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. Automated Reasoning Tools with GeoGebra: What Are They? What Are They Good For?

    Mathematics education in the age of Artificial Intelligence: How Artificial Intelligence can serve mathematical human learning (Springer Suiza), pp. 23-44

  3. Towards an ecosystem for computer-supported geometric reasoning

    International Journal of Mathematical Education in Science and Technology, Vol. 53, Núm. 7, pp. 1701-1710

2021

  1. Dealing with Degeneracies in Automated Theorem Proving in Geometry (Maple worksheet)

    Zenodo

  2. Dealing with Degeneracies in Automated Theorem Proving in Geometry (Maple worksheet)

    Zenodo

  3. Dealing with degeneracies in automated theorem proving in geometry

    Mathematics, Vol. 9, Núm. 16

  4. GeoGebra Discovery in Context

    Electronic Proceedings in Theoretical Computer Science, EPTCS

  5. Merging Maple and GeoGebra Automated Reasoning Tools

    Communications in Computer and Information Science

2020

  1. Automatically Augmented Reality with GeoGebra

    Augmented reality in educational settings (Brill Sense), pp. 347-368

  2. Hacia un autómata geómetra

    Gaceta de la Real Sociedad Matematica Española, Vol. 23, Núm. 2, pp. 343-373

2019

  1. Detecting truth, just on parts

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

  2. Determinando propiedades geométricas simbólicamente con GeoGebra

    Números: Revista de didáctica de las matemáticas, Núm. 100, pp. 79-84

  3. Rewriting input expressions in complex algebraic geometry provers

    Annals of Mathematics and Artificial Intelligence, Vol. 85, Núm. 2-4, pp. 73-87

2018

  1. Detecting truth, just on parts, in automatic reasoning in geometry

    Applications of Computer Algebra: proceedings

  2. Enunciados ni ciertos ni falsos en razonamiento automático en geometría

    Monografías de la Real Academia de Ciencias Exactas, Físicas, Químicas y Naturales de Zaragoza, Núm. 43, pp. 111-114

2012

  1. Implementing theorem proving in GeoGebra by exact check o a statement in a bounded number of test cases

    Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones: EACA 2012