Diah Kusumawati
Pemakaian bahasa turbo prolog untuk pembuktian teorema
Universitas Indonesia, 1988
 UI - Skripsi Membership
Pembuktian sederhana teorema subgrup untuk grup bebas
Universitas Indonesia, 1997
 UI - Skripsi Membership
pemakaian topologi plus di R2 untuk pembuktian teorema baire.
Universitas Indonesia, 2006
 UI - Skripsi Membership
Pembuktian teorema fixed point brouwer pada B2 dan Bn dengan aljabar topologi
Universitas Indonesia, 2007
 UI - Skripsi Membership
Bernard Immanuel
Aplikasi lema yoneda dalam pembuktian teorema cayley = Application of yoneda lemma in proving cayley theorem / Bernard Immanuel
2014
 UI - Skripsi Membership