Publications (7) Publications in which a researcher has participated View referenced research data.

filter_list Computational Theory and Mathematics

2025

  1. The ShowProof Command in GeoGebra Discovery: Towards the Automated Ranking of Elementary Geometry Theorems

    ACM Communications in Computer Algebra, Vol. 58, Núm. 2, pp. 27-30

2024

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

    Journal of Symbolic Computation, Vol. 120

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. Visualizing a Cubic Linkage through the Use of CAS and DGS

    Mathematics, Vol. 10, Núm. 15

2021

  1. Dealing with degeneracies in automated theorem proving in geometry

    Mathematics, Vol. 9, Núm. 16

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