Jonathan H. Yu | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Zoltán Kovács
13 publications

research

∙ 02/08/2022

Automated Discovery of Geometrical Theorems in GeoGebra

We describe a prototype of a new experimental GeoGebra command and tool,...

0 Zoltán Kovács, et al. ∙

research

∙ 07/24/2020

Towards Automated Discovery of Geometrical Theorems in GeoGebra

We describe a prototype of a new experimental GeoGebra command and tool ...

0 Zoltán Kovács, et al. ∙