Publikationen in Zusammenarbeit mit Forschern von Babeș-Bolyai University (2)

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)