research
∙
02/08/2022
Automated Discovery of Geometrical Theorems in GeoGebra
We describe a prototype of a new experimental GeoGebra command and tool,...
research
∙
07/24/2020