微分几何定理证明中最简单辅助条件的计算

• Computing simplest subsidiary conditions in differential geometry theorem proving