二元函数偏微分的 Mizar 实现
이원함수편미분적 Mizar 실현
저자의 최근 논문