| 1975 | DESIGN AND IMPLEMENTATION OF A DATA DESCRIPTION AND MANIPULATION LANGUAGE | 洪叔禾 | Master's Thesis |
| 1975 | A STUDY ON THE BATCH AND MULTIPROGRAMMING SYSTEMS EVALUATION THROUGH SIMULATION | 李淑子 | Master's Thesis |
| 1969 | ON INVERTIBLE SPACES | 신경자 | Master's Thesis |
| 1993 | THE SPHERICAL MODIFICATION ON SIMPLY-CONNECTED 4-MANIFOLD | 지영희 | Master's Thesis |
| 1993 | INSTANTONS ON SELF-DUAL MAINFOLD | 조미성 | Master's Thesis |
| 1993 | ON THE PLURIGENERA OF COMPACT KAHLER SURFACES | 김희정 | Master's Thesis |
| 1993 | SECONDARY CHARACTERISTIC CLASS ON PRINCIPAL FIBRE BUNDLES | 김미창 | Master's Thesis |
| 1960 | ON THE RELATION BETWEEN THE GALOIS GROUP OF AN EQUATION AND ITS DISCRIMINANT | SONG, SOON HI | Master's Thesis |
| 1994 | COMPACTNESS ON THE SPACE OF BOUNDED TRAJECTORIES IN SYMPLECTIC MANIFOLD | 김명원 | Master's Thesis |
| 1994 | NORMAL BASES IN FINITE FIELDS | 진현성 | Master's Thesis |
| 1994 | CONSTRUCTION OF ANTI-SELF-DUAL CONNECTIONS ON THE CONNECTED SUM OF TWO BUNDLES | 윤진의 | Master's Thesis |
| 1992 | WEIGHTED INEQUALITY OF THE HARDY OPERATORS | 김경숙 | Master's Thesis |
| 1994 | MODULAR CURVES AND THEIR GENERA | 류혜련 | Master's Thesis |
| 2004 | Identity based authenticated key agreement protocol on the vector decomposition problem | 한혜주 | Master's Thesis |
| 2003 | An extension of second order cone relaxation of a positive semidefinite constraint for banded systems | 김은정 | Master's Thesis |
| 2003 | Iterative convex relaxation methods for nonconvex optimization problems | 허윤희 | Master's Thesis |
| 2003 | A note on Quasi-Cyclic codes over Zpm | 지미연 | Master's Thesis |
| 2003 | Semigroups that are groups | 김소정 | Master's Thesis |
| 2003 | Integrability of distributions | 이소연 | Master's Thesis |
| 2004 | Polynomial equations | 이정화 | Master's Thesis |
