Diah Kusumawati
Pemakaian bahasa turbo prolog untuk pembuktian teorema
Universitas Indonesia, 1988
 UI - Skripsi Membership
pemakaian topologi plus di R2 untuk pembuktian teorema baire.
Universitas Indonesia, 2006
 UI - Skripsi Membership
Pembuktian teorema brooks
Universitas Indonesia, 2000
 UI - Skripsi Membership
Yaseen Fajrie Yudha Ghozali
Teorema van Kampen untuk Grup Fundamental dari Ruang Topologi = Van Kampen Theorem for Fundamental Group of Topological Space
Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2024
 UI - Skripsi Membership
Noorbaity
Karakteristik subgrup dan faktor grup dari grup siklis hingga berdasarkan teori bilangan
1988
 UI - Skripsi Membership