立体几何定理的计算机证明
입체궤하정리적계산궤증명
A Theorem of Solid Geometry Confirmed by Computer