基于矩形区域剖分的不等式机器证明方法---以Zirakzadeh的一个几何不等式为例

曾振柄;张景中

A Mechanical Proof to a Geometric Inequality of Zirakzadeh Through Rectangular Partition of Polyhedra

ZENG Zhenbing;ZHANG Jingzhong

系统科学与数学 . 2010, (11): 1430 -1458 . DOI: 10.12341/jssms09280