多项式微分系统定性性质的算法化推导
다항식미분계통정성성질적산법화추도
MECHANICAL MANIPULATION FOR THE QUALITATIVE PROPERTIES OF POLYOMIAL DIFFERENTIAL SYSTEMS
저자의 최근 논문