Putra, Dewa Putu Wiadnyana and Nugraha, Adhi Surya and Rudhito, Marcellinus Andy (2023) Desain Aktivitas Pembelajaran Geometri Berbasis Automated Reasoning Tools dengan GeoGebra. EDU-MAT: Jurnal Pendidikan Matematika. pp. 13-23. ISSN ISSN: 2338-2759 (print) ISSN: 2597-9051 (online)