Login / Signup
Jonathan H. Yu
Publication Activity (10 Years)
Years Active: 2020-2022
Publications (10 Years): 2
Top Topics
Data Mining
Real World
Geometrical Properties
Automated Discovery
Top Venues
CoRR
</>
Publications
</>
Zoltán Kovács
,
Jonathan H. Yu
Automated Discovery of Geometrical Theorems in GeoGebra.
CoRR
(2022)
Zoltán Kovács
,
Jonathan H. Yu
Towards Automated Discovery of Geometrical Theorems in GeoGebra.
CoRR
(2020)