建立不等式的判别式法、极值法和机械化法之比较
건립불등식적판별식법、겁치법화궤계화법지비교
Comparation of Extremum,Discriminant and Antomated Proving Methods in Inequalities Establishing
저자의 최근 논문