高斯投影公式的机助推导
고사투영공식적궤조추도
The computer-aided deduction of Gauss projection formula
저자의 최근 논문