Login / Signup
Towards Automated Discovery of Geometrical Theorems in GeoGebra.
Zoltán Kovács
Jonathan H. Yu
Published in:
CoRR (2020)
Keyphrases
</>
automated discovery
knowledge discovery
real world
computer vision
databases
domain knowledge
high level
reinforcement learning
natural language
medical images
geometrical features
geometrical properties