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

2024

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

    Journal of Symbolic Computation, Vol. 120

  2. Showing Proofs, Assessing Difficulty with GeoGebra Discovery

    Electronic Proceedings in Theoretical Computer Science, EPTCS

  3. Solving with GeoGebra Discovery an Austrian Mathematics Olympiad Problem: Lessons Learned

    Electronic Proceedings in Theoretical Computer Science, EPTCS

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. The “never-proved” triangle inequality: A GeoGebra & CAS approach

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

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

  2. Real Quantifier Elimination in the Classroom

    Proceedings of the Asian Technology Conference in Mathematics

2021

  1. A Mechanical Geometer

    Mathematics in Computer Science, Vol. 15, Núm. 4, pp. 631-641

  2. Dealing with degeneracies in automated theorem proving in geometry

    Mathematics, Vol. 9, Núm. 16

  3. Discovering geometric inequalities: The concourse of geogebra discovery, dynamic coloring and maple tools

    Mathematics, Vol. 9, Núm. 20

  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. Geogebra reasoning tools for humans and for automatons

    Proceedings of the Asian Technology Conference in Mathematics

  2. Reasoning about linkages with dynamic geometry

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

  3. Special issue on dynamic geometry and automated reasoning

    Journal of Symbolic Computation

2019

  1. Detecting truth, just on parts

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

  2. 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. Towards an automated geometer

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

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