Publicaciones en colaboración con investigadores/as de Johannes Kepler University of Linz (6)

2024

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

    Journal of Symbolic Computation, Vol. 120

2023

  1. The “never-proved” triangle inequality: A GeoGebra & CAS approach

    AIMS Mathematics, Vol. 8, Núm. 10, pp. 22593-22642

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

2019

  1. Rewriting input expressions in complex algebraic geometry provers

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

2015

  1. Automated Theorem Proving in GeoGebra: Current Achievements

    Journal of Automated Reasoning, Vol. 55, Núm. 1, pp. 39-59