Jonathan H. Yu
According to our database1,
Jonathan H. Yu
authored at least 3 papers
between 2020 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
The ShowProof Command in <i>GeoGebra Discovery</i>: Towards the Automated Ranking of Elementary Geometry Theorems.
ACM Commun. Comput. Algebra, June, 2024
2021
Proceedings of the Proceedings 10th International Workshop on Theorem Proving Components for Educational Software, 2021
2020