Matemática Aplicada 9
MA9
![Foto de Matemática Aplicada 9](/img/grupo.png)
![Foto de Babeș-Bolyai University](/img/noimage_org.png)
Babeș-Bolyai University
Cluj, RumaníaPublicacións en colaboración con investigadores/as de Babeș-Bolyai University (2)
2016
-
Development of automatic reasoning tools in GeoGebra
ACM Communications in Computer Algebra, Vol. 50, Núm. 3, pp. 85-88
-
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)