利用等价形式证明一道IMO预选题
이용등개형식증명일도IMO예선제
Proving a Shortlisted Problem for IMO by Equivalent Form
저자의 최근 논문