Publicacións en colaboración con investigadores/as de Private University College of Education of the Diocese of Linz (5)

2021

  1. A Mechanical Geometer

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

2020

  1. Special issue on dynamic geometry and automated reasoning

    Journal of Symbolic Computation

2018

  1. Towards an automated geometer

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

2016

  1. Development of automatic reasoning tools in GeoGebra

    ACM Communications in Computer Algebra, Vol. 50, Núm. 3, pp. 85-88

  2. Towards the automatic discovery of theorems in GeoGebra

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